Теорема Ферма простыми словами: как была решена великая загадка

Теорема Ферма простыми словами утверждает, что уравнение xⁿ + yⁿ = zⁿ не имеет решений в положительных целых числах, если показатель степени n больше двух. Несмотря на лаконичность формулировки, поиск строгого математического доказательства занял более трех с половиной столетий и потребовал привлечения сложнейших разделов современной алгебраической геометрии.

История формулировки и частные случаи

Великую теорему сформулировал французский математик Пьер де Ферма в 1637 году. Он написал своё утверждение на полях книги «Арифметика» древнегреческого учёного Диофанта. Ферма сопроводил запись комментарием о том, что обладает «поистине чудесным доказательством», однако поля книги оказались слишком узкими для его подробной записи. Современные исследователи склоняются к мнению, что у самого Ферма не было полного доказательства для общего случая.

Многие математики пытались доказать теорему для конкретных значений степени n:

• Леонард Эйлер в 1753 году доказал случай для n = 3.
• В 1825 году Адриен-Мари Лежандр и Петер Густав Лежён Дирихле независимо друг от друга доказали случай для n = 5.
• Габриэль Ламе в 1839 году представил доказательство для n = 7.

Несмотря на эти успехи, доказать теорему для всех возможных показателей степени оставалось невозможным вплоть до конца XX века.

Прорыв Эндрю Уайлса

Полное доказательство Великой теоремы Ферма представил британский математик Эндрю Уайлс. Окончательная версия его работы была опубликована в 1995 году в авторитетном журнале Annals of Mathematics.

Доказательство Уайлса представляет собой масштабный труд объёмом более 100 страниц. Оно опирается на современные и крайне сложные разделы математики, включая алгебраическую геометрию и теорию чисел. В процессе доработки первоначального варианта и устранения обнаруженного пробела Уайлсу помогал его соавтор Ричард Тейлор.

Суть доказательства доступным языком

Эндрю Уайлс не стал атаковать уравнение Ферма напрямую. Вместо этого он использовал метод доказательства от противного, связав задачу с гипотезой Таниямы-Шимуры. Эта гипотеза устанавливает глубокую связь между двумя, казалось бы, разными объектами: эллиптическими кривыми и модулярными формами.

Логика рассуждений Уайлса строится следующим образом:

1. Предположим, что теорема Ферма неверна и решение уравнения xⁿ + yⁿ = zⁿ при n > 2 существует.
2. Из этого гипотетического решения можно сконструировать особую эллиптическую кривую (известную как кривая Фрея).
3. Математические свойства этой кривой таковы, что она не может быть модулярной.
4. Однако Уайлс доказал гипотезу Таниямы-Шимуры, показав, что все подобные эллиптические кривые обязаны быть модулярными.

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

Частые ошибки в понимании теоремы

При изучении темы новички часто допускают следующие заблуждения:

• Ошибка в области чисел. Теорема работает только для положительных целых (натуральных) чисел. Если разрешить использование дробей, отрицательных или комплексных чисел, уравнение будет иметь бесконечное множество решений.
• Случай n = 2. При показателе степени 2 уравнение превращается в классическую теорему Пифагора (x² + y² = z²), которая имеет множество решений (например, 3, 4 и 5). Великая теорема Ферма начинает действовать строго при n > 2.
• Простота доказательства Ферма. Многие верят, что Пьер де Ферма действительно знал простое доказательство. Однако уровень математики XVII века не позволял оперировать такими понятиями, как эллиптические кривые или модулярные формы, которые стали ключом к разгадке.

FAQ

Почему доказательство Уайлса такое сложное? Уравнение Ферма выглядит элементарно, но его природа глубоко связана со структурой чисел. Чтобы доказать отсутствие решений для любой степени n > 2, потребовалось создать мост между теорией чисел и алгебраической геометрией, что привело к использованию инструментов, разработанных лишь во второй половине XX века.

Кто помог Эндрю Уайлсу завершить работу? Изначально в доказательстве Уайлса был обнаружен пробел. Для его устранения и финальной доработки математики потребовалось сотрудничество с Ричардом Тейлором. Именно их совместная работа позволила опубликовать безупречное доказательство в 1995 году.

Какую награду получил Эндрю Уайлс за своё открытие? Поскольку Уайлсу было больше 40 лет на момент доказательства, он не смог получить Филдсовскую медаль (главную награду для молодых математиков). Вместо этого в 1998 году он получил специальную серебряную доску от Международного математического союза, а в 2016 году был удостоен престижной Премии Абеля.