Disquisitiones Arithmeticae

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

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

Работа над «Арифметическими исследованиями» была начата Гауссом в 1795 году, когда ему было 18 лет, и продолжалась до 1798 года. Первоначально Гаусс планировал опубликовать книгу в 1799 году, но из-за финансовых трудностей и задержек с типографией издание вышло только в 1801 году в Лейпциге, в типографии Герхарда Флейшера. Тираж составил около 1000 экземпляров, из которых значительная часть была распространена среди ведущих европейских математиков.

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

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

Книга состоит из семи разделов (глав), охватывающих различные аспекты теории чисел. Общий объём — около 500 страниц. Гаусс использовал строгую аксиоматическую структуру, вводя определения, леммы, теоремы и следствия, что стало образцом для последующих математических трактатов.

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

Вводится понятие сравнения по модулю (a ≡ b mod m), которое стало центральным для всей теории чисел. Гаусс даёт определение, свойства и основные операции с сравнениями, включая сложение, умножение и возведение в степень. Этот раздел заложил основу для модульной арифметики.

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

Рассматриваются линейные сравнения вида ax ≡ b (mod m). Гаусс доказывает критерий разрешимости (существование решения при условии, что gcd(a, m) делит b) и даёт алгоритм нахождения решений с помощью расширенного алгоритма Евклида. Также вводится понятие обратного элемента по модулю.

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

Посвящён квадратичным вычетам и невычетам. Гаусс формулирует и доказывает квадратичный закон взаимности — одну из центральных теорем теории чисел, которую он назвал «золотой теоремой». Закон взаимности утверждает, что для двух нечётных простых чисел p и q выполняется: (p/q) = (q/p) с точностью до знака, зависящего от остатков p и q по модулю 4. Гаусс привёл первое полное доказательство этой теоремы, хотя её частные случаи были известны Эйлеру и Лежандру.

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

Исследуются квадратичные сравнения x² ≡ a (mod m). Гаусс вводит символ Лежандра (a/p) и доказывает критерий Эйлера для определения, является ли число квадратичным вычетом. Также рассматриваются методы решения квадратичных сравнений для составных модулей.

Раздел V: О формах и неопределённых уравнениях

Самый объёмный раздел (около 200 страниц), посвящённый бинарным квадратичным формам — выражениям вида ax² + 2bxy + cy², где a, b, c — целые числа. Гаусс разрабатывает теорию эквивалентности форм, вводит понятие дискриминанта, классифицирует формы по родам и доказывает теорему о конечности числа классов для данного дискриминанта. Этот раздел стал основой для современной алгебраической теории чисел.

Раздел VI: О различных приложениях

Рассматриваются приложения теории чисел к решению диофантовых уравнений, в частности, к уравнению Пелля x² — Dy² = 1. Гаусс даёт метод нахождения всех решений с помощью цепных дробей и доказывает, что уравнение всегда имеет бесконечно много решений для неполного квадрата D.

Раздел VII: О круговых уравнениях

Посвящён теории деления круга — нахождению корней из единицы и построению правильных многоугольников с помощью циркуля и линейки. Гаусс доказывает, что правильный n-угольник можно построить тогда и только тогда, когда n является произведением степени двойки и различных простых чисел Ферма (вида 2^(2^k) + 1). Этот результат стал одним из первых в теории Галуа и алгебраической теории чисел.

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

«Disquisitiones Arithmeticae» произвела революцию в теории чисел. До Гаусса эта область математики представляла собой набор разрозненных фактов и эмпирических наблюдений, часто без строгих доказательств. Гаусс ввёл единую терминологию, строгую систему доказательств и систематизировал знания. Книга стала образцом математической строгости для последующих поколений.

Основные достижения, впервые опубликованные в книге:

• Систематическое изложение модульной арифметики.
• Первое полное доказательство квадратичного закона взаимности (Гаусс привёл два доказательства, а всего в течение жизни нашёл восемь).
• Теория бинарных квадратичных форм, предвосхитившая теорию идеалов.
• Критерий построения правильных многоугольников, связавший теорию чисел с геометрией.
• Методы решения сравнений и диофантовых уравнений.

Книга оказала влияние на таких математиков, как Эварист Галуа, Леопольд Кронекер, Рихард Дедекинд, Давид Гильберт. В 1832 году Гаусс опубликовал «Второе дополнение» к книге, посвящённое биквадратичным вычетам, но полного переиздания при жизни не последовало. В 1863 году, после смерти Гаусса, было опубликовано второе издание под редакцией его учеников.

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

Несмотря на гениальность, книга не лишена недостатков. Гаусс часто опускал промежуточные выкладки, считая их «очевидными», что делало текст трудным для чтения даже для современных ему математиков. Некоторые разделы, особенно пятый, изложены чрезвычайно сжато и требуют глубокого понимания. Кроме того, Гаусс не включил в книгу многие свои открытия, сделанные после 1798 года, например, теорию эллиптических функций, которая могла бы быть органично вписана в контекст.

Современное значение

В настоящее время «Disquisitiones Arithmeticae» остаётся классическим трудом, обязательным для изучения студентами-математиками. Многие идеи, заложенные в книге, нашли применение в криптографии (например, RSA использует свойства модульной арифметики и квадратичных вычетов), теории кодирования и компьютерной алгебре. Книга переведена на многие языки, включая русский (перевод И. Я. Депмана, 1956 год).

Источники

• Гаусс К. Ф. «Арифметические исследования» (Disquisitiones Arithmeticae). Перевод с латинского И. Я. Депмана. — М.: Издательство АН СССР, 1956.
• Клейн Ф. «Лекции о развитии математики в XIX столетии». Том 1. — М.: Наука, 1989.
• Вейль Г. «Алгебраическая теория чисел». — М.: Иностранная литература, 1947.
• Энциклопедия «Математика» под редакцией И. М. Виноградова. — М.: Советская энциклопедия, 1977.