Идея доказательства на пальцах
Полное доказательство занимает около 130 страниц и требует нескольких лет университетской математики. Но его план можно понять за пять минут. Это доказательство «от противного»: предположим, что Ферма ошибся, и посмотрим, к какому абсурду это приведёт.
допустим, нашлись целые a, b, c и n ≥ 3 с aⁿ + bⁿ = cⁿстроим из них кривую Фрея: y² = x·(x - aⁿ)·(x + bⁿ)Рибет (1986): такая кривая НЕ может быть модулярнойУайлс (1994): КАЖДАЯ такая кривая модулярнапротиворечие → исходных a, b, c не существует ∎Пять шагов
- Предположим обратное
- Строим кривую Фрея
- Рибет: она не модулярна
- Уайлс: она обязана быть модулярной
- Противоречие!
1-2 Невозможный зверь
Если бы решение уравнения Ферма существовало, из его чисел можно было бы собрать особую эллиптическую кривую - её придумал Герхард Фрей. Кривая получилась бы настолько странной, что математики сравнивали её с животным, которого не может быть: у неё были бы «слишком хорошие» свойства.
3 Улика Рибета
Кен Рибет строго доказал: кривая Фрея не может быть модулярной, то есть не проходит «перепись населения», которой подчиняются нормальные эллиптические кривые. Значит, если ВСЕ такие кривые модулярны, кривой Фрея просто неоткуда взяться.
4 Подвиг Уайлса
Оставалось «всего лишь» доказать гипотезу Таниямы - Симуры: каждая полустабильная эллиптическая кривая модулярна. Именно это Эндрю Уайлс делал семь лет в тайне ото всех. Это самая сложная часть - те самые 130 страниц.
5 Ловушка захлопывается
Кривая Фрея обязана быть модулярной (Уайлс) и не может быть модулярной (Рибет). Так не бывает. Единственный выход из противоречия: исходных чисел a, b, c не существует. Что и требовалось доказать.
Для любопытных
Что такое эллиптическая кривая?
Это график уравнения вида y² = x³ + ax + b. У таких кривых есть волшебное свойство: точки на них можно «складывать». Проведи прямую через P и Q - она пересечёт кривую в третьей точке; отрази её от горизонтальной оси и получишь P + Q. Эта геометрическая игра превращает кривую в мощный вычислительный инструмент.
Что такое модулярная форма?
Очень симметричная функция: она переходит сама в себя при целом наборе преобразований, как узор в калейдоскопе. Гипотеза Таниямы - Симуры утверждала, что каждая эллиптическая кривая «звучит» как какая-то модулярная форма: их числовые характеристики совпадают. Это мост между двумя далёкими мирами математики - и Уайлс его построил.
Что за пробел нашли в 1993 году?
При проверке рукописи рецензент Ник Кац обнаружил, что один из методов (система Эйлера) работает не во всех нужных случаях. Уайлс год пытался починить конструкцию и почти сдался, но 19 сентября 1994 года понял, что его же старый подход - теория Ивасавы - закрывает дыру. Финальную статью он написал вместе с Ричардом Тейлором.
А было ли «чудесное доказательство» у самого Ферма?
Почти наверняка нет. Инструменты Уайлса появились только в XX веке, а все «элементарные» пути, которые мог видеть Ферма, за 358 лет проверили и нашли в них ошибки. Скорее всего, Ферма ошибся сам - или имел в виду лишь частные случаи n = 3 и n = 4, для которых у него действительно был метод (бесконечный спуск).
Пять минут - мало? Есть полная версия
Весь маршрут из десяти шагов: спуск Ферма, счёт точек на кривых, мозаика модулярных симметрий и живая таблица, где кривая и форма совпадают по всем простым.