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

Вели́ка теоре́ма Ферма́ (відома теорема Ферма, остання теорема Ферма) — твердження, що для довільного натурального числа $n\geq 3$ рівняння $x^{n}+y^{n}=z^{n}\!$ (рівняння Ферма) не має розв´язків у цілих числах $\ x,y,z$ , відмінних від нуля.

x^{n}+y^{n}\neq z^{n}

,

n>2,x,y,z\in {\mathcal {Z}}

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

Вона була сформульована приблизно в 1637 році французьким математиком П'єром Ферма на полях книги Діофанта «Арифметика» таким чином:

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

Зустрічаються більш вузькі варіанти формулювання, один з яких стверджує, що це рівняння не має натуральних коренів. Однак очевидно, що якщо існують корені в цілих числах, то існують і в натуральних числах. Справді, нехай a, b, c — цілі числа, що задовольняють рівняння Ферма. Якщо n парне, то |a |, | b |, | c | теж будуть коренями, а якщо непарне, то перенесемо всі степені з від'ємними значеннями в іншу частину рівняння, змінивши знак. Наприклад, якби існував розв'язок рівняння $a^{3}+b^{3}=c^{3}$ і при цьому $a$ від'ємне, а інші додатні, то $b^{3}=c^{3}+(|{-a}|)^{3}$ , і отримуємо натуральні рішення c, | a |, b. Тому обидва формулювання еквівалентні.

Узагальненнями затвердження теореми Ферма є спростована гіпотеза Ейлера і відкрита гіпотеза Ландера - Паркіна - Селфріджа.

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

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

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

Історія доведення

Для випадку n = 3 цю теорему в X столітті намагався довести Ал-Ходжанді, але його доказ до наших днів не зберігся.

У загальному вигляді теорему сформулював П'єр Ферма в 1637 році на полях «Арифметики» Діофанта. Справа в тому, що Ферма записував свої гіпотези на полях математичних трактатів. Теорему, про яку йде мова, він записав з припискою, що знайдене ним доведення цієї теореми надто довге, щоб його можна було помістити на полях цієї книги.

Пізніше Ферма опублікував доведення для випадку $n=4$ , що дає підстави для сумнівів, чи було у нього доведення для загального випадку.

Леонард Ейлер в 1770 році довів теорему для випадку $n=3$ , Діріхле та Лежандр в 1825 — для $n=5$ , Габрієль Ламе — для $n=7$ . Ернст Куммер довів, що теорема справедлива для всіх простих n, менших за 100, за можливим винятком так званих іррегулярних простих 37, 59, 67.

Над повним доведенням Великої теореми працювало чимало видатних математиків і безліч дилетантів-аматорів; вважається, що теорема стоїть на першому місці за кількістю некоректних «доказів». Проте ці зусилля привели до отримання багатьох важливих результатів сучасної теорії чисел. Давид Гільберт у своїй доповіді «Математичні проблеми» на II Міжнародному конгресі математиків (1900) зазначив, що пошук доведення для цієї, здавалося б, малозначної теореми, привів до глибоких результатів у теорії чисел.

У 1908 році німецький математик Пауль Вольфскель заповів 100 тис. німецьких марок тому, хто доведе теорему Ферма. Однак після Першої світової війни премія знецінилася.

Німецький математик Герхард Фрай припустив, що Велика теорема Ферма є наслідком гіпотези Таніями — Сімура — Вейля. Це припущення було доведено Кеном Рібет.

Про доведення теореми було оголошено влітку 1993 року. Під час триденної лекції в Інституті сера Ісаака Ньютона у Кембріджі Ендрю Вайлс озвучив основні принципи доведення гіпотези Таніями-Сімури, наслідком якої було доведення і Великої теореми Ферма. Але, коли рукописи з детальним доказом було передано на рецензування, в одному з розділів було знайдено суттєву помилку. Остаточне доведення теореми було здійснено Ендрю Вайлсом за участі Річарда Тейлора тільки 1995 року.^{[джерело?]} 129-сторінкове доведення було надруковане у журналі «Annals of Mathematics»[1].

У 2016 році за доведення Великої теореми Ферма Ендрю Вайлс отримав премію Абеля.

Колін Мак-Ларт зазначив, що, можливо, доказ Вайлса вийде спростити, щоб не припускати існування так званих «великих кардиналів».

Примітки

Annals_of_Mathematics. Архів оригіналу за 24 червня 2013. Процитовано 5 грудня 2012.

Література

Постников М. М. Теорема Ферма. — М. : Наука, 1978. — 130 с.
Рибенбойм П. Последняя теорема Ферма для любителей = Fermat's Last Theorem for Amateurs. — М. : Мир, 2003. — 429 с.
Сингх С. Великая теорема Ферма = Fermat's Last Theorem. — М. : МЦНМО, 2000. — 288 с.
Хинчин А. Я. Великая теорема Ферма. — М.-Л. : Госиздат, 1927. — 76 с.
Эдвардс Г. Последняя теорема Ферма: Генетическое введение в алгебраическую теорию чисел = Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory. — М. : Мир, 1980. — 486 с.

Див. також

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Annals_of_Mathematics. Архів оригіналу за 24 червня 2013. Процитовано 5 грудня 2012.