Доказательство Великой теоремы Ферма доступно изложить не получится, так как это сложная задача, над которой работали ведущие математики мира на протяжении 350 лет. yandex.ru
Последний важный шаг сделал английский математик Эндрю Уайлс. ru.wikipedia.org В 1994 году он опубликовал доказательство теоремы, которое после некоторых доработок было признано исчерпывающим. elementy.ru Оно заняло более ста журнальных страниц и основывалось на использовании современного аппарата высшей математики, который в эпоху Ферма разработан не был. elementy.ru
Некоторые этапы доказательства Уайлса:
- Учёный подсчитал все эллиптические функции и модулярные эллиптические функции, чтобы показать, что их вычисления эквивалентны. 4brain.ru Хотя этот подход оказался неэффективным, он помог осознать, куда двигаться дальше. 4brain.ru
- Вычисления помогли Уайлсу понять, что нужно вместо доказательства гипотезы Таниямы-Симуры для эллиптических кривых, доказать эту же гипотезу лишь для полустабильных кривых. 4brain.ru
- Далее учёный обратился к теории Галуа, и с её помощью смог определить эллиптические уравнения и доказать, что можно провести ассоциацию с элементами модулярных форм. 4brain.ru Так Уайлсу удалось переформулировать задачу в более податливые понятия. 4brain.ru
- Позднее учёный пробовал решить теорему с помощью теории Ивасавы, но её оказалось недостаточно, поэтому Уайлс использовал ещё и инструменты системы Эйлера. 4brain.ru
К концу октября 1994 года доказательство было завершено. yandex.ru