Великая теорема Ферма

Великая теорема Ферма (также известная как Последняя теорема Ферма) — одна из самых известных математических теорем, сформулированная французским математиком Пьером де Ферма около 1637 года. Теорема утверждает, что для любого натурального числа \( n > 2 \) уравнение \( x^n + y^n = z^n \) не имеет решений в целых положительных числах \( x, y, z \). Доказательство этого утверждения, найденное английским математиком Эндрю Уайлсом в 1994 году, стало одним из крупнейших событий в истории математики XX века.

История

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

Пьер Ферма сделал запись на полях «Арифметики» Диофанта, где он сформулировал теорему и добавил примечание: «Я нашёл этому поистине чудесное доказательство, но поля книги слишком узки для него». Это заявление породило многовековую загадку, так как ни одно из доказательств, найденных позже, не было столь простым, как предполагал Ферма. Сам Ферма доказал частный случай для \( n = 4 \) (используя метод бесконечного спуска), но общее доказательство осталось неизвестным.

В течение последующих столетий математики безуспешно пытались доказать теорему. В XVIII веке Леонард Эйлер доказал случай для \( n = 3 \), а в XIX веке Софи Жермен доказала теорему для всех простых показателей \( n \), таких что \( 2n + 1 \) также является простым. Позже, в 1825 году, Дирихле и Лежандр независимо друг от друга доказали случай для \( n = 5 \), а в 1839 году Ламе — для \( n = 7 \). Однако все эти частные случаи не давали общего решения.

Развитие теории чисел

В XIX веке немецкий математик Эрнст Куммер разработал теорию идеальных чисел, которая позволила доказать теорему для всех регулярных простых чисел. Это стало значительным шагом вперёд, но не решало проблему для всех показателей. Куммер также показал, что для нерегулярных простых чисел теорема может быть неверна, что потребовало более глубокого анализа.

Доказательство Эндрю Уайлса

В 1980-х годах математики начали связывать Великую теорему Ферма с другими областями математики, такими как эллиптические кривые и модулярные формы. В 1985 году Герхард Фрей предположил, что если бы существовало контрпример к теореме Ферма, то соответствующая эллиптическая кривая (кривая Фрея) не могла бы быть модулярной, что противоречило бы гипотезе Таниямы — Симуры. В 1990 году Кен Рибет доказал, что из гипотезы Таниямы — Симуры следует Великая теорема Ферма.

Эндрю Уайлс, работая в Принстонском университете, в течение семи лет втайне разрабатывал доказательство гипотезы Таниямы — Симуры для полустабильных эллиптических кривых. В 1993 году он объявил о завершении доказательства на конференции в Кембридже, но вскоре была обнаружена ошибка. В 1994 году Уайлс вместе с Ричардом Тейлором исправил её, и окончательное доказательство было опубликовано в 1995 году.

Математическая суть

Формулировка

Теорема утверждает, что уравнение \( x^n + y^n = z^n \) не имеет решений в целых положительных числах при \( n > 2 \). Для \( n = 1 \) и \( n = 2 \) решения существуют (например, пифагоровы тройки для \( n = 2 \)).

Связь с эллиптическими кривыми

Доказательство Уайлса опирается на теорию эллиптических кривых и модулярных форм. Кривая Фрея, построенная из гипотетического решения уравнения Ферма, имеет вид: \[ y^2 = x(x - a^n)(x + b^n), \] где \( a, b, c \) — целые числа, удовлетворяющие \( a^n + b^n = c^n \). Уайлс показал, что такая кривая не может быть модулярной, что противоречит гипотезе Таниямы — Симуры, доказанной для полустабильных кривых.

Алгебраическая теория чисел

В доказательстве используются методы алгебраической теории чисел, включая теорию деформаций Галуа и модулярные формы. Уайлс ввёл понятие «кольца деформаций» и доказал, что оно изоморфно «кольцу модулярных форм», что позволило установить модулярность эллиптических кривых.

Значение и влияние

В математике

Доказательство Великой теоремы Ферма стало триумфом современной математики, объединившим несколько её разделов: теорию чисел, алгебраическую геометрию и теорию представлений. Оно подтвердило гипотезу Таниямы — Симуры для полустабильных эллиптических кривых, что впоследствии привело к полному доказательству этой гипотезы (теорема о модулярности).

В культуре

Теорема Ферма стала символом математической загадки, привлекающей внимание не только профессионалов, но и широкой публики. Её история описана в книгах, фильмах и телепередачах. Например, книга Саймона Сингха «Великая теорема Ферма» (1997) стала бестселлером.

В образовании

Теорема часто используется как пример того, как простая на вид задача может потребовать сложнейших методов для своего решения. Она стимулирует интерес к математике и показывает, что даже самые древние проблемы могут быть решены с помощью современных подходов.

Критика и альтернативные подходы

Сложность доказательства

Доказательство Уайлса чрезвычайно сложно и доступно для понимания лишь узкому кругу специалистов. Это вызвало критику со стороны некоторых математиков, которые считают, что «чудесное доказательство» Ферма, если оно существовало, должно было быть более простым. Однако большинство экспертов сходятся во мнении, что в рамках математики XVII века такое доказательство невозможно, и Ферма, вероятно, ошибался.

Попытки упрощения

После публикации доказательства Уайлса были предприняты попытки его упрощения. В 2001 году Брайан Конрад, Фред Даймонд и Ричард Тейлор опубликовали более простое доказательство гипотезы Таниямы — Симуры, что косвенно упростило и доказательство теоремы Ферма. Однако полное упрощение до уровня, доступного школьникам, остаётся недостижимым.

Споры о приоритете

Некоторые исследователи утверждают, что отдельные элементы доказательства были известны ранее, но Уайлс впервые объединил их в единую систему. Споры о приоритете не имеют широкого распространения, так как вклад Уайлса признаётся решающим.

Интересные факты

• Премия Вольфскеля: В 1908 году немецкий математик Пауль Вольфскель завещал 100 000 марок тому, кто докажет теорему Ферма. Премия была вручена Уайлсу в 1997 году, но её сумма из-за инфляции составила около 50 000 долларов.
• Компьютерные проверки: До доказательства Уайлса теорема была проверена для всех показателей до 4 000 000 с помощью компьютеров, что не подтвердило контрпримеров, но не являлось доказательством.
• Ошибка в доказательстве: Первая версия доказательства Уайлса (1993) содержала ошибку, связанную с теорией деформаций Галуа. Исправление потребовало ещё года работы.
• Влияние на криптографию: Методы, разработанные для доказательства, нашли применение в современной криптографии, в частности в эллиптической криптографии.

Источники

• Сингх, С. «Великая теорема Ферма». — М.: МЦНМО, 2000.
• Wiles, A. «Modular elliptic curves and Fermat’s Last Theorem». — Annals of Mathematics, 1995.
• Ribet, K. «On modular representations of Gal(Q̅/Q) arising from modular forms». — Inventiones Mathematicae, 1990.
• Математическая энциклопедия. — М.: Советская энциклопедия, 1985.