Fermatova věta

Šablona:Infobox Matematická věta

Velká Fermatova věta (často zkracována jen jako Fermatova věta, v anglické literatuře označována jako Fermat's Last Theorem) je jedním z nejslavnějších a nejdéle neřešených tvrzení v historii matematiky. Věta tvrdí, že neexistují žádná tři kladná celá čísla a, b a c, pro která by platila rovnost aⁿ + bⁿ = cⁿ, pokud je exponent n přirozené číslo striktně větší než 2.

Tvrzení formuloval francouzský právník a amatérský matematik Pierre de Fermat přibližně v roce 1637. Zapsal jej na okraj své kopie překladu knihy Aritmetika od starořeckého matematika Diofanta z Alexandrie. K zápisu připojil historicky proslulou poznámku, ve které tvrdil, že pro toto tvrzení nalezl "vpravdě podivuhodný důkaz", pro který však na okraji knihy "není dostatek místa". Protože po Fermatově smrti nebyl v jeho pozůstalosti žádný takový obecný důkaz nalezen, stal se z této domněnky největší nevyřešený problém teorie čísel.

Přestože věta samotná nemá v matematice rozsáhlé přímé aplikace a její tvrzení je spíše izolovaným faktem, snaha o její dokázání trvající 357 let vedla k vytvoření zcela nových odvětví matematiky, zejména v oblasti algebraické teorie čísel, algebraické geometrie a teorie modulárních forem. Finální důkaz poskytl britský matematik Andrew Wiles ve spolupráci s Richardem Taylorem v roce 1994 a publikoval jej v roce 1995.

📝 Formulace a matematická podstata

Věta se zabývá diofantickými rovnicemi, což jsou rovnice, u kterých se hledají výhradně celočíselná řešení. Pro exponent n = 2 má rovnice a² + b² = c² nekonečně mnoho celočíselných řešení. Tato řešení jsou známa jako pythagorejské trojice (například čísla 3, 4 a 5, protože 3² + 4² = 9 + 16 = 25 = 5²). Tato rovnost geometricky odpovídá Pythagorově větě pro pravoúhlé trojúhelníky s celočíselnými délkami stran.

Velká Fermatova věta tvrdí, že jakmile se exponent n zvýší na hodnotu 3, 4, 5 nebo jakoukoliv vyšší, tento vztah se nenávratně rozbije a žádná taková kombinace tří celých kladných čísel již neexistuje. Neexistuje tedy žádná krychle, jejíž objem by bylo možné beze zbytku rozdělit na dvě menší krychle o celočíselných délkách hran, a totéž platí pro čtvrté, páté a všechny vyšší mocniny.

Z elementární logiky a vlastností mocnin vyplývá poměrně brzy fakt, že k důkazu věty pro všechna možná n stačí dokázat tvrzení pouze pro n = 4 a následně pro všechna lichá prvočísla. Každé složené číslo lze totiž rozložit na součin prvočísel a čtyřka řeší problematiku všech sudých mocnin (jelikož sudé číslo větší než 2 musí být dělitelné buď čtyřmi, nebo lichým prvočíslem). Z tohoto důvodu se historický výzkum soustředil primárně na prvočíselné exponenty.

⏳ Historický vývoj (17. až 19. století)

Fermatův vlastní důkaz pro n = 4

Sám Pierre de Fermat ve svých zápiscích zanechal jediný platný důkaz, a to pro specifický případ n = 4. Pro tento důkaz použil metodu, kterou sám vynalezl a nazval ji metodou nekonečného sestupu (anglicky infinite descent). Tato technika je variantou důkazu sporem. Fermat předpokládal, že existuje nějaké hypotetické řešení pro čtvrté mocniny. Pomocí algebraických manipulací následně ukázal, že z tohoto řešení by bylo možné vykonstruovat další řešení, které by se skládalo z přísně menších celých čísel. Opakováním tohoto procesu by vznikala stále menší a menší kladná celá čísla, což je ovšem nemožné, protože množina kladných celých čísel je zdola omezená (nemůže klesat do nekonečna pod hodnotu 1). Tím Fermat dokázal, že původní předpoklad o existenci řešení musel být chybný.

Důkazy pro exponenty 3, 5 a 7

V průběhu následujících dvou století se o důkaz pro další specifická prvočísla pokoušeli největší matematici své doby. Švýcarský matematik Leonhard Euler publikoval v roce 1753 důkaz pro n = 3. Eulerův důkaz rovněž využíval metodu nekonečného sestupu, ale vyžadoval zavedení komplexních čísel, specificky formátu a + b√-3. Přestože jeho původní argument obsahoval logickou mezeru týkající se jednoznačnosti rozkladu na prvočísla v tomto novém číselném oboru, byla tato chyba později napravena.

Na počátku 19. století vypracovala francouzská matematička Sophie Germainová inovativní obecný přístup. Místo dokazování věty pro jednotlivá čísla definovala třídu prvočísel, dnes nazývaných prvočísla Sophie Germainové (prvočísla p, pro která je i 2p + 1 prvočíslem). Její práce poskytla důkaz první části Fermatovy věty pro širokou škálu exponentů a položila základy pro práci dalších vědců.

V roce 1825 využili německý matematik Peter Gustav Lejeune Dirichlet a francouzský matematik Adrien-Marie Legendre poznatky Germainové a nezávisle na sobě dokončili úplný důkaz pro exponent n = 5. Následně v roce 1839 francouzský matematik Gabriel Lamé rozšířil tyto metody a podal extrémně složitý důkaz pro případ n = 7. S rostoucím exponentem se však délka a komplexita algebraických manipulací stávala neúnosnou.

Selhání jednoznačné faktorizace a práce Ernsta Kummera

Dne 1. března 1847 oznámil Gabriel Lamé na půdě Francouzské akademie věd, že objevil obecný důkaz Fermatovy věty založený na faktorizaci v komplexních číslech. Jiný přítomný matematik, Joseph Liouville, však okamžitě upozornil na fatální chybu: Lamé automaticky předpokládal, že jednoznačný rozklad na prvočísla (základní vlastnost běžných celých čísel) platí i pro komplexní algebraická čísla v takzvaných cyklotomických tělesech.

O několik týdnů později německý matematik Ernst Kummer zaslal do Paříže svůj článek, ve kterém dokázal, že jednoznačná faktorizace pro mnoho vyšších exponentů skutečně neplatí. K vyřešení tohoto strukturálního problému Kummer vynalezl koncept takzvaných ideálních komplexních čísel. Pomocí této teorie dokázal Velkou Fermatovu větu pro celou novou třídu exponentů, které nazval "regulární prvočísla". Všechna prvočísla do hodnoty 100 s výjimkou 37, 59 a 67 jsou regulární. Kummerův přístup byl natolik vyčerpávající, že na dlouhá desetiletí znamenal pomyslný konec rozvoje klasických metod řešení tohoto problému.

💰 Wolfskehlova cena a amatérské důkazy

V roce 1908 získal problém masivní pozornost širší veřejnosti díky finanční motivaci. Německý průmyslník a matematik Paul Wolfskehl odkázal ve své závěti částku 100 000 zlatých marek tomu, kdo jako první publikuje kompletní a matematicky korektní důkaz Velké Fermatovy věty.

Podle populární historické anekdoty se Wolfskehl dříve ve svém životě rozhodl spáchat sebevraždu kvůli nešťastné lásce. Plánoval tak učinit přesně o půlnoci. Protože si však před stanoveným časem stihl vyřídit všechny záležitosti, vzal do ruky Kummerův článek o Fermatově větě, aby si zkrátil čekání. Během čtení narazil na část, kterou považoval za chybnou. Ve snaze Kummera opravit se do matematického problému zabral natolik, že zmeškal čas své vlastní plánované sebevraždy. Z vděčnosti k problému, který mu zachránil život, pak sepsal zmíněnou závěť.

Správu peněz a hodnocení důkazů převzala Královská akademie věd v Göttingenu. Oznámení obrovské finanční odměny vedlo k tomu, že akademie začala být zaplavována tisíci chybných důkazů od amatérských matematiků z celého světa. Pouze v prvním roce platnosti ceny obdržela akademie 621 důkazů. Všechny byly vadné, často se stejnými triviálními logickými smyčkami. Ačkoli hodnota ceny po první světové válce kvůli hyperinflaci drasticky klesla, proud dopisů neustával po celé 20. století.

🔬 Cesta k modernímu důkazu

Klíč k finálnímu rozlousknutí 350 let staré záhady nepocházel z klasické teorie čísel, ale ze zdánlivě zcela nesouvisejících oborů moderní matematiky vyvinutých ve druhé polovině 20. století.

Tanijamova-Šimurova domněnka

V roce 1955 japonští matematici Jutaka Tanijama a Goro Šimura formulovali revoluční hypotézu. Tvrdili, že dvě naprosto rozdílná odvětví matematiky jsou ve skutečnosti identická. Na jedné straně stály eliptické křivky (topologické útvary zkoumané algebraickou geometrií) a na straně druhé modulární formy (vysoce symetrické analytické funkce zkoumané v komplexní analýze). Tanijamova-Šimurova domněnka uváděla, že každá eliptická křivka s racionálními koeficienty je v hlubší podstatě modulární formou. Ve vědecké komunitě bylo toto tvrzení považováno za natolik odvážné, že bylo nazýváno "velkou sjednocující teorií matematiky". Nikdo však v té době netušil, že by mohlo mít souvislost s Fermatem.

Freyova křivka a Ribetova věta

Zásadní průlom nastal v roce 1984. Německý matematik Gerhard Frey vystoupil na sympoziu a navrhl nečekanou myšlenku. Ukázal, že pokud by hypoteticky existovalo řešení Fermatovy rovnice (tedy existovala by čísla A, B a C, pro která platí Aⁿ + Bⁿ = Cⁿ), bylo by možné z těchto čísel zkonstruovat specifickou eliptickou křivku s rovnicí y² = x(x - Aⁿ)(x + Bⁿ). Tato křivka, dnes známá jako Freyova křivka, by však měla natolik extrémní a patologické vlastnosti, že by s největší pravděpodobností nemohla být modulární.

Freyova myšlenka znamenala absolutní změnu paradigmatu: Pokud je Tanijamova-Šimurova domněnka pravdivá (tedy všechny eliptické křivky jsou modulární), pak patologická Freyova křivka nesmí existovat. A pokud Freyova křivka neexistuje, neexistují ani čísla A, B a C, ze kterých je složena. Dokázání Tanijamovy-Šimurovy domněnky by tedy automaticky dokázalo Velkou Fermatovu větu.

Frey však nedokázal exaktně matematicky potvrdit, že jeho křivka skutečně nemůže být modulární. Tento chybějící spojovací článek (označovaný jako Epsilon domněnka) exaktně dokázal americký matematik Ken Ribet z Kalifornské univerzity v Berkeley v roce 1986. Od tohoto okamžiku se osudy dvou problémů trvale spojily.

🎓 Triumf Andrewa Wilese

Když se britský matematik Andrew Wiles, působící na Princetonské univerzitě, na konci léta 1986 dozvěděl o Ribetově důkazu, okamžitě opustil všechny své probíhající výzkumné projekty. Rozhodl se, že dokáže Tanijamovu-Šimurovu domněnku, a tím naplní svůj dětský sen – dokázat Fermatovu větu.

Na rozdíl od běžné praxe v akademickém světě pracoval Wiles v naprostém utajení. Během sedmi let nekomunikoval své myšlenky s žádnými kolegy. Pouze publikoval drobné fragmenty svých dřívějších prací, aby na oddělení nevzbudil podezření z nečinnosti. Jeho cílem bylo dokázat domněnku alespoň pro specifickou podtřídu takzvaných polostabilních eliptických křivek, což pro vyvrácení existence Freyovy křivky postačovalo. Využíval k tomu nejmodernější techniky dvacátého století, jako byly Galoisovy reprezentace, Iwasawova teorie a Kolyvaginova-Flachova metoda.

Ohlášení důkazu a zjištění chyby

V červnu 1993 Wiles ohlásil sérii tří přednášek na půdě Isaac Newton Institute v anglické Cambridge. Přednášky nesly záměrně nenápadný název "Modulární formy, eliptické křivky a Galoisovy reprezentace". Na poslední přednášce, 23. června 1993, za účasti největších světových expertů, dopsal na tabuli závěrečný krok důkazu a s úsměvem dodal: "Myslím, že tady skončím." Zpráva okamžitě obletěla světová média.

Během léta 1993 byl Wilesův dvousetstránkový rukopis předán přísnému formálnímu peer-review procesu, na kterém se podílela skupina předních expertů včetně Nicka Katze. Při kontrole třetí kapitoly Katz narazil na logickou nesrovnalost týkající se přesných odhadů velikosti jedné ze Selmerových grup v rámci Kolyvaginovy-Flachovy Eulerovy metody. Wiles se zpočátku domníval, že jde o drobný detail, avšak s postupem času se ukázalo, že chyba je strukturální a hrozí zhroucením celého sedmiletého důkazu.

Oprava a definitivní konec

Během následujícího roku pracoval Wiles v rostoucím zoufalství na záchraně svého životního díla. Nakonec si k pomoci přizval svého bývalého studenta, vynikajícího experta na teorii čísel, Richarda Taylora. Ve chvíli, kdy byli oba na podzim 1994 blízko absolutní kapitulaci, Wiles zaznamenal zásadní vhled. Uvědomil si, že Kolyvaginova-Flachova metoda, která sama o sobě selhávala, se naprosto dokonale doplňuje s Iwasawovou teorií, kterou dříve opustil. Ani jedna metoda nestačila samostatně, ale jejich propojení matematicky tvořilo neprůstřelný celek.

Dne 19. září 1994 Wiles dokončil opravený důkaz. Finální práce o rozsahu 130 stran, rozdělena do dvou článků (jeden napsaný Wilesem, druhý Wilesem a Taylorem), byla v květnu 1995 publikována v prestižním časopise Annals of Mathematics. Andrew Wiles obdržel v roce 1997 obnovenou Wolfskehlovu cenu. Důkaz Velké Fermatovy věty byl definitivně uzavřen.

📈 Přehled vývoje důkazů a milníků

Tato tabulka obsahuje chronologicky kompletní matematické milníky a nezahrnuje pouze částečné výsledky, ale každou zásadní větu a krok vedoucí k finálnímu řešení v roce 1994. Žádné historické období nebylo vynecháno.

Rok	Událost / Dosažený pokrok	Hlavní aktér	Význam pro důkaz
1637	Formulace Fermatovy věty v knize Aritmetika	Pierre de Fermat	Definován základní problém $a^n + b^n \neq c^n$ pro $n > 2$.
cca 1640	Důkaz pro n = 4	Pierre de Fermat	Zavedení metody nekonečného sestupu, redukce problému pouze na lichá prvočísla.
1753	Důkaz pro n = 3	Leonhard Euler	První užití komplexních čísel pro faktorizaci rovnic v teorii čísel.
1825	Rozšíření Germainové a důkaz pro n = 5	Peter Gustav Lejeune Dirichlet, Adrien-Marie Legendre	Specifikace důkazu pro prvočísla Sophie Germainové, vyřešení páté mocniny.
1839	Důkaz pro n = 7	Gabriel Lamé	Limitní použití čistě algebraických metod bez zavedení nové hlubší teorie.
1847	Analýza chyby jedinečné faktorizace	Joseph Liouville, Gabriel Lamé	Objevení zásadní blokády bránící obecnému použití dosavadních metod.
1847	Teorie ideálů a regulární prvočísla	Ernst Kummer	Vyřešení velkého množství exponentů najednou, objevení chování neregularit (např. 37, 59, 67).
1908	Ustanovení Wolfskehlovy ceny	Paul Wolfskehl	Popularizace problému pro laickou veřejnost a exploze chybných důkazů.
1955	Tanijamova-Šimurova domněnka	Jutaka Tanijama, Goro Šimura	Hypotetické spojení eliptických křivek a modulárních forem (základ pro moderní důkaz).
1984	Zavedení patologické eliptické křivky	Gerhard Frey	Návrh, že Fermatova rovnice vytváří křivku, která vyvrací Tanijamovu-Šimurovu domněnku.
1986	Důkaz Epsilon domněnky	Ken Ribet	Exaktní matematický důkaz, že z Tanijamovy-Šimurovy domněnky přímo vyplývá Fermatova věta.
1993 (Červen)	První ohlášení důkazu v Cambridge	Andrew Wiles	Oznámení důkazu Tanijamovy-Šimurovy domněnky pro polostabilní křivky po sedmi letech izolace.
1993 (Září)	Nalezení fatální logické trhliny	Nick Katz, Andrew Wiles	Zjištění nedostatku v Kolyvaginově-Flachově Eulerově systému, pád původního důkazu.
1994 (Září)	Úspěšná oprava a finální důkaz	Andrew Wiles, Richard Taylor	Geniální propojení Iwasawovy teorie s Flachovou metodou, exaktní a nenapadnutelné potvrzení věty.
1995	Publikace výsledků	Annals of Mathematics	Oficiální recenzované vydání, potvrzení konsenzem celosvětové matematické komunity.

💡 Pro laiky

K pochopení Fermatovy věty nepotřebujete hluboké znalosti algebry, stačí si představit stavění objektů z kostek.

Začněme u čtverců (což je mocnina na druhou). Představte si, že máte na podlaze vyskládaný čtverec z 9 dlaždic (tedy 3 na druhou) a vedle něj čtverec ze 16 dlaždic (4 na druhou). Pokud tyto dlaždice sesypete na jednu hromadu, budete jich mít 25. A protože 25 je 5 krát 5, můžete ze všech těchto dlaždic poskládat jeden nový, dokonale plný, větší čtverec. Matematika toto zná z Pythagorovy věty a existuje nekonečně mnoho možností, jak dva menší čtverce spojit do jednoho velkého beze zbytku.

Fermatova věta zkoumá, co se stane, když se přesuneme do trojrozměrného prostoru. Představte si, že nemáte ploché dlaždice, ale stavíte krychle ze stavebních kostek (což je mocnina na třetí). Vezmete jednu malou krychli, druhou malou krychli, rozbijete je na jednotlivé kostky a pokusíte se z nich postavit jednu velkou, dokonale plnou krychli tak, aby vám nechyběla a nepřebývala ani jedna jediná kostka.

Fermat tvrdil, že toto je v případě krychlí **absolutně nemožné**. Vždy vám budou nějaké kostičky chybět na dostavění stěny, nebo vám naopak na zemi zbudou nevyužité. A co více, věta tvrdí, že je to nemožné nejen pro krychle (mocnina na třetí), ale i pro jakékoliv hypotetické čtyřrozměrné útvary (mocnina na čtvrtou), pětirozměrné (mocnina na pátou) a tak dále až do nekonečna. Spojit dvě "stejné mocniny" do jedné "stejné mocniny" zkrátka funguje pouze na rovném papíře (u čtverců), ale nikde jinde ve vesmíru matematiky už ne. Trvalo 357 let, než vědci pomocí složité topologie definitivně dokázali, že měl Fermat pravdu a že tento geometrický klam zkrátka nemá žádné skryté řešení.

🌍 Kulturní odkaz

Fermatova věta zanechala výraznou stopu nejen v akademickém světě, ale překvapivě i v populární kultuře. Její definice je natolik jednoduchá a její historie natolik dramatická, že slouží spisovatelům a scenáristům jako ideální prototyp "neřešitelné záhady".

Ve vědeckofantastickém seriálu Star Trek: Nová generace (konkrétně v epizodě "The Royale" odvysílané v roce 1989) kapitán Jean-Luc Picard zmiňuje Velkou Fermatovu větu jako fascinující příklad rébusu, který vzdoruje vyřešení déle než 800 let (děj seriálu se odehrává ve 24. století). Protože byl Wilesův důkaz dokončen o pět let později v roce 1994, seriál obsahoval technickou historickou chybu, což tvůrci vtipně žehlili v epizodě Deep Space Nine, kde postavy zmiňují "Wilesův unikátní přístup k problému".

Jedno z nejslavnějších vystoupení věty se nachází v animovaném seriálu Simpsonovi. V epizodě ze speciálního čarodějnického dílu Homer vstupuje do třetí dimenze a v pozadí se vznáší rovnice: $3987^{12} + 4365^{12} = 4472^{12}$. Pokud tuto rovnici naťukáte do obyčejné kalkulačky s omezeným počtem desetinných míst, kalkulačka výsledek vyhodnotí jako správný, což by popíralo Fermatovo tvrzení. Jde však o úmyslný matematický vtip (zvaný "near-miss"), který do scénáře zakomponoval scenárista a matematik David X. Cohen. Rozdíl na obou stranách rovnice se projeví až na desátém místě a obě čísla se ve skutečnosti liší o obrovskou hodnotu, čímž Fermatova věta zůstává neporušena.

Zdroje