"Доказана ли Великая теорема Ферма?" - Великая теорема Ферма
Был сделан лишь первый шаг на пути к доказательству гипотезы Таниямы-Шимуры, но избранная Уайлсом стратегия была блестящим математическим прорывом, результатом, который заслуживал публикации. Но в силу обета молчания, наложенного Уайлсом самим на себя, он не мог поведать о полученном результате остальному миру и не имел ни малейшего представления о том, кто еще мог совершить столь же значительный прорыв.
Уайлс вспоминает о своем философском отношении к любому потенциальному сопернику: "Никто не захочет затратить годы на доказательство чего-то и обнаружить, что кому-то другому удалось найти доказательство несколькими неделями раньше. Но, как ни странно, поскольку я пытался решить проблему, которая по существу считалась неразрешимой, я не очень опасался соперников. Я просто не надеялся, что мне или кому-нибудь другому придет в голову идея, которая приведет к доказательству".
8 марта 1988 года Уайлс испытал шок, увидев на первых полосах газет набранные крупным шрифтом заголовки, гласившие: "Великая теорема Ферма доказана". Газеты "Washington Post" и "New York Times" сообщали, что тридцативосьмилетний Иоичи Мияока из токийского Метрополитен университета решил самую трудную математическую проблему в мире. Пока Мияока еще не опубликовал свое доказательство, но в общих чертах изложил его ход на семинаре в Институте Макса Планка по математике в Бонне. Дон Цагир, присутствовавший на докладе Мияоки, выразил оптимизм математического сообщества в следующих словах: "Представленное Мияокой доказательство необычайно интересно, и некоторые математики полагают, что оно с высокой вероятностью окажется правильным. Полной уверенности еще нет, но пока доказательство выглядит весьма обнадеживающим".
Выступая с докладом на семинаре в Бонне, Мияока рассказал о своем подходе к решению проблемы, которую он рассматривал с совершенно иной, алгебро-геометрической, точки зрения. За последние десятилетия геометры достигли глубокого и тонкого понимания математических объектов, в частности, свойств поверхностей. В 70-е годы российский математик С. Аракелов попытался установить параллели между проблемами алгебраической геометрии и проблемами теории чисел. Это было одно из направлений программы Ленглендса, и математики надеялись, что нерешенные проблемы теории чисел удастся решить, изучая соответствующие проблемы геометрии, которые также еще оставались нерешенными 1. Такая программа была известна под названием философии параллелизма 2. Те алгебраические геометры, которые пытались решать проблемы теории чисел, получили название "арифметических алгебраических геометров". В 1983 году они возвестили о своей первой значительной победе, когда Герд Фалтингс из Принстонского Института высших исследований внес существенный вклад в понимание теоремы Ферма 3. Напомним, что, по утверждению Ферма, уравнение
XN + yN = zN
При n бoльших 2 не имеет решений в целых числах. Фалтингс решил, что ему удалось продвинуться в доказательстве Великой теоремы Ферма с помощью изучения геометрических поверхностей, связанных с различными значениями n. Поверхности, связанные с уравнениями Ферма при различных значениях n, отличаются друг от друга, но обладают одним общим свойством -- у них всех имеются сквозные отверстия, или, попросту говоря, дыры. Эти поверхности четырехмерны, как и графики модулярных форм. Двумерные сечения двух поверхностей представлены на рис. 23. Поверхности, связанные с уравнением Ферма, выглядят аналогично. Чем больше значение n в уравнении, тем больше дыр в соответствующей поверхности.
Фалтингсу удалось доказать, что, поскольку такие поверхности всегда имеют несколько дыр, связанное с ними уравнение Ферма могло бы иметь лишь конечное множество решений в целых числах. Число решений могло быть любым -- от нуля, как предполагал Ферма, до миллиона или миллиарда. Таким образом, Фалтингс не доказал Великую теорему Ферма, но по крайней мере сумел отвергнуть возможность существования у уравнения Ферма бесконечно многих решений.
Пятью годами позже Мияока сообщил, что ему удалось продвинуться еще на один шаг. Ему тогда было двадцать с небольшим лет. Мияока сформулировал гипотезу относительно некоторого неравенства. Стало ясно, что доказательство его геометрической гипотезы означало бы доказательство того, что число решений уравнения Ферма не просто конечно, а равно нулю 4. Подход Мияоки был аналогичен подходу Уайлса в том, что они оба пытались доказать Великую теорему Ферма, связывая ее с фундаментальной гипотезой в другой области математики. У Мияоки это была алгебраическая геометрия, для Уайлса путь к доказательству лежал через эллиптические кривые и модулярные формы. К великому огорчению Уайлса, он все еще бился над доказательством гипотезы Таниямы-Шимуры, когда Мияока заявил о том, что располагает полным доказательством собственной гипотезы и, следовательно, Великой теоремы Ферма.
Через две недели после своего выступления в Бонне Мияока опубликовал пять страниц вычислений, составлявших суть его доказательства, и началась тщательнейшая проверка. Специалисты по теории чисел и алгебраической геометрии во всех странах мира изучали, строка за строкой, опубликованные вычисления. Через несколько дней математики обнаружили в доказательстве одно противоречие, которое не могло не вызывать беспокойства. Одна из частей работы Мияоки приводила к утверждению из теории чисел, из которого, при переводе на язык алгебраической геометрии, получалось утверждение, противоречившее результату, полученному несколькими годами раньше. И хотя это не обязательно обесценивало все доказательство Мияоки, обнаруженное противоречие не вписывалось в философию параллелизма между теорией чисел и геометрией.
Еще через две недели Герд Фалтингс, проложивший путь Мияоке, объявил о том, что обнаружил точную причину кажущегося нарушения параллелизма -- пробел в рассуждениях. Японский математик был геометром и при переводе своих идей на менее знакомую территорию теории чисел не был абсолютно строг. Армия специалистов по теории чисел предприняла отчаянные усилия залатать прореху в доказательстве Мияоки, но тщетно. Через два месяца после того, как Мияока заявил о том, что располагает полным доказательством Великой теоремы Ферма, математическое сообщество пришло к единодушному заключению: доказательство Мияоки обречено на провал.
Как и в случае прежних несостоявшихся доказательств, Мияоке удалось получить немало интересных результатов. Отдельные фрагменты его доказательства заслуживали внимания как весьма остроумные приложения геометрии к теории чисел, и в последующие годы другие математики воспользовались ими для доказательства некоторых теорем, но доказать Великую теорему Ферма этим путем не удалось никому.
Шумиха по поводу Великой теоремы Ферма вскоре утихла, и газеты поместили краткие заметки, в которых говорилось, что трехсотлетняя головоломка по-прежнему остается нерешенной. На стене станции нью-йоркской подземки на Восьмой стрит появилась следующая надпись, несомненно, вдохновленная публикациями в прессе по поводу Великой теоремы Ферма: "Уравнение xN + yN = zN не имеет решений. Я нашел поистине удивительное доказательство этого факта, но не могу записать его здесь, так как пришел мой поезд".
Похожие статьи
-
Эра загадок и головоломок - Великая теорема Ферма
С античных времен и поныне математики пытались придать занимательность своим учебникам, излагая теоремы и доказательства в форме решений числовых...
-
Эндрю Уайлс во время обучения в колледже. Тайные вычисления - Великая теорема Ферма
"Однажды вечером, в конце лета 1986 года, я попивал чай в гостях у своего приятеля. В беседе он между прочим упомянул о том, что Кену Рибету удалось...
-
Уход в абстракцию - Великая теорема Ферма
После работ Эрнста Куммера надежды найти доказательство ослабли, как никогда прежде. Кроме того, в математике начали развиваться различные новые области....
-
Рождение проблемы - Великая теорема Ферма
Жизненно важным, поворотным пунктом в развитии западной математики стал 1453 год, когда турки разграбили Константинополь. За прежние годы рукописи,...
-
Месье Леблан - Великая теорема Ферма
К началу XIX века за Великой теоремой Ферма установилась устойчивая репутация самой трудной проблемы в теории чисел. После прорыва, осуществленного...
-
После семи лет работы в одиночку Уайлс наконец завершил доказательство гипотезы Таниямы-Шимуры и считал, что его мечта -- доказать Великую теорему Ферма...
-
В потемках - Великая теорема Ферма
Уайлс, о котором мир тогда еще ничего не знал, с облегчением вздохнул. Великая теорема Ферма по-прежнему оставалась непобежденной, и он мог продолжать...
-
Математик-циклоп - Великая теорема Ферма
Создание математики -- занятие мучительное и таинственное. Объект доказательства часто бывает ясен, но путь к доказательству теряется в тумане, и...
-
Позор математики - Великая теорема Ферма
С тех пор, как я еще мальчиком впервые столкнулся с Великой теоремой Ферма, она стала моим увлечением на всю жизнь, -- вспоминает Эндрю Уайлс, и его...
-
Аспирантские годы - Великая теорема Ферма
В 1975 году Эндрю Уайлс поступил в аспирантуру Кембриджского университета. В ближайшие три года ему предстояло работать над диссертацией на соискание...
-
Снова великая теорема Ферма! - Великая теорема Ферма
Сегодня в доказательстве великой теоремы Ферма произошел поистине поразительный сдвиг. Наум Элькис (профессор Гарвардского университета) заявил, что...
-
Дуэль с бесконечностью - Великая теорема Ферма
Чтобы доказать Великую теорему Ферма, Уайлсу было необходимо сначала доказать гипотезу Таниямы-Шимуры о том, что каждой эллиптической кривой можно...
-
Запечатанные конверты - Великая теорема Ферма
После прогресса, достигнутого благодаря работам Софи Жермен, Французская Академия Наук установила серию премий, включая золотую медаль и 3000 франков,...
-
Введение, История теоремы - Великая теорема Ферма
Она заинтересовала меня тем, что на вид очень простая и казалось бы, решить ее может каждый школьник, но найти ее решение на протяжении 358 лет пытались...
-
Доказательство теоремы Ферма Уважаемый Григорий Яковлевич! Обращается к Вам Черепанов Николай Михайлович, математик из Барнаула. В 2004 году, я...
-
Награда Эндрю - Великая теорема Ферма
Предложенное Уайлсом доказательство Великой теоремы Ферма опирается на доказательство гипотезы, родившейся в 50-е годы XX века. Его рассуждения...
-
Создатель Великой проблемы - Великая теорема Ферма
Пьер де Ферма родился 20 августа 1601 года в городе Бомон-де-Ломань на юго-западе Франции. Его отец, Доминик Ферма, был состоятельным торговцем кожей,...
-
В теории чисел большую роль играет числовая функция, называемая функцией Эйлера. Определение 3.1. Функцией Эйлера называется функция, определенная на...
-
Теорема Ферма в творчестве - Великая теорема Ферма
В телесериале "Звездный Путь", капитан космического корабля Энтерпрайз NCC-1701-D Жан-Люк Пикар был озадачен разгадкой Великой теоремы Ферма во второй...
-
"Ферматисты" - Великая теорема Ферма
Простота формулировки теоремы Ферма (доступная в понимании даже школьнику), а также сложность единственного известного доказательства (или неведение о...
-
Доказательство теоремы ошибочно - Великая теорема Ферма
Едва Уайлс закончил свою лекцию в Кембридже, как комиссию Вольфскеля известили о том, что Великая теорема Ферма, наконец, доказана. Премия не могла быть...
-
Теоремы Ферма, Ролля, Лагранжа и Коши
Введение В данном реферате рассматриваются теоремы Ферма, Ролля, Лагранжа и Коши. "Теорема - высказывание, нравственность которого установлена при помощи...
-
Метод Колывагина-Флаха - Великая теорема Ферма
К лету 1991 года Уайлс проиграл сражение: теорию Ивасавы не удалось приспособить к решению проблемы. Он снова обратился к научным журналам и монографиям,...
-
Теорема Ферма - Математичний аналіз
Якщо ф-я диф. в деякому околі Т. х0 і досягає в ній екстремума, то похідна = 0. Доведення: Нехай ф. досягає в екстремума в т. х0, тоді існує окіл т. х0,...
-
Теорема 1. Предел постоянной равен самой постоянной. . Доказательство. f(x)=с, докажем, что . Возьмем произвольное e>0. В качестве d можно взять любое...
-
Следствия теоремы, Послесловие к доказательству - Об одной теореме теории чисел
Не существует ЦЕЛЫХ чисел, для которых выполняется равенство (1). При четных значениях показателя степени уравнение вида (1) идентично как для...
-
В данной работе доказывается методами элементарной математики "большая" или "последняя" теорема Ферма. Некоторая, излишняя в обычных случаях, подробность...
-
Интегральная теорема Муавра-Лапласа
Предположим, что в условиях схемы Бернулли проводится испытаний, в результате каждого из которых с вероятностью () происходит событие. Интегральная...
-
Свойство 1. Вероятность достоверного события равна единице. Действительно, если событие достоверно, то каждый элементарный исход испытания...
-
Берцелиус, его ученики и последователи бурно оспаривали правильность работ Дюма. В немецком журнале "Annalen der Chemie und Pharmacie" появилось...
-
Теорема Пенлеве - Условия Фукса и теорема Пенлеве
Все приведенные выше исследования велись в предположении, что мы изучаем поведение интеграла в области изменения z, при котором w(z) принимает вполне...
-
Электрохимия - Великие открытия Йенса Якоба Берцелиуса
Берцелиус развил электрохимическую теорию сродства элементов (1812-19), на основе которой построил их классификацию - составил электрохимический ряд...
-
Синтаксис и семантика. Теорема Райса - Рекурсивные функции
Попробуем теперь проанализировать круг проблем, неразрешимость которых доказана в предыдущем пункте. Общим для них является то, что по кодам, т. е....
-
Теорема о параметризации., Универсальные функции - Рекурсивные функции
Любую часть x1,x2,...,xn входных значений можно породить программно, более того - существует алгоритм, который генерирует по x1,x2,...,xn текст...
-
Известно оптимальное решение X*=(0;0;1;1) задачи линейного программирования: Составьте двойственную задачу и найдите ее оптимальное решение по теореме...
-
Пусть - один и тот же опыт повторяется n-раз, не зависимо от результатов; в любом опыте может наступить событие А с вероятностью p, либо событие A с...
-
Ответ: y=f(kx) получается из Графика функции f(x) сжатием его вдоль оси ох в k раз, если k>1 и растяжением в 1 деленную на k раз, если k>0 но меньше 1....
-
У цьому параграфі узагальнюються і уточнюються так звані "зворотні теореми" теорії наближення. Мова йде про оцінці диференціальних властивостей функції f...
-
Исходная задача: При ограничениях: Двойственной является следующая задача: При ограничениях: Число неизвестных в двойственной задаче равно 2....
-
Принцип сходимости, Предел функции. Теорема Гейне - Свойства функций
Рассмотрим вопрос о существовании пределов последовательностей концевых точек бесконечной системы промежутков, вложенных друг в друга. Лемма Кантора ....
"Доказана ли Великая теорема Ферма?" - Великая теорема Ферма