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

Издание 1670 года «Арифметики» Диофанта включает комментарий Ферма, в частности его «последнюю теорему» (Observatio Domini Petri de Fermat).

Вели?кая теоре?ма Ферма? (или Последняя теорема Ферма) — одна из самых популярных теорем математики. Её условие формулируется на понятийном уровне среднего общего образования, а доказательство теоремы искали многие математики более трёхсот лет. Окончательно доказана в 1995 году Эндрю Уайлсом.

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

Теорема утверждает, что:

Для любого натурального числа уравнение

не имеет натуральных решений , и .

История

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

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

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

Оригинальный текст (лат.)

Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.

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

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

Над полным доказательством Великой теоремы работало немало выдающихся математиков и множество дилетантов-любителей; считается, что теорема стоит на первом месте по количеству некорректных «доказательств». Тем не менее эти усилия привели к получению многих важных результатов современной теории чисел. Давид Гильберт в своём докладе «Математические проблемы» на II Международном конгрессе математиков (1900) так отозвался об этой проблеме[2]:

Проблема доказательства этой неразрешимости являет разительный пример того, какое побуждающее влияние на науку может оказать специальная и на первый взгляд малозначительная проблема. Ибо, побуждённый задачей Ферма, Куммер пришёл к введению идеальных чисел и к открытию теоремы об однозначном разложении чисел в круговых полях на идеальные простые множители — теоремы, которая теперь, благодаря обобщениям на любую алгебраическую числовую область, полученным Дедекиндом и Кронекером, является центральной в современной теории чисел и значение которой выходит далеко за пределы теории чисел в область алгебры и теории функций.

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

В 1980-х годах появился новый подход к решению проблемы. Из гипотезы Морделла, доказанной Фальтингсом в 1983 году, следует, что уравнение при может иметь лишь конечное число взаимно простых решений.

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

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

«Ферматисты»

Авторское свидетельство, выданное Министерством образования и науки Украины на доказательство теоремы Ферма Г. А. Середкину и Л. В. Шаповаловой

Простота формулировки теоремы Ферма (доступная в понимании даже школьнику), а также сложность единственного известного доказательства (или неведение о его существовании), вдохновляют многих на попытки найти другое, более простое, доказательство. Людей, пытающихся доказать теорему Ферма элементарными методами, называют «ферматистами» или «ферматиками».[7] Ферматисты зачастую не владеют основами математической культуры и допускают ошибки в арифметических действиях или логических выводах, хотя некоторые представляют весьма изощренные «доказательства», в которых трудно найти ошибку.

Доказывать теорему Ферма в среде любителей математики было настолько популярно, что в 1972 году журнал «Квант», публикуя статью о теореме Ферма, сопроводил ее следующей припиской:[7]

Редакция «Кванта» со своей стороны считает необходимым известить читателей, что письма с проектами доказательств теоремы Ферма рассматриваться (и возвращаться) не будут.

Немецкому математику Эдмунду Ландау очень докуч

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать