Арифметические исследования

Арифметические исследования (лат. Disquisitiones Arithmeticae) — монументальный труд немецкого математика Карла Фридриха Гаусса, опубликованный в 1801 году. Книга заложила основы современной теории чисел и считается одним из важнейших математических сочинений в истории. В ней Гаусс систематизировал и значительно расширил знания о целых числах, введя строгие доказательства и новые концепции, которые определили развитие алгебры и теории чисел на столетия вперёд.

История создания

Карл Фридрих Гаусс начал работу над «Арифметическими исследованиями» в возрасте 18 лет, в 1795 году, будучи студентом Гёттингенского университета. К тому времени он уже совершил несколько открытий, включая метод наименьших квадратов и закон взаимности квадратичных вычетов. Однако Гаусс стремился не просто публиковать отдельные результаты, а создать единую, логически завершённую систему.

Первоначально рукопись была завершена к 1798 году, но из-за финансовых трудностей и поиска издателя публикация задержалась. Книга вышла в свет в Лейпциге в 1801 году тиражом около 1000 экземпляров. Расходы на издание частично покрыл герцог Брауншвейгский, покровитель Гаусса. Несмотря на сложный язык и высокую математическую сложность, труд быстро приобрёл известность среди профессиональных математиков.

Структура и содержание

Книга состоит из семи разделов (глав), которые охватывают широкий круг тем. Гаусс использовал строгую аксиоматическую структуру, где каждое утверждение доказывалось на основе предыдущих.

Раздел I: О сравнениях чисел вообще

В этом разделе Гаусс вводит фундаментальное понятие сравнения по модулю. Он определяет, что два целых числа \(a\) и \(b\) сравнимы по модулю \(m\) (обозначается \(a \equiv b \pmod{m}\)), если их разность \(a-b\) делится на \(m\) без остатка. Гаусс систематизирует свойства сравнений, включая их арифметику (сложение, вычитание, умножение) и связь с делимостью. Этот раздел стал основой для модульной арифметики, широко используемой в современной криптографии.

Раздел II: О сравнениях первой степени

Здесь рассматриваются линейные сравнения вида \(ax \equiv b \pmod{m}\). Гаусс доказывает критерии разрешимости таких уравнений и описывает алгоритмы нахождения решений, включая использование обратных элементов по модулю. Важным результатом является Китайская теорема об остатках, которую Гаусс формулирует и доказывает в общем виде, хотя она была известна ещё в древнекитайской математике.

Раздел III: О вычетах степеней

Этот раздел посвящён изучению степенных вычетов, в частности квадратичных. Гаусс вводит понятие первообразного корня по модулю \(p\) и доказывает, что для простого модуля \(p\) существует ровно \(\varphi(p-1)\) первообразных корней, где \(\varphi\) — функция Эйлера. Также здесь исследуются показатели, по которым числа принадлежат к данному модулю.

Раздел IV: О квадратичных вычетах

Центральная часть книги. Гаусс детально исследует квадратичные вычеты — числа, которые являются квадратами по модулю \(p\). Он вводит символ Лежандра \((a/p)\) и формулирует закон взаимности квадратичных вычетов, который он называет «золотой теоремой». Гаусс приводит первое полное доказательство этого закона (Лежандр ранее дал неполное доказательство). Закон утверждает, что для двух нечётных простых чисел \(p\) и \(q\): \[ \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}. \] Этот результат является одним из краеугольных камней теории чисел.

Раздел V: О квадратичных формах

Гаусс вводит понятие бинарной квадратичной формы — выражения вида \(ax^2 + bxy + cy^2\), где \(a, b, c\) — целые числа. Он классифицирует формы по их дискриминанту \(D = b^2 - 4ac\) и вводит понятие эквивалентности форм (формы, которые можно перевести друг в друга линейным преобразованием с целыми коэффициентами и определителем ±1). Гаусс доказывает, что множество классов эквивалентных форм с заданным дискриминантом образует конечную абелеву группу — группу классов идеалов. Этот раздел заложил основы алгебраической теории чисел.

Раздел VI: Различные применения предыдущих разделов

Здесь Гаусс применяет теорию квадратичных форм к решению диофантовых уравнений, в частности к представлению чисел в виде суммы двух квадратов. Он также рассматривает задачи, связанные с простыми числами и их распределением, хотя строгой теории простых чисел в книге ещё нет.

Раздел VII: О делении круга

Этот раздел является вершиной книги. Гаусс исследует задачу построения правильных многоугольников с помощью циркуля и линейки. Он доказывает, что правильный \(n\)-угольник можно построить тогда и только тогда, когда \(n\) является произведением степени двойки и различных простых чисел Ферма (чисел вида \(2^{2^k}+1\)). В качестве примера Гаусс приводит построение правильного 17-угольника, что стало сенсацией. Этот результат связал теорию чисел с геометрией и алгеброй, показав, что корни кругового многочлена \(x^n - 1 = 0\) выражаются в квадратных радикалах.

Значение и влияние

«Арифметические исследования» оказали огромное влияние на развитие математики. Книга стала стандартом строгости: каждое утверждение в ней доказывается, а не просто постулируется. Гаусс ввёл единую терминологию и обозначения, многие из которых используются до сих пор (например, символ \(\equiv\) для сравнений).

Труд стимулировал развитие нескольких направлений:

• Теория чисел: закон взаимности квадратичных вычетов, теория квадратичных форм, первообразные корни.
• Алгебра: понятие группы (хотя в явном виде Гаусс его не вводил, но группа классов форм стала прообразом абстрактных групп).
• Алгебраическая теория чисел: работы Дирихле, Куммера и Дедекинда по идеалам и полям классов выросли из идей Гаусса.
• Криптография: модульная арифметика и теория сравнений лежат в основе современных алгоритмов шифрования (RSA, Эль-Гамаля).

Книга оставалась непревзойдённым учебником по теории чисел до конца XIX века, когда появились более современные изложения. Однако и сегодня она представляет историческую ценность и изучается специалистами.

Критика и ограничения

Несмотря на гениальность, «Арифметические исследования» имеют ряд недостатков. Язык книги чрезвычайно сложен, многие доказательства излишне громоздки. Гаусс часто опускал промежуточные шаги, полагая, что читатель сам их восстановит. Это сделало труд малодоступным для начинающих математиков. Кроме того, книга не охватывает многие важные темы, такие как аналитическая теория чисел (дзета-функция, распределение простых чисел), которые получили развитие позже.

Интересные факты

• Гаусс лично контролировал печать книги, включая корректуру. Известно, что в одном из экземпляров он собственноручно исправил ошибку, обнаруженную уже после публикации.
• На титульном листе книги указано, что она издана «в типографии Г. Флейшера в Лейпциге». Гаусс оплатил издание из собственных средств, так как коммерческие издатели не рискнули вкладываться в столь сложный труд.
• «Арифметические исследования» стали последней крупной работой Гаусса, опубликованной при его жизни. Впоследствии он сосредоточился на астрономии, геодезии и физике, хотя продолжал вести дневники с математическими открытиями.
• В 2011 году, к 210-летию выхода книги, в Гёттингене была проведена международная конференция, посвящённая её наследию.

Источники

• Гаусс К. Ф. «Арифметические исследования» (оригинал: Disquisitiones Arithmeticae, 1801).
• Вейль А. «Теория чисел: подход через историю» (1984).
• Шафаревич И. Р. «Основные понятия алгебры» (1999).
• Энциклопедический словарь Брокгауза и Ефрона, статья «Гаусс».