АКАДЕМИЯ НАУК СОЮЗА ССР ~ КЛАССИКИ НАУКИ ~ |
КАРЛ ФРИДРИХ ГАУСС ТРУДЫ ПО ТЕОРИИ ЧИСЕЛ | |
ОБЩАЯ РЕДАКЦИЯ АКАДЕМИКА И. М. ВИНОГРАДОВА КОММЕНТАРИИ ЧЛЕНА-КОРР. АН СССР Б. Н. ДЕЛОНЕ ПЕРЕВОД КАНД. ФИЗ.-МАТЕМ. НАУК В. Б. ДЕМЬЯНОВА ИЗДАТЕЛЬСТВО АКАДЕМИИ НАУК СССР МОСКВА · 1959 | ||
АРИФМЕТИЧЕСКИЕ ИССЛЕДОВАНИЯ (DISQUISITIONES ARITHMETICAE) | ||
Предисловие автора | 9 | |
Раздел I. О сравнимости чисел вообще | 15 | |
Сравнимые числа, модули, вычеты и невычеты (пп. 13). Наименьшие вычеты (п. 4). Элементарные теоремы о сравнениях (п. 511). Некоторые приложения (п. 12). | ||
Раздел II. О сравнениях первой степени | 21 | |
Предварительные теоремы о простых числах, сомножителях и т.д. (пп. 1325). Решение сравнений первой степени (пп. 2631). Нахождение числа, которое сравнимо с заданными вычетами по заданным модулям (пп. 3236). Линейные сравнения со многими неизвестными (п. 37). Различные теоремы (пп. 3844). | ||
Раздел III. О степенных вычетах | 50 | |
Вычеты членов геометрической прогрессии, начинающейся с единицы, образуют периодический ряд (пп. 4548). Сначала рассматриваются модули, которые являются простыми числами (пп. 4981). Теорема Ферма (пп. 50, 51). О количестве чисел, которым соответствуют периоды, у которых количество членов равно заданному делителю числа | ||
Раздел IV. О сравнениях второй степени | 94 | |
Квадратичные вычеты и невычеты (пп. 94, 95). Если модуль есть простое число, то среди чисел, меньших его, количество вычетов равно количеству невычетов (пп. 96, 97). Ответ на вопрос, является ли составное число вычетом или невычетом заданного простого числа, зависит от свойств сомножителей (пп. 98, 99). О модулях, являющихся составными числами (пп. 100105). Общий критерий того, является ли заданное число вычетом или невычетом по заданному простому модулю (п. 106). Исследование относительно простых чисел, по которым заданные числа являются вычетами или невычетами (пп. 107150). Вычет | ||
Раздел V. О формах и неопределенных уравнениях второй степени | 151 | |
Предмет исследования; определение форм и обозначения (п. 153). Представление чисел; определитель (п. 154). Значения выражения | ||
Раздел VI. Различные применения предыдущих исследований | 468 | |
Разложение дробей на более простые (пп.309311). Превращение обыкновенных дробей в десятичные (пп. 312318). Решение сравнения | ||
Раздел VII. Об уравнениях, от которых зависит деление круга | 509 | |
Исследование сводится к простейшему случаю, когда число частей, на которые должен быть разбит круг, является простым (п. 336). Уравнения для тригонометрических функций дуг, составляющих одну или несколько частей полной окружности; сведение тригонометрических функций к корням уравнения | ||
Дополнения | 574 | |
Таблицы | 576 | |
Оглавление | 580 | |
ДРУГИЕ СОЧИНЕНИЯ | ||
Новое доказательство одной арифметической теоремы | 587 | |
Суммирование некоторых рядов особого вида | 594 | |
Новые доказательства и обобщения фундаментальной теоремы в учении о квадратичных вычетах | 636 | |
Теория биквадратичных вычетов. Сочинение первое | 655 | |
Теория биквадратичных вычетов. Сочинение второе | 686 | |
НЕКОТОРЫЕ ИССЛЕДОВАНИЯ ИЗ РУКОПИСНОГО НАСЛЕДИЯ ГАУССА | ||
Учение о вычетах | 757 | |
I. | Решение сравнения | 757 |
II. | Общие исследования о сравнениях | 773 |
Дальнейшее развитие исследований о чистых уравнениях | 807 | |
Доказательство некоторых теорем о периодах классов двойничных форм второй степени | 836 | |
О связи между числом классов, на которые распадаются двойничные формы второй степени, и их определителем | 839 | |
Более подробное рассмотрение некоторых вопросов, относящихся к делению круга | 867 | |
ПРИЛОЖЕНИЯ | ||
От редакции | 874 | |
И. М. Виноградов. Карл Фридрих Гаусс | 875 | |
Б. Н. Делоне. Работы Гаусса по теории чисел | 879 | |
1. | Теория чисел до Гаусса | 879 |
2. | «Арифметические исследования» Гаусса | 880 |
3. | О теории чисел вообще и о современных нам её методах | 882 |
4. | О теории алгебраических чисел | 885 |
5. | Первый, второй и третий разделы «Арифметических исследований» Гаусса | 895 |
6. | Четвёртый раздел «Арифметических исследований». Первое доказательство закона взаимности | 897 |
7. | Целые комплексные числа Гаусса и биквадратичный закон взаимности | 900 |
8. | О законах взаимности вообще и о задаче, которую они решают | 902 |
9. | О теореме Кронекера и о теории поля классов | 904 |
10. | Первая часть пятого раздела «Арифметических исследований» | 906 |
11. | Вторая часть пятого раздела «Арифметических исследований». Композиция классов и композиция родов квадратичных форм | 914 |
12. | Третья часть пятого раздела «Арифметических исследований». Отступление о тройничных формах | 925 |
13. | Четвёртая часть пятого раздела «Арифметических исследований», содержащая приложение теории тройничных квадратичных форм и исследования о числе классов | 939 |
14. | Шестой раздел «Арифметических исследований». Различные приложения теории чисел | 956 |
15. | Седьмой раздел «Арифметических исследований». Теория деления круга Гаусса | 957 |
16. | Гауссовы суммы | 967 |
Содержащиеся в этом сочинении исследования относятся к той части математики, которая имеет дело с целыми числами, в то время как дробные числа остаются вне рассмотрения в большинстве случаев, а мнимые всегда. Так называемый неопределённый или диофантов анализ, представляющий собой учение о том, как из бесконечного числа решений, удовлетворяющих неопределённому уравнению, выбирать те, которые являются целочисленными или хотя бы рациональными (а в большинстве случаев ещё и положительными), не исчерпывает этой дисциплины, а представляет собой лишь очень специальную её часть, которая относится ко всей дисциплине приблизительно так же, как учение о преобразовании и решении уравнений (алгебра) относится к анализу в целом. Именно, как все исследования, которые касаются общих свойств числовых величин и связей между ними, принадлежат к области анализа, так целые числа (а также и дробные, поскольку они определяются через целые) составляют предмет изучения арифметики. Но так как то, что обычно принято называть арифметикой, почти не выходит за пределы искусства считать и вычислять (т.е. представлять числа в определённом виде, например, в десятичной системе, и производить над ними арифметические операции) с добавлением ещё некоторых вопросов, которые или вовсе не относятся к арифметике, как, например, учение о логарифмах, или имеют силу не только для целых чисел, но и для любых числовых величин, то представляется целесообразным различать две части арифметики и только что упомянутое причислять к элементарной арифметике, а все общие исследования о внутренних связях между целыми числами относить к высшей арифметике, о которой одной здесь и будет идти речь.
К высшей арифметике относится то, что Эвклид с присущими древним изяществом и строгостью изложил в «Началах», в книге VII и следующих; однако это представляет собой лишь первые шаги этой науки. Знаменитое сочинение Диофанта, целиком посвящённое проблемам неопределённого анализа, содержит много исследований, которые вследствие их трудности и красоты методов заставляют быть высокого мнения об уме и проницательности их автора, особенно, если учесть незначительность вспомогательных средств, находившихся в его распоряжении. Так как, однако, эти задачи больше требуют находчивости и сообразительности, чем глубоких методов, и, кроме того, являются слишком специальными и редко приводят к более общим выводам, то эта книга рассматривается как эпоха в развитии математики скорее потому, что она содержит в себе первые следы искусства, характерного для алгебры, а не потому, что она обогатила новыми открытиями высшую арифметику. Главным образом более поздним исследователям, правда, немногочисленным, но завоевавшим непреходящую славу, таким, как Ферма, Эйлер, Лагранж, Лежандр, мы обязаны тем, что они нашли доступ к сокровищнице этой божественной науки и показали, какими богатствами она наполнена. Я, однако, не буду здесь перечислять, какие открытия принадлежат каждому из этих математиков в отдельности, так как это можно узнать из предисловия к дополнениям, которыми Лагранж снабдил «Алгебру» Эйлера, и из недавно вышедшего сочинения Лежандра, о котором скоро будет упоминаться; кроме того, об этом говорится в соответствующих местах настоящих «Арифметических исследований».
Целью этого труда, издать который я обещал ещё пять лет назад, было довести до общего сведения те исследования по высшей арифметике, которыми я занимался частью ранее, частью позже указанного срока. Однако, чтобы никто не удивлялся, что я здесь повторяю предмет почти с самого начала и заново произвожу многие исследования, которыми уже занимались другие, я считаю необходимым указать на то, что когда я в начале 1795 г. впервые принялся за исследования такого рода, я ничего не знал о том, что было сделано за последнее время в этой области, и все средства, при помощи которых я получал свои результаты, я изобретал сам. Именно, занимаясь в то время другой работой, я случайно натолкнулся на одну изумительную арифметическую истину (если не ошибаюсь, она изложена в виде теоремы в п. 108), и так как она не только показалась мне прекрасной сама по себе, но и навела на мысль, что она связана и с другими выдающимися фактами, я со всей энергией взялся за то, чтобы выяснить принципы, на которых она основывается, и получить строгое её доказательство. После того как это желание, наконец, осуществилось, прелесть этих исследований настолько увлекла меня, что я уже не мог их оставить; так и получилось, что в то время как одни всё время пролагали дорогу другим в том, что изложено в первых четырёх разделах этого труда, я сам имел о подобных работах других математиков лишь приблизительное представление. Когда же мне, наконец, представилась возможность ознакомиться с работами этих выдающихся умов, то я понял, что большая часть моих рассуждений была посвящена уже давно известным вещам, но с тем большей охотой решился следовать по стопам этих учёных, которые двигали арифметику вперёд; так возникли различные исследования, часть которых составляют разделы V, VI, VII. Когда я, спустя некоторое время, принял решение опубликовать результаты моих усилий, то я, идя навстречу желаниям многих, тем охотнее решил не выбрасывать ничего также и из указанных более ранних исследований, что,
Тем временем появилось сочинение уже и до того имевшего большие заслуги в высшей арифметике Лежандра («Essai d'une theorie des nombres», Paris, a. VI), в котором он не только тщательно обработал и привел в порядок всё, что было сделано в этой науке до сих пор, но и привнёс очень много своего собственного. Так как эта книга попала ко мне в руки слишком поздно, когда большая часть моего сочинения была уже готова, я её нигде не упоминал в тех случаях, когда аналогия рассматриваемых вопросов могла бы дать к этому повод; лишь в отношении нескольких её мест я счёл необходимым сделать некоторые замечания в дополнениях, которые, как я надеюсь, любознательный читатель не оставит без внимания.
Во время печатания этого сочинения, которое несколько раз прерывалось и
То, что во многих трудных исследованиях я пользовался синтетическими доказательствами и опускал анализ, при помощи которого они были найдены, объясняется главным образом требованиями краткости, которым я, насколько это возможно, должен был стремиться удовлетворить.
Теория деления круга или теория правильных многоугольников, которая рассматривается в разделе VII, сама по себе не принадлежит арифметике; однако её принципы следует черпать только в высшей арифметике; это будет для математиков, быть может, столь же неожиданным, сколь, надо надеяться, приятными бывают для них обычно истины, черпаемые из этого источника.
На это я хотел обратить внимание читателя. О самом предмете судить не мне. Я ничего не желаю столь горячо, как того, чтобы эти исследования понравились тем, кто принимает близко к сердцу успехи науки, как те, которые восполняют имевшиеся до сих пор пробелы, так и те, что открывают путь к новому.
Великому немецкому математику Карлу Фридриху Гауссу принадлежат глубокие и основополагающие исследования почти во всех основных областях математики: в теории чисел, в геометрии, в теории вероятностей, в анализе, в алгебре, а также важные исследования в астрономии, в геодезии, в механике и в теории магнетизма.
Математический гений Гаусса развивался на исследованиях по теории целых чисел, завершившихся опубликованием в 1801 г. его знаменитой книги «Disquisitiones arithmeticae». В дальнейшем Гаусс возвращался к этим исследованиям и дал в области теории чисел ещё две важные работы.
В «Disquisitiones arithmeticae» Гаусс изложил всё существенное, что было известно в теории чисел до него, но часто исходя из более общих и более принципиальных соображений. Кроме того, «Disquisitiones arithmeticae» в четвёртом, пятом и седьмом своих разделах заключают три крупнейших открытия самого Гаусса: доказательство квадратичного закона взаимности, композицию классов и родов квадратичных форм и теорию деления круга.
Квадратичный закон взаимности является центральной теоремой теории квадратичных вычетов, доказательство которой долго и безуспешно пытались получить крупнейшие математики того времени. Исследования Гаусса по квадратичному и, позже, по биквадратичному закону взаимности послужили исходным пунктом длинного ряда работ, приведших в конечном итоге к отысканию общего закона взаимности, представляющего собой одну из важных теорем теории алгебраических чисел.
Исследования Гаусса по композиции классов и родов квадратичных форм явились важным первым этапом в труднейшем вопросе о построении арифметики полей алгебраических чисел. Исследования Гаусса по целым комплексным числам, опубликованные позже (в 1832 г.), дали пример поля алгебраических чисел, отличного от рационального, в котором действуют законы обычной арифметики. Продолжение обоих этих исследований привело во второй половине
Теория деления круга, занимающая последний, седьмой раздел «Disquisitiones arithmeticae», содержит подробное рассмотрение двучленного уравнения
В связи с теорией деления круга Гаусс рассмотрел в 1811 г. особые тригонометрические суммы, называемые теперь суммами Гаусса. Дальнейшее обобщение этого исследования привело впоследствии к рассмотрению более общих тригонометрических сумм, которые являются сейчас одним из самых сильных средств аналитической теории чисел и способствовали доказательству важных теорем, касающихся обыкновенных целых чисел.
О работах Гаусса, не относящихся к области теории чисел, я скажу уже более кратко. Подобно тому, как это было у Архимеда, Ньютона, Эйлера и, впоследствии, у Чебышёва, большинство из этих работ было вызвано задачами, которые ставили естествознание и практическая деятельность. Так, работы по геодезической съёмке, которые были поручены Гауссу, привели его к исследованиям по внутренней геометрии поверхностей. Они были опубликованы в 1828 г. в знаменитом мемуаре «Disquisitiones generates circa superficies curvas». В этом мемуаре содержится также доказательство важной теоремы Гаусса о неизменяемости кривизны при изгибании поверхностей. Непосредственным обобщением идеи Гаусса о внутренней геометрии поверхностей явилась впоследствии геометрия Римана, послужившая в свою очередь основным аппаратом для общей теории относительности.
Обширные приближённые вычисления, которые приходилось практически производить лично Гауссу при решении задач, относящихся к астрономии и к геодезии, привели его к более глубокой разработке способа наименьших квадратов и к выяснению центрального значения нормальной кривой распределения в вопросах, связанных с теорией вероятностей.
Работы Гаусса по теории магнетизма привели его к важным теоремам теории потенциала.
Размышляя над основными принципиальными вопросами механики, Гаусс пришёл к известному своему принципу наименьшего действия.
Ещё в самый первый период своей научной деятельности, в связи с необходимостью обнаружить на небе потерянную малую планету Цереру, Гаусс придумал замечательный метод определения орбиты по трём наблюдениям. Успех этого метода, давшего возможность снова найти Цереру, был первым обстоятельством, которое сделало имя Гаусса всемирно известным.
Сделаю несколько общих замечаний об особенностях стиля творчества Гаусса. Все общие математические идеи появлялись у Гаусса в связи с решением совершенно конкретных задач. Но эти задачи большей частью относились к важным узловым вопросам современной ему математики. В дальнейшем, в руках его продолжателей, идеи Гаусса привели к созданию новых областей математики. В частности, работы Гаусса по теории чисел предопределили развитие теории чисел более чем на столетие; такую же роль сыграли и работы Гаусса по внутренней геометрии поверхностей.
После Гаусса осталось обширное рукописное наследие, которое было опубликовано много позже его смерти. В рукописях Гаусса математики с изумлением нашли целый ряд теорем, данных без доказательства и касающихся самых различных отделов математики: аналитической теории чисел, теории эллиптических и, в частности, модулярных функций, неэвклидовой геометрии и т.д. Некоторые из этих теорем были, задолго до обнародования посмертных рукописей Гаусса, независимо от Гаусса, открыты и опубликованы другими математиками, а многие не были ещё известны и послужили стимулом для работ последующих учёных.
Русские математики всегда высоко ценили и глубоко изучали работы Гаусса. Некоторые исследования русских математиков являлись непосредственным продолжением работ Гаусса, например: исследования русских математиков о минимумах определённых и неопределённых квадратичных форм, работы по общей теории алгебраических чисел, а в последнее время работы по общему закону взаимности и исследования, переносящие гауссову внутреннюю геометрию поверхностей на случай неаналитических поверхностей.
Указанная глубокая связь, которая всегда существовала между немецкими и русскими математиками, должна служить примером того дружеского сотрудничества, к которому мы стремимся во всех областях нашей жизни и которое принесёт пользу обоим нашим великим народам.
Важные теоремы о целых числах были доказаны уже в древности. Так, например, в школе Пифагора
Первый, кто в новое время начал глубокие исследования целых чисел, был Пьер Ферма (16011665) из Тулузы. Задачи, решённые Ферма, и особенно теоремы, высказанные им, но доказательства которых он скрыл по обычаю того времени, произвели большое впечатление на последующих математиков. Ферма имел особую способность проникать в самые глубокие тайны чисел. Укажем два примера. В 1651 г. Ферма, в виде вызова всем современным ему математикам, поставил задачу доказать, что если
Бóльшая часть задач, оставленных Ферма последующим поколениям математиков, была решена Эйлером (17071783) и Лагранжем (17361813), которые также поставили и решили многие дальнейшие собственные задачи. Эйлер, в частности, построил теорию степенных вычетов; доказал (в его доказательстве, правда, есть пробел), что уравнение
Лежандр (17521833) опубликовал первый большой трактат о теории чисел, в котором собрал всё сделанное до него и добавил много нового.
Таково было положение теории чисел до Гаусса.
Гаусс (17771855) с самого раннего возраста обнаруживал необыкновенные способности к математике. Сохранилось предание, что он, когда ему едва минуло 3 года, присутствовал при расчёте своего отца, бывшего водопроводным мастером, с подсобными рабочими и заметил, что расчёт сделан неверно, а верно
Когда углубляешься в изучение книги Гаусса, то прямо недоумеваешь, как мог двадцатилетний молодой человек создать такой грандиозный комплекс сложнейших и глубочайших методов и теорем, так хорошо слаженный и построенный и, кроме того, содержащий, как было указано выше, три первоклассных открытия, каждое из которых уже одно обессмертило бы имя любого математика. Несомненно, что умственный подвиг молодого Гаусса, приведший к написанию «Арифметических исследований», имеет мало себе равных в мировой науке.
Попробуем теперь по порядку рассмотреть открытия Гаусса в теории чисел и выяснить то значение, которое каждое из них имело для дальнейшего развития математики. Но прежде, чем это делать, нам придётся довольно много сказать о теории чисел вообще и о теории алгебраических чисел в частности.
Обыкновенные целые числа
Уже даже самый простой вопрос, как идут в ряду натуральных чисел 1, 2, 3, 4, 5,
Вся трудность теории чисел состоит в том, что свойства целых чисел относительно умножения (мультипликативные свойства) е их свойствами относительно сложения (с их аддитивными свойствами) связаны очень сложно.
Перейдём теперь к рассмотрению современных нам методов теории чисел.
На современном нам этапе теории чисел для решения вопросов теории обыкновенных целых рациональных чисел используются, кроме элементарного, в основном четыре метода:
1) теория алгебраических чисел (и других алгебр);
2) теория алгебраических функций;
3) аналитическая теория чисел;
4) геометрия чисел.
Отметим тех главнейших математиков, кроме Гаусса, которые до настоящего времени создавали эти методы.
К использованию метода алгебраических чисел относятся работы Валлиса об уравнении Пелля, работы Лагранжа о неопределённых уравнениях
К обобщению этого метода на теорию квадратичных форм с многими переменными относятся работы Венкова, Хассе, Гекке, Зигеля, Витта, Эйхлера.
Основные сводки по этому методу принадлежат Гильберту (1896) по общей теории алгебраических чисел, Хассе (1924) по специальному вопросу теории алгебраических чисел, теории поля классов, и Эйхлеру (1952) по применению алгебр к арифметике квадратичных форм со многими переменными.
Использование теории алгебраических функций, родственной теории алгебраических чисел, но имеющей свои специфические методы, начал Пуанкаре, затем в этом направлении работали Морделл, А. Вейль, Хассе и др.
Аналитическая теория чисел ведёт свое начало от Эйлера. Дирихле и Чебышёв продолжали развитие этих идей в вещественной области. Новую струю влил Риман, который вышел в комплексную плоскость и начал использовать аналитичность функции и аналитическое продолжение. Методы аналитической теории чисел употребляли в теории алгебраических чисел Дирихле, Дедекинд, Кронекер, Фробениус, Чеботарёв, Гекке, Зигель, Хейльбронн и др. Важный приём для аддитивных задач придумал Вороной. Блестящее развитие та же идея, хотя,
Важной главой аналитической теории чисел является оценка тригонометрических сумм, первый далеко идущий результат в которой был получен в 1914 г. Г. Вейлем. Наиболее глубокие новые идеи в этой области были развиты Виноградовым, который, между прочим, получил оценки тригонометрических сумм по простым числам.
Основателями геометрии чисел были Минковский, Вороной и Клейн. Её методами работали у нас автор этих строк и Венков, а также их используют многие современные математики.
Работы Гаусса по теории чисел дают первые образчики почти во всех этих направлениях, но наибольшее значение они имеют для развития метода алгебраических чисел и метода тригонометрических сумм.
[· · ·]