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.

Autor: Leandro Alegsa

30-03-2026

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}} $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.

Vztahy k jiné matematice

Fermatova poslední věta je obecnější forma rovnice: a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} $a^{2}+b^{2}=c^{2}$ . (Tato věta pochází z Pythagorovy věty). Zvláštním případem je situace, kdy a, b a c jsou celá čísla. Pak se nazývají "pythagorovská trojice". Například: 3, 4 a 5 dávají 3^2 + 4^2 = 5^2 jako 9+16=25 nebo 5, 12 a 13 dávají 25+144=169. Je jich nekonečně mnoho (pokračují donekonečna). Fermatova poslední věta hovoří o tom, co se stane, když se dvojka změní na větší celé číslo. Říká, že pak neexistují žádné trojice, když a, b a c jsou celá čísla větší nebo rovna jedné (to znamená, že pokud je n větší než dvě, a, b a c nemohou být přirozená čísla).

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.

Otázky a odpovědi

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

Odpověď: Fermatova poslední věta (FLT) říká, že je-li n celé číslo větší než 2, pak rovnice x^n + y^n = z^n nemá řešení, když x, y a z jsou přirozená čísla. Jinými slovy, nelze vyjádřit celými čísly dvě krychle, jejichž součet se rovná třetí krychli nebo čemukoli vyššímu než čtverci.

Otázka: Kdy byl FLT napsán?

Odpověď: Pierre de Fermat napsal o FLT v roce 1637 uvnitř svého výtisku knihy Arithmetica.

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

Odpověď: Řekl: "Mám důkaz této věty, ale na tomto okraji není dost místa".

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

Odpověď: Trvalo 357 let, než byla FLT správně dokázána; nakonec se to podařilo v roce 1995.

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

Odpověď: Většina matematiků si nemyslí, že Fermat skutečně měl okrajový důkaz této věty.

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

Odpověď: Původní problém říká, že není možné rozdělit cubum autem (krychli) na dvě krychle nebo quadratoquadratum (čtverec-čtverec) na dva čtverce-čtverce a obecně nic mimo čtverce nelze rozdělit na dva stejnojmenné, přičemž demonstrace je pozoruhodná, ale příliš velká pro velikost okraje.