Эндрю Ходжес, биограф Тьюринга, так описывает событие, приведшее к его смерти: «Смерть Алана Тьюринга стала сильнейшим потрясением для всех, кто его знал… То, что он был несчастным человеком, находившимся в состоянии нервного напряжения, что он консультировался у психиатра и, как и многие другие, перенес удар, — все это было ясно. Но суд состоялся два года назад, лечение гормонами закончилось годом раньше, и он, казалось, стал выше всего этого.
Расследование, произведенное 10 июня 1954 года, установило, что это было самоубийство. Тьюринга нашли лежащим навзничь в постели. Вокруг его рта была пена. Патологоанатом, проводивший посмертное вскрытие, определил причину смерти как отравление цианидом калия… В доме находился сосуд с цианидом калия и еще один сосуд с раствором цианида. Рядом с кроватью лежала половинка яблока со следами укусов. Анализ яблока не производился».
* * *
Наследием Тьюринга стал компьютер, способный производить за несколько часов вычисления, которые заняли бы у человека непозволительно много времени. Современные компьютеры успевают за долю секунды произвести больше арифметических операций, чем Ферма сделал за всю свою жизнь. Те математики, которые все еще вели неравную борьбу с Великой теоремой Ферма, начали компьютерную атаку на проблему, полагаясь на компьютерную версию подхода, развитого Куммером в XIX веке.
Куммер, обнаружив пробел в работах Коши и Ламе, установил, что трудностей при доказательстве Великой теоремы Ферма удается избежать, если показатель n равен нерегулярному простому числу (при n , не превышающих числа 100, нерегулярны только простые числа 37, 59 и 67). В то же время, Куммер показал, что теоретически все случаи с нерегулярными значениями показателя n могут быть рассмотрены индивидуально. Единственная проблема заключается лишь в том, что каждый случай требует огромного объема вычислений. Сколь велик объем вычислений наглядно демонстрирует то, что Куммер и его коллега Дмитрий Мириманов потратили три недели, чтобы выполнить все вычисления для трех нерегулярных простых чисел, не превышающих числа 100. Но ни они, ни другие математики не были готовы к тому, чтобы приступить к вычислениям для следующей группы нерегулярных простых чисел в интервале от 100 до 1000.
Через несколько десятилетий проблемы, связанные с огромным объемом вычислений, стали существенно более доступными. С появлением компьютера большому объему вычислений, связанных с доказательством Великой теоремы Ферма, стало возможно противопоставить быстродействие вычислительных машин. И после второй мировой войны группы программистов и математиков доказали Великую теорему Ферма при всех значениях n до 500, затем до 1000, а позже до 10000. В 80-е годы Сэмюэль С. Вагстафф из университета Пурду поднял предел до 25 000, а совсем недавно математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов.
И хотя нематематикам могло бы показаться, что положение с доказательством Великой теоремы Ферма, наконец, стало лучше, математическое сообщество сознавало, что успех носит чисто косметический характер. Даже если бы суперкомпьютеры провели десятилетия в непрерывных вычислениях, доказывая Великую теорему Ферма при значениях n одно за другим, то и тогда им не удалось бы доказать теорему для каждого значения n до бесконечности, и поэтому никто не мог бы утверждать, что Великая теорема Ферма доказана во всей общности. Ведь даже если бы теорему удалось доказать для n до миллиарда, то и тогда не было бы никаких причин, по которым она должна была бы быть верна для n , равного миллиарду плюс один. Если бы теорему удалось доказать для n до триллиона, то нет причин, по которым она должна была бы быть верна для n , равного триллиону плюс один, и т. д. до бесконечности. Бесконечность недостижима за счет одной лишь грубой силы — перемалывания чисел с помощью компьютера.
Дэвид Лодж в своей книге «Странствия в картинках» приводит красочное описание вечности, имеющее отношение к аналогичному понятию бесконечности: «Представьте себе стальной шар размером со Вселенную и муху, которая садится на него раз в миллион лет. Когда этот стальной шар обратится в пыль от трения, вечность еще даже не начнется». Тем не менее, результаты, полученные с помощью компьютеров, свидетельствовали в пользу Великой теоремы Ферма. Поверхностному наблюдателю могло показаться, что этих результатов предостаточно, но сколько бы ни было данных, любое их количество не могло удовлетворить математиков — сборище скептиков, которые не признают ничего, кроме абсолютного доказательства. Экстраполяция теории на бесконечное множество чисел, опирающаяся на результаты, полученные для конечного количества чисел, — игра рискованная (и неприемлемая).
Насколько опасна такая экстраполяция с конечного множества на бесконечное показывает одна последовательность простых чисел. В XVIII веке математики доказали, что все следующие числа простые:
31, 331, 3 331, 33 331, 333 331, 3 333 331, 33 333 331 .
Следующие числа становились все б?льшими гигантами, и проверка их на простоту потребовала бы значительных усилий. Некоторые математики поддались искушению выдать замеченную закономерность за правило и предположили, что все числа указанного вида простые. Но уже следующее число 333 333 331 оказалось составным: 333 333 331 = 17·19 607 843.
Другим хорошим примером, показывающим почему не следует доверять только результатам компьютерных расчетов, может служить гипотеза Эйлера. Эйлер предположил, что уравнение
x 4 + y 4 + z 4 = w 4 ,
аналогичное уравнению Ферма, не имеет ненулевых решений в целых числах. На протяжении двух столетий никому не удавалось доказать гипотезу Эйлера, как, впрочем, и опровергнуть ее контрпримером. Ни первые вычисления вручную, ни долгие годы просеивания чисел с помощью компьютеров не позволили обнаружить ни одного решения. Отсутствие контрпримера воспринималось как убедительное свидетельство в пользу гипотезы Эйлера. Но в 1988 году Наум Элькис из Гарвардского университета нашел следующее решение:
2 682 4404 + 15 365 6394 + 187 9604 = 20 615 6734 .
Несмотря на все «подкрепляющие» данные гипотеза Эйлера оказалась ложной. В действительности Элькис доказал, что это уравнение имеет бесконечно много решений в целых числах. Мораль ясна: нельзя использовать результаты, полученные для первого миллиона целых чисел, как обоснование гипотезы относительно всех целых чисел.
Но обманчивый характер гипотезы Эйлера — ничто по сравнению с гипотезой о завышенной оценке количества простых чисел. Рассматривая все б?льшие и б?льшие целые числа, мы убеждаемся, что найти среди них простые числа становится все труднее. Например, между 0 и 100 расположены 25 простых чисел, тогда как между 10 000 000 и 10 000 100 — только 2 простых числа. В 1791 году Карл Гаусс, которому было тогда всего лишь четырнадцать лет, сформулировал приближенный закон, по которому уменьшается частота простых чисел. Формула Гаусса давала разумную точность, но всегда слегка завышала истинное распределение простых чисел. Проверка на простых числах до миллиона, миллиарда или триллиона показала, что гипотеза Гаусса излишне щедра, и математики испытывали сильнейшее искушение считать, что так будет и для всех чисел до бесконечности. Так родилась гипотеза о завышенной оценке распределения простых чисел.
В 1914 году Дж. И. Литлвуд, сотрудник Г.Г. Харди по Кембриджскому университету доказал, что для очень больших чисел формула Гаусса даст заниженную оценку распределения простых чисел. В 1955 году С. Скьюз показал, что недооценка количества простых чисел может наступить прежде, чем будет достигнуто число
Это число невозможно даже представить, и никаких практических приложений оно не имеет. Харди назвал число Скьюза «самым большим числом, которое когда-либо служило какой-нибудь цели в математике». Харди подсчитал, что если бы кто-нибудь вздумал сыграть в шахматы со всеми частицами во Вселенной (а их 1087; под ходом в такой игре следовало бы понимать перестановку любых двух частиц), то число возможных партий оказалось бы приближенно равно числу Скьюза.
Не существует причин, по которым Великая теорема Ферма не могла бы оказаться столь же обманчивой, как гипотеза Эйлера или гипотеза о завышенной оценке распределения простых чисел.
Аспирантские годы
В 1975 году Эндрю Уайлс поступил в аспирантуру Кембриджского университета. В ближайшие три года ему предстояло работать над диссертацией на соискание ученой степени Рh.D. (доктора философии) и за это время как бы пройти свое послушание математика-подмастерья. У каждого аспиранта имеется свой руководитель и наставник. У Уайлса им был австралиец Джон Коутс, профессор из колледжа Эммануэля, живший у себя на родине в городке Посум Браш в Новом Южном Уэльсе.
Коутс хорошо помнит, как он принял Уайлса: «Помню, что коллега сообщил мне о своем очень сильном студенте, который только что сдал последнюю часть экзаменов по математике и настоятельно рекомендовал мне взять его в аспирантуру. К счастью, я знал Эндрю еще в бытность его студентом. Еще тогда у него были очень глубокие идеи, и было ясно, что он математик с большим будущим. Разумеется, в то время не было и речи о том, чтобы какой-нибудь аспирант работал непосредственно над доказательством Великой теоремы Ферма. Она слишком трудна и для более опытного математика».
В последнее десятилетие все, что делал Уайлс, было направлено на подготовку к решающей схватке с Великой теоремой Ферма, но теперь, когда он вступил в ряды профессиональных математиков, ему приходилось быть более прагматичным. Как вспоминает Уайлс, он был вынужден временно отказаться от своей мечты. «Придя в Кембридж, я отложил Ферма в сторону. Не то, чтобы я забыл о теореме — она всегда была со мной, но я вдруг осознал, что те методы, которыми мы пытались доказать ее, существовали уже около 130 лет. По-видимому, они не позволяли дойти до корней проблемы. Работая над доказательством теоремы Ферма, вы могли потратить годы и остаться ни с чем. Работать над любимой проблемой — одно удовольствие, пока получается интересная математика, даже если проблему не удается решить к концу дня. Хорошей математической проблемой по определению считается такая, которая порождает хорошую математику. Важна математика, а не сама проблема».
Эндрю Уайлс во время обучения в колледже
Джон Коутс, научный руководитель Уайлса в 70-е годы, продолжал поддерживать отношения со своим бывшим студентом
В обязанности Джона Коутса входило найти для Эндрю новую увлекательную проблему, которая станет предметом его исследования по крайней мере на следующие три года. «Думаю, все, что руководитель может сделать для аспиранта, — это попытаться дать ему толчок в правильном направлении. Разумеется, никто не может с уверенностью знать заранее, какое направление исследования окажется плодотворным, но одно старший по возрасту математик может сделать — использовать свое чутье, свою интуицию при выборе стоящей области исследования, а от аспиранта зависит, насколько ему удастся продвинуться в указанном направлении». В конце концов Коутс решил, что Уайлсу следовало бы заняться областью математики, известной под названием теории эллиптических кривых. Как впоследствии оказалось, это решение стало поворотным пунктом в судьбе Уайлса и вооружило его теми методами, которые понадобились при выработке нового подхода к доказательству Великой теоремы Ферма. Название «эллиптические кривые» способно ввести в заблуждение потому, что они не эллипсы и даже не кривые в обычном смысле слова. Речь, скорее, идет об уравнениях вида
y 2 = x 3 + ax 2 + bx + c , где a, b, c — некоторые числа.
Свое название эллиптические кривые получили потому, что некоторые функции, тесно связанные с этими кривыми, потребовались для измерения длин эллипсов (а, следовательно, и длин планетных орбит). Уравнения такого вида называются кубическими. Проблема эллиптических кривых, как и проблема доказательства Великой теоремы Ферма, заключается в вопросе, имеют ли соответствующие им уравнения целочисленные решения, и если имеют, то сколько. Например, кубическое уравнение
y 2 = x 3–2 ,
где a =0, b =0, c =–2, имеет только одно решение в целых числах, а именно:
52 = 33-2 , или 25 = 27-2 .
Доказать, что это уравнение имеет только одно решение в целых числах — трудная задача. Этот факт доказал Пьер Ферма. В гл. 2, как вы, возможно, помните, мы упоминали о том, что 26 — единственное число во всей Вселенной, заключенное между квадратом и кубом. Доказал это также Ферма. Его доказательство эквивалентно доказательству того, что приведенное выше кубическое уравнение имеет только одно решение в целых числах, т. е. 52 и 33 — единственные квадрат и куб, разность которых равна 2, т. е. 26 — единственное целое число, которое может быть заключено между квадратом и кубом.
Особое очарование кубическим уравнениям придает то, что образно говоря они занимают нишу между более простыми уравнениями, решения которых почти тривиальны, и более сложными, решить которые невозможно. Изменяя значения a, b и c в общем кубическом уравнении, можно получить бесконечное множество уравнений, каждое из которых обладает своими характерными особенностями, но все эти уравнения поддаются анализу.
Первыми изучали кубические уравнения древнегреческие математики, в том числе Диофант, который посвятил изучению их свойств большие разделы своей «Арифметики». Возможно, именно под влиянием Диофанта занялся изучением кубических уравнений Ферма, а поскольку его излюбленный герой исследовал такие уравнения, Уайлс был счастлив продолжить эти исследования. Для начинающих математиков, вроде Уайлса, кубические уравнения представляли крепкий орешек даже через две тысячи лет после Диофанта. По словам Уайлса, «они были очень далеки от полного понимания. Существует множество простых на первый взгляд вопросов относительно кубических уравнений, все еще остающихся нерешенными. Даже вопросы, которые рассматривал еще Ферма, до сих пор остаются без ответа. В каком-то смысле вся математика, которую мне удалось разработать, восходит если не к Великой теореме Ферма, то к другим его идеям».
В качестве первого шага исследования можно не находить решения явно, а поставить вопрос: сколько решений вообще может быть? Как правило, и на этот вопрос ответить очень сложно, однако математики придумали способ как упростить эту задачу. Например, кубическое уравнение
x 3 — x 2 = y 2 + y
почти невозможно решить напрямую. Одно, тривиальное, решение очевидно: x =0 и y =0. Действительно,
03 — 02 = 02 + 0 .
Чуть больший интерес представляет собой решение x =1 и y =0:
13 — 12 = 02 + 0 .
Возможно, существуют и другие решения, но если принять во внимание, что перебору подлежит бесконечное множество целых чисел, то станет ясно, что составление полного списка решений этого уравнения в целых числах — задача невозможная. Более простой задачей является поиск решений в конечном числовом пространстве — так называемой арифметике вычетов.
Ранее мы видели, что целые числа можно мыслить как отметки на числовой прямой, простирающейся в бесконечность, как показано на рис. 16. Чтобы сделать числовое пространство конечным, арифметика вычетов отрезает от числовой прямой определенную часть и замыкает ее в петлю, образуя вместо числовой прямой числовое кольцо. На рис. 17 вы видите часы с пятью пометками: от числовой прямой отрезана часть по отметке 5, и конец ее склеен с отметкой 0. Число 5 при этом исчезает и становится эквивалентным 0, поэтому в новой арифметике — арифметике вычетов по модулю 5 — фигурируют только числа 0, 1, 2, 3, 4. 7
Рис. 16. Обычные арифметические действия можно представить как передвижения направо и налево по числовой оси
Рис. 17.
В обычной арифметике мы мыслим сложение как сдвиг по прямой на несколько делений — зазоров между отметками. Например, сказать: 2+4 = 6 — то же самое, что сказать: начните с отметки 2, сдвиньтесь вдоль числовой прямой на 4 деления и вы получите число 6. Но в арифметике вычетов по модулю 5 получаем, что
4 + 2 = 1 .
Так происходит потому, что если мы начнем с отметки 4 и сдвинемся по окружности на 2 деления, то вернемся к отметке 1. Новая арифметика может показаться непривычной, но в действительности, мы пользуемся ей ежедневно, когда речь заходит о времени. Четыре часа после 11 (т. е. 11+4) обычно принято называть не 15, а 3 часами. Это — арифметика вычетов по модулю 12.
Помимо сложения в «часовой» арифметике можно производить и все другие обычные математические операции, например, умножение. В арифметике вычетов по модулю 12 имеем: 5·7=11. Такое умножение можно представить себе следующим образом: начав с отметки 0 и сдвинувшись на 5 групп из 7 делений в каждой, вы в конце концов дойдете до отметки 11. Это лишь один из способов мысленно представить себе умножение в этой арифметике;
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
Расследование, произведенное 10 июня 1954 года, установило, что это было самоубийство. Тьюринга нашли лежащим навзничь в постели. Вокруг его рта была пена. Патологоанатом, проводивший посмертное вскрытие, определил причину смерти как отравление цианидом калия… В доме находился сосуд с цианидом калия и еще один сосуд с раствором цианида. Рядом с кроватью лежала половинка яблока со следами укусов. Анализ яблока не производился».
* * *
Наследием Тьюринга стал компьютер, способный производить за несколько часов вычисления, которые заняли бы у человека непозволительно много времени. Современные компьютеры успевают за долю секунды произвести больше арифметических операций, чем Ферма сделал за всю свою жизнь. Те математики, которые все еще вели неравную борьбу с Великой теоремой Ферма, начали компьютерную атаку на проблему, полагаясь на компьютерную версию подхода, развитого Куммером в XIX веке.
Куммер, обнаружив пробел в работах Коши и Ламе, установил, что трудностей при доказательстве Великой теоремы Ферма удается избежать, если показатель n равен нерегулярному простому числу (при n , не превышающих числа 100, нерегулярны только простые числа 37, 59 и 67). В то же время, Куммер показал, что теоретически все случаи с нерегулярными значениями показателя n могут быть рассмотрены индивидуально. Единственная проблема заключается лишь в том, что каждый случай требует огромного объема вычислений. Сколь велик объем вычислений наглядно демонстрирует то, что Куммер и его коллега Дмитрий Мириманов потратили три недели, чтобы выполнить все вычисления для трех нерегулярных простых чисел, не превышающих числа 100. Но ни они, ни другие математики не были готовы к тому, чтобы приступить к вычислениям для следующей группы нерегулярных простых чисел в интервале от 100 до 1000.
Через несколько десятилетий проблемы, связанные с огромным объемом вычислений, стали существенно более доступными. С появлением компьютера большому объему вычислений, связанных с доказательством Великой теоремы Ферма, стало возможно противопоставить быстродействие вычислительных машин. И после второй мировой войны группы программистов и математиков доказали Великую теорему Ферма при всех значениях n до 500, затем до 1000, а позже до 10000. В 80-е годы Сэмюэль С. Вагстафф из университета Пурду поднял предел до 25 000, а совсем недавно математики заявили, что Великая теорема Ферма верна при всех значениях n до 4 миллионов.
И хотя нематематикам могло бы показаться, что положение с доказательством Великой теоремы Ферма, наконец, стало лучше, математическое сообщество сознавало, что успех носит чисто косметический характер. Даже если бы суперкомпьютеры провели десятилетия в непрерывных вычислениях, доказывая Великую теорему Ферма при значениях n одно за другим, то и тогда им не удалось бы доказать теорему для каждого значения n до бесконечности, и поэтому никто не мог бы утверждать, что Великая теорема Ферма доказана во всей общности. Ведь даже если бы теорему удалось доказать для n до миллиарда, то и тогда не было бы никаких причин, по которым она должна была бы быть верна для n , равного миллиарду плюс один. Если бы теорему удалось доказать для n до триллиона, то нет причин, по которым она должна была бы быть верна для n , равного триллиону плюс один, и т. д. до бесконечности. Бесконечность недостижима за счет одной лишь грубой силы — перемалывания чисел с помощью компьютера.
Дэвид Лодж в своей книге «Странствия в картинках» приводит красочное описание вечности, имеющее отношение к аналогичному понятию бесконечности: «Представьте себе стальной шар размером со Вселенную и муху, которая садится на него раз в миллион лет. Когда этот стальной шар обратится в пыль от трения, вечность еще даже не начнется». Тем не менее, результаты, полученные с помощью компьютеров, свидетельствовали в пользу Великой теоремы Ферма. Поверхностному наблюдателю могло показаться, что этих результатов предостаточно, но сколько бы ни было данных, любое их количество не могло удовлетворить математиков — сборище скептиков, которые не признают ничего, кроме абсолютного доказательства. Экстраполяция теории на бесконечное множество чисел, опирающаяся на результаты, полученные для конечного количества чисел, — игра рискованная (и неприемлемая).
Насколько опасна такая экстраполяция с конечного множества на бесконечное показывает одна последовательность простых чисел. В XVIII веке математики доказали, что все следующие числа простые:
31, 331, 3 331, 33 331, 333 331, 3 333 331, 33 333 331 .
Следующие числа становились все б?льшими гигантами, и проверка их на простоту потребовала бы значительных усилий. Некоторые математики поддались искушению выдать замеченную закономерность за правило и предположили, что все числа указанного вида простые. Но уже следующее число 333 333 331 оказалось составным: 333 333 331 = 17·19 607 843.
Другим хорошим примером, показывающим почему не следует доверять только результатам компьютерных расчетов, может служить гипотеза Эйлера. Эйлер предположил, что уравнение
x 4 + y 4 + z 4 = w 4 ,
аналогичное уравнению Ферма, не имеет ненулевых решений в целых числах. На протяжении двух столетий никому не удавалось доказать гипотезу Эйлера, как, впрочем, и опровергнуть ее контрпримером. Ни первые вычисления вручную, ни долгие годы просеивания чисел с помощью компьютеров не позволили обнаружить ни одного решения. Отсутствие контрпримера воспринималось как убедительное свидетельство в пользу гипотезы Эйлера. Но в 1988 году Наум Элькис из Гарвардского университета нашел следующее решение:
2 682 4404 + 15 365 6394 + 187 9604 = 20 615 6734 .
Несмотря на все «подкрепляющие» данные гипотеза Эйлера оказалась ложной. В действительности Элькис доказал, что это уравнение имеет бесконечно много решений в целых числах. Мораль ясна: нельзя использовать результаты, полученные для первого миллиона целых чисел, как обоснование гипотезы относительно всех целых чисел.
Но обманчивый характер гипотезы Эйлера — ничто по сравнению с гипотезой о завышенной оценке количества простых чисел. Рассматривая все б?льшие и б?льшие целые числа, мы убеждаемся, что найти среди них простые числа становится все труднее. Например, между 0 и 100 расположены 25 простых чисел, тогда как между 10 000 000 и 10 000 100 — только 2 простых числа. В 1791 году Карл Гаусс, которому было тогда всего лишь четырнадцать лет, сформулировал приближенный закон, по которому уменьшается частота простых чисел. Формула Гаусса давала разумную точность, но всегда слегка завышала истинное распределение простых чисел. Проверка на простых числах до миллиона, миллиарда или триллиона показала, что гипотеза Гаусса излишне щедра, и математики испытывали сильнейшее искушение считать, что так будет и для всех чисел до бесконечности. Так родилась гипотеза о завышенной оценке распределения простых чисел.
В 1914 году Дж. И. Литлвуд, сотрудник Г.Г. Харди по Кембриджскому университету доказал, что для очень больших чисел формула Гаусса даст заниженную оценку распределения простых чисел. В 1955 году С. Скьюз показал, что недооценка количества простых чисел может наступить прежде, чем будет достигнуто число
Это число невозможно даже представить, и никаких практических приложений оно не имеет. Харди назвал число Скьюза «самым большим числом, которое когда-либо служило какой-нибудь цели в математике». Харди подсчитал, что если бы кто-нибудь вздумал сыграть в шахматы со всеми частицами во Вселенной (а их 1087; под ходом в такой игре следовало бы понимать перестановку любых двух частиц), то число возможных партий оказалось бы приближенно равно числу Скьюза.
Не существует причин, по которым Великая теорема Ферма не могла бы оказаться столь же обманчивой, как гипотеза Эйлера или гипотеза о завышенной оценке распределения простых чисел.
Аспирантские годы
В 1975 году Эндрю Уайлс поступил в аспирантуру Кембриджского университета. В ближайшие три года ему предстояло работать над диссертацией на соискание ученой степени Рh.D. (доктора философии) и за это время как бы пройти свое послушание математика-подмастерья. У каждого аспиранта имеется свой руководитель и наставник. У Уайлса им был австралиец Джон Коутс, профессор из колледжа Эммануэля, живший у себя на родине в городке Посум Браш в Новом Южном Уэльсе.
Коутс хорошо помнит, как он принял Уайлса: «Помню, что коллега сообщил мне о своем очень сильном студенте, который только что сдал последнюю часть экзаменов по математике и настоятельно рекомендовал мне взять его в аспирантуру. К счастью, я знал Эндрю еще в бытность его студентом. Еще тогда у него были очень глубокие идеи, и было ясно, что он математик с большим будущим. Разумеется, в то время не было и речи о том, чтобы какой-нибудь аспирант работал непосредственно над доказательством Великой теоремы Ферма. Она слишком трудна и для более опытного математика».
В последнее десятилетие все, что делал Уайлс, было направлено на подготовку к решающей схватке с Великой теоремой Ферма, но теперь, когда он вступил в ряды профессиональных математиков, ему приходилось быть более прагматичным. Как вспоминает Уайлс, он был вынужден временно отказаться от своей мечты. «Придя в Кембридж, я отложил Ферма в сторону. Не то, чтобы я забыл о теореме — она всегда была со мной, но я вдруг осознал, что те методы, которыми мы пытались доказать ее, существовали уже около 130 лет. По-видимому, они не позволяли дойти до корней проблемы. Работая над доказательством теоремы Ферма, вы могли потратить годы и остаться ни с чем. Работать над любимой проблемой — одно удовольствие, пока получается интересная математика, даже если проблему не удается решить к концу дня. Хорошей математической проблемой по определению считается такая, которая порождает хорошую математику. Важна математика, а не сама проблема».
Эндрю Уайлс во время обучения в колледже
Джон Коутс, научный руководитель Уайлса в 70-е годы, продолжал поддерживать отношения со своим бывшим студентом
В обязанности Джона Коутса входило найти для Эндрю новую увлекательную проблему, которая станет предметом его исследования по крайней мере на следующие три года. «Думаю, все, что руководитель может сделать для аспиранта, — это попытаться дать ему толчок в правильном направлении. Разумеется, никто не может с уверенностью знать заранее, какое направление исследования окажется плодотворным, но одно старший по возрасту математик может сделать — использовать свое чутье, свою интуицию при выборе стоящей области исследования, а от аспиранта зависит, насколько ему удастся продвинуться в указанном направлении». В конце концов Коутс решил, что Уайлсу следовало бы заняться областью математики, известной под названием теории эллиптических кривых. Как впоследствии оказалось, это решение стало поворотным пунктом в судьбе Уайлса и вооружило его теми методами, которые понадобились при выработке нового подхода к доказательству Великой теоремы Ферма. Название «эллиптические кривые» способно ввести в заблуждение потому, что они не эллипсы и даже не кривые в обычном смысле слова. Речь, скорее, идет об уравнениях вида
y 2 = x 3 + ax 2 + bx + c , где a, b, c — некоторые числа.
Свое название эллиптические кривые получили потому, что некоторые функции, тесно связанные с этими кривыми, потребовались для измерения длин эллипсов (а, следовательно, и длин планетных орбит). Уравнения такого вида называются кубическими. Проблема эллиптических кривых, как и проблема доказательства Великой теоремы Ферма, заключается в вопросе, имеют ли соответствующие им уравнения целочисленные решения, и если имеют, то сколько. Например, кубическое уравнение
y 2 = x 3–2 ,
где a =0, b =0, c =–2, имеет только одно решение в целых числах, а именно:
52 = 33-2 , или 25 = 27-2 .
Доказать, что это уравнение имеет только одно решение в целых числах — трудная задача. Этот факт доказал Пьер Ферма. В гл. 2, как вы, возможно, помните, мы упоминали о том, что 26 — единственное число во всей Вселенной, заключенное между квадратом и кубом. Доказал это также Ферма. Его доказательство эквивалентно доказательству того, что приведенное выше кубическое уравнение имеет только одно решение в целых числах, т. е. 52 и 33 — единственные квадрат и куб, разность которых равна 2, т. е. 26 — единственное целое число, которое может быть заключено между квадратом и кубом.
Особое очарование кубическим уравнениям придает то, что образно говоря они занимают нишу между более простыми уравнениями, решения которых почти тривиальны, и более сложными, решить которые невозможно. Изменяя значения a, b и c в общем кубическом уравнении, можно получить бесконечное множество уравнений, каждое из которых обладает своими характерными особенностями, но все эти уравнения поддаются анализу.
Первыми изучали кубические уравнения древнегреческие математики, в том числе Диофант, который посвятил изучению их свойств большие разделы своей «Арифметики». Возможно, именно под влиянием Диофанта занялся изучением кубических уравнений Ферма, а поскольку его излюбленный герой исследовал такие уравнения, Уайлс был счастлив продолжить эти исследования. Для начинающих математиков, вроде Уайлса, кубические уравнения представляли крепкий орешек даже через две тысячи лет после Диофанта. По словам Уайлса, «они были очень далеки от полного понимания. Существует множество простых на первый взгляд вопросов относительно кубических уравнений, все еще остающихся нерешенными. Даже вопросы, которые рассматривал еще Ферма, до сих пор остаются без ответа. В каком-то смысле вся математика, которую мне удалось разработать, восходит если не к Великой теореме Ферма, то к другим его идеям».
В качестве первого шага исследования можно не находить решения явно, а поставить вопрос: сколько решений вообще может быть? Как правило, и на этот вопрос ответить очень сложно, однако математики придумали способ как упростить эту задачу. Например, кубическое уравнение
x 3 — x 2 = y 2 + y
почти невозможно решить напрямую. Одно, тривиальное, решение очевидно: x =0 и y =0. Действительно,
03 — 02 = 02 + 0 .
Чуть больший интерес представляет собой решение x =1 и y =0:
13 — 12 = 02 + 0 .
Возможно, существуют и другие решения, но если принять во внимание, что перебору подлежит бесконечное множество целых чисел, то станет ясно, что составление полного списка решений этого уравнения в целых числах — задача невозможная. Более простой задачей является поиск решений в конечном числовом пространстве — так называемой арифметике вычетов.
Ранее мы видели, что целые числа можно мыслить как отметки на числовой прямой, простирающейся в бесконечность, как показано на рис. 16. Чтобы сделать числовое пространство конечным, арифметика вычетов отрезает от числовой прямой определенную часть и замыкает ее в петлю, образуя вместо числовой прямой числовое кольцо. На рис. 17 вы видите часы с пятью пометками: от числовой прямой отрезана часть по отметке 5, и конец ее склеен с отметкой 0. Число 5 при этом исчезает и становится эквивалентным 0, поэтому в новой арифметике — арифметике вычетов по модулю 5 — фигурируют только числа 0, 1, 2, 3, 4. 7
Рис. 16. Обычные арифметические действия можно представить как передвижения направо и налево по числовой оси
Рис. 17.
В обычной арифметике мы мыслим сложение как сдвиг по прямой на несколько делений — зазоров между отметками. Например, сказать: 2+4 = 6 — то же самое, что сказать: начните с отметки 2, сдвиньтесь вдоль числовой прямой на 4 деления и вы получите число 6. Но в арифметике вычетов по модулю 5 получаем, что
4 + 2 = 1 .
Так происходит потому, что если мы начнем с отметки 4 и сдвинемся по окружности на 2 деления, то вернемся к отметке 1. Новая арифметика может показаться непривычной, но в действительности, мы пользуемся ей ежедневно, когда речь заходит о времени. Четыре часа после 11 (т. е. 11+4) обычно принято называть не 15, а 3 часами. Это — арифметика вычетов по модулю 12.
Помимо сложения в «часовой» арифметике можно производить и все другие обычные математические операции, например, умножение. В арифметике вычетов по модулю 12 имеем: 5·7=11. Такое умножение можно представить себе следующим образом: начав с отметки 0 и сдвинувшись на 5 групп из 7 делений в каждой, вы в конце концов дойдете до отметки 11. Это лишь один из способов мысленно представить себе умножение в этой арифметике;
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36