Члены академии наук воодушевились этими успехами и решили закрыть тему: в 1850 году была снова предложена премия тому, кто окончательно докажет последнюю теорему Ферма в общем виде. Членами жюри были Огюстен Луи Коши, Жозеф Лиувилль, Габриель Ламе, Жозеф Луи Франсуа Бертран и Мишель Шаль. Прошли все сроки, и закончились все возможные отсрочки, и наконец Коши написал: «Секретариату было представлено одиннадцать записок. Но ни одна не содержит решения задачи. Тем не менее жюри отмечает, что работа под номером 2 содержит новое решение для частного случая, для которого привел доказательство сам Ферма, то есть для показателя степени, равного 4. Следовательно, несмотря на все усилия, вопрос не сдвинулся с точки, до которой дошел г-н Куммер. Тем не менее математическое сообщество с радостью встречает усилия геометров по решению этой задачи, особенно усилия господина Куммера.
Жюри считает, что академия примет достойное и уместное решение, если оставит в стороне вопрос о соревновательности и присудит медаль господину Куммеру за его потрясающие исследования целых комплексных чисел и комплексных чисел, образованных корнями единицы».
Таким образом, в 1857 году премия была присуждена Куммеру, который даже не участвовал в конкурсе! Так члены академии выразили ему глубокую признательность за его труд. Он внес масштабный вклад в науку, разработав многие идеи и концепции и создав новые обширные разделы математики: регулярные простые числа, теорию идеалов, круговые поля, классы идеалов кругового поля и многие другие.
Последняя теорема Ферма способствовала продвижению математики далеко вперед, но по-прежнему оставалась неприступной. После двухсот лет поисков баланс сил был таков. Первый случай был доказан для многих показателей степени, удовлетворявших условиям Жермен и Лежандра. Кроме этого, общий случай был доказан для четырех показателей степени n: 3, 4, 5 и 7. Но оставалось еще очень много недоказанных случаев. Последняя теорема, несмотря на все свое очарование, стала костью в горле для многих математиков.
Портрет немецкого математика Эрнста Эдуарда Куммера.
* * *
* * *
В 1908 году немецкий предприниматель и математик Пауль Вольфскель учредил приз в 100 000 немецких марок (что эквивалентно миллиону евро в наши дни) тому, кто сможет доказать теорему Ферма. Был установлен крайний срок подачи заявок, не подлежащий продлению, — 13 сентября 2007 года. Возможно, Вольфскель считал, что ста лет будет достаточно для доказательства теоремы, которой исследователи уже посвятили столько времени.
Очень многие математики прилагали огромные усилия, чтобы дополнить список показателей степени, для которых доказана теорема Ферма, как первый, так и общий случай. Иногда этого удавалось достичь за счет усовершенствования уже известных критериев или способов вычислений, в других случаях исследования велись в совершенно новых направлениях. В 1909 году Виферих доказал, что если существует решение для первого случая теоремы Ферма, то 2p-1 — 1 должно быть кратно р2. Фактически на тот момент не было известно ни одного простого числа, которое бы удовлетворяло этому условию. Лишь в 1913 году Мейснер нашел р = 1903, а в 1922 году Бигер обнаружил р = 3511. В 1910 году Мириманов дополнил результаты Вифериха и доказал, что если существует решение первого случая теоремы Ферма, то 3p-1 — 1 также должно быть кратно р2. Это позволило доказать теорему для р = 1903 и р = 3511. В 1971 году Бриллхарт, Тонашия и Вайнбергер с помощью компьютера проанализировали все простые числа до 3·109 и не обнаружили ни одного другого числа, которое бы удовлетворяло условию Вифериха. Следовательно, они доказали теорему Ферма для всех показателей, не превышающих это значение. С годами число изученных простых чисел росло, и примерно к 1990 году первый случай теоремы Ферма был доказан для всех показателей, меньших 2327·1019.
* * *
ПЬЕРУ ФЕРМА ЗА ТО, ЧТО ОН СПАС МНЕ ЖИЗНЬ