Вместо уравнения Пифагора x2 + y2 = z2 Ферма занялся рассмотрением его варианта x3 + y3 = z3. Ферма всего лишь изменил степень на единицу, но его новое уравнение, насколько можно было судить, вообще не допускало никаких решений в целых числах. «Методом проб и ошибок» нетрудно было обнаружить, что найти два куба, которые бы в сумме давали еще один куб, не так-то просто. Неужели произведенное Ферма незначительное изменение действительно превращает уравнение, допускающее бесконечно много решений в целых числах, в уравнение, не имеющее ни одного решения в целых числах?

Ферма подверг уравнение Пифагора еще большему изменению, попробовав заменить степень 2 на целые числа бóльшие 3, и обнаружил, что найти решение в целых числах каждого из этих уравнений столь же трудно. И Ферма решил, что вообще не существует трех целых чисел x, y, z, которые удовлетворяли бы уравнению

xn + yn = zn, где n = 3,4,5…

На полях «Арифметики» Диофанта, рядом с задачей 8, Ферма оставил такое замечание: «Cubet autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere» [4].

Фронтиспис издания «Арифметики» Диофанта опубликованного Клеманом-Самюэлем Ферма в 1670 году. В этом варианте были напечатаны и заметки на полях, оставленные отцом издателя — Пьером де Ферма

Рис. 6. Страница издания «Арифметики» Диофанта (1670 г.), содержащая знаменитое замечание Пьера де Ферма

Не было причин, по которым среди всех целых чисел не должно было бы существовать по крайней мере одной тройки целых чисел, удовлетворяющих уравнениям Ферма, тем не менее Ферма утверждал, что во всем бесконечном мире чисел нет ни одной «тройки Ферма». Утверждение было весьма необычным, но Ферма полагал, что располагает его доказательством. После первой заметки на полях, наметившей общие контуры теории, гений, любящий позабавиться над коллегами-математиками, начертал еще один комментарий, над которым впоследствии ломало голову не одно поколение математиков:

«Cuius rei demonstrationem mirabilem sane setex hanc marginis exiguitas non caparet» [5]. В этом — весь Ферма, все то, что особенно раздражало современных ему математиков. Из его собственных слов можно заключить, что он весьма доволен своим «поистине удивительным» доказательством, но ему и в голову не приходит дать себе труд написать подробности доказательства и уж тем более опубликовать его. Он так никому и не рассказал о своем доказательстве, но, несмотря на характерную для Ферма комбинацию лени и скромности, Великая теорема Ферма, как ее стали называть позднее, обрела неслыханную славу в грядущих веках.

Свое знаменитое открытие Ферма совершил в самом начале своей математической карьеры — около 1637 года. Примерно через тридцать лет, исполняя свои судебные обязанности в городе Кастре, Ферма тяжело заболел. 9 января 1665 года он подписал свой последний приговор и тремя днями позднее умер. Открытиям Ферма, все еще находившегося в изоляции от парижской математической школы и отнюдь не добрым словом поминаемого его разочарованными коллегами, грозило полное забвение. К счастью, старший сын Ферма, Клеман-Самюэль, сознававший все значение любимого увлечения отца, пришел к заключению, что его открытия не должны быть потеряны для всего мира. Всем, что мы знаем о замечательных открытиях Ферма в теории чисел, мы обязаны его сыну, и если бы не Клеман-Самюэль, загадка, известная под названием Великой теоремы Ферма, умерла бы вместе во своим создателем.

Пять лет Клеман-Самюэль собирал отцовские заметки и письма, изучал неразборчивые надписи на полях «Арифметики». Заметка на полях с формулировкой Великой теоремы Ферма была лишь одной из вдохновенных мыслей, начертанных на полях этой книги. Клеман-Самюэль взял на себя тяжкий труд опубликовать все эти заметки в специальном издании «Арифметики». В 1670 году он издал в Тулузе книгу под названием «Диофантова Арифметика, содержащая примечания П. де Ферма». В нее наряду с оригинальным текстом на древнегреческом языке и латинском переводом Баше вошли 48 примечаний, сделанных Ферма. Примечание, воспроизведенное на рис. 6, и было тем, которое стало впоследствии известно под названием Великой теоремы Ферма.

Когда «Примечания» Ферма стали известны более широкому научному сообществу, все поняли, что письма, которые он отправлял своим коллегам, были лакомыми кусочками из сказочного сокровища открытий. Примечания, сделанные рукой Ферма, содержат целую серию теорем. К сожалению, они были либо полностью лишены объяснений, либо сопровождались небольшим наброском доказательства. Часто в этих обрывках доказательств было достаточно изящных логических ходов, чтобы у математиков не оставалось сомнения в том, что Ферма располагал доказательствами. Что же касалось восполнения деталей, то оно всегда было вызовом, который математикам приходилось принимать.

Леонард Эйлер, один из величайших математиков XVIII века, предпринял попытку доказать одно из самых изящных примечаний Ферма — теорему о простых числах. Простым называется число, которое не имеет делителей — чисел, которые делили бы его без остатка, — кроме единицы и самого числа. Например, 13 — простое число, а 14 — не простое. Ни одно число не делит 13 без остатка, а 2 и 7 делят 14. Все простые числа подразделяются на числа, представимые в виде 4n+1, и числа, представимые в виде 4n–1, где n — некоторое целое число. Так, число 13 принадлежит к первой группе (13 = 4·3 + 1), а число 19 — ко второй группе (19 = 4·5–1). Теорема Ферма о простых числах утверждает, что простые числа первой группы всегда представимы в виде суммы двух квадратов (13 = 22 + 32), в то время как простые числа второй группы никогда в виде суммы двух квадратов не представимы (19 =?2 +?2). Это свойство простых чисел формулируется изящно и просто, но все попытки доказать, что им обладает любое простое число, наталкиваются на значительные трудности. Для Ферма это доказательство было всего лишь одним из многих доказательств, хранимых им «приватно», для Эйлера восстановить доказательство стало делом чести. В 1749 году, после семи лет работы и почти через сто лет после смерти Ферма, Эйлеру удалось доказать эту теорему о простых числах.