Уайлсу потребовались годы работы и знание самых современных разделов математики. Недавно он получил за это достижение премию, которую называют Нобелевкой для математиков. При этом формулировка теоремы Ферма крайне проста: она утверждает, что нет таких целых значений x, y и z, для которых бы выполнялось равенство xⁿ+yⁿ=zⁿ при n больше 2. Эту теорему сформулировал французский математик Пьер де Ферма в XVII веке. Читая «Арифметику» Диофанта, он записал уравнение на полях, в той части книги, где речь шла о теореме Пифагора.

Заметки на полях

Теорема Пифагора известна каждому, кто в школе хотя бы иногда не прогуливал математику: в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы. Теорема была доказана, как можно догадаться, Пифагором, а уже его ученики доказали, что существует бесконечное множество так называемых пифагорейских троек — целых чисел, для которых выполняется условие x²+y²=z². Например, 3²+4²=5² или 99²+4900²=4901².

Ферма задался вопросом: а что если вместо квадратов в формуле будут кубы: x³+y³=z³? Можно ли для такого равенства найти красивые тройки целых чисел? А если в показателе степени будет стоять 4? А если 5? Ферма утверждал, что если показатель степени больше двух, то таких троек целых чисел не существует. Рядом с формулировкой теоремы Ферма оставил коварную запись: «Я нашел поистине удивительное доказательство этого предложения, но поля здесь слишком узки для того, чтобы вместить его». В чем заключалось это доказательство, он так никому и не сообщил.

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

Французский чиновник и математик Пьер де Ферма

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

Загадка на века

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

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

Читать дальше.