Великая теорема Ферма: 358 лет в поисках доказательства
Представьте себе математическую задачу, формулировку которой поймёт даже школьник, но на доказательство которой у лучших умов человечества уйдёт более трёх столетий. Это и есть Великая (или Последняя) теорема Ферма.
В чём суть?
Французский юрист и по совместительству гениальный математик-любитель Пьер Ферма в 1637 году сделал пометку на полях книги «Арифметика» древнегреческого математика Диофанта:
«Кубу невозможно быть суммой двух кубов, четвёртой степени — сумме двух четвёртых степеней и, вообще, никакому числу, которое есть степень больше второй, невозможно быть суммой двух таких же степеней».
На языке формул это выглядит так: уравнение x^n + y^n = z^n не имеет решений в целых положительных числах для любого целого $n > 2$.
При n=2 мы получаем знакомую всем теорему Пифагора ( a^2+b^2=c^2 ), где существует бесконечно много целочисленных решений (пифагоровы тройки, например, 3, 4, 5). Ферма утверждал, что как только степень становится 3, 4 или выше — найти такие целые числа уже невозможно.
Почему это важно?
Значимость теоремы не в самой формулировке, а в пути к её доказательству.
Интрига: Ферма приписал, что нашёл «воистину чудесное доказательство», но оно слишком длинное для полей книги. Никто за 300 лет не смог его воспроизвести простыми методами, которые были доступны в XVII веке.
Двигатель прогресса: попытки доказать теорему привели к созданию целых новых разделов математики. Давид Гильберт отмечал, что эта «малозначительная» проблема стала источником глубочайших открытий в теории чисел.
Финал эпопеи: лишь в 1994 году английский математик Эндрю Уайлс представил доказательство объёмом в 130 страниц, использующее сложнейший аппарат современной алгебраической геометрии и теорию эллиптических кривых. За эту работу он был удостоен Абелевской премии — аналога Нобелевской в мире математики.
Теорема Ферма — идеальный пример того, как одна красивая загадка может стать двигателем науки на столетия вперёд, превратив чистую арифметику в инструмент, который сегодня защищает наши данные в интернете через криптографию.
