Великая Теорема Ферма

В апреле, когда Коши и Ламе наконец опубликовали некоторые детали своих доказательств в Трудах Академии, напряжение усилилось. Все математическое сообщество отчаянно жаждало ознакомиться с полным доказательством, причем многие математики втайне надеялись, что состязание выиграет Ламе, а не Коши. Судя по всем отзывам, Коши был самодовольным существом и религиозным фанатиком. К тому же он был весьма непопулярен среди своих коллег. В Академии его терпели только за блестящий ум.

Наконец, 24 мая было сделано заявление, которое положило конец всем домыслам. К Академии обратился не Коши и не Ламе, а Жозеф Лиувилль. Он поверг достопочтенную аудиторию в шок, зачитав письмо от немецкого математика Эрнста Куммера. Куммер был признанным специалистом по теории чисел, но горячий патриотизм, питаемый искренней ненавистью к Наполеону, на протяжении многих лет не позволял ему отдаться своему истинному призванию. Когда Куммер был еще ребенком, французская армия вторглась в его родной город Сорау, принеся с собой эпидемию тифа. Отец Куммера был городским врачом и через несколько недель болезнь унесла его. Потрясенный происшедшим, Куммер поклялся сделать все, что в его силах, чтобы избавить родину от нового вражеского вторжения, — и по окончании университета направил свой интеллект на решение проблемы построения траекторий пушечных ядер. Позднее он преподавал в Берлинском военном училище законы баллистики.

Параллельно с военной карьерой Куммер активно занимался исследованиями в области чистой математики и был полностью осведомлен о происходящем в Французской Академии. Куммер внимательно прочитал публикации в Трудах Академии и проанализировал те немногие детали, которые рискнули раскрыть Коши и Ламе. Ему стало ясно, что оба француза движутся в сторону одного и того же логического тупика, — и свои соображения он изложил в письме к Лиувиллю.

По мнению Куммера, основная проблема заключалась в том, что доказательства Коши и Ламе опирались на использование свойства целых чисел, известного под названием единственности разложения на простые множители. Это свойство означает, что существует только одна возможная комбинация простых чисел, произведение которых дает данное целое число. Например, единственная комбинация простых чисел, произведение которых дает число 18, имеет вид

18 = 2·3·3.

Аналогично, числа 35, 180 и 106260 могут быть единственным образом разложены на простые числа, и их разложения имеют вид

35 = 5·7, 180 = 2·2·3·3·5, 106260 = 2·2·3·5·7·11·23.

Единственность факторизации была обнаружена в IV веке до н. э. Евклидом, который в книге IX своих «Начал» доказал, что это верно для всех натуральных чисел. Единственность разложения на простые множители для всех натуральных чисел — жизненно важный элемент доказательств многих различных теорем и ныне называется основной теоремой арифметики.

На первый взгляд не должно быть никаких причин, по которым Коши и Ламе не могли бы использовать единственность разложения на множители в своих рассуждениях, как это делали сотни математиков до них. Однако, оба представленных Академии доказательства использовали мнимые числа. Куммер обратил внимание Лиувилля на то, что, хотя теорема о единственности разложения на множители выполняется для целых чисел, она не обязательно должна выполняться, если используются мнимые числа. По мнению Куммера, это была роковая ошибка.

Например, если мы ограничимся целыми числами, то число 12 допускает единственное разложение 2·2·3. Но стоит нам допустить в доказательстве мнимые числа, как число 12 можно разложить на множители и так:

12 = (1 + √–11)·(1 + √–11).

Здесь 1 + √–11 — комплексное число, представляющее собой комбинацию действительного и мнимого числа. Хотя умножение комплексных чисел производится по более сложным правилам, чем умножение действительных чисел, существование комплексных чисел порождает дополнительные способы разложения числа 12 на множители. Приведем еще один способ разложения числа 12:

12 = (2 + √–8)·(2 + √–8).

Следовательно, при использовании в доказательстве мнимых чисел речь идет не о единственности разложения, а о выборе одного из вариантов разложения на множители.