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

От книг о математике очень легко перейти к фильмам. Про это поговорим отдельно. Вчера упомянули про короткометражку «Математик и чёрт», экранизация рассказа Артура Порджеса с Всеволодом Шестаковым и Александром Кайдановским (он же Сталкер из «Сталкера») в главных ролях. Лучшая художественная экранизация с математикой на русском языке за всю историю. 🎬

В фильме речь идёт о Великой теореме Ферма. Простое на словах утверждение с невероятно трудным доказательством. Всего лишь нужно доказать, что не существует решения в целых числах для уравнения a^n + b^n = c^n при n > 2, где a, b, c — целые числа больше 0. Для квадратов решений бесконечно много (например, 3^2 + 4^2 = 5^2), а вот для кубов, четвёртых степеней и дальше — решений найти никак не могли. 🧩

Как теорема Ферма стала главной загадкой на 350 лет

В 1637 году Пьер Ферма на полях книги написал, что знает «поистине чудесное доказательство», но места, увы, не хватило. Математическое сообщество билось над задачей более 350 лет. Британский математик Эндрю Уайлз посвятил доказательству семь лет тайной работы и, наконец, в 1993 году, он объявил ключевой результат: доказал особый случай модулярности для так называемых полустабильных эллиптических кривых — из этого следует Великая теорема Ферма. При проверке нашли «дыру»; почти год Уайлз искал исправление и совместно с Ричардом Тейлором нашёл обход. В итоге, в 1995 году опубликовали итоговое полное доказательство. Самая известная нерешенная задача математики была решена. 🔥

Что именно доказал Уайлз

Главная идея доказательства Уайлза — мост между эллиптическими кривыми (геометрические объекты, задаваемые уравнениями вроде y^2 = x^3 + ax + b, за которыми скрываются «криптография», «рациональные точки», «диофантовы уравнения») и модулярными формами (функциями с высокой симметрией, живущими в комплексном анализе). Уайлз показал: для большого класса кривых этот мост существует — «кривая говорит на языке модулярных форм». Из этого «перевода» и следует ВТФ. 🌉

Признание и награды после доказательства теоремы Ферма

К Уайлзу пришли слава и признание. Правда самую престижную награду для молодых математиков, премию Филдса, Уайлз так и не получил, к моменту завершения доказательства ему было 41 (премия только до 40). Но Уайлзу достались премия Вольфа (1995), премия Вольфскеля, Шокка (1995), Королевская медаль (1996), Стипендия Макартура (1997), Премия Шо (2005), премия Абеля (2016), Медаль Копли (2017); в 2000 — рыцарство.

350 лет доказательств завершились, многие спорили зачем и как. Но ключевой вопрос — а что же произошло после? 🤔

Вклад теоремы Ферма в развитие современной математики

✅ В 1995–2001 годах Кристоф Брей, Брайан Конрад, Фред Даймонд и Ричард Тейлор довели результат до полной модулярности всех эллиптических кривых над рациональными числами (Q). Это закрыло одну из центральных гипотез XX века. 🧠

✅ Методология Уайлза породила «многоразовые» техники, которые теперь лежат в «повседневном наборе» арифметической геометрии:
— поднятие модулярности (грубо: если соответствие «работает» на уровне приближений, его можно «поднять» до точного);
— знаменитая теорема R = T (деформационное кольцо = алгебра Хекке), которая скрепляет алгебру и арифметику;
— идеи «понижения/повышения уровня» (level lowering/raising), позволяющие переносить свойства между объектами. 🛠️

✅ Эти инструменты пошли дальше ВТФ: они использовались в работах о потенциальной модулярности, в прогрессе по гипотезе Серра, в результатах типа Сато–Тэйт для классов кривых и во множестве задач на стыке теории чисел и геометрии. 🔬

✅ Доказательство укрепило Программу Лэнглендса — «Великую объединяющую теорию» чисел, представлений и геометрии. Проще: всё больше разных разделов математики оказывается разными языками об одном и том же. 🌐

✅ История Уайлза привлекла в теорию чисел новое поколение студентов и подняла видимость математики далеко за пределами академии. 🎓

Главная мысль

Великая теорема Ферма — не финальная точка, а старт большой эпохи. Да, для решения понадобилось более 350 лет. Но результат открыл целые направления, дал новые инструменты и подтолкнул объединение разрозненных областей математики. 🚀