Великая Теорема Ферма - Аверьянова Н. Л. "Zenzen" - Страница 49

• Предыдущая
• 49/75
• Следующая

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

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

Чтобы доказать, что эллиптическая кривая не модулярна, математики занялись поиском инвариантов, аналогичных тем, которые были описаны в гл. 4. Инвариант узла показывает, что один инвариант не может быть трансформирован в другой, инвариант придуманной модели Лойдом головоломки «15–14» показывает, что исходное расположение шашек в этой головоломке невозможно превратить в расположение шашек строго по порядку номеров. Если бы специалистам по теории чисел удалось найти подходящий инвариант для описания эллиптической кривой Фрея, то они смогли бы доказать, что этой кривой, что бы с ней ни делали, невозможно сопоставить модулярную форму.

Одним из тех, кто тщетно пытался доказать существование связи между гипотезой Таниямы-Шимуры и Великой теоремы Ферма, был профессор Калифорнийского университета в Беркли Кен Рибет. С тех пор, как он побывал на докладе Фрея в Обервольфахе, его не покидала надежда доказать, что эллиптическая кривая Фрея слишком причудлива для того, чтобы быть модулярной. После восемнадцати месяцев усилий Рибет, как и все остальные, не продвинулся ни на шаг. Летом 1986 года коллега Рибета, профессор Барри Мазур, приехал в Беркли для участия в Международном конгрессе математиков. Друзья встретились за чашечкой кофе в кафе «Стрaда» и принялись жаловаться друг другу на неудачи и брюзжать по поводу состояния дел в математике.

Когда же они, в конце концов, добрались до обсуждения последних новостей о различных попытках доказать причудливость эллиптической кривой Фрея, Рибет начал объяснять тот ход доказательства, которой он наметил. Этот подход позволял питать смутные надежды на успех, но Рибету удалось осуществить лишь малую часть из задуманного. «Я сидел с Барри и рассказывал о том, чем занимался все это время. Я упомянул, что мне удалось найти доказательство лишь для весьма частного случая, но что делать дальше, как обобщить его, превратив в полнокровное доказательство, я не знаю».

Профессор Мазур прихлебывал кофе и внимательно слушал Рибета. Вдруг он замер и с недоверием посмотрел на Кена. «Неужели Вы не видите? Вы уже доказали все, что требуется. Осталось лишь добавить гамма-нуль M-структуры, провести все доказательство с самого начала, и Вы получите все необходимое».

Рибет посмотрел на Мазура, потом заглянул в чашечку с кофе и снова посмотрел на Мазура. В жизни Рибета как математика это был самый важный момент, и он охотно вспоминает его в мельчайших подробностях. «Я ответил Мазуру, что он абсолютно прав. Как же я сам этого не заметил? Я был сильно удивлен потому, что мне и в голову не приходило добавить лишний гамма-нуль M-структуры. Ведь это так просто!»

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

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

На протяжении трех с половиной столетий Великая теорема Ферма была изолированной проблемой, занимательной и неразрешимой головоломкой на краю математики. Теперь Кен Рибет, вдохновленный Герхардом Фреем, передвинул проблему Ферма в центр событий. Самая занимательная проблема, остававшаяся нерешенной с XVII века, оказалась неразрывно связанной с самой значительной проблемой XX века. Головоломка огромного исторического и эмоционального значения оказалась связанной с гипотезой, способной революционизировать современную математику. Действительно, теперь математики могли подходить к доказательству Великой теоремы Ферма, придерживаясь стратегии доказательства от противного. Чтобы доказать, что Великая теорема Ферма верна, математики исходили из предположения, что она неверна. Из этого бы следовало, что гипотеза Таниямы-Шимуры неверна. Но если бы можно было доказать, что гипотеза Таниямы-Шимуры верна, то из этого следовало бы, что и Великая теорема Ферма должна быть верна.

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

Более двух десятилетий прошло с того дня, когда Эндрю Уайлс нашел на библиотечной полке книгу Э.Т. Белла, вдохновившую его принять вызов, брошенный математикам Пьером де Ферма. Но только теперь Уайлс впервые отчетливо увидел путь к осуществлению своей детской мечты. Уайлс вспоминает, как резко за один вечер изменилось его отношение к гипотезе Таниямы-Шимуры: «Мне вспомнилось, как один знакомый математик отозвался о гипотезе Таниямы-Шимуры дерзко и уничижительно, назвав ее "упражнением для заинтересованного читателя". Ну что же, с этого вечера я стал очень заинтересованным читателем!»

• Предыдущая
• 49/75
• Следующая