Том 9. Загадка Ферма. Трехвековой вызов математике - [39]

Шрифт
Интервал


И что теперь?

Все стало окончательно ясно: тот, кто докажет гипотезу Таниямы — Симуры, докажет последнюю теорему Ферма. Легко сказать, но трудно, очень и очень трудно сделать. В конце концов, с момента симпозиума, на котором Танияма представил первоначальный вариант гипотезы, прошло почти 40 лет, и до сих пор никто ни на шаг не смог приблизиться к ее доказательству. Подавляющее большинство специалистов по теории чисел считали, что эта гипотеза будет доказана лишь спустя много десятилетий. Вспомним слова Мазура: «Удивительная гипотеза… но в тот момент ее проигнорировали, так как она слишком опередила свое время». Значительные трудности представлял тот факт, что и модульных форм, и эллиптических кривых (связь между этими математическими объектами устанавливала гипотеза) бесконечно много. Тот, кто рискнул бы взяться за громадный труд по доказательству гипотезы Таниямы — Симуры, должен был бы решить не только основную задачу, но и множество более мелких, но столь же трудных. Малейшая ошибка могла свести на нет результаты многолетнего труда. Если сравнить теорему Ферма с математическим Эверестом, то можно сказать, что Танияма, Симура, Мазур, Фрай, Серр и Рибет нашли новый путь к вершине, ранее незаметный, но на этом пути беспрестанно бушевал сильнейший ветер.

Глава 6

Доказательство

х>n + у>n = z>n не имеет решений.

Я нашел этому поистине чудесное доказательство, но у меня нет времени записать его — скоро приедет поезд.

Граффити на одной из станций нью-йоркского метро, 1988 год


Был летний вечер 1986 года. Эндрю Уайлс пил чай со льдом в гостях у друга. В разговоре собеседник обронил, что Рибет доказал эпсилон-гипотезу. Это вызвало в обычно сдержанном Уайлсе настоящую бурю эмоций. «В тот момент я понял, что моя жизнь изменилась. Если это было действительно так, то для доказательства теоремы Ферма нужно было всего лишь доказать гипотезу Таниямы — Симуры. В этот же самый миг я понял, над чем мне нужно работать», — вспоминал он позже.

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


Мальчик, который хотел доказать теорему Ферма

Об Эндрю Уайлсе известен забавный случай: он узнал о великой теореме Ферма в 10 лет из научно-популярной книги по математике. Образ затерянного доказательства напомнил мальчику о темных пещерах и таинственных кладах, зарытых в далеких южных странах. Уайлс решил доказать теорему, используя знания из школьного курса арифметики. Эта история как никакая другая доказывает, насколько притягательной делает теорему Ферма простота ее формулировки, понятной даже ребенку. Юному Уайлсу, разумеется, пришлось оставить попытки найти доказательство, но теореме Ферма было суждено сопровождать его всю жизнь.

* * *

ОПАСНОСТЬ ЭКСТРАПОЛЯЦИИ

Как уже говорилось в предыдущей главе, к 90-м годам XX века теорема была доказана для всех показателей степени вплоть до 4 000 000. Если теорема Ферма верна для таких больших степеней, почему математики так стремились доказать ее для всех возможных показателей? Ведь практически невозможно, чтобы внезапно, словно с неба, появился непостижимо большой показатель степени, для которого теорема Ферма будет ложной. Не слишком ли щепетильным было математическое сообщество? Оставив в стороне вопросы психологии, скажем, что в случае с гипотезой, согласно которой бесконечное множество чисел обладает определенным свойством, никакая выборка «экспериментальных» данных, сколь велика бы она ни была, не может являться доказательством. Математика строится на доказательствах, то есть на непогрешимых истинах, и благодаря этому является столь мощным инструментом науки. И кроме того, история математики знает примеры, когда, вопреки изначальным предположениям, гипотезы оказывались ложными.

Например, Эйлер предположил, что следующее уравнение не имеет решений:

x>4у>4 + z>4 = w>4.

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

2 682 440>4 + 15 365 639>4  + 187 960>4  = 20 615 673>4.

Более того, Элкис не остановился на этом: он не просто нашел решение, но и доказал, что их бесконечно много. Конечно, он пользовался компьютером, но сам по себе компьютер не способен найти решение.

* * *

Эндрю Джон Уайлс родился в 1953 году в Кембридже, но изучал математику в Оксфордском университете, где его отец, Морис Фрэнк Уайлс, преподавал богословие. Однако докторскую диссертацию Уайлс защитил уже в Кембридже под руководством австралийца Джона Коутса. Докторская диссертация Уайлса была посвящена арифметике эллиптических кривых с комплексным умножением методами так называемой теории Ивасавы. В начале 1980-х Уайлс получил должность профессора в Принстонском университете в США и стал одним из редакторов престижного журнала «Анналы математики». Казалось, что Уайлс забыл о давнем увлечении теоремой Ферма. Но позднее он признался: «Я не забыл о ней. Я помнил о ней всегда, но понимал, что единственные возможные методы доказательства насчитывали свыше ста лет, и было непохоже, чтобы с их помощью можно было проникнуть в суть задачи. Коутс, мой учитель, познакомил меня с теорией Ивасавы, над которой работал он сам». То, что эта теория в итоге стала ключом к доказательству последней теоремы Ферма, — одно из многочисленных удивительных совпадений, которыми изобилует эта история. Как бы то ни было, в 1986 году Рибет доказал эпсилон-гипотезу, и Уайлс немедленно вернулся к давно интересовавшей его теореме.


Рекомендуем почитать
Урожаи и посевы

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


Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.


Симпсоны и их математические секреты

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


Жар холодных числ и пафос бесстрастной логики

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.


Истина и красота: Всемирная история симметрии

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


Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике.