Великая теорема Ферма
Великая теорема Ферма́ (или последняя теорема Ферма) — одна из самых популярных теорем математики. Сформулирована французским математиком Пьером Ферма в 1637 году. Несмотря на простоту формулировки, буквально, на «школьном» арифметическом уровне, доказательство теоремы искали многие математики на протяжении более трёхсот лет. И только в 1994 году теорема была доказана английским математиком Эндрю Уайлсом с коллегами; публикация доказательства состоялась в 1995 году.
Формулировка
Теорема утверждает[1], что для любого натурального числа уравнение
не имеет решений в целых ненулевых числах .
Встречается более узкий вариант формулировки, утверждающий, что это уравнение не имеет натуральных решений. Однако очевидно, что если существует решение для целых чисел, то существует и решение в натуральных числах. В самом деле, пусть — целые числа, дающие решение уравнения Ферма. Если чётно, то тоже будут решением, а если нечётно, то перенесём все степени отрицательных значений в другую часть уравнения, изменив знак. Например, если бы существовало решение уравнения и при этом отрицательно, а прочие положительны, то , и получаем натуральные решения Поэтому обе формулировки эквивалентны.
Обобщениями утверждения теоремы Ферма являются опровергнутая гипотеза Эйлера и открытая гипотеза Ландера — Паркина — Селфриджа.
История
Для случая эту теорему в X веке пытался доказать ал-Ходжанди, но его доказательство не сохранилось.
В общем виде теорема была сформулирована Пьером Ферма в 1637 году на полях «Арифметики» Диофанта. Дело в том, что Ферма делал свои пометки на полях читаемых математических трактатов и там же формулировал пришедшие на ум задачи и теоремы. Теорему, о которой ведётся речь, он записал с припиской, что найденное им остроумное доказательство этой теоремы слишком длинно, чтобы его можно было поместить на полях книги:
Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашёл этому поистине чудесное доказательство, но поля книги слишком узки для него.
Оригинальный текст (лат.)[показатьскрыть]Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos & generaliter nullam in infinitum ultra quadratum potestatem in duas eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.
Ферма приводит только доказательство как решение задачи, сводимой к четвёртой степени теоремы, , в 45-м комментарии к «Арифметике» Диофанта[2] и в письме к Каркави (август 1659 года)[3]. Кроме этого, Ферма включил случай в список задач, решаемых методом бесконечного спуска[3].
Эйлер в 1770 году доказал теорему[4] для случая , Дирихле и Лежандр в 1825 году — для , Ламе — для . Куммер показал, что теорема верна для всех простых , меньших 100, за возможным исключением так называемых иррегулярных простых 37, 59, 67.
Принято называть утверждение, что уравнение не может быть удовлетворено не делящимися на числами, первым случаем теоремы Ферма, а утверждение, что уравнение не может быть удовлетворено числами, одно из которых делится на , — вторым случаем теоремы Ферма[5]. Первый случай теоремы Ферма для показателей в виде чисел Софи Жермен был доказан теоремой Софи Жермен.
Над полным доказательством Великой теоремы работало немало выдающихся математиков и множество дилетантов-любителей; считается[кем?], что теорема стои́т на первом месте по количеству некорректных «доказательств». Тем не менее эти усилия привели к получению многих важных результатов современной теории чисел. Давид Гильберт в своём докладе «Математические проблемы» на II Международном конгрессе математиков (1900) отметил, что поиск доказательства для этой, казалось бы, малозначимой теоремы привёл к глубоким результатам в теории чисел[6]. В 1908 году немецкий любитель математики Пауль Вольфскель завещал 100 тысяч немецких марок тому, кто докажет теорему Ферма. Однако после Первой мировой войны премия обесценилась.
В 1980-х годах появился новый подход к решению проблемы. Из гипотезы Морделла, доказанной Фальтингсом в 1983 году, следует, что уравнение при может иметь лишь конечное число взаимно простых решений.
В 1984 году немецкий математик Герхард Фрай доказал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение и предположил, что Великая теорема Ферма является следствием гипотезы Таниямы — Симуры. Это предположение было доказано Кеном Рибетом[7], который показал, что это гипотетическое уравнение не может иметь двойника среди модулярных форм.
Последний важный шаг в доказательстве теоремы был сделан Уайлсом в сентябре 1994 года. Его 130-страничное доказательство гипотезы Таниямы — Симуры было опубликовано в журнале «Annals of Mathematics»[8].
Первый вариант своего доказательства Уайлс опубликовал в 1993 году (после семи лет работы), но в нём вскоре был обнаружен[кем?] серьёзный[какой?] пробел, который с помощью Ричарда Лоуренса Тейлора удалось достаточно быстро устранить[9]. В 1995 году был опубликован завершающий вариант[10]. В 2016 году за доказательство Великой теоремы Ферма Эндрю Уайлс получил Абелевскую премию[11].
Колин Мак-Ларти отметил, что, возможно, доказательство Уайлса удастся упростить, чтобы не предполагать существования так называемых «больших кардиналов»[12][13].
Теорема Ферма также тривиально следует из abc-гипотезы, о доказательстве которой заявил японский математик Синъити Мотидзуки; его доказательство отличается исключительной сложностью. В настоящее время в математическом сообществе нет чёткого консенсуса в отношении его работ[14].
Некоторые вариации и обобщения
Одна из гипотез, выдвинутых Эйлером (1769 год), утверждала, что уравнение не имеет натуральных решений Только в XX веке, с помощью мощных компьютеров, удалось найти контрпримеры, опровергающие гипотезу. В 1988 году Ноам Элкис обнаружил следующее решение[15]:
Позднее были найдены и другие решения; простейшее из них:
Ещё одним популярным обобщением теоремы Ферма является гипотеза Била, сформулированная в 1993 году американским математиком-любителем, пообещавшим за её доказательство или опровержение 1 миллион долларов США.
«Ферматисты»
Простота формулировки теоремы Ферма (доступная в понимании даже школьнику), а также сложность единственного известного доказательства (или неведение о его существовании), вдохновляют многих на попытки найти другое, более простое, доказательство. Людей, пытающихся доказать теорему Ферма элементарными методами, называют «ферматистами» или «ферматиками»[16]. Ферматисты зачастую не являются профессионалами и допускают ошибки в арифметических действиях или логических выводах, хотя некоторые представляют весьма изощрённые «доказательства», в которых трудно найти ошибку.
Доказывать теорему Ферма в среде любителей математики было настолько популярно, что в 1972 году журнал «Квант», публикуя статью о теореме Ферма, сопроводил её следующей припиской[16]: «Редакция „Кванта“ со своей стороны считает необходимым известить читателей, что письма с проектами доказательств теоремы Ферма рассматриваться (и возвращаться) не будут».
Немецкому математику Эдмунду Ландау очень докучали «ферматисты». Чтобы не отвлекаться от основной работы, он заказал несколько сотен бланков с шаблонным текстом, сообщающим, что на определённой строке на некоторой странице находится ошибка, при этом находить ошибку и заполнять пробелы в бланке он поручал своим аспирантам.
Отдельные ферматисты добиваются публикации своих (неверных) «доказательств» в ненаучной прессе, которая раздувает их значение до научной сенсации[17]. Впрочем, иногда такие публикации появляются и в уважаемых научных изданиях[18], как правило, с последующими опровержениями[19]. Среди других примеров:
- Брошюра В. И. Будкина, изданная в Ярославле под названием «Методика познания „истины“. Доказательство Великой теоремы Ферма» (47 с., 5000 экз., Верхне-Волжское книжное издательство, 1975)[20].
- Книга Л. Ш. Райхеля «Великая теорема», изданная в Ленинграде в 1990 году[21].
- Свидетельство о регистрации авторских прав на произведение «доказательство теоремы Ферма», выданное Министерством образования и науки Украины Л. В. Шаповаловой и Г. А. Середкину. Документ не удостоверяет каким-либо образом правильность доказательства, а лишь регистрирует авторские права на поданный в Министерство образования и науки печатный труд; на это министерство возложена обязанность ведения реестра таких свидетельств[22].
Теорема Ферма в культуре и искусстве
Великая теорема Ферма стала символом труднейшей научной проблемы и в этом качестве часто упоминается в беллетристике. Далее перечислены некоторые произведения, в которых теорема не просто упомянута, но является существенной частью сюжета или идеологии произведения.
В рассказе Артура Порджеса «Саймон Флэгг и дьявол»[23] профессор Саймон Флэгг обращается за доказательством теоремы к дьяволу. По этому рассказу снят короткометражный игровой научно-популярный фильм «Математик и чёрт» (СССР, 1972, киностудия «Центрнаучфильм», творческое объединение «Радуга», режиссёр Райтбурт).
Александр Казанцев в романе «Острее шпаги» в 1983 году предложил оригинальную версию отсутствия доказательства самого Пьера Ферма.
В телесериале «Звёздный Путь» капитан космического корабля Жан-Люк Пикар был озадачен разгадкой Великой теоремы Ферма во второй половине XXIV века. Таким образом, создатели фильма предполагали, что решения у Великой теоремы Ферма не будет в ближайшие 400 лет. Серия «Рояль» с этим эпизодом была снята в 1989 году, когда Эндрю Уайлс был в самом начале своих работ. В действительности решение было найдено всего спустя пять лет.
В посвящённой Хэллоуину 1995 года серии «Симпсонов» двухмерный Гомер Симпсон случайно попадает в третье измерение. Во время его путешествия в этом странном мире в воздухе парят геометрические тела и математические формулы, включая неверное равенство . Калькулятор с точностью не более 10 значащих цифр подтверждает это равенство:
Тем не менее, даже без вычисления точных значений легко видеть, что равенство неверно: левая часть — нечётное число, а правая часть — чётное.
В первом издании «Искусства программирования» Дональда Кнута теорема Ферма приведена в качестве упражнения с математическим уклоном в самом начале книги и оценена максимальным числом (50) баллов, как «исследовательская проблема, которая (насколько это было известно автору в момент написания) ещё не получила удовлетворительного решения. Если читатель найдёт решение этой задачи, его настоятельно просят опубликовать его; кроме того, автор данной книги будет очень признателен, если ему сообщат решение как можно быстрее (при условии, что оно правильно)». В третьем издании книги это упражнение уже требует знаний высшей математики и оценивается лишь в 45 баллов.
В книге Стига Ларссона «Девушка, которая играла с огнём»[24] главная героиня Лисбет Саландер, обладающая редкими способностями к аналитике и фотографической памятью, в качестве хобби занята доказательством Великой теоремы Ферма, на которую она наткнулась, читая фундаментальный труд «Измерения в математике», в котором приводится и доказательство Эндрю Уайлса. Лисбет не хочет изучать готовое доказательство, а главным интересом становится поиск собственного решения. Поэтому всё своё свободное время она посвящает самостоятельному поиску «замечательного доказательства» теоремы великого француза, но раз за разом заходит в тупик. В конце книги Лисбет находит доказательство, которое не только совершенно отлично от предложенного Уайлсом, но и является настолько простым, что сам Ферма мог бы его найти. Однако после ранения в голову она его забывает, и Ларссон не приводит никаких подробностей этого доказательства.
Мюзикл «Последнее танго Ферма» создан в 2000 году Джошуа Розенблюмом и Джоан Лесснер по мотивам реальной истории Эндрю Уайлса. Главный герой по имени Дэниел Кин завершает доказательство теоремы, а дух самого Ферма старается ему помешать. Мюзикл был представлен в театре York Theatre в Нью-Йорке, затем записан и издан институтом Клэя[25].
За несколько дней до своей смерти Артур Кларк успел отрецензировать рукопись романа «Последняя теорема», над которой он трудился в соавторстве с Фредериком Полом. Книга вышла уже после смерти Кларка.
Примечания
- ↑ Ферма теорема // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1985. — Т. 5. Архивная копия от 17 ноября 2020 на Wayback Machine
- ↑ Diophantus of Alexandria. Arithmeticorum libri sex, et de numeris multangulis liber unus. Cum commentariis C. G. Bacheti V. C. & observationibus D. P. de Fermat senatoris Tolosani. Toulouse, 1670, p. 338—339.
- ↑ 1 2 Fermat a Carcavi. Aout 1659. Oeuvres de Fermat. Tome II. Paris: Tannery & Henry, 1904, p. 431—436.
- ↑ Ю. Ю. Мачис. О предполагаемом доказательстве Эйлера // Математические заметки. — 2007. — Т. 82, № 3. — С. 395—400. Английский перевод: J. J. Mačys. On Euler’s hypothetical proof (англ.) // Mathematical Notes : journal. — 2007. — Vol. 82, no. 3—4. — P. 352—356. — doi:10.1134/S0001434607090088. (недоступная ссылка)
- ↑ М. М. Постников. Теорема Ферма. — НАУКА Главная редакция физико-математической литературы, 1978. — С. 15.
- ↑ Давид Гильберт. Математические проблемы Архивная копия от 11 сентября 2014 на Wayback Machine:
Проблема доказательства этой неразрешимости являет разительный пример того, какое побуждающее влияние на науку может оказать специальная и на первый взгляд малозначительная проблема. Ибо, побуждённый задачей Ферма, Куммер пришёл к введению идеальных чисел и к открытию теоремы об однозначном разложении чисел в круговых полях на идеальные простые множители — теоремы, которая теперь, благодаря обобщениям на любую алгебраическую числовую область, полученным Дедекиндом и Кронекером, является центральной в современной теории чисел и значение которой выходит далеко за пределы теории чисел в область алгебры и теории функций.
- ↑ Соловьев Ю. П. Гипотеза Таниямы и последняя теорема Ферма // Соросовский образовательный журнал. — ISSEP, 1998. — Т. 4, № 2. — С. 135—138.
- ↑ Wiles, Andrew. Modular elliptic curves and Fermat’s last theorem (англ.) // Annals of Mathematics : journal. — 1995. — Vol. 141, no. 3. — P. 443—551. Архивировано 10 января 2020 года.
- ↑ Taylor, Richard; Wiles, Andrew. Ring theoretic properties of certain Hecke algebras (англ.) // Annals of Mathematics : journal. — 1995. — Vol. 141, no. 3. — P. 553—572. Архивировано 27 ноября 2001 года. Архивированная копия . Дата обращения: 31 октября 2004. Архивировано из оригинала 27 ноября 2001 года. (англ.)
- ↑ Стиллвелл Д. Математика и её история. — Москва — Ижевск: Институт компьютерных исследований, 2004. — С. 199—200.
- ↑ Абелевскую премию получит британец, доказавший Великую теорему Ферма Архивная копия от 16 марта 2016 на Wayback Machine.
- ↑ Colin McLarty. What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory (англ.) // Bulletin of Symbolic Logic. — 2010. — Vol. 16, no. 3. — P. 359—377.
- ↑ Fermat’s Last Theorem and more can be proved more simply (англ.). Дата обращения: 27 ноября 2015. Архивировано из оригинала 28 июня 2018 года.
- ↑ David Michael Roberts. A Crisis of Identification : [англ.] : [арх. 29 января 2021] // Inference. — 2019. — Vol. 4, no. 3.
- ↑ Наварро, Хоакин. Неуловимые идеи и вечные теоремы. Великие задачи математики. — М.: Де Агостини, 2014. — Т. 25. — С. 84. — 160 с. — (Мир математики: в 45 томах). — ISBN 978-5-9774-0720-5.
- ↑ 1 2 Гастев Ю., Смолянский М. Несколько слов о Великой теореме Ферма // Квант. — 1972. — Т. 8. — С. 23—25. Архивировано 28 ноября 2007 года.
- ↑ Теоремой — по ракетам! Дата обращения: 6 июня 2018. Архивировано 30 мая 2018 года.
- ↑ Человечество может расслабиться Архивная копия от 20 июля 2014 на Wayback Machine. Сайт Российской академии наук.
- ↑ Теорема Ферма доказала, что попытки доказать её не прекратятся никогда Архивная копия от 20 июля 2014 на Wayback Machine. Сайт Российской академии наук.
- ↑ Пионеры Архивная копия от 20 сентября 2013 на Wayback Machine.
- ↑ Лазарь Шлемович Райхель. Великая теорема: (Повесть) [Об учителе физики Л. Г. Марголине] / Л. Райхель — Л.: Б. м. Б. и. 252 с., 1990 (обл. 1991).
- ↑ Постановление Кабинета министров Украины от 27.12.2001 г. № 1756 «О государственной регистрации авторского права…».
- ↑ A. Porges. Devil and Simon Flagg (англ.) // The Magazine of Fantasy & Science Fiction : magazine. — NY, 1954. Русский перевод: Порджес А. Саймон Флэгг и дьявол // Квант. — 1972. — Т. 8. — С. 17—22. Архивировано 23 апреля 2009 года.
- ↑ В 2010 году книга вышла на русском языке в издательстве «Эксмо», в оригинале название «Flickan som lekte med elden», в английском переводе «The girl who played with fire».
- ↑ Robert Osserman. Fermat’s Last Tango : [англ.] : [арх. 13 января 2020] // Notices of the AMS. — 2001. — Vol. 48. — P. 1330–1332.
Литература
На русском
- Абраров Д. Теорема Ферма: феномен доказательств Уайлса.
- Альварес Л. Ф. А. Самая сложная задача в мире. Ферма. Великая теорема Ферма // Наука. Величайшие теории. — М.: Де Агостини, 2015. — Вып. 18. — ISSN 2409-0069.
- Виолант-и-Хольц, Альберт. Загадка Ферма. Трёхвековой вызов математике. — М.: Де Агостини, 2014. — 151 с. — (Мир математики: в 45 томах, том 9). — ISBN 978-5-9774-0625-3.
- Кирсанов Ф. История Великой Теоремы Ферма.
- Манин Ю.И., Панчишкин А.А. Введение в современную теорию чисел. — М.: МЦНМО, 2009.
- Постников М. М. Введение в теорию алгебраических чисел. — М.: Наука, 1982. Основная тема книги — последняя теорема Ферма.
- Рибенбойм П. Последняя теорема Ферма для любителей. — М.: Мир, 2003.
- Сингх С. Великая теорема Ферма. — М.: МЦНМО, 2000.
- Хинчин А. Я. Великая теорема Ферма. — 3-е изд. — М.: ОНТИ, 1934.
- Эдвардс Г. Последняя теорема Ферма. — М.: Мир, 1980. В книге подробно рассматривается теория идеальных делителей Куммера.
На английском
- Donald C. Benson. The Moment of Proof: Mathematical Epophanies. — Oxford University Press, 1999. — ISBN 0-19-513919-4.
- Faltings, Gerd (1995). The Proof of Fermat’s last theorem by R. Taylor and A. Wiles, Notices of the AMS (42) (7), 743—746.
- Daney, Charles (2003). The Mathematics of Fermat’s last theorem. Retrieved Aug. 5, 2004.
- O’Connor, J. J. & and Robertson, E. F. (1996). Fermat’s last theorem. The history of the problem. Retrieved Aug. 5, 2004.
- Shay, David (2003). Fermat’s last theorem. The story, the history and the mystery. Retrieved Aug. 5, 2004.
Ссылки
- Andrey J. Hanson. Визуализация последней теоремы Ферма logo на YouTube: [пер. с англ.] — Indiana University Department of Computer Sience and the Center for Innovative Computer Applications. (1990)