15 марта стало известно, что премию Абеля в 2016 году получит Эндрю Уайлз за доказательство гипотезы Таниямы-Симуры для полустабильных эллиптических кривых и следующее из этой гипотезы доказательство великой теоремы Ферма. В настоящее время премия составляет 6 миллионов норвежских крон, то есть примерно 50 миллионов рублей. По словам Уайлса, присуждение премии стало для него «полной неожиданностью».

Теорема Ферма, доказанная более 20 лет назад, до сих пор привлекает внимание математиков. Отчасти, это связано с ее формулировкой , которая понятна даже школьнику: доказать, что для натуральных не существует таких троек целых ненулевых чисел, что . Это выражение Пьер Ферма записал на полях «Арифметики» Диофанта, снабдив замечательной подписью «Я нашёл этому поистине чудесное доказательство [этого утверждения], но поля книги слишком узки для него». В отличие от большинства математических баек — эта настоящая.

Вручение премии — прекрасный повод вспомнить несколько историй, связанных с теоремой Ферма.


До того, как Эндрю Уайлз доказал теорему Ферма, ее правильнее было называть гипотезой, то есть гипотезой Ферма. Дело в том, что теорема — это по определению уже доказанное утверждение. Однако, почему-то у этому утверждению приклеилось именно такое название.


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

Кстати, легко заметить, что если все числа в пифагоровой тройке умножить на некоторое ненулевое, получится новая пифагорова тройка. Поэтому разумно изучать тройки, в которых у трех чисел в совокупности нет общего делителя. Схема, которую мы описали, позволяет получить все такие тройки — это уже совсем не простой результат.


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

В школе доказывается, что разложение числа на простые множители единственно. Оба математика полагали, что если смотреть на разложение целых чисел уже в комплексном случае, то это свойство — единственность — сохранится. Однако, это не так

.

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


Теорема Ферма для имеет понятный геометрический смысл. Представим себе, что у нас есть много маленьких кубиков. Пусть мы собрали из них два больших куба. В этом случае, понятное дело, стороны будут целые числа. Можно ли найти два таких больших куба, что, разобрав его на составляющие мелкие кубы, мы бы могли собрать из них один большой куб? Теорема Ферма говорит, что так сделать никогда нельзя. Забавно, что если задать тот же вопрос для трех кубов, то ответ утвердительный. Например, есть вот такая четверка чисел, открытая замечательным математиком Шринивасом Рамануджаном

.


В истории с теоремой Ферма отметился Леонард Эйлер. Доказать утверждение (или даже подступиться к доказательству) у него толком не получилось, однако, он сформулировал гипотезу о том, что уравнение



не имеет решения в целых числах. Все попытки найти решение такого уравнения в лоб оказались безрезультатны. Только в 1988 году Науму Элькису из Гарварда удалось найти контрпример. Он выглядит вот так:

.

Обычно эту формулу вспоминают в контексте численного эксперимента. Обычно в математике это выглядит так: есть некоторая формула. Математик проверяет эту формулу в простых случаях, убеждается в истинности и формулирует некоторую гипотезу. Затем он (хотя чаще какой-нибудь его аспирант или студент) пишет программу для того, чтобы проверить, что формула верна для достаточно больших чисел, которых руками не посчитать. Это не доказательство, конечно, но отличный повод заявить о гипотезе. Все эти построения базируются на разумном предположении, что, если к некоторой разумной формуле есть контрпример, то мы найдем его достаточно быстро.

Гипотеза Эйлера напоминает, что жизнь гораздо разнообразнее наших фантазий: первый контрпример может быть сколь угодно большим.


На самом деле, конечно, Эндрю Уайлз не пытался доказать теорему Ферма — он решал более сложную задачу под названием гипотеза Танияма-Шимуры. В математике есть два замечательных класса объектов. Первый называется модулярными формами и представляет собой по сути функции на пространстве Лобачевского. Эти функции не меняются при движениях этой самой плоскости. Второй называется эллиптические кривые и представляет собой кривые, задаваемые уравнением третьей степени на комплексной плоскости. Оба объекта очень популярны в теории чисел.

В 50-х годах прошлого века два талантливых математика Ютака Танияма и Горо Шимура познакомились в библиотеке Токийского университета. В то время особой математики в университете не было: она просто не успела восстановиться после войны. В результате ученые занимались по старым учебникам и разбирали на семинарах задачи, которые в Европе и США считались решенными и не особенно актуальными. Именно Танияма и Шимура обнаружили, что между модулярными формами и эллиптическими функциями есть некое соответствие.

Свою гипотезу они проверили на некоторых простых классах кривых. Оказалось, что она работает. Вот они и предположили, что эта связь есть всегда. Так появилась гипотеза Танияма-Шимуры, а спустя три года Танияма покончил с собой. В 1984 году немецкий математик Герхард Фрей показал, что если теорема Ферма неверна, то, следовательно, неверна гипотеза Танияма-Шимуры. Из этого вытекало, что доказавший эту гипотезу, докажет и теорему. Именно это и сделал — правда не совсем в общем виде — Уайлз.


На доказательство гипотезы Уайлз потратил восемь лет. И во время проверки рецензенты нашли в ней ошибку, которая «убивала» большую часть доказательства, сводя на нет все годы работы. Один из рецензентов по имени Ричард Тейлор взялся заделать вместе с Уайлзом эту дырку. Пока они работали, появилось сообщение, что Наум Элькис, тот самый, который нашел контрпример к гипотезе Эйлера, нашел и контрпример к теореме Ферма (позже, конечно, оказалось, что это ошибка). На фоне этих новостей Уайлз впал в депрессию и не хотел продолжать — к тому же дырка в доказательстве никак не закрывалась. Тейлор уговорил Уайлза побороться еще месяц.

Случилось чудо и к концу лета математикам удалось сделать прорыв — так на свет появились работы «Модулярные эллиптические кривые и великая теорема Ферма» Эндрю Уайлза (pdf) и «Теоретико-кольцевые свойства некоторых алгебр Гекке» Ричарда Тейлора и Эндрю Уайлза. Это было уже правильное доказательство. Опубликовано оно было в 1995 году.


В 1908 году в Дармштадте скончался математик Пауль Вольфскель. После себя он оставил завещание, в котором давал математическому сообществу 99 лет, чтобы найти доказательство великой теоремы Ферма. Автор доказательства должен был получить 100 тысяч марок (автор контрпримера, кстати, не получил бы ничего). Согласно распространенное легенде, Вольфскеля побудило сделать такой подарок математикам любовь. Вот как описывает легенду Саймон Сингх в своей книге «Великая теорема Ферма»:


Впрочем, есть и альтернативная версия. Согласно ей, Вольфскель занялся математикой (и, собственно, теоремой Ферма) из-за прогрессирующего рассеянного склероза, который помешал заниматься ему любимым делом — быть врачом. А деньги математикам он оставил, чтобы не оставлять своей жене, которую к концу жизни просто ненавидел.


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

На мехмате МГУ был совершенно легендарный персонаж по фамилии Добрецов. Он собирал справки из разных ведомств и, пользуясь ими, проникал на мехмат. Делалось это исключительно для того, чтобы найти жертву. Как-то ему попался молодой аспирант (будущий академик Новиков). Он, по наивности своей, принялся внимательно изучать стопку бумаг, которую Добрецов подсунул ему со словами, мол, вот доказательство. После очередного «вот ошибка...» Добрецов забрал стопку, запихнул ее в портфель. Из второго портфеля (да, он ходил по мехмату с двумя портфелями) он достал вторую стопку, вздохнул и сказал: «Ну тогда посмотрим вариант 7 Б».

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


Рассказ о теореме будет не полон без замечательного фильма «Математик и черт».