Величайшие математические задачи

К марту 1994 г. исправленное доказательство не появилось, и Фальтингс выразил широко распространенное в математическом сообществе мнение: «Если бы [исправить доказательство] было просто, он бы уже решил эту проблему. Строго говоря, то, что было заявлено, не доказательство». Вейль заметил: «Я считаю, что у него есть несколько хороших идей, но доказательства нет… Доказать Великую теорему Ферма — это как взобраться на Эверест. Если кто-то хочет покорить Эверест и не доходит до вершины 100 ярдов, это означает, что он не покорил Эверест». Каждый мог легко представить себе, чем все кончится. Все это уже было. Доказательство рухнуло, его придется полностью пересматривать, и теорема Ферма останется непобежденной до следующего сражения.

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

К апрелю 1995 г. новое доказательство было завершено, и на этот раз в нем не оказалось ни прорех, ни ошибок. Оно было опубликовано в виде двух статей в Annals of Mathematics — одном из самых уважаемых математических журналов. Уайлс стал мировой знаменитостью, удостоился нескольких престижных премий и рыцарского звания… и вернулся к своим исследованиям. Его жизнь почти не изменилась.

По-настоящему важно в достижении Уайлса вовсе не доказательство Великой теоремы Ферма как таковое. Я уже говорил, что от того, верна эта теорема или нет, практически ничего не зависит. Если бы кто-то отыскал три 100-значных числа и 250-значный простой показатель степени, из которых сложился бы контрпример к утверждению Ферма, то ни одна важная область математики от этого не пострадала бы. Конечно, прямой компьютерный расчет не осилил бы таких больших чисел, так что вам пришлось бы проявить недюжинный ум, чтобы отыскать что-нибудь подобное, но отрицательный результат в данном случае не вызвал бы ни у кого особой тревоги.

Подлинное значение найденного Уайлсом решения проблемы заключается в доказательстве гипотезы Таниямы — Симуры для полустабильного случая. Не прошло и шести лет, как Кристоф Брейль, Брайан Конрад, Фред Даймонд и Ричард Тейлор расширили методы Уайлса и разобрались не только с полустабильными, но и со всеми остальными эллиптическими кривыми. Они доказали полный вариант гипотезы Таниямы — Симуры, и теория чисел уже никогда не будет прежней. Теперь, если кто-то столкнется с эллиптической кривой, она гарантированно будет модулярной, что открывает перед исследователями множество новых аналитических методов. Эти методы уже используются для решения других задач теории чисел, а в будущем их появится еще больше.

8. Орбитальный хаос. Задача трех тел

Если верить старой шутке, то о продвинутости физической теории можно судить по тому, с каким количеством взаимодействующих тел она не в состоянии разобраться. Закон всемирного тяготения Ньютона сталкивается с проблемами уже на трех телах. Общая теория относительности с трудом справляется с двумя. Квантовая теория и для одного-то тела непомерно сложна, а квантовая теория поля попадает в беду даже там, где тел нет вообще — в вакууме. В этой шутке, как и во многих других, есть доля истины{27}. Так, над задачей гравитационного взаимодействия всего лишь трех тел, которые вроде бы подчиняются ньютонову обратно-квадратичному закону тяготения, математический мир бился не одну сотню лет. И до сих пор бьется, если говорить о красивой формуле для орбит этих тел. Правда, сегодня мы знаем, что динамика трех тел хаотична — настолько нерегулярна, что несет в себе элементы случайности.

Все это выглядит достаточно странно на фоне поразительного успеха гравитационной теории Ньютона, которая объяснила, помимо всего прочего, движение планет вокруг Солнца. Ответом было то, что Кеплер уже вывел эмпирически из астрономических наблюдений Марса: эллипс. Здесь задействованы только два тела: Солнце и планета. Очевидный следующий шаг заключается в том, чтобы записать уравнение для орбит трех тел и решить его. Но у этих орбит нет точных геометрических характеристик, нет даже формулы в геометрических координатах. До конца XIX в. о движении трех небесных тел было известно очень немного, даже в том случае, если одно из них настолько мало, что его массой можно пренебречь.