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

Разрушенная ферма Спокойное солнце цветком темно-красным Клонилось к земле, вырастая в закат, Но занавес ночи в могуществе праздном Задергивал мир, растревоживший взгляд. Безмолвье царило на ферме без крыши, Как будто ей волосы кто-то сорвал, Над кактусом бились

Глава 9 Единая ферма Лора Шюлер и я решили отметить окончание старшей школы, отправившись в трехнедельное путешествие. Мы не особо понимали, что значит для нас выпуск из школы, однако знали, что отметить данное событие необходимо. Поэтому мы обсудили, что собираемся

Подготовка к гонке. Аляска, ферма Линды Плетнер «Айдитарод» – ежегодные гонки на собачьих упряжках на Аляске. Протяженность маршрута – 1150 миль (1800 км). Это самая длинная в мире гонка на собачьих упряжках. Старт (торжественный) – 4 марта 2000 года из Анкоридже. Старт

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

А меня удивило то, насколько живо девочки интересуются проблемами современной математики. Поэтому, думаю, что не только девочкам, но и мальчикам всех возрастов - от старшеклассников до пенсионеров, тоже будет интересно узнать историю Великой теоремы.

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

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

Как Ферма заварил кашу

Французский юрист и по совместительству великий математик XVII века Пьер Ферма (1601-1665) выдвинул одно любопытное утверждение из области теории чисел, которое впоследствии получило название Великой (или Большой) теоремы Ферма. Это одна из самых известных и феноменальных математических теорем. Наверно, ажиотаж вокруг нее был бы не так силен, если бы в книге Диофанта Александрийского (III век н. э.) "Арифметика", которую Ферма частенько штудировал, делая пометки на ее широких полях, и которую любезно сохранил для потомков его сын Сэмюэл, не была обнаружена примерно следующая запись великого математика:

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

Она-то, эта запись, и явилась причиной последующей грандиозной суматохи вокруг теоремы.

Итак, знаменитый ученый заявил, что доказал свою теорему. Давайте же зададимся вопросом: действительно ли он ее доказал или банально соврал? Или есть другие версии, объясняющие появление той записи на полях, не дававшей спокойно спать многим математикам следующих поколений?

История Великой теоремы увлекательна, как приключение во времени. В 1636 году Ферма заявил, что уравнение вида x n +y n =z n не имеет решений в целых числах при показателе степени n>2. Это собственно и есть Большая теорема Ферма. В этой, казалось бы, простой с виду математической формуле Вселенная замаскировала невероятную сложность. Американский математик шотландского происхождения Эрик Темпл Белл в своей книге "Последняя проблема" (1961) даже предположил, что, возможно, человечество прекратит свое существование раньше, чем сможет доказать Великую теорему Ферма.

Несколько странным является то, что почему-то теорема опоздала с появлением на свет, поскольку ситуация назрела давно, ведь ее частный случай при n=2 - другая знаменитая математическая формула - теорема Пифагора, возникла на двадцать два столетия раньше. В отличие от теоремы Ферма, теорема Пифагора имеет бесконечное множество целочисленных решений, например, такие пифагоровы треугольники: (3,4,5), (5,12,13), (7,24,25), (8,15,17) … (27,36,45) … (112,384,400) … (4232, 7935, 8993) …

Синдром Великой теоремы

Кто только не пытался доказать теорему Ферма. Любой оперившийся студент считал своим долгом приложиться к Великой теореме, но доказать ее всё никак никому не удавалось. Сначала не удавалось сто лет. Потом еще сто. И еще. Среди математиков стал развиваться массовый синдром: "Как же так? Ферма доказал, а я что, не смогу, что ли?" - и некоторые из них на этой почве свихнулись в полном смысле этого слова.

Сколько бы теорему не проверяли - она всегда оказывалась верна. Я знал одного энергичного программиста, который был одержим идеей опровергнуть Великую теорему, пытаясь найти хотя бы одно ее решение (контрпример) методом перебора целых чисел с использованием быстродействующего компьютера (в то время чаще именовавшегося ЭВМ). Он верил в успех своего предприятия и любил приговаривать: "Еще немного - и грянет сенсация!". Думаю, что в разных местах нашей планеты имелось немалое количество такого сорта смелых искателей. Ни одного решения он, конечно же, не нашел. И никакие компьютеры, хоть даже со сказочным быстродействием, никогда не смогли бы проверить теорему, ведь все переменные этого уравнения (в том числе и показатели степени) могут возрастать до бесконечности.

Теорема требует доказательства

Математики знают, что если теорема не доказана, из нее может следовать всё что угодно (как истина, так и ложь), как это было с некоторыми другими гипотезами. Например, в одном из своих писем Пьер Ферма высказал предположение, что числа вида 2 n +1 (т.н. числа Ферма) обязательно простые (т.е. не имеют целочисленных делителей и делятся без остатка только на себя и на единицу), если n - степень двойки (1, 2, 4, 8, 16, 32, 64 и т.д.). Эта гипотеза Ферма прожила более ста лет - до тех пор, пока в 1732 году Леонард Эйлер не показал, что

2 32 +1 = 4 294 967 297 = 6 700 417 · 641

Затем еще почти через 150 лет (1880) Фортюне Ландри разложил на множители следующее число Ферма:

2 64 +1 = 18 446 744 073 709 551 617 = 274 177 · 67 280 421 310 721

Как они без помощи компьютеров смогли найти делители этих больших чисел - одному богу известно. В свою очередь Эйлер выдвинул гипотезу, что уравнение x 4 +y 4 +z 4 =u 4 не имеет решений в целых числах. Однако примерно через 250 лет, в 1988 году Науму Элькису из Гарварда удалось обнаружить (уже с помощью компьютерной программы), что

2 682 440 4 + 15 365 639 4 + 18 796 760 4 = 20 615 673 4

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

Самый виртуозный и плодотворный математик XVIII века Леонард Эйлер, архив записей которого человечество разгребало почти целый век, доказал теорему Ферма для степеней 3 и 4 (вернее, он повторил утерянные доказательства самого Пьера Ферма); его последователь в теории чисел, Лежандр (а также независимо от него Дирихле) - для степени 5; Ламе - для степени 7. Но в общем виде теорема оставалась недоказанной.

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

В начале XX века (1908) состоятельный немецкий предприниматель, меценат и ученый Пауль Вольфскель завещал сто тысяч марок тому, кто предъявит полное доказательство теоремы Ферма. Уже в первый год после опубликования завещания Вольфскеля Геттингентской академией наук, она была завалена тысячами доказательств от любителей математики, и поток этот не прекращался в течение десятилетий, но все они, как вы догадываетесь, содержали в себе ошибки. Говорят, что в академии были заготовлены бланки примерно такого содержания:

Уважаемый __________________________!
В Вашем доказательстве теоремы Ферма на ____ странице в ____ строчке сверху
в формуле:__________________________ обнаружена следующая ошибка:,

Которые рассылались незадачливым соискателям премии.

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

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

Наиболее сильные математики, может быть, в тиши своих кабинетов тоже пробовали осторожно подходить к этой неподъемной штанге, но не говорили об этом вслух, дабы не прослыть фермистами и, таким образом, не навредить своему высокому авторитету.

К тому времени появилось доказательство теоремы для показателя степени n<100. Потом для n<619. Надо ли говорить о том, что все доказательства невероятно сложны. Но в общем виде теорема оставалась недоказанной.

Странная гипотеза

До середины ХХ века никаких серьезных продвижений в истории Великой теоремы не наблюдалось. Но вскоре в математической жизни произошло одно интересное событие. В 1955 году 28-летний японский математик Ютака Танияма выдвинул утверждение из совершенно другой области математики, получившее название "гипотезы Таниямы" (она же "гипотеза Таниямы-Шимуры-Вейла"), которое, в отличие от запоздалой теоремы Ферма, опередило свое время.

Гипотеза Таниямы гласит: "каждой эллиптической кривой соответствует определенная модулярная форма". Данное утверждение для математиков той поры звучало примерно так же абсурдно, как для нас звучит утверждение: "каждому дереву соответствует определенный металл". Нетрудно угадать, как может отнестись к подобному утверждению нормальный человек - он попросту не воспримет его всерьез, что и произошло: математики дружно проигнорировали гипотезу.

Небольшое пояснение. Эллиптические кривые, известные с давних пор, имеют двухмерный вид (располагаются на плоскости). Модулярные же функции, открытые в XIX веке, имеют четырехмерный вид, поэтому мы их даже представить себе не можем своими трехмерными мозгами, но можем описать математически; кроме того, модулярные формы удивительны тем, что обладают предельно возможной симметрией - их можно транслировать (сдвигать) в любом направлении, отражать зеркально, менять местами фрагменты, поворачивать бесконечно многими способами - и при этом их вид не изменяется. Как видим, эллиптические кривые и модулярные формы имеют мало общего. Гипотеза же Таниямы утверждает, что описательные уравнения двух соответствующих друг другу этих абсолютно разных математических объектов можно разложить в один и тот же математический ряд.

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

Через три года (1958) Ютака Танияма покончил жизнь самоубийством (сильны, однако, в Японии самурайские традиции). С точки зрения здравого смысла - никак не понимаемый поступок, особенно, если учесть, что совсем скоро он собирался жениться. Свою предсмертную записку лидер молодых японских математиков начал так: "Еще вчера я не помышлял о самоубийстве. Последнее время мне часто приходилось слышать от других, что я устал умственно и физически. Вообще-то я и сейчас не понимаю, зачем это делаю…" и так далее на трех листах. Жаль, конечно, что так сложилась судьба интересного человека, но все гении немного странные - на то они и гении (на ум почему-то пришли слова Артура Шопенгауэра: "в обычной жизни от гения столько же толку, как от телескопа в театре"). Гипотеза осиротела. Никто не знал, как ее доказать.

Лет десять про гипотезу Таниямы почти не вспоминали. Но в начале 70-х годов она стала популярной - ее регулярно проверяли все, кто смог в ней разобраться - и она всегда подтверждалась (как, собственно, и теорема Ферма), но, как и прежде, никто не мог ее доказать.

Удивительная связь двух гипотез

Прошло еще примерно 15 лет. В 1984 году произошло одно ключевое событие в жизни математики, которое объединило экстравагантную японскую гипотезу с Великой теоремой Ферма. Немец Герхард Фрей выдвинул любопытное утверждение, похожее на теорему: "Если будет доказана гипотеза Таниямы, то, следовательно, будет доказана и Великая теорема Ферма". Другими словами, теорема Ферма является следствием гипотезы Таниямы. (Фрей методом хитроумных математических преобразований свел уравнение Ферма к виду уравнения эллиптической кривой (той самой, которая фигурирует и в гипотезе Таниямы), более-менее обосновал свое предположение, но доказать его не смог). И вот буквально через полтора года (1986) профессор калифорнийского университета Кеннет Рибет четко доказал теорему Фрея.

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

Смерть гипотезы Ферма. Рождение теоремы

Прошло еще 8 лет. Одному прогрессивному английскому профессору математики из Принстонского университета (Нью-Джерси, США), Эндрю Уайлсу, показалось, что он нашел доказательство гипотезы Таниямы. Если гений не лысый, то, как правило, взъерошенный. Уайлс - взъерошенный, следовательно, похож на гения. Войти в Историю, конечно, заманчиво и очень хотелось, но Уайлс, как настоящий ученый, не обольщался, понимая, что тысячам фермистов до него тоже мерещились призрачные доказательства. Поэтому, прежде, чем представить свое доказательство миру, он тщательно проверял его сам, но осознавая, что может иметь субъективную предвзятость, привлекал к проверкам также и других, например, под видом обычных математических заданий он иногда подкидывал смышленым аспирантам различные фрагменты своего доказательства. Позже Уайлс признался, что никто, кроме его жены не знал, что он работает над доказательством Великой теоремы.

И вот после долгих проверок и тягостных раздумий, Уайлс наконец-то набрался храбрости, а может, как ему самому казалось, наглости и 23 июня 1993 года на математической конференции по теории чисел в Кембридже объявил о своем великом достижении.

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

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

Уайлс проанализировал ситуацию и решил, что проиграл. Можно себе представить, как он всем своим существом прочувствовал, что значит "от великого до смешного один шаг". "Хотел войти в Историю, а вместо этого вошел в состав команды клоунов и комедиантов - самонадеянных фермистов" - примерно такие мысли изматывали его в тот тягостный период жизни. Для него, серьезного ученого-математика, это была трагедия, и он забросил свое доказательство в долгий ящик.

Но вот через год с небольшим, в сентябре 1994 года, во время размышления над тем узким местом доказательства вместе со своим коллегой Тейлором из Оксфорда, последнего неожиданно осенила мысль, что "систему Эйлера" можно поменять на теорию Ивасава (раздел теории чисел). Тогда они попробовали воспользоваться теорией Ивасава, обойдясь без "системы Эйлера", и у них всё сошлось. Исправленный вариант доказательства был отдан на проверку и через год было объявлено, что в нем всё абсолютно четко, без единой ошибки. Летом 1995 года в одном из первенствующих математических журналов - "Анналы математики" - было опубликовано полное доказательство гипотезы Таниямы (следовательно, Великой (Большой) теоремы Ферма), которое заняло весь номер - свыше ста листов. Доказательство так сложно, что понять его целиком могли всего лишь несколько десятков человек во всем мире.

Таким образом, в конце ХХ века весь мир признал, что на 360 году своей жизни Великая теорема Ферма, которая на самом деле всё это время являлась гипотезой, стала-таки доказанной теоремой. Эндрю Уайлс доказал Великую (Большую) теорему Ферма и вошел в Историю.

Подумаешь, доказали какую-то теорему...

Счастье первооткрывателя всегда достается кому-то одному - это именно он последним ударом молота раскалывает твердый орешек знания. Но нельзя игнорировать множество предыдущих ударов, которые не одно столетие формировали трещину в Великой теореме: Эйлера и Гаусса (королей математики своих времен), Эвариста Галуа (успевшего за свою короткую 21-летнюю жизнь основать теории групп и полей, работы которого были признаны гениальными лишь после его смерти), Анри Пуанкаре (учредителя не только причудливых модулярных форм, но и конвенционализма - философского течения), Давида Гилберта (одного из сильнейших математиков ХХ века), Ютаку Танияму, Горо Шимуру, Морделла, Фальтингса, Эрнста Куммера, Барри Мазура, Герхарда Фрея, Кена Риббета, Ричарда Тейлора и других настоящих ученых (не побоюсь этих слов).

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

Вы можете сказать: "подумаешь, доказали какую-то теорему, кому это надо? ". Справедливый вопрос. Тут в точности сгодится ответ Давида Гилберта. Когда на вопрос: "какая задача сейчас для науки наиболее важна?", он ответил: "поймать муху на обратной стороне Луны", его резонно спросили: "а кому это надо? ", он ответил так: "Это никому не надо. Но подумайте над тем, сколько важных сложнейших задач надо решить, чтобы это осуществить". Подумайте, сколько задач за 360 лет смогло решить человечество, прежде, чем доказать теорему Ферма. В поисках ее доказательства была открыта чуть ли не половина современной математики. Надо также учесть, что математика - авангард науки (и, кстати, единственная из наук, которая строится без единой ошибки), и любые научные достижения и изобретения начинаются именно здесь. Как заметил Леонардо да Винчи, "наукой можно признать лишь то учение, которое подтверждается математически".

* * *

А теперь давайте вернемся в начало нашей истории, вспомним запись Пьера Ферма на полях учебника Диофанта и еще раз зададимся вопросом: действительно ли Ферма доказал свою теорему? Этого мы, конечно, не можем знать наверняка, и как в любом деле тут возникают разные версии:

Версия 1: Ферма доказал свою теорему. (На вопрос: "имел ли Ферма точно такое же доказательство своей теоремы?", Эндрю Уайлс заметил: "Ферма не мог располагать таким доказательством. Это доказательство ХХ века". Мы с вами понимаем, что в XVII веке математика, конечно же, была не та, что в конце ХХ века - в ту эпоху д, Артаньяна, царица наук еще не обладала теми открытиями (модулярные формы, теоремы Таниямы, Фрея и др.), которые только и позволили доказать Великую теорему Ферма. Конечно, можно предположить: чем черт не шутит - а вдруг Ферма догадался иным путем? Эта версия хоть и вероятна, но по оценкам большинства математиков, практически невозможна);
Версия 2: Пьеру Ферма показалось, что он доказал свою теорему, но в его доказательстве были ошибки. (То есть, сам Ферма был также и первым фермистом);
Версия 3: Ферма свою теорему не доказал, а на полях просто соврал.

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

Переиздание материалов статьи возможно только с обязательными ссылками на сайт (в интернете - гиперссылка) и на автора

Судя по популярности запроса "теорема Ферма - краткое доказательство", эта математическая проблема действительно многих интересует. Эта теорема была впервые высказана Пьером де Ферма в 1637 году на краю копии "Арифметики", где он утверждал, что у него было ее решение, оно было слишком велико для того, чтобы поместиться на краю.

Первое успешное доказательство было опубликовано в 1995 году - это было полное доказательство теоремы Ферма, осуществленное Эндрю Уайлсом. Оно было описано как «ошеломляющий прогресс», и привело Уайлса к получению премии Абеля в 2016 году. Будучи описанным относительно кратко, доказательство теоремы Ферма также доказало большую часть теоремы модульности и открыло новые подходы к многочисленным другим проблемам и эффективным методам подъема модульности. Эти свершения продвинули математику на 100 лет вперед. Доказательство малой теоремы Ферма сегодня не является чем-то из ряда вон выходящим.

Неразрешенная проблема стимулировала развитие алгебраической теории чисел в XIX веке и поиск доказательства теоремы модульности в XX веке. Это одна из самых заметных теорем в истории математики и до полного доказательства великой теоремы Ферма методом деления она была в Книге рекордов Гиннеса как «самая сложная математическая проблема», одной из особенностей которой является то, что она имеет наибольшее количество неудачных доказательств.

Историческая справка

Пифагорейское уравнение x 2 + y 2 = z 2 имеет бесконечное число положительных целочисленных решений для x, y и z. Эти решения известны как троицы Пифагора. Примерно в 1637 году Ферма написал на краю книги, что более общее уравнение a n + b n = c n не имеет решений в натуральных числах, если n является целым числом, большим чем 2. Хотя сам Ферма утверждал, что имеет решение своей задачи, он не оставил никаких подробностей о ее доказательстве. Элементарное доказательство теоремы Ферма, заявленное ее создателем, скорее было его хвастливой выдумкой. Книга великого французского математика была обнаружена спустя 30 лет после его смерти. Это уравнение, получившее название «Последняя теорема Ферма», в течение трех с половиной столетий оставалось нерешенным в математике.

Теорема в конечном итоге стала одной из самых заметных нерешенных проблем математики. Попытки доказать это вызвали существенное развитие теории чисел, и с течением времени последняя теорема Ферма получила известность как нерешенная проблема математики.

Краткая история доказательств

Если n = 4, что доказано самим Ферма, достаточно доказать теорему для индексов n, которые являются простыми числами. В течение следующих двух столетий (1637-1839) гипотеза была доказана только для простых чисел 3, 5 и 7, хотя Софи Жермен обновляла и доказывала подход, который имел отношение ко всему классу простых чисел. В середине 19 века Эрнст Куммер расширил это и доказал теорему для всех правильных простых чисел, в результате чего нерегулярные простые числа анализировались индивидуально. Основываясь на работе Куммера и, используя сложные компьютерные исследования, другие математики смогли расширить решение теоремы, имея цель охватить все основные показатели до четырех миллионов, но док-во для всех экспонентов по-прежнему было недоступным (это означает, что математики обычно считали решение теоремы невозможным, чрезвычайно сложным, или недостижимым с современными знаниями).

Работа Шимуры и Таниямы

В 1955 году японские математики Горо Шимура и Ютака Танияма подозревали, что существует связь между эллиптическими кривыми и модульными формами, двумя совершенно разными областями математики. Известная в то время, как гипотеза Танияма-Шимура-Вейля и (в конечном счете) как теорема модульности, она существовала сама по себе, без видимой связи с последней теоремой Ферма. Она сама по себе широко рассматривалась как важная математическая теорема, но при этом считалась (как и теорема Ферма) невозможной для доказательства. В то же время доказательство великой теоремы Ферма (методом деления и применения сложных математических формул) было осуществлено лишь полвека спустя.

В 1984 году Герхард Фрей заметил очевидную связь между этими двумя ранее не связанными и нерешенными проблемами. Полное подтверждение того, что две теоремы были тесно связаны, было опубликовано в 1986 году Кеном Рибетом, который основывался на частичном доказательстве Жана-Пьера Серра, который доказал все, кроме одной части, известной как «гипотеза эпсилона». Проще говоря, эти работы Фрея, Серра и Рибе показали, что если бы теорема о модульности могла быть доказана, по крайней мере, для полустабильного класса эллиптических кривых, то и доказательство последней теоремы Ферма также рано или поздно будет открыто. Любое решение, которое может противоречить последней теореме Ферма, может также использоваться, чтобы противоречить теореме модульности. Поэтому, если теорема о модульности оказалась истинной, то по определению не может существовать решение, противоречащее последней теореме Ферма, а значит она вскоре должна была быть доказана.

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

Великая теорема Ферма: доказательство Уайлса

Узнав, что Рибет доказал правильность теории Фрея, английский математик Эндрю Уайлс, с детства интересующийся последней теоремой Ферма и имеющий опыт работы с эллиптическими кривыми и смежными областями, решил попытаться доказать гипотезу Таниямы-Шимуры, как способ доказать последнюю теорему Ферма. В 1993 году, спустя шесть лет после объявления о своей цели, тайно работая над проблемой решения теоремы, Уайльсу удалось доказать смежную гипотезу, что, в свою очередь, помогло бы ему доказать последнюю теорему Ферма. Документ Уайлса был огромным по размеру и масштабу.

Недостаток был обнаружен в одной части его оригинальной статьи во время рецензирования и потребовал еще один год сотрудничества с Ричардом Тейлором, чтобы совместно решить теорему. В результате окончательное доказательство Уайлсом великой теоремы Ферма не заставило долго себя ждать. В 1995 году оно было опубликовано в куда меньшем масштабе, чем предыдущая математическая работа Уайлса, наглядно показывая, он не ошибся в своих предыдущих выводах о возможности доказательства теоремы. Достижение Уайлса было широко растиражировано в популярной прессе и популяризировано в книгах и телевизионных программах. Остальные части гипотезы Танияма-Шимура-Вейля, которые теперь были доказаны и известны как теорема о модульности, впоследствии были доказаны другими математиками, которые основывались на работе Уайлса в период между 1996 и 2001 годами. За свое достижение Уайлс был удостоен чести и получил многочисленные награды, в том числе, премию Абеля 2016 года.

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

Уайлс впервые объявил о своем открытии в среду 23 июня 1993 года на лекции в Кембридже под названием «Модульные формы, эллиптические кривые и представления Галуа». Однако в сентябре 1993 года было установлено, что его расчеты содержат ошибку. Год спустя, 19 сентября 1994 года, в том, что он назвал бы «самым важным моментом его трудовой жизни», Уайлс наткнулся на откровение, которое позволило ему исправить решение задачи до того уровня, когда оно сможет удовлетворить математическое сообщество.

Характеристика работы

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

Две статьи, содержащие доказательства, составляют 129 страниц, которые писались в течение семи лет. Джон Коутс описал это открытие как одно из величайших достижений теории чисел, а Джон Конвей назвал его главным математическим свершением 20 века. Уайлс, чтобы доказать последнюю теорему Ферма путем доказательства теоремы модульности для частного случая полустабильных эллиптических кривых, разработал действенные методы подъема модульности и открыл новые подходы к многочисленным другим проблемам. За решение последней теоремы Ферма он был посвящен в рыцари и получил другие награды. Когда стало известно, что Уайлс выиграл премию Абеля, Норвежская академия наук описала его достижение как «восхитительное и элементарное доказательство последней теоремы Ферма».

Как это было

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

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

Уайлс заявляет, что утром 19 сентября 1994 года он был на грани того, чтобы бросить все и сдаться, и почти смирился с тем, что потерпел неудачу. Он готов был опубликовать свою неоконченную работу, чтобы другие могли на ней основываться и найти, в чем он ошибся. Английский математик решил дать себе последний шанс и в последний раз проанализировал теорему, чтобы попытаться понять основные причины, по которым его подход не работал, как вдруг внезапно осознал, что подход Колывагина-Флака не будет работать, пока он не подключит к процессу доказательства еще и теорию Ивасавы, заставив ее работать.

6 октября Уайлс попросил трех коллег (включая Фалтинса) рассмотреть его новую работу, а 24 октября 1994 г. он представил две рукописи - «Модульные эллиптические кривые и последняя теорема Ферма» и «Теоретические свойства кольца некоторых Гекке-алгебр», вторую из которых Уайлс написал совместно с Тейлором и доказал, что были выполнены определенные условия, необходимые для оправдания исправленного шага в основной статье.

Эти две статьи были проверены и, наконец, опубликованы в качестве полнотекстового издания в журнале «Анналы математики» за май 1995 года. Новые расчеты Эндрю были широко проанализированы и научное сообщество в конце концов их признало. В этих работах была установлена теорема модульности для полустабильных эллиптических кривых - последний шаг к доказательству великой теоремы Ферма, спустя 358 лет после того, как она была создана.

История великой проблемы

Решение этой теоремы считалось самой большой проблемой в математике на протяжении многих столетий. В 1816 и в 1850 годах Французская академия наук предложила приз за общее доказательство великой теоремы Ферма. В 1857 году Академия присудила 3000 франков и золотую медаль Куммеру за исследования идеальных чисел, хотя он и не подавал заявку на приз. Еще одна премия была предложена ему в 1883 году Брюссельской академией.

Премия Вольфскеля

В 1908 году немецкий промышленник и математик-любитель Пауль Вольфскель завещал 100 000 золотых марок (большую сумму для того времени) Академии наук Геттингена, чтобы эти деньги стали призом за полное доказательство великой теоремы Ферма. 27 июня 1908 года Академия опубликовала девять правил награждения. Среди прочего, эти правила требовали опубликования доказательства в рецензируемом журнале. Приз должен был присуждаться лишь через два года после публикации. Срок конкурса должен был истечь 13 сентября 2007 - примерно через столетие после своего начала. 27 июня 1997 года Уайлс получил призовые деньги Вольфсхеля, а затем еще 50 000 долларов. В марте 2016 года он получил 600 000 евро от правительства Норвегии в рамках премии Абеля за «потрясающее доказательство последней теоремы Ферма с помощью гипотезы модульности для полустабильных эллиптических кривых, открывающей новую эру в теории чисел». Это был мировой триумф скромного англичанина.

До доказательства Уайлса теорема Ферма, как уже говорилось ранее, считалась абсолютно нерешаемой на протяжении целых столетий. Тысячи неверных доказательств в разное время были представлены комитету Вольфскеля, составив примерно 10 футов (3 метра) корреспонденции. Только в первый год существования премии (1907-1908) было подано 621 заявок с претензией на решение теоремы, хотя к 1970-м годам их количество уменьшилось примерно до 3-4 заявок в месяц. По мнению Ф. Шлихтинга, рецензента Вольфсхеля, большинство доказательств были основаны на элементарных методах, преподаваемых в школах, и часто представлялись «людьми с техническим образованием, но неудачной карьерой». По словам историка математики Говарда Эйвса, последняя теорема Ферма установила своеобразный рекорд - это теорема, набравшая наибольшее количество неверных доказательств.

Лавры Ферма достались японцам

Как уже говорилось ранее, примерно в 1955 году японские математики Горо Шимура и Ютака Танияма открыли возможную связь между двумя, по-видимому, совершенно разными отраслями математики - эллиптическими кривыми и модульными формами. Полученная в результате их исследований теорема модульности (в то время известная как гипотеза Таниямы-Шимуры) гласит, что каждая эллиптическая кривая является модулярной, что означает, что она может быть связана с уникальной модулярной формой.

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

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

Теорема Ферма: доказательство Перельмана

Не смотря на расхожий миф, российский математик Григорий Перельман, при всей своей гениальности, не имеет никакого отношения к теореме Ферма. Что, впрочем, никак не умаляет его многочисленных заслуг перед научным сообществом.

В прошлом двадцатом веке случилось событие, равного по масштабу которого в математике не было за всю ее историю. 19-го сентября 1994 года была доказана теорема, сформулированная Пьером де Ферма (1601-1665) более 350-ти лет назад в 1637 году. Она известна также как «последняя теорема Ферма» или как «большая теорема Ферма», поскольку есть еще так называемая "малая теорема Ферма". Ее доказал 41-летний, до этого момента в математическом сообществе ничем особо непримечательный, и по математическим меркам уже немолодой, профессор Принстонского университета Эндрю Уайлс.

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

Итак, вспомним знаменитую теорему Ферма. Большинство из нас так или иначе слышали о ней еще со школьной поры. Эта теорема связана с весьма знаменательным уравнением. Это, пожалуй, самое простое осмысленное уравнение, какое только можно написать, используя три неизвестных и еще один строго положительный целочисленный параметр . Вот оно:

Великая теорема Ферма утверждает, что при значениях параметра (степени уравнения), превышающих двойку, целочисленных решений данного уравнения не существует (кроме, конечно, решения, когда все эти переменные равны нулю одновременно).

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

До Уайлса дополнительным стимулом для ферматистов (так назвали людей, маниакально атаковавших проблему Ферма) являлся учрежденный почти сто лет назад приз немца Вольфскеля за доказательство, правда небольшой по сравнению с Нобелевской премией - он успел обесцениться во время первой мировой войны.

Кроме того, всегда привлекала вероятная элементарность доказательства, так как сам Ферма «ее доказал», написав на полях перевода «Арифметики» Диофанта: «Я нашел этому поистине чудесное доказательство, но поля здесь слишком узки, чтобы вместить его».

Вот почему здесь уместно привести оценку актуальности популяризации доказательства Уайлса проблемы Ферма, принадлежащую известному американскому математику Рему Мерти (R. Murty) (цитируем по выходящему скоро переводу книги Ю. Манина и А. Панчишкина «Введение в современную теорию чисел»):

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

Вся длинная история загадочной теоремы сопровождалась постоянными объявлениями о ее доказательстве, начиная с самого Ферма. Постоянно находящиеся ошибки в нескончаемом потоке доказательств постигали не только математиков-любителей, но и математиков-профессионалов. Это привело к тому, что термин «ферматист», применяемый к доказывающим теорему Ферма, стал нарицательным. Постоянно сохраняющаяся интрига с ее доказательством приводила иной раз к забавным казусам. Так, когда в первом варианте уже широко разрекламированного доказательства Уайлса обнаружился пробел, на одной из станций нью-йоркского метро появилась ехидная надпись: «я нашел поистине чудесное доказательство Великой теоремы Ферма, но пришел мой поезд и я не успеваю его записать».

Эндрю Уайлс (Andrew Wiles), родился в Англии в 1953 году, учился на математическом факультете в Кембридже; в аспирантуре был у профессора Джона Коутса. Под его руководством Эндрю постигал теорию японского математика Ивасавы, находящуюся на границе классической теории чисел и современной алгебраической геометрии. Такой сплав с виду далеких друг от друга математических дисциплин получил название арифметической алгебраической геометрии. Эндрю бросил вызов проблеме Ферма, опираясь именно на эту сложную даже для многих профессиональных математиков синтетическую теорию,.

После окончания аспирантуры Уайлс получил позицию в Принстонском университете, где работает и сейчас. Он женат и имеет троих дочерей, двое из которых родились «в семилетнем процессе первого варианта доказательства». В эти годы только Нада, жена Эндрю, знала о том, что он штурмует в одиночку самую неприступную и самую знаменитую вершину математики. Именно им, Наде, Клэр, Кэйт и Оливии посвящена знаменитая финальная статья Уайлса «Модулярные эллиптические кривые и Последняя теорема Ферма» в центральном математическом журнале «Annals of Mathematics», где публикуются наиболее важные математические работы.

Сами же события вокруг доказательства разворачивались довольно драматично. Этот захватывающий сценарий можно было бы назвать «ферматист – математик-профессионал».

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

Идея штурма сияющей вершины достаточно проста и фундаментальна - максимально хорошая аммуниция и тщательная разработка маршрута.

В качестве мощного инструмента достижения цели выбирается развиваемая самим же Уайлсом уже знакомая ему теория Ивасавы, имеющая глубокие исторические корни. Эта теория обобщала теорию Куммера – исторически первую серъезную математическую теорию по штурму проблемы Ферма, появившуюся еще в 19-м веке. В свою очередь, корни теории Куммера лежат в знаменитой теории легендарного и гениального романтика-революционера Эвариста Галуа, погибшего в возрасте двадцати одного года на дуэли в защиту чести девушки (обратите внимание, вспомнив историю с Таниямой, на роковую роль прекрасных дам в истории математики).

Уайлс полностью погружается в доказательство, прекращая даже участие в научных конференциях. И в результате семилетнего отшельничества от математического сообщества в Принстоне, в мае 1993 года Эндрю ставит точку в своем тексте - дело сделано.

Именно в это время подворачивается прекрасный повод оповестить научный мир о своем открытии – уже в июне должна была состояться конференция в родном Кембридже именно по нужной тематике. Три лекции в Кембриджском институте Исаака Ньютона будоражат не только математический мир, но и широкую общественность. В конце третьей лекции, 23-го июня 1993-го года, Уайлс объявляет о доказательстве великой теоремы Ферма. Доказательство насыщено целым букетом новых идей, таких как новый подход к гипотезе Таниямы-Шимуры-Вейля, далеко продвинутая теория Ивасавы, новая «теория контроля деформаций» представлений Галуа. Математическое сообщество с огромным нетерпением ждет проверки текста доказательства экспертами по арифметической алгебраической геометрии.

Вот здесь-то и наступает тот самый драматический поворот. Сам Уайлс в процессе общения с рецензентами обнаруживает у себя пробел в доказательстве. Трещину дал изобретенный им же самим механизм «контроля деформаций» - несущая конструкция доказательства.

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

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

И вот новое испытание. Не доведенный до конца, но все же очень впечатляющий результат работы Уайлса, докладывается им международном конгрессе математиков в Цюрихе в конце августа 1994 года. Уайлс борется изо всех сил. Буквально перед докладом, по словам очевидцев, он еще что-то лихорадочно пишет, пытаясь максимальной улучшить ситуацию с «провисшим» доказательством.

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

Естественно представить состояние Уайлса в то время. Даже поддержка и доброжелательное отношение коллег по цеху не могли компенсировать его состояние психологического опустошения.

И вот, всего через месяц, когда, как пишет Уайлс во введении к своей итоговой статье в «Annals» с окончательным доказательством, «я решил бросить последний взляд на эйлеровы системы в попытке реанимировать этот аргумент для доказательства», это случилось. Вспышка озарения настигла Уайлса 19-го сентября 1994 г. Именно в этот день пробел в доказательстве удалось закрыть.

Далее дела пошли в стремительном темпе. Уже налаженное сотрудничество с Ричардом Тейлором при изучении эйлеровых систем Колывагина и Тэйна позволило окончательно оформить доказательство в виде двух больших статей уже в октябре.

Их публикация, занявшая на весь номер «Annals of Mathematics», последовала уже в ноябре 1994. Все это вызвало новый мощный информационный всплеск. История доказательства Уайлса получила в США восторженную прессу, был снят фильм и выпущены книги об авторе фантастического прорыва в математике. В одной из оценок своего собственного труда Уайлс отметил, что он изобрел математику будущего.

(Интересно, так ли это? Заметим лишь, что со всем этим информационным шквалом резко контрастировал практически нулевой информационный резонанс в России, продолжающийся до сих пор).

Зададимся вопросом – какова «внутренняя кухня» получения выдающихся результатов? Ведь интересно знать, как ученый организует свою работу, на что в ней ориентируется, как определяет приоритеты своей деятельности. Что можно сказать в этом смысле про Эндрю Уайлса? И неожиданно оказывается, что в современную эпоху активных научных коммуникаций и коллективного стиля работы у Уайлса был свой взгляд на стиль работы над суперпроблемами.

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

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

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

Стоявшая перед Уайлсом проблема (гипотеза Таниямы-Шимуры-Вейля) не находилась в те годы в числе даже ближайших вершин, которые могут быть покорены современной математикой. При этом никто из специалистов не отрицал ее огромного значения, и номинально она была в «мэйнстриме» современной математики.

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

Доказательство Уайлса, появившееся как гром среди ясного неба, стало своеобразным тестом для международного математического сообщества. Реакция даже самой прогрессивной части этого сообщества в целом оказалась, как ни странно, довольно нейтральной. После того как улеглись эмоции и восторги первого времени после появления знакового доказательства все спокойно продолжили свои дела. Специалисты по арифметической алгебраической геометрии потихоньку изучали «могучее доказательство» в своем узком кругу, остальные же бороздили свои математические тропы, расходясь, как и ранее, все дальше друг от друга.

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

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

Вполне естественно, что ни одна из бюрократических структур, организующих науку в разных странах, включая и Россию, так и не сделала выводов не только из феномена доказательства Эндрю Уайлса, но и похожего феномена нашумевшего доказательства Григория Перельмана другой, тоже знаменитой математической проблемы.

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

Эта методологическая сложность, к сожалению, присутствует как неизбежная издержка великих доказательств последнего времени (например, разбор недавнего доказательства Григория Перельмана гипотезы Пуанкаре продолжается по сей день).

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

Но надо учесть, что перед Уайлсом и не стояла методическая задача объяснения – он конструировал новый метод. В методе работал именно синтез собственных гениальных идей Уайлса и конгломерата новейших результатов из различных математических направлений. И именно такая мощная конструкция протаранила неприступную проблему. Доказательство не стало случайностью. Факт его кристаллизации полностью соответствовал как логике развития науки, так и логике познания. Задача разъяснения такого супердоказательства представляется абсолютно самостоятельной, весьма непростой, хотя и очень перспективной проблемой.

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

Приведу такой забавный пример. Пару лет назад знаменитый французский математик, филдсовский лауреат, Пьер Делинь, крупнейший специалист в алгебраической геометрии и теории чисел, на вопрос автора о смысле одного из ключевых объектов доказательства Уайлса – так называемого «кольца деформаций» - после получасового раздумья сказал, что не до конца понимает смысл этого объекта. С момента доказательства к этому моменту прошло уже десять лет.

Теперь можно воспроизвести реакцию российских математиков. Основная реакция – ее практически полное отсутствие. В основном это вызвано «тяжелой» и «непривычной» математикой Уайлса.

Например, в классической теории чисел вы не встретите таких длинных доказательств как у Уайлса. Как выражаются специалисты по теории чисел, «доказательство должно быть на страничку» (доказательство Уайлса в сотрудничестве с Тейлором в журнальном варианте занимает 120 страниц).

Также нельзя исключать фактора опасения за непрофессионализм своей оценки: реагируя, берешь на себя ответственность за оценки доказательства. А как это делать, когда не знаешь этой математики?

Характерной является позиция занятая непосредственными специалистами по теории чисел: «… и трепет, и жгучий интерес, и осторожность перед лицом одной из величайших загадок в истории математики» (из предисловия к книге Пауло Рибенбойма «Последняя теорема Ферма для любителей» - единственному доступному на сегодняшний день источнику непосредственно по доказательству Уайлса для широкого читателя.

Реакция одного из самых известных современных российских математиков академика В.И. Арнольда на доказательство «активно скептична»: это не настоящая математика – настоящая математика геометрична и сильна связями с физикой. Более того, сама проблема Ферма по своей природе не может генерировать развитие математики, поскольку она «бинарна», то есть, формулировка проблемы требует дать ответ только на вопрос «да или нет». Вместе с тем, математические работы последних лет самого В.И. Арнольда во многом оказались посвящены вариациям на очень близкую теоретико-числовую тематику. Возможно, что Уайлс парадоксальным образом стал косвенной причиной этой активности.

На мехмате МГУ, все-таки, появляются энтузиасты доказательства. Замечательный математик и ученый-популяризатор Ю.П. Соловьев (безвременно ушедший от нас) инициирует перевод книги Э.Кнэппа по эллиптическим кривым с необходимым материалом по гипотезе Таниямы–Шимуры-Вейля. Алексей Панчишкин, работащий ныне во Франции, в 2001-м году читает на мехмате лекции, положенные в основу соответствующей части его с Ю.И. Маниным великолепной, упомянутой выше книги по современной теории чисел (выходящей в русском переводе Сергея Горчинского с редактурой Алексея Паршина в 2007г.).

Несколько удивительно, что в московском математическом институте Стеклова – центре математического мира России - доказательство Уайлса не разбиралось на семинарах, а изучалось только отдельными профильными экспертами. Тем более, не разбиралось и доказательство уже полной гипотезы Таниямы-Шимуры-Вейля (Уайлс доказал только ее часть, достаточную для доказательства теоремы Ферма). Это доказательство было дано в 2000 году уже целым коллективом зарубежных математиков, включая Ричарда Тейлора – соавтора Уайлса по завершающему этапу доказательства теоремы Ферма.

Также не отмечалось и публичных высказываний и, тем более, дискуссий со стороны известных российских математиков по поводу доказательства Уайлса. Известна довольно резкая дискуссия между россиянином В. Арнольдом («скептиком метода доказательства») и американцем С. Ленгом («энтузиастом метода доказательства»), однако, ее следы теряются в западных изданиях. В российской же центральной математической прессе за время, прошедшее со времени публикации доказательства Уайлса, не было публикаций на тему доказательства. Пожалуй, единственной публикацией на эту тему был перевод статьи канадского математика Генри Дармона даже еще неокончательной версии доказательства в «Успехах математических наук» в 1995 году (забавно, что полное доказательство уже было опубликовано).

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

Тем не менее, проблема адаптации доказательства, крайне отягчающая его прикладной потенциал, оставалась и остается очень актуальной. На сегодняшний день оригинальный крайне специальный текст статьи Уайлса и совместной статьи Уайлса и Тейлора уже адаптирован, правда только для достаточно узкого круга профессиональных математиков. Это сделано в упоминавшейся книге Ю. Манина и А. Панчишкина. Им удалось успешно сгладить определенную искусственность оригинального доказательства. Кроме того, американский математик Серж Ленг, яростный пропагандист доказательства Уайлса (к сожалению, ушедший от нас в сентябре 2005-го года), включил некоторые наиболее важные конструкции доказательства в третье издание своего, ставшего классическим, университетского учебника «Алгебра».

В качестве примера искусственности оригинального доказательства отметим, что одной из особенно ярких черт, создающих такое впечатление, является особая роль отдельных простых чисел, таких как 2, 3, 5, 11, 17, а также отдельных натуральных чисел, таких как 15, 30 и 60. Помимо прочего, совершенно очевидно, что доказательство не геометрично в самом обычном смысле. Оно не содержит естественных геометрических образов, к которым можно было бы привязаться для лучшего понимания текста. Сверхмощная «затерминологизированная» абстрактная алгебра и «продвинутая» теория чисел чисто психологически бьют по возможности восприятию доказательства даже квалифицированного читателя-математика.

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

Итак, если говорить коротко, то на сегодняшний день факт доказательства Уайлса является просто фактом доказательства теоремы Ферма со статусом первого правильного доказательства и использованной в нем «некой сверхмощной математики».

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

«… по остроумному замечанию Ф. Клейна, многие отделы математики представляют подобие тех выставок новейших моделей оружия, которые существуют при фирмах, изготовляющих вооружение; при всем остроумии, вложенном изобретателями, часто бывает, что когда начинается настоящая война, эти новинки оказываются в силу тех или иных причин непригодными… Совершенно ту же картину представляет собой и современное преподавание математики; учащимся даются в руки весьма совершенные и мощные средства математического исследования…, но дальше учащиеся не выносят никакого представления о том, где и как эти мощные и остроумные методы могут быть приложены в решении основной задачи всей науки: в познании окружающего нас мира и в воздействии на него творческой воли человека. В свое время А.П. Чехов сказал, что если в первом действии пьесы на сцене висит ружье, то необходимо, чтобы хотя в третьем действии из него стреляли. Это замечание полностью приложимо и к преподаванию математики: если студентам излагается какая-нибудь теория, то необходимо показать рано или поздно, какие приложения можно сделать из этой теории прежде всего в области механики, физики или техники и в других областях.»

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

И все-таки, зададимся теперь вопросом: можно ли в достаточно доступных терминах описать доказательство Уайлса для широкой интересующейся аудитории?

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

Будем последовательно подставлять точки с целыми координатами в уравнение Ферма.

Уайлс находит оптимальный механизм пересчета целых точек и их тестирования на удовлетворение уравнению теоремы Ферма (после введения необходимых определений такой пересчет как раз и будет соответствовать так называемому «свойству модулярности эллиптических кривых над полем рациональных чисел», описываемому гипотезой Таниямы–Шимуры-Вейля»).

Механизм пересчета оптимизируется с помощью замечательной находки немецкого математика Герхарда Фрея, связавшим потенциальное решение уравнения Ферма с произвольным показателем с другим, совсем непохожим на него, уравнением. Это новое уравнение задается специальной кривой (названной эллиптической кривой Фрея). Эта кривая Фрея задается уравнением совсем несложного вида:

Неожиданность идеи Фрея состояла в переходе от теоретико-числовой природы задачи к ее «скрытому» геометрическому аспекту. А именно: Фрей сопоставил всякому решению уравнения Ферма, то есть числам, удовлетворяющим соотношению

Изобретение Фрея к моменту «старта Уайлса» было совсем свежим (85-й год) и перекликалось также с относительно недавним подходом французского математика Хеллегуарша (70-е годы), предложившего использовать эллиптические кривые для поиска решений диофантовых уравнений, т.е. уравнений похожих на уравнение Ферма.

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

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

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

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

Именно здесь возникает фантом самого Пьера де Ферма, поскольку при таком пересчете оживает то, что обычно называется «Ferma’t descent», или редукцией (или «методом бесконечного спуска») Ферма.

В этом контексте сразу же становится ясно почему сам Ферма не мог доказать свою теорему по объективным причинам, хотя при этом вполне мог «увидеть» геометрическую идею ее доказательства.

Дело в том, что пересчет проходит по контролем математических инструментов, не имеющих аналогов не только в далеком прошлом, но и неизвестных до Уайлса даже в современной математике.

Самое главное здесь в том, что эти инструменты «минимальны», т.е. их нельзя упростить. Хотя сама по себе эта «минимальность» весьма непроста. И именно осознание Уайлсом этой нетривиальной «минимальности» и стало решающим финальным шагом доказательства. Это как раз и была та самая «вспышка» 19-го сентября 1994 года.

Некоторая проблема, вызывающая неудовлетворенность, здесь все-таки остается – у Уайлса эта минимальная конструкция не описана явно. Поэтому у интересующихся проблемой Ферма еще есть интересная работа - необходима ясная интерпретация этой «минимальности».

Возможно, что именно здесь и должна скрываться геометрия «заалгебраизированного» доказательства. Не исключено, что как раз эту геометрию и чувствовал сам Ферма, когда делал знаменитую запись на узких полях своего трактата: «я нашел поистине замечательное доказательство …».

Теперь непосредственно перейдем к виртуальному эксперименту и попробуем «покопаться» в мыслях математика-юриста Пьера де Ферма.

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

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

Соответственно, «большое» уравнение Ферма получает смысл закона сохранения указанного выше движения сферы уже в двумерном дискретном времени. Возьмем теперь диагональ этого двумерного времени (именно в этом шаге и состоит вся сложность!). Эта чрезвычайно хитрая и оказывающаяся единственной диагональ и представляет собой уравнение большой теоремы Ферма, когда показатель уравнения равен именно двум.

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

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

Кстати, опыт физики также показывает, что законы сохранения механических систем приведенного выше вида квадратичны по физическим переменным задачи. И наконец, все это вполне согласуется с квадратичной структурой законов сохранения энергии ньютоновской механики, известных из школы.

С точки зрения приведенной выше «физической» интерпретации большой теоремы Ферма свойству «минимальности» соответствует минимальность степени закона сохранения (это двойка). А редукции Ферма и Уайлса соответствует приведение законов сохранения пересчета точек к закону простейшего вида. Этот простейший (минимальный по сложности) персчет как геометрически, так и алгебраически и представляется качением именно сферы по плоскости, поскольку сфера и плоскость – «минимальные», как нам совершенно понятно, двумерные геометрические объекты.

Вся сложность, на первый взгляд отсутствующая, здесь состоит в том, что точное описание такого с виду «простого» движения сферы совсем непросто. Дело вом, что «периодическое» качение сферы «впитывает в себя» кучу так называемых «скрытых» симметрий нашего трехмерного пространства. Эти скрытые симметрии обусловлены нетривиальными сочетаниями (композициями) линейного и углового движения сферы – см. рис.1.

В приведенной на рис.1 геометрической интерпретации линейное движение центра сферы «считает» целые точки на плоскости, а ее угловое (или вращательное) движение обеспечивает пространственную (или вертикальную) компоненту пересчета. Вращательное движение сферы не сразу удается «разглядеть» в произвольном качении сферы по плоскости. Именно вращательное движение и соответствует упомянутым выше скрытым симметриям евклидова пространства.

Введенная выше кривая Фрея как раз и «кодирует» наиболее красивый с эстетической точки зрения пересчет целых точек в пространстве, напоминающий движение по винтовой лестнице. Действительно, если следить за кривой, которую заметает некоторая точка сферы за один период, то обнаружится, что наша отмеченная точка заметет кривую, изображенную на рис. 2, напоминающую «двойную пространственну синусоиду» - пространственный аналог графика. Эту красивую кривую можно интерпретировать как график «минимальной» по (то есть ) кривой Фрея. Это и есть график нашего тестирующего пересчета.

Подключив некоторое ассоциативное восприятие этой картины, к своему удивлению мы обнаружим, что, поверхность, ограничиваемая нашей кривой, поразительным образом похожа на поверхность молекулы ДНК - «краеугольного кирпича» биологии! Возможно, что неслучайно терминология ДНК-кодировки конструкций из доказательства Уайлса используется в книге Сингха «Великая теорема Ферма».

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

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

А если учесть еще и присутствующую дискретизацию нашей картинки, воплощаемую дискретной целочисленной решеткой на плоскости, то мы и вовсе воочию наблюдаем «квантовую гравитацию»!

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

С одной стороны, это огромное огорчение для любителей-ферматистов (если, конечно, они про это узнают; как говорят, «меньше знаешь – лучше спишь»). С другой стороны, природная «неупрощаемость» доказательства Уайлса формально облегчает жизнь профессиональным математикам – они могут не читать периодически возникающие «элементарные» доказательства от любителей математики, ссылаясь на отсутствие соответствия с доказательством Уайлса.

Общий же вывод состоит в том, что и тем и другим надо «напрягаться» и понимать это «изуверское» доказательство, постигая по-сути «всю математику».

Что же еще важно не упустить, подводя итоги всей этой уникальной истории, свидетелями которой мы стали? Сила доказательства Уайлса в том, что оно является не просто формально-логическим рассуждением, а представляет широкий и мощный метод. Это творение представляет собой не отдельный инструмент для доказательства одного отдельно взятого результата, а прекрасный набор хорошо подобранных инструментов, позволяющий «раскалывать» самые разнообразные задачи. Принципиально важно и то, что посмотрев вниз с высоты небоскреба доказательства Уайлса, мы увидим и всю предшествующую математику. Пафос состоит в том, что это будет не «лоскутное», а панорамное видение. Все это говорит не только о научной, но и о методологической преемственности этого поистине магического доказательства. Осталось «всего-то ничего» - только его понять и научиться применять.

Интересно, чем сегодня занят наш герой-современник Уайлс? Об Эндрю никаких особых новостей нет. Он, естественно, получил различные награды и премии, включая ту самую знаменитую обесценившуюся во время первой гражданской войны премию немца Вольфскеля. За все время, прошедшее с момента триумфа доказательства проблемы Ферма до сегодняшних дней, мне удалось заметить только одну, правда как всегда большую, статью в тех же “Annals” (в соавторстве со Скиннером). Может Эндрю опять затаился в преддверии нового математического рывка, например, так называемой “abc”-гипотезы – недавно сформулированной (Массером и Остерле в 1986 году) и считающейся самой главной проблемой теории чисел на сегодняшний день (это «проблема столетия» по выражению Сержа Ленга).

Гораздо больше информации о соавторе Уайлса по завершающей части доказательства – Ричарде Тейлоре. Он был одним из четырех авторов доказательства полной гипотезы Таниямы-Шмуры-Вейля и серьезно претендовал на филдсовскую медаль на математическом конгрессе в Китае в 2002 году. Однако, не получил ее (тогда ее получили всего два математика – русский математик из Принстона Владимир Воеводский «за теорию мотивов» и француз Лоран Лафорг «за важную часть программы Ленглендса»). Тейлор опубликовал за это время немалое количество замечательных работ. И вот недавно, Ричард добился нового большого успеха - доказал очень известную гипотезу – гипотезу Тейта-Саито, также относящуюся к арифметической алгебраической геометрии и обобщающую результаты немецкого. математика 19-го века Г. Фробениуса и российского математика 20-го века Н. Чеботарева.

Давайте напоследок немного пофантазируем. Возможно, настанет время, когда курсы математики в вузах, и даже в школах, будут подстроены под методы доказательства Уайлса. Это означает, что Великая теорема Ферма станет не только модельной математической задачей, но и методологической моделью для преподавания математики. На ее примере можно будет изучать, по сути, все основные разделы математики. Более того, будущая физика, а может быть даже биология и экономика, станут опираться именно на этот математический аппарат. А вдруг?

Кажется, первые шаги в этом направлении уже сделаны. Об этом свидетельствует, например, то, что американский математик Серж Ленг включил в третье издание своего классического руководства по алгебре основные конструкции доказательства Уайлса. Еще дальше идут российские Юрий Манин и Алексей Панчишкин в упомянутом новом издании своей «Современной теории чисел», излагая детально само доказательство в контексте современной математики.

И как теперь не воскликнуть: великая теорема Ферма "умерла" – да здравствует метод Уайлса!