Теорема Ферма

СОДЕРЖАНИЕ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Архимеда  будут помнить, когда Эсхила забудут, потому что языки умирают, но не математические идеи. Возможно, бессмертие — глупое слово, но, по всей видимости, математик имеет наилучший шанс на бессмертие, что бы оно ни означало.

 

Г. Г. Харди

 

ВВЕДЕНИЕ.

 

Более 350 лет математики всего мира безуспешно ищут ответ  на вопрос: «Верна ли великая теорема  Ферма?». Наконец, убедившись в том, что теорема действительно верна, перед учеными встаёт другой, не менее важный вопрос: «Как доказать Великую теорему?» Весь мир охватывает непреодолимое желание найти решение этой задачи, но до 1993 года это никому не удается…

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

Почему столько лет, лучшие из лучших не могли доказать её?

Кто придумал такую теорему?

Кто же доказал теорему?

 

ПЬЕР ДЕ ФЕРМА. БИОГРАФИЯ.

                     

Пьер де Ферма       

           французский

          математик

 

                                            1601-1665гг.

 

 

Пьер де Ферма родился 20 августа 1601 года в городе Бомон-де-Ломань на юго-западе Франции. Его отец, Доминик Ферма, был состоятельным торговцем кожей, поэтому у Пьера была возможность получить престижное образование во французском монастыре Грансельва, а затем, учиться в университете Тулузы. Не сохранилось никаких документов, свидетельствующих о том, что Ферма проявлял блестящие способности к математике. Пьер имел склонность к предметам гуманитарного цикла. Он был признанным авторитетом в греческой филологии.

В колледже проявились способности  к изучению языков. Итальянским и латинским, греческим и испанским он владел настолько свободно, что писал на них стихи.Под давлением семьи Ферма поступил на гражданскую службу и в 1631 году был назначен советником парламента Тулузы (conseiller au Parlement de Toulouse)— заведующим отдела прошений. У него не было особых политических амбиций. Он делал все, чтобы по возможности оставаться в стороне от кипения парламентских страстей. Всё своё свободное время, Ферма отдавал математике.  
Несмотря на настойчивые просьбы знакомых и друзей, Ферма упорно отказывался публиковать свои доказательства. Публикация результатов и признание ничего не значили для него. Ферма получал удовлетворение от сознания того, что он без помех может создавать новые теоремы. Скромный и замкнутый гений иногда мог даже подразнить своих коллег-математиков: направляя им письма с формулировками последних теорем, умалчивал о доказательствах. Ферма бросал своим современникам вызов, испытывая их способность найти недостающее доказательство. 
То, что Ферма никогда не раскрывал своих доказательств, вызывало у его коллег чувство горького разочарования. Рене Декарт называл Ферма «хвастуном», а англичанин Джон Валлис называл его «проклятым французом». К несчастью для англичан, Ферма доставляло особое удовольствие разыгрывать своих коллег по ту сторону Ла-Манша. 
Не сохранилось никаких документальных свидетельств того, что у Ферма был учитель математики, который поощрял своего способного ученика. Наставником и учителем Ферма стала «Арифметика» Диофанта. В «Арифметике» собраны сотни задач, и каждую из них Диофант снабдил подробным решением. Ферма не перенял столь высокий уровень доступности. Его совсем не интересовало создание учебника для будущих поколений. Он хотел лишь одного — получить удовлетворение от решенной им задачи. Изучая задачи и решения Диофанта, Ф0ерма подумывал и о том, чтобы самому заняться решением аналогичных и более тонких задач. Ферма записывал для себя лишь самое необходимое для того, чтобы убедиться в правильности полученного решения, и не заботился о том, чтобы изложить остальную часть доказательства. Чаще всего сделанные им торопливые записи отправлялись  в мусорную корзину, после чего Ферма спокойно переходил к следующей задаче. К счастью для нас, опубликованный Баше латинский перевод «Арифметики» имел широкие поля, и иногда Ферма торопливо записывал на них ход своих рассуждений и свои комментарии. Эти заметки на полях стали бесценными, хотя и несколько отрывочными, документальными свидетельствами некоторых наиболее блестящих выкладок Ферма. 
На полях «Арифметики» Диофанта, рядом с задачей 8, Ферма оставил такое замечание: «Cubet autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere» (Невозможно для куба быть записанным в виде суммы двух кубов, или для четвертой степени быть записанной в виде суммы двух четвертых степеней, или, в общем, для любого числа, которое есть степень больше двух, быть записанной в виде суммы двух таких же степеней). 
Свое знаменитое открытие Ферма совершил в самом начале своей математической карьеры — около 1637 года. Кроме великой теоремы Ферма в теории чисел, французский математик добился замечательных результатов в аналитической геометрии, в анализе при нахождении максимумов и минимумов, в неопределённых уравнениях. Замечательные результаты получил он и в теории вероятностей. Замечательная работа ученого в геометрической оптике, где есть «принцип Ферма», или «принцип наименьшего действия». 
Пьер де Ферма умер во время одной из служебных поездок 12 января 1665 года.

 Открытиям Ферма,  грозило полное забвение. К счастью,  старший сын Ферма, Клеман-Самюэль,  сознававший все значение любимого  увлечения отца, пришел к заключению, что его открытия не должны  быть потеряны для всего мира. Всем, что мы знаем о замечательных открытиях Ферма в теории чисел, мы обязаны его сыну, и если бы не Клеман-Самюэль, загадка, известная под названием Великой теоремы Ферма, умерла бы вместе со своим создателем. 
Пять лет Клеман-Самюэль собирал отцовские заметки и письма, изучал неразборчивые надписи на полях «Арифметики». Заметка на полях с формулировкой Великой теоремы Ферма была лишь одной из вдохновенных мыслей, начертанных на полях этой книги. Клеман-Самюэль опубликовал все эти заметки в специальном издании «Арифметики». В 1670 году он издал в Тулузе книгу под названием «Диофантова Арифметика, содержащая примечания П. де Ферма». В нее наряду с оригинальным текстом на древнегреческом языке и латинском переводом Баше вошли 48 примечаний, сделанных Ферма. Одно из примечаний и было тем, которое стало впоследствии известно под названием Великой теоремы Ферма.

 

 

 

 

 

 

 

 

 

 

 

 

ИСТОРИЯ ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА.

Французский юрист и  по совместительству великий математик XVII века Пьер Ферма (1601-1665) выдвинул одно любопытное утверждение из области теории чисел, которое впоследствии получило название Великой (или Большой) теоремы Ферма. Это одна из самых известных и феноменальных математических теорем. Наверно, ажиотаж вокруг нее был бы не так силен, если бы в книге Диофанта Александрийского (III век) "Арифметика", которую Ферма частенько штудировал, делая пометки на ее широких полях, и которую любезно сохранил для потомков его сын Сэмюэл, не была обнаружена примерно следующая запись великого математика: 
"Я располагаю весьма поразительным доказательством, но оно слишком велико, чтобы его можно было разместить на полях". 
Она-то, эта запись, и явилась причиной последующей грандиозной суматохи вокруг теоремы. 
Итак, знаменитый ученый заявил, что доказал свою теорему. Давайте же зададимся вопросом: действительно ли он ее доказал или банально соврал? Или есть другие версии, объясняющие появление той записи на полях, не дававшей спокойно спать многим математикам следующих поколений? 
История Великой теоремы увлекательна. В 1636 году Ферма заявил, что уравнение вида Хⁿ+Yⁿ=Zⁿ не имеет решений в целых числах при показателе степени n>2. Это и есть Большая теорема Ферма. В этой, казалось бы, простой с виду математической формуле Вселенная замаскировала невероятную сложность. 

 

 

ВЕЛИКАЯ ТЕОРЕМА ФЕРМА ДЛЯ n=2.

Частным случаем теоремы  Ферма для n=2 является одна из великих теорем – теорема Пифагора: В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.

Доказательство: Пусть АВС – данный прямоугольный треугольник с прямым углом А. АВ=b, BC=c, AC=a. Достроим треугольник до большого квадрата.

 

 

 

 

 

 

 

 

 

Теорема доказана.

 

 

 

 

 

ВЕЛИКАЯ ТЕОРЕМА ФЕРМА ДЛЯ n=3.

ПРОРЫВ ЭЙЛЕРА.

Леонард Эйлер родился  в Базеле в 1705 году в семье кальвинистского пастора Пауля Эйлера. Хотя юный Эйлер проявил недюжинный математический талант, его отец решил, что сын должен изучать теологию, и готовил ему церковную карьеру. Леонард повиновался отцовской воле и стал изучать теологию и древнееврейский язык в Базельском университете.

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

xⁿ + yⁿ = zⁿ, где n — любое целое число большее 2,

не допускает решения  в целых числах.

Это уравнение в действительности представляет собой бесконечную  систему уравнений

x³ + y³ = z³,    x⁴ + y⁴ = z⁴,     x⁵ + y⁵ = z⁵,      x⁶ + y⁶ = z⁶,         x⁷ + y⁷ = z⁷, ……………….

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

Первый шаг к осуществлению  задуманного Эйлер совершил, когда  обнаружил ключ к доказательству в кратких записях на полях  «Арифметики» Диофанта. Хотя 
Ферма не оставил развернутого доказательства Великой теоремы, он в другом месте того же экземпляра «Арифметики» написал в зашифрованном виде доказательство для случая n=4, включив его в решение совершенно другой задачи. Это были самые подробные вычисления, которые Ферма когда-либо доверил бумаге, но всё же детали всё ещё были обрывочны и расплывчаты, а в заключение доказательства Ферма ссылается на то, что недостаток времени и места не позволяют ему дать более полное объяснение. Несмотря на отсутствие многих важных деталей в беглых заметках Ферма, в них отчетливо просматривался один из способов доказательства от противного, известный под названием метода бесконечного спуска.

Чтобы доказать, что уравнение x⁴ + y⁴ = z⁴ не допускает решения в целых числах, Ферма начал с предположения о существовании гипотетического решения в целых числах

x = X¹, y = Y¹, z = Z¹.

При изучении свойств  чисел (X¹, Y¹, Z¹) Ферма показал, что если бы такое гипотетическое решение действительно существовало, то существовало бы меньшее решение (X², Y², Z²). Рассматривая это новое решение, Ферма смог показать, что если бы оно существовало, то существовало бы еще меньшее решение (X³, Y³, Z³) и т.д.

Эйлер попытался воспользоваться  методом бесконечного спуска в качестве исходного пункта при построении общего доказательства для всех других степеней в уравнении Ферма. Он хотел получить доказательство для всех n вплоть до бесконечности, но прежде всего он хотел «опуститься на одну ступень» и получить доказательство при n=3. В письме к прусскому математику 
Христиану Гольдбаху в августе 1753 года Эйлер сообщил, что ему удалось приспособить метод бесконечного спуска и успешно доказать Великую теорему 
Ферма для случая n=3. Так через сто лет после смерти Ферма впервые удалось сделать первый шаг на пути к решению его проблемы.

И до Эйлера некоторые  математики уже пытались приспособить метод бесконечного спуска Ферма  для решения уравнения Ферма  в целых числах при n, отличных от 4, но всякий раз попытка распространить метод приводила к каким- нибудь проблемам в логике. И только Эйлер показал, что, используя число i, можно заткнуть все дыры в доказательстве и заставить метод бесконечного спуска работать при n=3.

Это было грандиозное  достижение, но повторить успех при  других значениях n Эйлеру не удалось. К сожалению, все попытки применить те же рассуждения к другим значениям вплоть до бесконечности закончились провалом. И математик, решивший больше задач, чем кто-либо другой за всю историю, был вынужден признать поражение — Великая теорема Ферма оставалась неприступной. 
Единственным утешением для Эйлера было то, что он осуществил первый серьезный прорыв в «круговой обороне» труднейшей математической проблемы в мире.

Теорему Ферма для n=3 Эйлер доказал в 1768г. Для этого потребовалось совершенно новая идея. И состояла она в том, чтобы при исследовании вопросов об обычных целых числах применять мнимые выражения вида a, b – целые числа, а n 0. Эйлер так писал об этом Ж.Л. Лагранжу: «Я был восхищен Вашим методом применения иррациональных и даже мнимых чисел в той части анализа, которая относится к одним только рациональным числам. Вот уже несколько лет, как у меня появились сходные идеи…опубликовав здесь (в России) полную алгебру на русском языке, я подробно изложил в ней этот способ и я показал, что для решения уравнения x²+ny²=(p²+nq²) достаточно решить следующее уравнение: ».

В своем доказательстве Эйлер рассмотрел выражения вида . И тут он сделал ещё один шаг чрезвычайной важности: перенёс на эти выражения свойства целых чисел. Что это значит? Для обычных целых чисел существует богатая арифметика: их можно не только складывать, вычитать и умножать, среди них можно выделить единицу, простые числа, взаимно простые. Наконец, справедливая фундаментальная теорема об однозначности разложения любого числа в произведение простых множителей. Полагали, что данные свойства присущи только числам натурально ряда 1,2,3,….и что понятие «целое число» не допускает никакого обобщения. Эйлер предположил, что числа вида обладают такими же свойствами: среди них тоже есть простые, для них справедлив закон однозначности разложения на простые множители. Исходя из этого он доказал великую теорему для n=3. Однако обосновывать свои предположения Эйлер не стал. Эти вопросы вновь встали перед математиками в 19в. – и опять в связи с доказательством теоремы Ферма.

 

 

 

 

 

ВЕЛИКАЯ ТЕОРЕМА ФЕРМА ДЛЯ n=4.

 

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

Пусть мы нашли тройку чисел x,y,z, для которых Воспользуемся формулами для пифагоровых троек. Получим: Можно считать, что числа x и y, а значит, и числа p и q взаимно простые. Тогда, поскольку четно, х² должно быть нечетным. Но х²=p²-q², следовательно p и q – числа разной четности, причем p должно быть нечетным, а q – четным. Действительно, квадрат четного числа делится на 4, а квадрат нечетного при делении на 4 дает остаток 1 (т.к (2l+1)²=4l²+4l+1). Поэтому если бы p было четным числом, а q нечетным, то разность p²-q² имело бы вид 4k-1, т.е. не могла бы быть квадратом (ведь квадраты при делении на 4 дают в остатке только 0 или 1). Мы вновь получили «пифагорово» уравнение: x²+q²=p² – и с учетом того, что q четно, можем записать его решение в виде

X= r²-s², q=2rs, p=r²+s². Поскольку x и q взаимно просты (иначе x и y²=2pq имели бы общий множитель), числа r и s также взаимно просты. При этом rs (r²+s²)=pq/2=y²/4 – квадрат, следовательно, оба этих числа и число r²+s² должны быть квадратами: r=a², s= .

Найдена новая тройка чисел - , удовлетворяющая тому же уравнению . Её наибольшее число меньше z: .

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

Несколько странным является то, что почему-то теорема опоздала с появлением на свет, поскольку ситуация назрела давно, ведь ее частный случай при n=2 - другая знаменитая математическая формула - теорема Пифагора, возникла на двадцать два столетия раньше. В отличие от теоремы Ферма, теорема Пифагора имеет бесконечное множество целочисленных решений, например, такие пифагоровы треугольники: (3,4,5), (5,12,13), (7,24,25), (8,15,17) … (27,36,45) … (112,384,400) … (4232, 7935, 8993) …

СТРАННАЯ ГИПОТЕЗА.

До середины ХХ века никаких серьезных  продвижений в истории Великой теоремы не наблюдалось. Но вскоре в математической жизни произошло одно интересное событие. В 1955 году 28-летний японский математик Ютака Танияма выдвинул утверждение из совершенно другой области математики, получившее название "гипотезы Таниямы" (она же "гипотеза Таниямы-Шимуры-Вейла"), которое, в отличие от запоздалой теоремы Ферма, опередило свое время.  
Гипотеза Таниямы гласит: "каждой эллиптической кривой соответствует определенная модулярная форма". Данное утверждение для математиков той поры звучало примерно так же абсурдно, как для нас звучит утверждение: "каждое дерево состоит из определенного металла". Нетрудно угадать, как может отнестись к подобному утверждению нормальный человек - он попросту не воспримет его всерьез, что и произошло: математики дружно проигнорировали гипотезу. 
Небольшое пояснение. Эллиптические кривые, известные с давних пор, имеют двухмерный вид (располагаются на плоскости). Модулярные же функции, открытые в XIX веке, имеют четырехмерный вид, кроме того, модулярные формы удивительны тем, что обладают предельно возможной симметрией - их можно транслировать (сдвигать) в любом направлении, отражать зеркально, менять местами фрагменты, поворачивать бесконечно многими способами - и при этом их вид не изменяется. Как видим, эллиптические кривые и модулярные формы имеют мало общего. Гипотеза же Таниямы утверждает, что описательные уравнения двух соответствующих друг другу этих абсолютно разных математических объектов можно разложить в один и тот же математический ряд.  
Гипотеза Таниямы была слишком парадоксальна: она соединила совершенно разные понятия - довольно простые плоские кривые и невообразимые четырехмерные формы. Такое никому не приходило в голову. Когда на международном математическом симпозиуме в Токио в сентябре 1955 года Танияма продемонстрировал несколько соответствий эллиптических кривых модулярным формам, то все увидели в этом не более, чем забавные совпадения. На скромный вопрос Таниямы: возможно ли для каждой эллиптической кривой найти соответствующую модулярную функцию, маститый француз Андре Вейл, который в то время был одним из лучших в мире специалистов в теории чисел, дал вполне дипломатичный ответ, что, если Танияму не покинет энтузиазм, то, может быть, ему повезет, и его невероятная гипотеза подтвердится, но это, должно быть, случится не скоро. В общем, как и многие другие выдающиеся открытия, сначала гипотеза Таниямы осталась без внимания, потому что до нее еще не доросли - ее почти никто не понял. Один лишь коллега Таниямы, Горо Шимура, хорошо зная своего высокоодаренного друга, интуитивно чувствовал, что его гипотеза верна. 
Через три года (1958) Ютака Танияма покончил жизнь самоубийством. С точки зрения здравого смысла - никак не понимаемый поступок, особенно, если учесть, что совсем скоро он собирался жениться. Свою предсмертную записку лидер молодых японских математиков начал так: "Еще вчера я не помышлял о самоубийстве. Последнее время мне часто приходилось слышать от других, что я устал умственно и физически. Вообще-то я и сейчас не понимаю, зачем это делаю…" и так далее на трех листах.Гипотеза осиротела. Никто не знал, как ее доказать. 
Лет десять про гипотезу Таниямы почти не вспоминали. Но в начале 70-х годов она стала популярной - ее регулярно проверяли все, кто смог в ней разобраться - и она всегда подтверждалась (как, собственно, и теорема Ферма), но, как и прежде, никто не мог ее доказать.

 

УДИВИТЕЛЬНАЯ СВЯЗЬ ДВУХ ГИПОТЕЗ.

Прошло еще примерно 15 лет. В 1984 году произошло одно ключевое событие в жизни математики, которое объединило экстравагантную японскую гипотезу с Великой теоремой Ферма. Немец Герхард Фрей выдвинул любопытное утверждение, похожее на теорему: "Если будет доказана гипотеза Таниямы, то, следовательно, будет доказана и Великая теорема Ферма". Другими словами, теорема Ферма является следствием гипотезы Таниямы. (Фрей методом хитроумных математических преобразований свел уравнение Ферма к виду уравнения эллиптической кривой (той самой, которая фигурирует и в гипотезе Таниямы), более-менее обосновал свое предположение, но доказать его не смог). И вот буквально через полтора года (1986) профессор калифорнийского университета Кеннет Рибет четко доказал теорему Фрея. 
Что же теперь получилось? Теперь оказалось, что, так как теорема Ферма уже точно является следствием гипотезы Таниямы, нужно всего-навсего доказать последнюю, чтобы сорвать лавры покорителя легендарной теоремы Ферма. Но гипотеза оказалась непростой. К тому же у математиков за столетия появилась аллергия на теорему Ферма, и многие из них решили, что справиться с гипотезой Таниямы также будет практически невозможно.

 

 

 

СИНДРОМ ВЕЛИКОЙ ТЕОРЕМЫ.

 

 Кто только не пытался доказать теорему  Ферма. Любой студент считал своим  долгом доказать Великую теорему, но доказать ее всё никак никому не удавалось. Сначала не удавалось сто лет. Потом еще сто. Среди математиков стал развиваться массовый синдром: "Как же так? Ферма доказал, а я что, не смогу что ли?" и некоторые из них на этой почве просто напросто потеряли рассудок.  
 Сколько бы теорему не проверяли - она всегда оказывалась верна. И никакие компьютеры, хоть даже со сказочным быстродействием, никогда не смогли бы проверить теорему, ведь все переменные этого уравнения (в том числе и показатели степени) могут возрастать до бесконечности.  
Самый виртуозный и плодотворный математик XVIII века Леонард Эйлер, доказал теорему Ферма для степеней 3 и 4 (вернее, он повторил утерянные доказательства самого Пьера Ферма); его последователь в теории чисел, Лежандр - для степени 5; Дирихле - для степени 7. Но в общем виде теорема оставалась недоказанной.

В начале XX века (1907) состоятельный  немецкий любитель математики Вольфскель завещал сто тысяч марок тому, кто предъявит полное доказательство теоремы Ферма. Начался ажиотаж. Математические кафедры были завалены тысячами доказательств, но все они, содержали в себе ошибки. Говорят, что в некоторых университетах Германии, в которые в большом количестве поступали "доказательства" теоремы Ферма, были заготовлены бланки примерно такого содержания:

Уважаемый __________________________!     

 В Вашем доказательстве теоремы Ферма на ____ странице в ____ строчке сверху  
      в формуле:__________________________ обнаружена следующая ошибка:,  
которые рассылались незадачливым соискателям премии.

В то время в кругу  математиков появилось полупрезрительное прозвище - фермист. Так называли всякого самоуверенного выскочку, который не заметив собственных ошибок мог заявить, что первым доказал Великую теорему. Простой внешний вид Великой теоремы так сильно напоминал фермистам легкую добычу, что их абсолютно не смущало, что даже Эйлер с Гауссом не смогли справиться с ней. 
К тому времени появилось доказательство теоремы для показателя степени n<100. Потом для n<619. Надо ли говорить о том, что все доказательства невероятно сложны. Но в общем виде теорема оставалась недоказанной.

СМЕРТЬ ГИПОТЕЗЫ ФЕРМА.

РОЖДЕНИЕ ТЕОРЕМЫ.

Одному прогрессивному английскому профессору математики из Принстонского университета (Нью-Джерси, США), Эндрю Уайлсу, показалось, что  он нашел доказательство гипотезы Таниямы. Войти в Историю, конечно, заманчиво и очень хотелось, но Уайлс, как настоящий ученый, не обольщался, понимая, что тысячам фермистов до него тоже мерещились призрачные доказательства. Поэтому, прежде, чем представить свое доказательство миру, он тщательно проверял его сам, но осознавая, что может иметь субъективную предвзятость, привлекал к проверкам также и других, например, под видом обычных математических заданий он иногда подкидывал смышленым аспирантам различные фрагменты своего доказательства. Позже Уайлс признался, что никто, кроме его жены не знал, что он работает над доказательством Великой теоремы. 
И вот после долгих проверок и тягостных раздумий, Уайлс наконец-то набрался храбрости, а может, как ему самому казалось, наглости и 23 июня 1993 года на математической конференции по теории чисел в Кембридже объявил о своем великом достижении. 
Это, конечно, была сенсация. Никто не ожидал такой прыти от малоизвестного математика. Тут же появилась пресса. Всех терзал жгучий интерес. Стройные формулы, как штрихи прекрасной картины, предстали перед любопытными взорами собравшихся. Настоящие математики, они ведь такие - смотрят на всякие уравнения и видят в них не цифры, константы и переменные, а слышат музыку, подобно Моцарту, смотрящему на нотный стан. Точно так же, как мы, читая книгу, смотрим на буквы, но вроде бы как их и не замечаем, а сразу воспринимаем смысл текста.  
Презентация доказательства, казалось, прошла успешно - ошибок в нем не нашли - никто не услышал ни одной фальшивой ноты (хотя большинство математиков просто уставилось на него, как первоклассники на интеграл и ничего не поняли). Все решили, что произошло-таки масштабное событие: доказана гипотеза Таниямы, а следовательно и Великая теорема Ферма. Но примерно через два месяца, за несколько дней до того, как рукопись доказательства Уайлса должна была пойти в тираж, в ней было обнаружено несоответствие (Кац, коллега Уайлса, заметил, что один фрагмент рассуждений опирался на "систему Эйлера", но то, что соорудил Уайлс, такой системой не являлось), хотя в целом приемы Уайлса были признаны интересными, изящными и новаторскими. 
 Уайлс проанализировал ситуацию и решил, что проиграл. Для него, серьезного ученого-математика, это была трагедия, и он забросил свое доказательство в долгий ящик. 
 
Но вот через год с небольшим, в сентябре 1994 года, во время размышления над тем узким местом доказательства вместе со своим коллегой Тейлором из Оксфорда, последнего неожиданно осенила мысль, что "систему Эйлера" можно поменять на теорию Ивасава (раздел теории чисел). Тогда они попробовали воспользоваться теорией Ивасава, обойдясь без "системы Эйлера", и у них всё сошлось. Исправленный вариант доказательства был отдан на проверку и через год было объявлено, что в нем всё абсолютно четко, без единой ошибки. Летом 1995 года в одном из первенствующих математических журналов - "Анналы математики" - было опубликовано полное доказательство гипотезы Таниямы (следовательно, Великой (Большой) теоремы Ферма), которое заняло весь номер - свыше ста листов. Доказательство так сложно, что понять его целиком могли всего лишь несколько десятков человек во всем мире.  
Таким образом, в конце ХХ века весь мир признал, что на 360 году своей жизни Великая теорема Ферма, которая на самом деле всё это время являлась гипотезой, стала-таки доказанной теоремой. Эндрю Уайлс доказал Великую (Большую) теорему Ферма и вошел в Историю.

 

 

ПОДУМАЕШЬ, ДОКАЗАЛИ КАКУЮ-ТО ТЕОРЕМУ…

Нельзя игнорировать множество предыдущих ударов, которые  не одно столетие формировали трещину  в Великой теореме: Эйлера и Гаусса (королей математики своих времен), Эвариста Галуа (гения, успевшего за свою короткую 21-летнюю жизнь основать теории групп и полей, работы которого были признаны гениальными лишь после его смерти), Анри Пуанкаре (учредителя не только причудливых модулярных форм, но и конвенционализма - философского течения ), Давида Гилберта (одного из сильнейших математиков ХХ века), Ютаку Танияму, Горо Шимуру, Морделла, Фальтингса, Эрнста Куммера, Барри Мазура, Герхарда Фрея, Кена Риббета, Ричарда Тейлора и других ученых. 
Доказательство Великой теоремы Ферма можно поставить в один ряд с такими достижениями ХХ века, как изобретение компьютера, ядерной бомбы и полет в космос. Хоть о нем и не так широко известно, потому что оно не вторгается в зону наших сиюминутных интересов, как например, телевизор или электрическая лампочка, но оно явилось вспышкой сверхновой звезды, которая, как и все непреложные истины, всегда будет светить человечеству. 
Подумайте, сколько задач за 360 лет смогло решить человечество, прежде, чем доказать теорему Ферма. В поисках ее доказательства была открыта чуть ли не половина современной математики. Надо также учесть, что математика - авангард науки (и, кстати, единственная из наук, которая строится без единой ошибки), и любые научные достижения и изобретения начинаются именно здесь. Как заметил Леонардо да Винчи, "наукой можно признать лишь то учение, которое подтверждается математически".

 

 

ЗАКЛЮЧЕНИЕ.

А теперь давайте вернемся в начало нашей истории, вспомним запись Пьера Ферма на полях учебника Диофанта и еще раз зададимся вопросом: действительно ли Ферма доказал свою теорему? Этого мы, конечно, не можем знать наверняка, и как в любом деле тут возникают разные версии: 
 Версия 1: Ферма доказал свою теорему. (На вопрос: "имел ли Ферма точно такое же доказательство своей теоремы?", Эндрю Уайлс заметил: "Ферма не мог располагать таким доказательством. Это доказательство ХХ века". Мы с вами понимаем, что в XVII веке математика, конечно же, была не та, что в конце ХХ века - в ту эпоху д^,Артаньяна, царица наук еще не обладала теми открытиями (модулярные формы, теоремы Таниямы, Фрея и др.), которые только и позволили доказать Великую теорему Ферма. Конечно, можно предположить: а вдруг Ферма догадался иным путем? Эта версия хоть и вероятна, но по оценкам большинства математиков, практически невозможна); 
Версия 2: Пьеру Ферма показалось, что он доказал свою теорему, но в его доказательстве были ошибки. (То есть, сам Ферма был также и первым фермистом); 
Версия 3: Ферма свою теорему не доказал, а на полях просто соврал. 

И ВСЕ-ТАКИ ОНА ДОКАЗАНА!

 

В 20веке была обнаружена связь великой теоремы с быстро развивающейся математической теорией  – алгебраической геометрией. Именно в рамках этой теории и был достигнут  успех. Вклад в доказательство теоремы  Ферма внесли несколько математиков, но точку поставил в 1995г. Английский ученый Эндрю Уайлс. Доказательство Уайлса чрезвычайно сложное. Оно сводится к решению одной задачи об эллиптических кривых, т.е. алгебраических кривых третьей степени.

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

ЛИТЕРАТУРА.

1. «Кто есть кто в мире»

  Москва. ОЛМА-ПРЕСС. Образование 2004 г.

2. «Энциклопедия для детей. Математика»

Москва. «Аванта +»   2000г.

3. http://www.orator.ru
4. http://www.Bestreferat.ru
5. http://www.neuch.ru
6. http://www.mail.ru
7. http://www.yandex.ru
8. http://www.rambler.ru