Осень 1637 года. Французский юрист Пьер Ферма сидит у камина с книгой древнегреческого математика Диофанта. На полях тома он карандашом выводит короткую заметку — фразу, которая потом будет сводить с ума математиков на 358 лет. «Я нашёл поистине чудесное доказательство, — пишет Ферма, — но поля слишком узки, чтобы его вместить».
Короткий ответ: Великая теорема Ферма утверждает, что уравнение xⁿ + yⁿ = zⁿ не имеет решений в целых положительных числах при n > 2. Для n = 2 решений миллионы (привет, теорема Пифагора), а для куба, четвёртой степени и выше — ни одного.
💡 Удивительный факт: над теоремой Ферма работали сотни математиков трёх континентов в течение трёх с половиной веков. А окончательное доказательство Эндрю Уайлса занимает 129 страниц плотного математического текста и опирается на целые разделы математики, которых во времена Ферма попросту не существовало. Скорее всего, у самого Ферма доказательства и не было — он ошибся.
Простая игра, в которую нельзя выиграть
Есть отличная игра для карантина или долгой дороги. Берёте двух школьников и говорите: «Найдите мне три целых положительных числа — a, b, c — такие, что куб первого плюс куб второго равны кубу третьего». Они будут пыхтеть и пробовать: 1³ + 2³ = 1 + 8 = 9. Но 9 — не куб. 3³ + 4³ = 27 + 64 = 91. Не куб. 5³ + 6³ = 125 + 216 = 341. Тоже не куб.
И так можно сидеть до позднего вечера, вооружившись калькулятором. Все комбинации проваливаются. Именно это и гарантирует теорема Ферма: сколько ни пробуй, не получится. Для второй степени такая игра выигрывается легко (3² + 4² = 5², 5² + 12² = 13²), а начиная с куба — ни за что.
А откуда вообще взялась эта теорема?
Ферма не был профессиональным математиком. Он был юристом, советником парламента в Тулузе, а математикой занимался по вечерам — ради удовольствия. Любимой его книгой была «Арифметика» Диофанта, античного автора, собравшего задачи о целых числах. Ферма читал Диофанта с карандашом и писал свои замечания на полях: «вот здесь можно обобщить», «вот это любопытное свойство», «вот это я доказал вот так».
В главе о пифагоровых тройках Ферма и оставил ту самую заметку. После его смерти в 1665 году сын опубликовал все его записи. Все теоремы из записей были постепенно доказаны или опровергнуты — кроме одной. Её стали называть «последней теоремой Ферма» (Fermat’s Last Theorem) — не потому что она была последней в смысле времени, а потому что последней осталась без доказательства.
Почему для квадратов получается, а для кубов — нет
Для n = 2 уравнение a² + b² = c² — это теорема Пифагора. Троек целых решений бесконечно много: (3,4,5), (5,12,13), (8,15,17), (7,24,25)… Древние умели строить их десятками с помощью простой формулы Евклида: a = m²−n², b = 2mn, c = m²+n². Подставьте любые целые m и n — получите тройку.
Для кубов уже возникает парадокс. Если нарисовать кубик объёмом 27 (сторона 3) и кубик объёмом 64 (сторона 4), их общий объём — 91. Но кубика со стороной ровно ∛91 ≈ 4,497 не существует в целых числах. В двумерном мире квадраты можно красиво соединять (теорема Пифагора работает геометрически), а в трёхмерном и выше — не получается.
Интуиция здесь слабо помогает: казалось бы, решений должно быть хотя бы какое-то. Но нет. И доказать, что их совсем нет, для любого n ≥ 3 сразу — чудовищно трудно. Именно этот контраст между простой формулировкой и невероятной сложностью доказательства и делал задачу знаменитой.
Два подхода к теореме
Подход 1. Элементарный — лезем в лоб
Сам Ферма успел (и оставил запись!) для n = 4. Он придумал метод «бесконечного спуска»: предположил, что решение существует, и показал, что из него можно построить решение в меньших числах, потом ещё меньших, и так до бесконечности. Но положительные целые числа не могут уменьшаться бесконечно — значит, исходного решения и не было.
В 1770 году Леонард Эйлер доказал случай n = 3, хоть и с небольшим пробелом, который потом закрыли. Софи Жермен, одна из первых женщин-математиков, ещё в начале XIX века дала мощный частный результат. Немец Эрнст Куммер в 1847 году доказал теорему для целого класса n, попутно изобретя «идеалы» — фундамент современной алгебры.
К середине XX века с помощью компьютера проверили теорему для всех n вплоть до 4 миллионов. Ни одного контрпримера. Но проверка — не доказательство: вдруг где-то дальше что-то всплывёт? Элементарные методы уперлись в стену.
Подход 2. Современный — обходной манёвр через эллиптические кривые
В 1955 году японские математики Танияма и Шимура высказали совершенно неожиданную гипотезу: все эллиптические кривые над рациональными числами «модулярны» — то есть описываются специальными функциями, которые долго считались совсем отдельной областью. Связи с теоремой Ферма никто поначалу не увидел.
В 1984 году немец Герхард Фрай заметил: если бы решение теоремы Ферма существовало, из него можно было бы построить «очень странную» эллиптическую кривую, которая не может быть модулярной. В 1986 году Кен Рибет это строго доказал. То есть: доказать гипотезу Танияма–Шимура → доказать теорему Ферма. Цепочка замкнулась.
Именно этот обходной путь и выбрал Эндрю Уайлс.
Пример из жизни: как теорема Ферма защищает ваши деньги
На первый взгляд, «найдётся ли решение у xⁿ + yⁿ = zⁿ» — это математика для математиков. Никому, кроме самих математиков, это вроде не нужно. Но в реальности последствия этой истории стоят у нас в кармане.
Когда вы расплачиваетесь картой, открываете банковское приложение или заходите на сайт по https — данные шифруются протоколами, построенными на теории эллиптических кривых. Это те самые кривые, которые Танияма и Шимура изучали ради красоты, а Уайлс — ради доказательства Ферма. За 70 лет они прошли путь от «чистой абстракции» до фундамента кибербезопасности. Современная алгебраическая геометрия, выросшая из работ Куммера над частными случаями Ферма, — это математика биткоина, блокчейна и цифровой подписи документов.
Ферма искал красоту. Уайлс искал истину. А в итоге теорема, которая триста лет казалась бесполезным курьёзом, построила целую индустрию. Это один из самых убедительных аргументов в пользу «бесполезных» математических исследований, который история даст когда-либо.
Попробуй сам
Задача 1. Проверьте, что тройка (7, 24, 25) — пифагорова.
Решение. 7² + 24² = 49 + 576 = 625 = 25². Верно. Тройка пифагорова, и это одна из «бесконечно многих» троек для n = 2.
Задача 2. Найдите такие целые положительные x, y, z, что x³ + y³ = z³ при x ≤ 10, y ≤ 10.
Решение. Таких троек нет. Это и есть смысл теоремы Ферма для n = 3 (доказал Эйлер): никаких целых положительных решений не существует, ни при малых, ни при больших x, y. Задача-ловушка, проверяющая, поняли ли вы теорему. 🙂
Задача 3. Разложите 1729 = a³ + b³ двумя разными способами — это знаменитое «число Рамануджана».
Решение. 1729 = 1³ + 12³ = 1 + 1728. 1729 = 9³ + 10³ = 729 + 1000. Два разных разложения! Это не контрпример к Ферма — здесь сумма двух кубов равна числу, а не кубу (1729 — не куб). Но сама задача показывает, насколько тонко устроена арифметика кубов. Историю о Рамануджане и этом числе мы разбираем в отдельной статье.
Семь лет в тайне и одна ошибка
Эндрю Уайлс влюбился в теорему Ферма в десять лет, прочитав о ней в школьной библиотеке. Он стал математиком и всю жизнь присматривался к задаче, хотя считал её «недоступной». В 1986 году, после работы Фрая и Рибета, Уайлс понял: теперь есть путь. И сделал невероятное — закрылся и работал в полной тайне семь лет.
23 июня 1993 года в Кембридже Уайлс прочёл три закрытые лекции, финал которых прозвучал как: «…из чего следует последняя теорема Ферма. Я думаю, на этом мы остановимся». Зал аплодировал стоя. Новость облетела мир — на обложках газет.
А потом, при проверке доказательства, рецензент нашёл пробел. Один шаг не стыковался. Уайлс вернулся к работе — ещё полтора года тяжелейших попыток, на грани отчаяния. В сентябре 1994 года, когда он уже собирался признать поражение, в голове щёлкнуло: старый метод из 1980-х идеально закрывает пробел. Окончательная версия вышла в 1995 году. 358 лет ожидания закончились.
Удивительный финал: Ферма, похоже, ошибся
Пользуясь случаем, ответим на главный вопрос всей истории: было ли у Ферма «истинно чудесное» доказательство, о котором он писал на полях? Почти наверняка нет. Уайлсу понадобились эллиптические кривые, модулярные формы, теория Галуа, когомологии — разделы математики XX века, которых в XVII веке не существовало даже в зародыше.
Скорее всего, Ферма нашёл то, что ему казалось доказательством — возможно, подобное тому, что потом нашёл Эйлер для n = 3 и что по инерции распространил на все степени. Ошибся. Но именно эта ошибка и принесла человечеству целую эпоху математики.
Иногда короткая карандашная запись на полях книги меняет мир больше, чем полки научных трактатов.
Часто задаваемые вопросы
Почему она называется «великая» и «последняя» одновременно?
В английской традиции — Fermat’s Last Theorem («последняя» — потому что последней из записей Ферма оставалась без доказательства). В русской — «великая» (из-за её значения для математики). По сути это одна и та же теорема, просто названия разные.
А для n = 2 решений действительно бесконечно много?
Да, и их легко генерировать. Возьмите любые два взаимно простых целых m > n разной чётности. Тогда (m²−n², 2mn, m²+n²) — примитивная пифагорова тройка. Значит троек бесконечно много, и они распределены по всем масштабам.
А если разрешить дробные числа — решения найдутся?
Для дробных чисел — сколько угодно. Например, (1/2)³ + (1/2)³ = 1/4, и мы всегда можем подогнать z. Смысл теоремы именно в том, что целых решений нет. Дроби же масштабируются — поэтому если бы нашлось одно целочисленное решение, то и бесконечно много таких было бы.
Получил ли Уайлс премию?
Да, сразу несколько — включая Абелевскую премию 2016 года (300 тысяч евро), специальную премию Вольфа и рыцарское звание от королевы Великобритании. Филдсовскую медаль ему не дали только по формальной причине: её присуждают математикам моложе 40 лет, а Уайлс закончил доказательство в 42.
Осталась ли какая-то «следующая теорема Ферма»?
Есть близкие нерешённые задачи. Например, гипотеза Била: если aˣ + bʸ = cᶻ с целыми показателями > 2, то a, b, c имеют общий простой множитель. За её решение американский миллиардер Эндрю Бил предложил премию в миллион долларов. Пока не решена.