В 17 веке во Франции жил юрист и по совместительству математик Пьер Ферма, который отдавал своему увлечению долгие часы досуга. Как-то зимним вечером, сидя у камина, он выдвинул одно прелюбопытнейшее утверждение из области теории чисел – именно оно в дальнейшем было названо Великой или Большой теоремой Ферма. Возможно, ажиотаж не был бы настолько весомым в математических кругах, не случись одно событие. Математик часто проводил вечера за штудированием любимой книги Диофанта Александрийского «Арифметика» (3 век), при этом записывал на ее полях важные мысли – этот раритет бережно сохранил для потомков его сын. Так вот, на широких полях этой книги рукой Ферма была оставлена такая надпись: «У меня есть довольно поразительное доказательство, но оно слишком большое, чтобы его можно было поместить на полях». Именно эта запись стала причиной ошеломительного ажиотажа вокруг теоремы. У математиков не вызывало сомнений, что великий ученый заявил о том, что доказал собственную теорему. Вы наверняка задаетесь вопросом: «Неужели он на самом деле ее доказал, или это была банальная ложь, а может есть другие версии, зачем эта запись, не дававшая умиротворенно спать математикам последующих поколений, оказалась на полях книги?».

Суть Великой теоремы

Довольно известная теорема Ферма проста по своей сути и заключается в том, что при условии, когда n больше двойки, положительного числа, уравнение Х n +Y n =Z n не будет иметь решений нулевого типа в рамках натуральных чисел. В этой с виду простой формуле была замаскирована невероятная сложность, и на ее доказательством бились целых три века. Есть одна странность – теорема опоздала с рождением на свет, так как ее частный случай при n=2 появился еще 2200 лет тому назад – это не менее знаменитая теорема Пифагора.

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

Труды математика Фермера

Что касается самих работ Фермера, то их обнаружили именно в форме обычных писем. Местами не было целых страниц, и сохранились лишь обрывки переписок. Более интересен тот факт, что на протяжении трех веков ученые искали ту теорему, которая была обнаружена в трудах Фермера.

Но кто бы не решался ее доказать, попытки сводились к «нулю». Известный математик Декарт и вовсе обвинял ученого в хвастовстве, но все это сводилось лишь к самой обычной зависти. Помимо создания, Фермер еще и доказал собственную теорему. Правда решение было найдено для того случая, где n=4. Что касается случая для n=3, то его выявил математик Эйлер.

Как пытались доказать теорему Фермера

В самом начале 19 века данная теорема продолжила свое существование. Математики нашли много доказательств теорем, которые ограничивались натуральными числами в пределах двухсот.

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

Гипотеза японского математика Ютаки Танияма

Сдвигов в истории Великой теоремы до середины 20 столетия так и не наблюдалось, но одно занимательное событие все-таки произошло. В 1955 году математик из Японии Ютака Танияма, которому было 28 лет, явил миру утверждение из абсолютно другой математической области – его гипотеза в отличие от Ферма опередило свое время. Она гласит: «Каждой эллиптической кривой соответствует определенная модулярная форма». Вроде бы абсурд для каждого математика, подобно, что дерево состоит из определенного металла! Парадоксальную гипотезу, как и большинство прочих ошеломляющих и гениальных открытий, не приняли, так как еще попросту не доросли до нее. И Ютака Танияма покончил жизнь самоубийством, спустя три года – поступок необъяснимый, но, вероятно, честь для истинного гения-самурая была превыше всего.

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

Как связаны гипотеза Таниямы и теорема Ферма

Спустя 15 лет в математике произошло ключевое событие, и оно объединило гипотезу прославленного японца и теорему Ферма. Герхард Грей заявил, что когда будет доказана гипотеза Танияма, тогда и найдутся доказательства теоремы Ферма. То есть последняя – это следствие гипотезы Танияма, и уже через полтора года профессором университета в Калифорнии Кеннетом Рибетом теорема Ферма была доказана.

Шло время, регресс заменялся прогрессом, а наука стремительно продвигалась вперед, особенно в области компьютерных технологий. Таким образом, значение n стало все больше повышаться.

В самом конце 20 века самые мощные компьютеры находились в лабораториях военного направления, было осуществлено программирование на вывод решения задачи всем известного Ферма. Как следствие всем попыткам было выявлено то, что данная теорема правильная для многих значений n, x, y. Но, к сожалению, окончательным доказательством это не стало, так как не было конкретики как таковой.

Джон Уайлс доказал великую Теорему Ферма

И вот, наконец, только в конце 1994 года, математик из Англии, Джон Уайлс нашел и продемонстрировал точное доказательство спорной теоремы Фермера. Тогда, после множества доработок, дискуссии по этому поводу пришли к своему логическому завершению.

Опровержение было размещено на более ста страницах одного журнала! Причем теорема была доказана на более современном аппарате высшей математики. И что удивительно, на тот момент, когда Фермер писал свой труд, такого аппарата в природе не существовало. Словом, человек был признан гением в этой области, с чем поспорить не мог никто. Несмотря на все что было, на сегодняшний день можно быть уверенными в том, что представленная теорема великого ученого Фермера оправдана и доказана, и споры и на эту тему не заведет ни одни математик со здравым смыслом, с чем согласны даже самые заядлые скептики всего человечества.

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

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

Первое успешное доказательство было опубликовано в 1995 году - это было полное доказательство теоремы Ферма, осуществленное Эндрю Уайлсом. Оно было описано как «ошеломляющий прогресс», и привело Уайлса к получению премии Абеля в 2016 году. Будучи описанным относительно кратко, доказательство теоремы Ферма также доказало большую часть теоремы модульности и открыло новые подходы к многочисленным другим проблемам и эффективным методам подъема модульности. Эти свершения продвинули математику на 100 лет вперед. Доказательство малой теоремы Ферма сегодня не является чем-то из ряда вон выходящим.

Неразрешенная проблема стимулировала развитие алгебраической теории чисел в XIX веке и поиск доказательства теоремы модульности в XX веке. Это одна из самых заметных теорем в истории математики и до полного доказательства великой теоремы Ферма методом деления она была в Книге рекордов Гиннеса как «самая сложная математическая проблема», одной из особенностей которой является то, что она имеет наибольшее количество неудачных доказательств.

Историческая справка

Пифагорейское уравнение x 2 + y 2 = z 2 имеет бесконечное число положительных целочисленных решений для x, y и z. Эти решения известны как троицы Пифагора. Примерно в 1637 году Ферма написал на краю книги, что более общее уравнение a n + b n = c n не имеет решений в натуральных числах, если n является целым числом, большим чем 2. Хотя сам Ферма утверждал, что имеет решение своей задачи, он не оставил никаких подробностей о ее доказательстве. Элементарное доказательство теоремы Ферма, заявленное ее создателем, скорее было его хвастливой выдумкой. Книга великого французского математика была обнаружена спустя 30 лет после его смерти. Это уравнение, получившее название «Последняя теорема Ферма», в течение трех с половиной столетий оставалось нерешенным в математике.

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

Краткая история доказательств

Если n = 4, что доказано самим Ферма, достаточно доказать теорему для индексов n, которые являются простыми числами. В течение следующих двух столетий (1637-1839) гипотеза была доказана только для простых чисел 3, 5 и 7, хотя Софи Жермен обновляла и доказывала подход, который имел отношение ко всему классу простых чисел. В середине 19 века Эрнст Куммер расширил это и доказал теорему для всех правильных простых чисел, в результате чего нерегулярные простые числа анализировались индивидуально. Основываясь на работе Куммера и, используя сложные компьютерные исследования, другие математики смогли расширить решение теоремы, имея цель охватить все основные показатели до четырех миллионов, но док-во для всех экспонентов по-прежнему было недоступным (это означает, что математики обычно считали решение теоремы невозможным, чрезвычайно сложным, или недостижимым с современными знаниями).

Работа Шимуры и Таниямы

В 1955 году японские математики Горо Шимура и Ютака Танияма подозревали, что существует связь между эллиптическими кривыми и модульными формами, двумя совершенно разными областями математики. Известная в то время, как гипотеза Танияма-Шимура-Вейля и (в конечном счете) как теорема модульности, она существовала сама по себе, без видимой связи с последней теоремой Ферма. Она сама по себе широко рассматривалась как важная математическая теорема, но при этом считалась (как и теорема Ферма) невозможной для доказательства. В то же время доказательство великой теоремы Ферма (методом деления и применения сложных математических формул) было осуществлено лишь полвека спустя.

В 1984 году Герхард Фрей заметил очевидную связь между этими двумя ранее не связанными и нерешенными проблемами. Полное подтверждение того, что две теоремы были тесно связаны, было опубликовано в 1986 году Кеном Рибетом, который основывался на частичном доказательстве Жана-Пьера Серра, который доказал все, кроме одной части, известной как «гипотеза эпсилона». Проще говоря, эти работы Фрея, Серра и Рибе показали, что если бы теорема о модульности могла быть доказана, по крайней мере, для полустабильного класса эллиптических кривых, то и доказательство последней теоремы Ферма также рано или поздно будет открыто. Любое решение, которое может противоречить последней теореме Ферма, может также использоваться, чтобы противоречить теореме модульности. Поэтому, если теорема о модульности оказалась истинной, то по определению не может существовать решение, противоречащее последней теореме Ферма, а значит она вскоре должна была быть доказана.

Хотя обе теоремы были сложными проблемами для математики, считающимися нерешаемыми, работа двух японцев стала первым предположением о том, как последняя теорема Ферма могла бы быть продолжена и доказана для всех чисел, а не только для некоторых. Важным для исследователей, выбравших тему исследования, был тот факт, что в отличие от последней теоремы Ферма, теорема модульности была основной активной областью исследований, для которой было разработано доказательство, а не только исторической странностью, поэтому время, затраченное на ее работу, могло быть оправдано с профессиональной точки зрения. Однако общее мнение заключалось в том, что решение гипотезы Таниямы-Шимуры оказалось нецелесообразным.

Великая теорема Ферма: доказательство Уайлса

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

Недостаток был обнаружен в одной части его оригинальной статьи во время рецензирования и потребовал еще один год сотрудничества с Ричардом Тейлором, чтобы совместно решить теорему. В результате окончательное доказательство Уайлсом великой теоремы Ферма не заставило долго себя ждать. В 1995 году оно было опубликовано в куда меньшем масштабе, чем предыдущая математическая работа Уайлса, наглядно показывая, он не ошибся в своих предыдущих выводах о возможности доказательства теоремы. Достижение Уайлса было широко растиражировано в популярной прессе и популяризировано в книгах и телевизионных программах. Остальные части гипотезы Танияма-Шимура-Вейля, которые теперь были доказаны и известны как теорема о модульности, впоследствии были доказаны другими математиками, которые основывались на работе Уайлса в период между 1996 и 2001 годами. За свое достижение Уайлс был удостоен чести и получил многочисленные награды, в том числе, премию Абеля 2016 года.

Доказательство Уайлсом последней теоремы Ферма является частным случаем решения теоремы модульности для эллиптических кривых. Тем не менее, это самый известный случай столь масштабной математической операции. Вместе с решением теоремы Рибе, британский математик также получил доказательство последней теоремы Ферма. Последняя теорема Ферма и теорема о модульности почти повсеместно считались недоказуемыми современными математиками, но Эндрю Уайлс смог доказать всему научному миру, что даже ученые мужи способны заблуждаться.

Уайлс впервые объявил о своем открытии в среду 23 июня 1993 года на лекции в Кембридже под названием «Модульные формы, эллиптические кривые и представления Галуа». Однако в сентябре 1993 года было установлено, что его расчеты содержат ошибку. Год спустя, 19 сентября 1994 года, в том, что он назвал бы «самым важным моментом его трудовой жизни», Уайлс наткнулся на откровение, которое позволило ему исправить решение задачи до того уровня, когда оно сможет удовлетворить математическое сообщество.

Характеристика работы

Доказательство теоремы Ферма Эндрю Уайлсом использует многие методы из алгебраической геометрии и теории чисел и имеет много разветвлений в этих областях математики. Он также использует стандартные конструкции современной алгебраической геометрии, такие как категория схем и теория Ивасавы, а также другие методы XX века, которые не были доступны Пьеру Ферма.

Две статьи, содержащие доказательства, составляют 129 страниц, которые писались в течение семи лет. Джон Коутс описал это открытие как одно из величайших достижений теории чисел, а Джон Конвей назвал его главным математическим свершением 20 века. Уайлс, чтобы доказать последнюю теорему Ферма путем доказательства теоремы модульности для частного случая полустабильных эллиптических кривых, разработал действенные методы подъема модульности и открыл новые подходы к многочисленным другим проблемам. За решение последней теоремы Ферма он был посвящен в рыцари и получил другие награды. Когда стало известно, что Уайлс выиграл премию Абеля, Норвежская академия наук описала его достижение как «восхитительное и элементарное доказательство последней теоремы Ферма».

Как это было

Одним из людей, анализировавших первоначальную рукопись Уайлса с решением теоремы, был Ник Кац. В ходе своего обзора он задал британцу ряд уточняющих вопросов, которые заставили Уайлса признать, что его работа явно содержит пробел. В одной критической части доказательства была допущена ошибка, которая давала оценку для порядка конкретной группы: система Эйлера, используемая для расширения метода Колывагина и Флача, была неполной. Ошибка, однако, не сделала его работу бесполезной - каждая часть работы Уайлса была очень значительной и новаторской сама по себе, как и многие разработки и методы, которые он создал в ходе своей работы и которые затрагивали лишь одну часть рукописи. Тем не менее в этой первоначальной работе, опубликованной в 1993 году, действительно не было доказательства великой теоремы Ферма.

Уайлс провел почти год, пытаясь заново найти решение теоремы - сперва в одиночку, а затем в сотрудничестве со своим бывшим учеником Ричардом Тейлором, но все, казалось, было тщетным. К концу 1993 года распространились слухи, что при проверке доказательство Уайльса потерпело неудачу, но насколько серьезной была эта неудача, известно не было. Математики начали оказывать давление на Уайлса, чтобы он раскрыл детали своей работы, независимо от того, была она выполнена или нет, чтобы более широкое сообщество математиков могло исследовать и использовать все, чего ему удалось добиться. Вместо того, чтобы быстро исправить свою ошибку, Уайлс лишь обнаружил дополнительные сложные аспекты в доказательстве великой теоремы Ферма, и наконец-то осознал, насколько сложной она является.

Уайлс заявляет, что утром 19 сентября 1994 года он был на грани того, чтобы бросить все и сдаться, и почти смирился с тем, что потерпел неудачу. Он готов был опубликовать свою неоконченную работу, чтобы другие могли на ней основываться и найти, в чем он ошибся. Английский математик решил дать себе последний шанс и в последний раз проанализировал теорему, чтобы попытаться понять основные причины, по которым его подход не работал, как вдруг внезапно осознал, что подход Колывагина-Флака не будет работать, пока он не подключит к процессу доказательства еще и теорию Ивасавы, заставив ее работать.

6 октября Уайлс попросил трех коллег (включая Фалтинса) рассмотреть его новую работу, а 24 октября 1994 г. он представил две рукописи - «Модульные эллиптические кривые и последняя теорема Ферма» и «Теоретические свойства кольца некоторых Гекке-алгебр», вторую из которых Уайлс написал совместно с Тейлором и доказал, что были выполнены определенные условия, необходимые для оправдания исправленного шага в основной статье.

Эти две статьи были проверены и, наконец, опубликованы в качестве полнотекстового издания в журнале «Анналы математики» за май 1995 года. Новые расчеты Эндрю были широко проанализированы и научное сообщество в конце концов их признало. В этих работах была установлена теорема модульности для полустабильных эллиптических кривых - последний шаг к доказательству великой теоремы Ферма, спустя 358 лет после того, как она была создана.

История великой проблемы

Решение этой теоремы считалось самой большой проблемой в математике на протяжении многих столетий. В 1816 и в 1850 годах Французская академия наук предложила приз за общее доказательство великой теоремы Ферма. В 1857 году Академия присудила 3000 франков и золотую медаль Куммеру за исследования идеальных чисел, хотя он и не подавал заявку на приз. Еще одна премия была предложена ему в 1883 году Брюссельской академией.

Премия Вольфскеля

В 1908 году немецкий промышленник и математик-любитель Пауль Вольфскель завещал 100 000 золотых марок (большую сумму для того времени) Академии наук Геттингена, чтобы эти деньги стали призом за полное доказательство великой теоремы Ферма. 27 июня 1908 года Академия опубликовала девять правил награждения. Среди прочего, эти правила требовали опубликования доказательства в рецензируемом журнале. Приз должен был присуждаться лишь через два года после публикации. Срок конкурса должен был истечь 13 сентября 2007 - примерно через столетие после своего начала. 27 июня 1997 года Уайлс получил призовые деньги Вольфсхеля, а затем еще 50 000 долларов. В марте 2016 года он получил 600 000 евро от правительства Норвегии в рамках премии Абеля за «потрясающее доказательство последней теоремы Ферма с помощью гипотезы модульности для полустабильных эллиптических кривых, открывающей новую эру в теории чисел». Это был мировой триумф скромного англичанина.

До доказательства Уайлса теорема Ферма, как уже говорилось ранее, считалась абсолютно нерешаемой на протяжении целых столетий. Тысячи неверных доказательств в разное время были представлены комитету Вольфскеля, составив примерно 10 футов (3 метра) корреспонденции. Только в первый год существования премии (1907-1908) было подано 621 заявок с претензией на решение теоремы, хотя к 1970-м годам их количество уменьшилось примерно до 3-4 заявок в месяц. По мнению Ф. Шлихтинга, рецензента Вольфсхеля, большинство доказательств были основаны на элементарных методах, преподаваемых в школах, и часто представлялись «людьми с техническим образованием, но неудачной карьерой». По словам историка математики Говарда Эйвса, последняя теорема Ферма установила своеобразный рекорд - это теорема, набравшая наибольшее количество неверных доказательств.

Лавры Ферма достались японцам

Как уже говорилось ранее, примерно в 1955 году японские математики Горо Шимура и Ютака Танияма открыли возможную связь между двумя, по-видимому, совершенно разными отраслями математики - эллиптическими кривыми и модульными формами. Полученная в результате их исследований теорема модульности (в то время известная как гипотеза Таниямы-Шимуры) гласит, что каждая эллиптическая кривая является модулярной, что означает, что она может быть связана с уникальной модулярной формой.

Теория первоначально была отклонена как маловероятная или весьма спекулятивная, но была воспринята более серьезно, когда теоретик чисел Андре Вейль нашел доказательства, подтверждающие выводы японцев. В результате гипотеза часто называлась гипотезой Таниямы-Шимуры-Вейля. Она стала частью программы Langlands, представляющей собой список важных гипотез, требующих доказательства в будущем.

Даже после серьезного внимания, гипотеза была признана современными математиками как чрезвычайно трудная или, возможно, недоступная для доказательства. Теперь именно эта теорема ждет своего Эндрю Уайлса, который смог бы удивить весь мир ее решением.

Теорема Ферма: доказательство Перельмана

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

ФЕРМА ВЕЛИКАЯ ТЕОРЕМА - утверждение Пьера Ферма (французский юрист и по совместительству математик) о том, что диофантово уравнение X n + Y n = Z n , при показателе степени n>2, где n = целое число, не имеет решений в целых положительных числах. Авторский текст: "Невозможно разложить куб на два куба, или биквадрат на два биквадрата, или вообще степень, большую двух, на две степени с тем же самым показателем."

"Ферма и его теорема", Амадео Модильяни, 1920

Пьер придумал эту теорему 29 марта 1636-го года. А ещё через каких-то 29 лет скончался. Но тут-то всё и началось. Ведь состоятельный немецкий любитель математики по фамилии Вольфскель завещал сто тысяч марок тому, кто предъявит полное доказательство теоремы Ферма! Но ажиотаж вокруг теоремы был связан не только с этим, но и с профессиональным математическим азартом. Сам Ферма намекнул математическому сообществу, что знает доказательство - незадолго до смерти, в 1665-ом году он оставил на полях книги Диофанта Александрийского "Арифметика" следующую запись: "Я располагаю весьма поразительным доказательством, но оно слишком велико, чтобы его можно было разместить на полях."

Именно этот намёк (плюс, конечно, денежная премия) заставил математиков безуспешно тратить на поиск доказательства свои лучшие годы (по подсчётам американских учёных, только профессиональными математиками было потрачено на это 543 лет в общей сложности).

В какой-то момент (в 1901-ом) работа над теоремой Ферма приобрела сомнительную славу "работы, сродни поиску вечного двигателя" (появился даже уничижительный термин - "ферматисты"). И вдруг 23 июня 1993 года на математической конференции по теории чисел в Кембридже английский профессор математики из Принстонского университета (Нью-Джерси, США) Эндрю Уайлс объявил, что наконец-то доказал Ферма!

Доказательство, правда, было не только сложным, но и очевидно ошибочным, на что Уайлсу было указано его коллегами. Но профессор Уайлс всю жизнь мечтал доказать теорему, поэтому не удивительно что в мае 1994-го он представил на суд учёного сообщества новый, доработанный вариант доказательства. В нём не было стройности, красоты, и оно по-прежнему было весьма сложным - тот факт, что математики целый год (!) это доказательство анализировали, что бы понять, не является ли оно ошибочным, говорит сам за себя!

Но в итоге доказательство Уайлса было признано верным. А вот Пьеру Ферма его тот самый намёк в "Арифметике" математики не простили, и, фактически, стали считать его лжецом. Собственно, первым, кто рискнул усомниться в моральной чистоплотности Ферма был сам Эндрю Уайлс, который заметил, что "Ферма не мог располагать таким доказательством. Это доказательство ХХ века." Затем и среди других ученых укрепилось мнение, что Ферма "не мог доказать свою теорему другим путём, а доказать её тем путем, по которому пошёл Уайлс, Ферма не мог по объективным причинам."

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

Как доказал теорему сам Уайлс? Вопрос непраздный - это важно для понимания того, каким образом свою теорему мог доказать сам Ферма. Уайлс построил своё доказательство на доказательстве гипотезы Таниямы, выдвинутой в 1955-ом 28-летним японским математиком Ютакой Таниямой.

Гипотеза звучит так: "каждой эллиптической кривой соответствует определенная модулярная форма". Эллиптические кривые, известные с давних пор, имеют двухмерный вид (располагаются на плоскости), модулярные же функции, имеют четырехмерный вид. Т.е гипотеза Таниямы соединила совершенно разные понятия - простые плоские кривые и невообразимые четырёхмерные формы. Сам факт соединения разномерных фигур в гипотезе показался учёным абсурдным, именно поэтому в 1955-ом ей не придали значения.

Однако осенью 1984 года о "гипотезе Таниямы" вдруг снова вспомнили, и не просто вспомнили, но связали её возможное доказательство с доказательством теоремы Ферма! Это сделал математик из Саарбрюкена Герхард Фрей, который сообщил учёному сообществу, что "если бы кому-нибудь удалось доказать гипотезу Таниямы, то тем самым была бы доказана и Великая теорема Ферма".

Что сделал Фрей? Он преобразовал уравнение Ферма в кубическое, затем обратил внимание на то, что эллиптическая кривая, полученная при помощи преобразованного в кубическое уравнения Ферма не может быть модулярной. Однако гипотеза Таниямы утверждала, что любая эллиптическая кривая может быть модулярной! Соответственно, эллиптическая кривая, построенная из уравнения Ферма не может существовать, значит не может быть целых решений и теоремы Ферма, значит она верна. Ну а в 1993-ем Эндрю Уайлс попросту доказал гипотезу Таниямы, а значит и теорему Ферма.

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

Для начала, обратим внимание на условие, оговорённое самим Пьером Ферма - n>2. Для чего было нужно это условие? Да лишь для того, что при n=2 частным случаем теоремы Ферма становится обычная теорема Пифагора Х 2 +Y 2 =Z 2 , которое имеет бесчисленное множество целых решений - 3,4,5; 5,12,13; 7,24,25; 8,15,17; 12,16,20; 51,140,149 и так далее. Таким образом, теорема Пифагора является исключением из теоремы Ферма.

Но почему именно в случае с n=2 возникает подобное исключение? Всё становится на свои места, если увидеть взаимосвязь между степенью (n=2) и мерностью самой фигуры. Пифагоров треугольник - двухмерная фигура. Не удивительно, что Z (то есть гипотенуза), может быть выражена через катеты (X и Y), которые могут быть целыми числами. Размер угла (90) дает возможность рассматривать гипотенузу как вектор, а катеты - векторы, расположенные на осях и идущие из начала координат. Соответственно, можно выразить двумерный вектор, не лежащий ни на одной из осей, через векторы, на них лежащие.

Теперь, если перейти к третьему измерению, а значит к n=3, для того чтобы выразить трёхмерный вектор, будет недостаточно информации о двух векторах, а следовательно, выразить Z в уравнении Ферма можно будет как минимум через три слагаемых (три вектора, лежащих, соответственно, на трех осях системы координат).

Если n=4, значит, слагаемых должно быть уже 4, если n=5, то слагаемых должно быть 5 и так далее. В этом случае, целых решений будет хоть отбавляй. Например, 3 3 +4 3 +5 3 =6 3 и так далее (другие примеры для n=3, n=4 и так далее можете подобрать самостоятельно).

Что из всего этого следует? Из этого следует, что теорема Ферма действительно не имеет целых решений при n>2 - но лишь потому, что само по себе уравнение некорректно! С таким же успехом можно было бы пытаться выразить объём параллелепипеда через длины двух его рёбер - разумеется, это невозможно (целых решений никогда не будет найдено), но лишь потому, что для нахождения объёма параллелепипеда нужно знать длины всех трёх его рёбер.

Когда знаменитого математика Давида Гилберта спросили, какая задача сейчас для науки наиболее важна, он ответил "поймать муху на обратной стороне Луны". На резонный вопрос "А кому это надо?" он ответил так: "Это никому не надо. Но подумайте над тем, сколько важных сложнейших задач надо решить, чтобы это осуществить".

Другими словами, Ферма (юрист в первую очередь!) сыграл со всем математическим миром остроумную юридическую шутку, основанную на неверной постановке задачи. Он, фактически, предложил математикам найти ответ, почему муха на другой стороне Луны жить не может, а на полях "Арифметики" хотел написать лишь о том, что на Луне просто нет воздуха, т.е. целых решений его теоремы при n>2 быть не может лишь потому, что каждому значению n должно соответствовать определённое количество членов в левой части его уравнения.

Но была ли это просто шутка? Отнюдь. Гениальность Ферма заключается именно в том, что он фактически первый увидел взаимосвязь между степенью и мерностью математической фигуры - то есть, что абсолютно эквивалентно, количеством членов в левой части уравнения. Смысл его знаменитой теоремы был именно в том, чтобы не просто натолкнуть математический мир на идею этой взаимосвязи, но и инициировать доказательство существования этой взаимосвязи - интуитивно понятной, но математически пока не обоснованной.

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

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

Математика времён Ферма состояла из островов знания в море незнания. На одном острове обитали геометры, занимающиеся изучением форм, на другом острове теории вероятностей математики изучали риски и случайность. Язык геометрии сильно отличался от языка теории вероятностей, а алгебраическая терминология была чужда тем, кто говорил только о статистике. К сожалению, математика и наших времён состоит примерно из таких же островов.

Ферма первым понял, что все эти острова взаимосвязаны. И его знаменитая теорема - ВЕЛИКАЯ ТЕОРЕМА ФЕРМА - отличное тому подтверждение.

Итак, Великая теорема Ферма (нередко называемая послед­ней теоремой Ферма), сформулированная в 1637 году блестя­щим французским математиком Пьером Ферма, очень проста по своей сути и понятна любому человеку со средним образова­нием. Она гласит, что формула а в степени n + b в степени n = c в степени n не имеет натуральных (то есть не дробных) решений для n > 2. Вроде все просто и понятно, но лучшие ученые-математики и простые любители бились над поиском решения более трех с половиной веков.

Файл FERMA-KDVar © Н. М. Козий, 2008

Свидетельство Украины № 27312

КРАТКОЕ ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА

Великая теорема Ферма формулируется следующим образом: диофантово уравнение (http://soluvel.okis.ru/evrika.html):

А n + В n = С n * /1/

где n - целое положительное число, большее двух, не имеет решения в целых положительных числах A , B , С .

ДОКАЗАТЕЛЬСТВО

Из формулировки Великой теоремы Ферма следует: если n – целое положительное число, большее двух, то при условии, что два из трех чисел А , В или С - целые положительные числа, одно из этих чисел не является целым положительным числом.

Доказательство строим, исходя из основной теоремы арифметики, которая называется «теоремой о единственности факторизации» или «теоремой о единственности разложения на простые множители целых составных чисел». Возможны нечетные и четные показатели степени n . Рассмотрим оба случая.

1. Случай первый: показатель степени n - нечетное число.

В этом случае выражение /1/ преобразуется по известным формулам следующим образом:

А n + В n = С n /2/

Полагаем, что A и B – целые положительные числа.

Числа А , В и С должны быть взаимно простыми числами.

Из уравнения /2/ следует, что при заданных значениях чисел A и B множитель ( A + B ) n , С.

Допустим, что число С - целое положительное число. С учетом принятых условий и основной теоремы арифметики должновыполняться условие:

С n = A n + B n =(A+B) n ∙ D n , / 3/

гдемножитель D n D

Из уравнения /3/ следует:

Из уравнения /3/ также следует, что число [C n = A n + B n ] при условии, что число С ( A + B ) n . Однако известно, что:

A n + B n < ( A + B ) n /5/

Следовательно:

- дробное число, меньшее единицы. /6/

Дробное число.

n

При нечетных показателях степени n >2 число:

< 1- дробное число, не являющееся рациональной дробью.

Из анализа уравнения /2/ следует, что при нечетном показателе степени n число:

С n = А n + В n = (A+B)

состоит из двух определенных алгебраических множителей, при этом при любом значении показателя степени n неизменным остаетсяалгебраический множитель ( A + B ).

Таким образом, великая теорема Ферма не имеет решения в целых положительных числах при нечетном показателе степени n >2.

2. Случай второй: показатель степени n - четное число.

Суть великой теоремы Ферма не изменится, если уравнение /1/ перепишем следующим образом:

A n = C n - B n /7/

В этом случае уравнение /7/ преобразуется следующим образом:

A n = C n - B n = ( С +B)∙(C n-1 + C n-2 · B+ C n-3 ∙ B 2 +…+ C ∙ B n -2 + B n -1 ). /8/

Принимаем, что С и В – целые числа.

Из уравнения /8/ следует, что при заданных значениях чисел B и C множитель (С+ B ) имеет одно и тоже значение при любых значениях показателя степени n , следовательно, он является делителем числа A .

Допустим, что число А – целое число. С учетом принятых условий и основной теоремы арифметики должновыполняться условие:

А n = С n - B n =(С+ B ) n ∙ D n , / 9/

гдемножитель D n должен быть целым числом и, следовательно, число D также должно быть целым числом.

Из уравнения /9/ следует:

/10/

Из уравнения /9/ также следует, что число [А n = С n - B n ] при условии, что число А – целое число, должно делиться на число (С+ B ) n . Однако известно, что:

С n - B n < (С+ B ) n /11/

Следовательно:

- дробное число, меньшее единицы. /12/

Дробное число.

Отсюда следует, что при нечетном значении показателя степени n уравнение /1/ великой теоремы Ферма не имеет решения в целых положительных числах.

При четных показателях степени n >2 число:

< 1- дробное число, не являющееся рациональной дробью.

Таким образом, великая теорема Ферма не имеет решения в целых положительных числах и при четном показателе степени n >2.

Из изложенного следует общий вывод: уравнение /1/ великой теоремы Ферма не имеет решения в целых положительных числах А, В и С при условии, что показатель степени n >2.

ДОПОЛНИТЕЛЬНЫЕ ОБОСНОВАНИЯ

В том случае когда показатель степени n – четное число, алгебраическое выражение (C n - B n ) раскладывается на алгебраические множители:

C 2 – B 2 = (C-B) ∙ (C+B); /13/

C 4 – B 4 = ( C-B) ∙ (C+B) (C 2 + B 2);/14/

C 6 – B 6 = (C-B) ∙ (C+B) · (C 2 –CB + B 2) ∙ (C 2 +CB+ B 2); /15/

C 8 – B 8 = (C-B) ∙ (C+B) ∙ (C 2 + B 2) ∙ (C 4 + B 4)./16/

Приведем примеры в числах.

ПРИМЕР 1: В=11; С=35.

C 2 – B 2 = (2 2 ∙ 3) ∙ (2 · 23) = 2 4 · 3 · 23;

C 4 – B 4 = (2 2 ∙ 3) ∙ (2 · 23) · (2 · 673) = 2 4 · 3 · 23 · 673;

C 6 – B 6 = (2 2 ∙ 3) ∙ (2 · 23) · (31 2) ·(3 · 577) =2 ∙ 3 ∙ 23 ∙ 31 2 ∙ 577;

C 8 – B 8 = (2 2 ∙ 3) ∙ (2 · 23) · (2 · 673) ∙ (2 · 75633) = 2 5 ∙ 3 ∙ 23 ∙673 ∙ 75633.

ПРИМЕР 2: В=16; С=25.

C 2 – B 2 = (3 2) ∙ (41) = 3 2 ∙ 41;

C 4 – B 4 = (3 2) ∙ (41) · (881) =3 2 ∙ 41 · 881;

C 6 – B 6 = (3 2) ∙ (41) ∙ (2 2 ∙ 3) ∙ (13 · 37) · (3 ∙ 7 · 61) = 3 3 · 7 ∙ 13· 37 ∙ 41 ∙ 61;

C 8 – B 8 = (3 2) ∙ (41) ∙ (881) ∙ (17 ·26833) = 3 2 ∙ 41 ∙ 881 ∙ 17 ·26833.

Из анализа уравнений /13/, /14/, /15/ и /16/ и соответствующих им числовых примеров следует:

При заданном показателе степени n , если он четное число, число А n = С n - B n раскладывается на вполне определенное количество вполне определенных алгебраических множителей;

При любом показателе степени n , если он четное число, в алгебраическом выражении (C n - B n ) всегда имеются множители ( C - B ) и ( C + B ) ;

Каждому алгебраическому множителю соответствует вполне определенный числовой множитель;

При заданных значениях чисел В и С числовые множители могут быть простыми числами или составными числовыми множителями;

Каждый составной числовой множитель является произведением простых чисел, которые частично или полностью отсутствуют в составе других составных числовых множителей;

Величина простых чисел в составе составных числовых множителей увеличивается с увеличением этих множителей;

В состав наибольшего составного числового множителя, соответствующего наибольшему алгебраическому множителю, входит наибольшее простое число в степени, меньшей показателя степениn (чаще всего в первой степени).

ВЫВОДЫ: дополнительные обоснования подтверждают заключение о том, что великая теорема Ферма не имеет решения в целых положительных числах.

инженер-механик