Matematika je často vnímána jako chladné, abstraktní pole čísel, vzdálené lidské zkušenosti. Nicméně, jak ukazuje Simon Singh ve své přelomové knize Fermat’s Last Theorem z roku 1997, pátrání po matematickém důkazu je hluboce lidská sága, plná posedlosti, tragédie, tajných společností a nakonec i triumfu.
Téměř tři desetiletí po svém zveřejnění zůstává Singhova práce definujícím zkoumáním toho, co znamená hledat absolutní pravdu prostřednictvím logiky.
Síla absolutního důkazu
Příběh nezačíná složitými rovnicemi, ale základním konceptem matematického důkazu. Pro ilustraci tohoto rozdílu se Syng obrací k Pythagorovi. Ačkoli mnoho civilizací pracovalo s trojúhelníky, Pythagoras způsobil revoluci, protože se nespoléhal na pokusy a omyly; použil nevyvratitelnou logiku, aby dokázal, že jeho věta ($x^2 + y^2 = z^2$) platí pro každý pravoúhlý trojúhelník.
Tento rozdíl je nesmírně důležitý: ve vědě lze teorie aktualizovat, jakmile jsou k dispozici nová data, ale v matematice je osvědčená věta věčnou pravdou. Právě tato touha po „absolutním vědění“ pohání matematiky zastoupené v Singhově vyprávění.
Fermatova “okrajová” záhada
Ústřední drama se točí kolem Pierra de Fermata, francouzského soudce a geniálního matematika 17. století. O Fermatovi je známo, že přemýšlel o pythagorejské rovnici. Navrhl, že pokud má rovnice $x^2 + y^2 = z^2$ nekonečný počet celočíselných řešení, pak pro žádný vyšší stupeň tato rovnice nefunguje. Jinými slovy:
Pokud $n > 2$, pak rovnice $x^n + y^n = z^n$ nemá řešení v celých číslech.
V roce 1637 Fermat načmáral na okraje knihy, že našel „skutečně úžasný“ důkaz, ale dodal (v tom, co se stalo legendou), že okraje jsou příliš úzké na to, aby ho obsahovaly. Toto odvážné, nepodložené tvrzení podnítilo 350letou intelektuální posedlost a nechala generace matematiků pronásledovat ducha.
Galerie matematických tragédií a triumfů
Synge vdechuje život historii matematiky a popisuje skvělé, ale často chybné lidi, kteří se ocitli ve stínu Fermata:
- Sophie Germain: průkopnice, která musela pracovat pod mužským pseudonymem, aby přispěla k vědě.
- Evariste Galois: revolucionář, jehož život byl přerušen v souboji a zanechal po sobě inovativní díla.
- Yutaka Taniyama: matematik, jehož nápady položily základ budoucího řešení, ale bohužel spáchal sebevraždu.
Vyvrcholením knihy je Andrew Wiles, matematik, který v roce 1994 konečně „rozluštil kód“. Wiles toho dosáhl vybudováním logického mostu mezi dvěma zdánlivě nesouvisejícími obory: eliptickými křivkami a modulárními formami. Toto spojení nebylo jen řešením jednoho problému; potvrdila mnohem větší matematickou vizi.
Velký design: Program Langlands
Význam Wilesova důkazu daleko přesahuje konkrétní Fermatovu domněnku. Poskytla první důkazy pro Langlands Program, velkou architektonickou vizi v matematice navrženou Robertem Langlandsem v roce 1967.
Langlandsův program předpokládá, že všechna nesourodá odvětví matematiky jsou hluboce propojena. Teorie říká, že nalezením takových „mostů“ je možné vyřešit problém, který se v jedné oblasti jeví jako neřešitelný pomocí specializovaných nástrojů v jiné. Wilesův úspěch prokázal, že tato spojení byla skutečná a připravila cestu pro moderní průlomy, jako jsou pokroky v harmonické analýze v roce 2024.
Závěr
Fermatův poslední teorém není jen příběhem jedné rovnice; je důkazem lidské touhy porozumět základní struktuře reality. Tím, že Singh zachází s matematickými důkazy jako s uměleckými díly, ukazuje, že hledání logiky je ze své podstaty hlubokým a krásným lidským úsilím.
