Альберт Виолант-и-Хольц - Том 9. Загадка Ферма. Трехвековой вызов математике

Корни этой загадки Ферма уходят в александрийскую эпоху. С одной стороны находились «Начала» Евклида, датируемые II веком до н. э., с другой стороны — уже упомянутая «Арифметика» Диофанта, написанная пять или шесть веков спустя. На этих двух книгах основывались практически все математические исследования в Средиземноморье и на Востоке на протяжении примерно полутора тысяч лет.

«Начала» Евклида включают три книги по арифметике (книги VII, VIII и IX). В них впервые упоминается общая теория делимости. Речь идет о наибольших общих делителях и алгоритме их вычисления. Этот алгоритм известен как алгоритм Евклида. Также приводится определение простых чисел и показывается, что их бесконечно много. Помимо этого, говорится о взаимно простых числах и совершенных числах, то есть числах, равных сумме всех своих делителей.

Совершенные числа

История совершенных чисел заслуживает отдельной главы. Поиски совершенных чисел в некотором смысле можно сравнить с поисками знаков π . Несколько из них были известны с самого начала, а остальные находились по мере развития математики. Не обходилось и без ошибок, но со временем их исправляли. Сегодня, в эпоху компьютеров, при всех знаниях, что нам известны, все совершенные числа до сих пор не найдены. Более того, неизвестно даже, является множество совершенных чисел конечным или бесконечным.

Обложка первого английского издания «Начал» Евклида, датируемого 1570 годом.

* * *

ПИФАГОРОВЫ ТРОЙКИ

В «Началах» Евклида приводится общая формула для нахождения пифагоровых троек, то есть натуральных чисел, которые являются решениями уравнения а 2+ Ь 2 = с 2. Для этого выбираются произвольные натуральные числа mи n , причем m> n. Затем рассчитывается

а = m 2— n 2; b = 2 mn; с = m 2+ n 2.

Полученные числа а, Ь, судовлетворяют соотношению

а 2+ Ь 2 = ( m 2— n 2) 2+ (2 mn) 2 = m 4— 2 m 2 n 2+ n 4+ 4 m 2 n 2 = m 4+ 2 m 2 n 2+ n 4 = ( m 2+ n 2) 2 = с 2,

следовательно, они образуют пифагорову тройку. Если мы выберем mи nтак, чтобы они были взаимно простыми и только одно из них было четным, то по этой же формуле можно получить все примитивные пифагоровы тройки, то есть те, в которых а, bи сявляются взаимно простыми. Отсюда следует, что существует бесконечное количество примитивных пифагоровых троек.

Для каждой тройки можно построить прямоугольный треугольник, длины сторон которого будут выражены целыми числами. Ферма доказал, что площадь таких треугольников никогда не может быть равна квадрату числа.

* * *

Слово «совершенные» больше связано с эстетикой, чем с математикой. Эти числа красивы не из-за каллиграфического написания, не потому, что их сложно найти и не из-за витиеватости определения. Вместо этого они обладают одним очень простым свойством.

Возьмем в качестве примера число 6. Его делители, то есть числа, на которые оно делится без остатка, — это 1, 2, 3 и 6. Удивительно, но 1 + 2 + 3 = 6, то есть сумма всех делителей, меньших 6, дает в сумме 6. Следующее совершенное число — 28. Его делители равны 1, 2, 4, 7, 14 и 28. Нетрудно видеть, что 1 + 2 + 4 + 7 + 14 = 28. Следующее совершенное число — 496. Его делители таковы: 1, 2, 4, 8, 16, 31, 62, 124, 248 и 496, и нетрудно показать, что 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248 = 496. Следующее совершенное число — 8128, так как 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064 = 8128. Эти четыре совершенных числа были известны еще в Античности. Евклид упоминает их в своей книге «Начала» и в теореме 36 книги IX приводит общую формулу для этих чисел.

Появление совершенных чисел

Примерно в 100 году философ Никомах Герасский, представитель неопифагореизма, написал «Введение в арифметику», где приводилась классификация всех чисел. Числа делились на избыточные (сумма делителей которых больше самого числа), недостаточные (сумма делителей которых меньше самого числа) и совершенные (сумма делителей которых равна самому числу). В этой книге объясняется формула Евклида для нахождения совершенных чисел, «которая охватывает все совершенные числа и не включает ни одного, которое таковым не является. Совершенные числа находятся так. Сначала нужно записать в ряд некоторое количество степеней двойки, начиная с единицы и заканчивая любым выбранным вами числом: 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096. Для каждого нового члена нужно найти сумму этого ряда. Если результат не является составным числом, его нужно умножить на последнее число, добавленное в ряд. Результат умножения всегда будет совершенным числом. Если же сумма не является простым числом, нужно прибавить к ней следующий член ряда и посмотреть, является ли новая сумма составным числом. Если результат — составное число, нужно продолжать складывать члены ряда. Если же результат является простым числом, его нужно умножить на последний член ряда, результат будет совершенным числом, и так до бесконечности. Это легко проверить на конкретных примерах: