1. Законыарифметики (7).2. Доказательство по индукции (12).3. Простыечисла (15).4. Основная теорема арифметики (16).5. Следствия из основной теоремы (20).6. АлгоритмЕвклида (24).7. Другое доказательство основной теоремы (26).8. Одно свойство Н.О.Д. (28).9. Разложение чисел на множители (31).10. Простыечисла (34). Замечания к главе I (38).
Глава II. Сравнения
40
1. Понятиесравнения (40).2. Линейныесравнения (42).3. ТеоремаФерма (44).4. Функция Эйлера φ(m) (47).5. ТеоремаВильсона (50).6. Алгебраическиесравнения (51).7. Сравнения по простому модулю (53).8. Сравнения от нескольких переменных (56).9. Сравнения, покрывающие все числа (57). Замечания к главе II (58).
Глава III. Квадратичные вычеты
59
1. Первообразныекорни (59).2. Индексы (63).3. Квадратичныевычеты (66).4. ЛеммаГаусса (68).5. Законвзаимности (71).6. Распределение квадратичных вычетов (75). Замечания к главе III (78).
Глава IV. Непрерывные дроби
79
1. Введение (79).2. Общая непрерывная дробь (81).3. ПравилоЭйлера (83).4. Подходящие данной непрерывной дроби (85).5. Уравнениеax by = 1 (88).6. Бесконечные непрерывные дроби (90).7. Диофантовыприближения (93).8. Квадратичныеиррациональности (95).9. Чисто периодические непрерывные дроби (98).10. ТеоремаЛагранжа (105).11. УравнениеПелля (106).12. Геометрическая интерпретация непрерывных дробей (112). Замечания к главе IV (114).
Глава V. Суммы квадратов
115
1. Числа, представимые в виде суммы двух квадратов (115).2. Простые вида 4k + 1 (117).3. Конструкция для x и y (120).4. Представление четырьмя квадратами (124).5. Представление тремя квадратами (127). Замечания к главе V (128).
Глава VI. Квадратичные формы
130
1. Введение (130).2. Эквивалентныеформы (131).3. Дискриминант (134).4. Представление числа формой (137).5. Трипримера (140).6. Редукция положительно определенных форм (142).7. Приведенныеформы (145).8. Числопредставлений (148).9. Числоклассов (151). Замечания к главе VI (152).
Высшая арифметика, или теория чисел, изучает свойства натуральных чисел 1, 2, 3, ... Эти числа интересуют человека с давних времен. Античные летописи говорят о том, что уже тогда арифметику знали глубже и шире, чем это было необходимо для нужд повседневной жизни. Но систематической, самостоятельной наукой высшая арифметика становится лишь в новое время, начиная с открытий Ферма (Fermat, 16011665).
Многие простые и общие теоремы высшей арифметики естественно возникают из вычислений, однако при доказательстве этих теорем часто встречаются очень большие трудности. «Эта особенность, по словам Гаусса, вместе с неистощимым богатством высшей арифметики, которым она столь сильно превосходит другие области математики, придает высшей арифметике неотразимое очарование, сделавшее ее любимой наукой величайших математиков».
Теория чисел считается обычно «чистейшей» ветвью чистой математики. Она имеет очень немного прямых приложений к другим естественным наукам, но обладает одной общей с ними чертой: теория чисел развивается из эксперимента, роль которого играет проверка общих теорем на численных примерах. Такой эксперимент необходим в любой области математики, но в теории чисел он играет бóльшую роль, чем где бы то ни было, ибо в других областях математики результаты, полученные таким способом, часто бывают неверными.
Автор этой книги хорошо понимает, что нематематик не сможет прочесть ее без труда. Трудность частично лежит в самом предмете. Этой трудности не избежать, пытаясь использовать несовершенные аналогии или проводя доказательства, выражающие основную мысль, но неточные в деталях. Такая попытка может лишь уменьшить интерес к этой наиболее точной из наук.
В этой книге теоремы и их доказательства часто иллюстрируются численными примерами. Примеры обычно очень просты и могут не удовлетворить читателя, который любит вычисления. Задача этих примеров пояснить общую теорию. Вопрос о наиболее эффективном проведении арифметических вычислений выходит за рамки данной книги.
Автор признателен многим друзьям, особенно д-ру Эрдёшу,проф. Морделлу и д-ру Роджерсу, за предложения и исправления. Он обязан также капитану Дрэму за разрешение включить описание его алгоритма.