Введение, История теоремы - Великая теорема Ферма

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

История теоремы

Для случая n = 3 эту теорему в X веке пытался доказать ал-Ходжанди, но его доказательство не сохранилось.

В общем виде теорема была сформулирована Пьером Ферма в 1637 году на полях "Арифметики" Диофанта. Дело в том, что Ферма делал свои пометки на полях читаемых математических трактатов и там же формулировал пришедшие на ум задачи и теоремы. Теорему, о которой ведется речь, он записал с припиской, что найденное им остроумное доказательство этой теоремы слишком длинно, чтобы его можно было поместить на полях книги.

Несколько позже сам Ферма опубликовал доказательство частного случая для n = 4, что добавляет сомнений в том, что у него было доказательство общего случая.

Эйлер в 1770 году доказал теорему для случая n = 3, Дирихле и Лежандр в 1825 -- для n = 5, Ламе -- для n = 7. Куммер показал, что теорема верна для всех простых n, меньших 100, за возможным исключением т. н. иррегулярных простых 37, 59, 67.

Над полным доказательством Великой теоремы работало немало выдающихся математиков и множество дилетантов-любителей; считается, что теорема стоит на первом месте по количеству некорректных "доказательств". Тем не менее, эти усилия привели к получению многих важных результатов современной теории чисел.

В 1908 году немецкий любитель математики Вольфскель завещал 100 000 немецких марок тому, кто докажет теорему Ферма. Однако после Первой мировой войны премия обесценилась.

Последний, но самый важный, шаг в доказательстве теоремы был сделан Уайлсом в сентябре 1994 года. Его 130-страничное доказательство было опубликовано в журнале "Annals of Mathematics". Доказательство основано на предположении немецкого математика Герхарда Фрая о том, что Великая теорема Ферма является следствием гипотезы Таниямы -- Симуры (это предположение было доказано Кеном Рибетом при участии Ж. П. Серра).

Первый вариант своего доказательства Уайлс опубликовал в 1993 году (после 7 лет напряженной работы), но в нем вскоре обнаружился серьезный пробел, который с помощью Ричарда Лоуренса Тейлора удалось достаточно быстро устранить. В 1995 году был опубликован завершающий вариант.

Похожие статьи




Введение, История теоремы - Великая теорема Ферма

Предыдущая | Следующая