Fermatova poslední věta: definice, historie a důkaz (1995)

Fermatova poslední věta: srozumitelná definice, dramatická historie a slavný důkaz z roku 1995 — podrobný přehled klíčového momentu matematiky.

Fermatova poslední věta je slavné tvrzení v matematice, které říká:

Je-li n celé číslo větší než 2 (tj. 3, 4, 5, ...), pak rovnice

x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}}

nemá žádná netriviální řešení v přirozených číslech (tedy v kladných celých číslech) — jinými slovy, neexistují kladná celá čísla x, y, z taková, aby rovnost platila, pokud n > 2.

Krátké vysvětlení a zvláštní případy

Pro n = 1 je rovnice triviální (mnoho řešení). Pro n = 2 jde o dobře známé Pythagorovy trojice (např. x=3, y=4, z=5), takže pro n=2 existují nekonečně mnohé celočíselné řešení. Fermatova poslední věta se zabývá právě případy n > 2, kdy podle tvrzení žádné netriviální řešení neexistuje.

Historie

Pierre de Fermat zapsal své slavné tvrzení do okraje knihy Arithmetica v roce 1637 a dodal poznámku: „Mám důkaz této věty, ale na tomto okraji není dost místa.“ Fermat však žádný úplný doklad pro všechna n neuvedl. Později se ukázalo, že pravděpodobně měl skutečně platný důkaz jen pro speciální případ n=4 — ten Fermat vyřešil metodou nekonečného sestupu.

V průběhu následujících století matematici prokazovali větu pro jednotlivé exponenty: například Euler dokázal případ n=3, další práce se týkaly dalších konkrétních hodnot n. Ale úplný důkaz pro všechna n zůstal otevřený více než tři století.

Důkaz konečně (1993–1995)

Rozuzlení přišlo až na konci 20. století v souvislosti s teorií eliptických křivek a modulárních forem. Klíčové kroky byly:

• Gerhard Frey navrhl, že pokud by existovalo netriviální řešení rovnice pro nějaké n > 2, dalo by se z něj zkonstruovat speciální eliptická křivka (dnes nazývaná Freyova křivka), která by měla zvláštní aritmetické vlastnosti.
• Ken Ribet dokázal (Ribetova věta), že tato Freyova křivka by nemohla být modulární pokud by takové netriviální řešení existovalo. Tím se ukázalo, že Fermatova poslední věta by následovala z tvrzení, že všechny semistabilní eliptické křivky jsou modulární (to bylo tehdy součástí širšího Taniyama–Shimura–Weilova hypotézy).
• Andrew Wiles, po letech soukromé práce, oznámil v roce 1993 důkaz modularity pro velkou třídu eliptických křivek (dostatečnou pro pokrytí Freyovy křivky). Původní důkaz obsahoval mezírku, kterou Wiles spolu s Richadem Taylorem opravili; konečný, opravený důkaz byl zveřejněn v roce 1995.

Výsledkem bylo, že předpoklad existence netriviálního celočíselného řešení vedl k rozporu s modulatním chováním eliptické křivky — tedy k důkazu Fermatovy poslední věty. Později byla celá Taniyama–Shimura (nyní nazývaná modularita) pro všechny eliptické křivky definitivně dokázána týmem Breuil–Conrad–Diamond–Taylor (2001), čímž se teorém ještě více upevnil v širším kontextu aritmetiky eliptických křivek.

Výsledek a význam

Fermatova poslední věta je tedy dokázána: neexistují kladná celá čísla x, y, z s xⁿ + yⁿ = zⁿ pro žádné celé n > 2. Důkaz z 90. let 20. století měl velký dopad na matematiku, protože spojil různé oblasti (teorii čísel, eliptické křivky, modulární formy) a vedl k rozvoji nových technik, například metod pro dokazování „modularity lifting“ (Taylor–Wiles metoda).

Kdo se na tom podílel

Mezi klíčové osoby patří Pierre de Fermat (formulace), Gerhard Frey (pojmenování spojitosti s eliptickými křivkami), Ken Ribet (důkaz vztahu mezi Freyovou křivkou a modularitou), Andrew Wiles a Richard Taylor (konečný důkaz modularity pro semistabilní eliptické křivky a tím i Fermatovy věty) a později Christophe Breuil, Brian Conrad, Fred Diamond a Richard Taylor (dokonalé dokázání modularity pro všechny eliptické křivky).

Fermatova poslední věta tak zůstává nejen ikonickým výsledkem dějin matematiky, ale i příkladem toho, jak otázka, která je jednoduše formulovatelná i laikovi, může vést k hlubokým objevům a propojení různých matematických disciplín.

Důkaz

Důkaz byl proveden pro některé hodnoty n (např. n=3, n=4, n=5 a n=7). Důkaz provedli Fermat, Euler, Sophie Germainová a další lidé.

Úplný důkaz však musí ukázat, že rovnice nemá řešení pro všechny hodnoty n (pokud je n celé číslo větší než 2). Důkaz byl velmi obtížný a řešení Fermatovy poslední věty vyžadovalo spoustu času.

Anglický matematik Andrew Wiles našel řešení v roce 1995, 358 let poté, co o něm psal Fermat. Řešení mu pomohl najít Richard Taylor^[]. Důkaz trval osm let výzkumu. Větu dokázal tak, že nejprve dokázal větu o modularitě, která se tehdy nazývala Taniyama-Shimurova domněnka. Pomocí Ribetovy věty se mu podařilo podat důkaz Fermatovy poslední věty. V červnu 1997 obdržel Wolfskehlovu cenu Göttingenské akademie: její výše činila přibližně 50 000 amerických dolarů.

Po několika letech debat se lidé shodli, že Andrew Wiles problém vyřešil. Andrew Wiles při řešení použil mnoho moderních matematických postupů a dokonce vytvořil novou matematiku. Tato matematika byla v době, kdy Fermat psal svůj slavný zápis, neznámá, takže ji Fermat nemohl použít. To vede k domněnce, že Fermat ve skutečnosti neměl úplné řešení problému.

Britský matematik Andrew Wiles

Otázky a odpovědi

Otázka: Co je Fermatova poslední věta?

Otázka: Kdy byl FLT napsán?

Otázka: Co Fermat o této větě řekl?

Otázka: Jak dlouho trvalo, než byla FLT dokázána?

Otázka: Myslí si matematici, že Fermat měl skutečný důkaz věty?

Otázka: Co stojí v původní úloze?

Hledání podle dopisu