Veľká Fermatova veta

thumb|260px|Strana 85 z Diofantovej knihy ''Arithmetica'' (vyd. 1621). Práve na strane 85 napísal Fermat svoje tvrdenie.

**Veľká Fermatova veta** je jedna z najslávnejších viet v dejinách matematiky. Znie nasledovne:

:Nejestvujú celé čísla x, y a z väčšie ako nula, pre ktoré by platilo x^n+y^n=z^n, kde n je prirodzené číslo väčšie ako 2. 

Vetu si roku 1637 poznamenal francúzsky matematik Pierre de Fermat na okraji knihy *Arithmetica* pri Pytagorovej vete od Diofanta v tejto podobe:
:*Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exigitas non caperet.*

:Po slovensky: *Nie je možné rozdeliť kocku do dvoch kociek, či štvrtú mocninu do dvoch štvrtých mocnín alebo všeobecne akúkoľvek mocninu vyššiu ako druhú do dvoch rovnakých mocnín. Objavil som naozaj taký zvláštny dôkaz, že tento okraj knihy je primalý na to, aby sa tam vošiel.*

Uvedený dôkaz ale nebol v jeho pozostalosti objavený. Vie sa však, že Fermat našiel dôkaz pre n = 4, ale pravdepodobne nie pre iné exponenty.

## Dôkazy
Počas nasledujúcich storočí sa podarilo dokázať niektoré ďalšie zvláštne prípady vety. Prípad n = 4 našiel vo Fermatovej pozostalosti matematik Leonhard Euler a pomocou komplexných čísel dokázal platnosť vety pre n=3. Na základe jeho prác sa podarilo rozšíriť platnosť vety pre n rovné všetkým násobkom čísel 3 a 4 (3, 6, 9, ...; 4, 8, 12, ...). 

Roku 1825 rozšírili platnosť vety Peter Gustav Lejeune Dirichlet a Adrien-Marie Legendre pre n = 5 a roku 1839 dokázal platnosť vety Gabriel Lamé aj pre n = 7.

Definitívny dôkaz pokrývajúci Fermatovo tvrdenie v celej jeho všeobecnosti získal až britský matematik Andrew Wiles roku 1994. Ide o jeden z najzložitejších matematických dôkazov v dejinách matematiky.

## Význam
Samotná veľká Fermatova veta nemá pre matematiku veľký význam a fakt, na ktorý poukazuje, je zatiaľ len matematickou zaujímavosťou a nemá doposiaľ využitie. No dôkaz, ktorý Andrew Wiles vytvoril, je neoceniteľný pre celý matematický svet. Pre dôkaz muselo byť zjednotených veľa matematických myšlienok a teórií a veľa ich muselo byť vytvorených. Práve množstvo týchto postupov našlo uplatnenie v modernej vede a umožnilo ďalšie výskumy. 

Andrew Willes dal matematickému svetu novú nádej, keď dokázal Tanijamovu-Šimurovu domnienku, ktorá spája eliptické krivky a modulárne formy – dve rôzne odvetvia matematiky s úplne rôznymi princípmi a prístupmi k problémom, ale pri bližšom pohľade s mnohými spojitosťami a spoločnými vlastnosťami. 
Tým Willes dokázal, že modulárne formy a eliptické krivky si neodporujú, a teda dokázal aj Tanijamovu-Šimurovu domnienku. Zároveň dal matematikom nádej na splnenie Langdsovho programu, teda vytvorenia veľkej zjednotenej matematiky. 

## Dôkaz Veľkej Fermatovej vety

Dôkaz Veľkej Fermatovej vety je založený na vete známej ako "epsilonová domnienka" navrhnutá Serrym a dokázaná Kenom Ribetom v lete roku 1986. Táto veta spojila Veľkú Fermatovu vetu s tzv. Taniyamovou-Šimurovou domnienkou o vzťahu medzi eliptickými krivkami nad poľom racionálnych čísel a modulárnymi formami. V roku 1993 Andrew Wiles oznámil dôkaz tejto domnienky, a tak i Veľkej Fermatovej vety, avšak ako sa neskôr ukázalo, dôkaz obsahoval chybu v kritickej časti, ktorá ohraničovala rád istej grupy. V roku 1994 Wiles a Richard Taylor, bývalý študent, zverejnili opravený dôkaz. Wilesov priamy útok na domnieku začal hneď, ako Ribet oznámil svoj dôkaz a začal tak žiť svojich sedem rokov v takmer úplnej tajnosti. Hlavný problém, ktorý Andrew Wiles musel prekonať, bolo nájsť priradenie medzi polostabilnými eliptickými krivkami nad racionálymi číslami a polostabilnými modulárnymi eliptickými krivkami nad racionálnymi číslami, o ktorom ukázal, že existuje explicitným spočítaním oboch množín. Pred Wilesom bolo mnoho pokusov spočítať eliptické krivky, avšak nikto nezistil ako. Andrew Wiles prišiel na to, že by mohol spočítať príslušné Galoisove reprezentácie. V tomto procese rozšíril myšlienky Barryho Mazura o deformáciách Galoisových reprezentácií.

Koncom 60. rokov 20. storočia Yves Hellegouarch objavil súvislosť medzi eliptickými krivkami a Veľkou Fermatovou vetou, ktorú použil na dôkazy výsledkov o eliptických krivkách z výsledkov, ktoré implikovala Veľká Fermatova veta. Toto viedlo Gerharda Freya k myšlienke, že z Taniyamovej-Šimurovej vety vyplýva práve Veľká Fermatova veta. Neskôr bola táto myšlienka sformalizovaná ako Serryho domnienka a dokázal ju Ken Ribet.

:(Ribetova veta) Ak n je prvočíslo väčšie ako 3, a, b, a c sú nenulové celé čísla a a^n + b^n = c^n, potom eliptická krivka y^2 = x(x + a^n)(x - b^n) nie je modulárna.
::Táto veta hovorí, že ak Veľká Fermatova veta neplatí, potom neplatí ani Taniyamova-Šimurova veta. V opačnom smere teda vraví, že ak Taniyamova-Šimurova veta platí, potom platí i Veľká Fermatova veta.

:(Wilesova veta) Ak jedno z čísel a, b a c je párne, n>5, a^n a -b^n sú rôzne nenulové relatívne prvočísla a (a^n)(-b^n)(a^n + b^n) je deliteľné číslom 16, potom eliptická krivka y^2 = x(x + a^n)(x - b^n) je modulárna.
::Wilesova veta hovorí, že eliptické krivky, ktoré súvisia s Veľkou Fermatovou vetou, sú modulárne. Preto ak p je prvočíslo, u, v, a w sú racionálne čísla a u^p + v^p + w^p = 0, potom uvw = 0.

Dôkaz používa štandardné konštrukcie modernej algebraickej geometrie, v ktorej sa používa kategória schém. Tieto sú všeobecne definované v NBG teórii množín, ktorá je konzervatívnym rozšírením ZFC teórie množín, ateda všetky vety o množinách v nej tiež platia. Všeobecne sa uvažuje, že NBG teória množín je v zásade rovnaká ako ZFC teória množín, aj keď sa dá nahradiť presne ZFC teóriou s axiómou o existencii silne neprístupného kardinálneho čísla, dovoliacej zostrojiť Grothendieckovo univerzum. Panuje teda všeobecná diskusia o tom, aké silné axiómy musia byť, aby dôkaz prešiel; pravdepodobne na to bude stačiť aj niečo slabšie ako ZFC.

V roku 1986 Ken Ribet dokázal Serryho epsilonovú domnienku, že každý kontrapríklad a^n+b^n=c^n k Veľkej Fermatovej vete by viedol k eliptickej krivke

:y^2 = x(x-a^n)(x+b^n)

ktorá by bola kontrapríkladom Taniyamovej-Šimurovej domnienky.

Táto domnienka ukázala silnú súvislosť, dnes už dokázanú, medzi eliptickými krivkami a modulárnymi formami. V jednej zo svojich formulácií hovorí, že každá eliptická krivka sa dá parametrizovať racionálnym zobrazením s celočíselnými koeficientami použitím klasickej modulárnej krivky; eliptické krivky sú tiež modulárnymi krivkami.

Andrew Wiles a Richard Taylor boli schopní dokázať špeciálny prípad so semistabilnými eliptickými krivkami, ale tie stačili na vylúčenie kontraprikladov z Taniyamovej-Šimurovej domnienky vychádzajúcich z Veľkej Fermatovej vety. Následne však bola dokázaná kompletná Taniyamova-Šimurova domnienka a dnes niekedy nazývame *veta o modularite*, čo je ďalší míľnik v teórii čísel.

Príbeh o dôkaze je skoro tak pozoruhodný ako záhada okolo vety samotnej. Wiles strávil sedem rokov pracujúc sám na takmer všetkých detailoch v úplnej tajnosti (okrem finálnej kontroly, do ktorej prizval svojho kolegu z Princetonu Nicka Katza). Keď oznamoval svoj dôkaz počas troch prednášok na Inštitúte Isaaca Newtona pre matematické vedy 21. – 12. júna 1993, publikum bolo ohromené množstvom myšlienok a konštrukcií, ktoré v dôkaze predvádzal. Nanešťastie sa počas bližšieho skúmania objavila vážna chyba a zdalo sa, že celý dôkaz sa od základov zrúti. Wiles a Taylor strávili asi rok prácami na oprave dôkazu. V septembri 1994 sa podarilo konečne dôkaz opraviť inou technikou, ktorú Wiles použil vo svojich skorších pokusoch.

## Literatúra
O Veľkej Fermatovej vete a jej riešení vyšla v českom preklade kniha
* Simon Singh: *Veľká Fermatova veta*, (Academia, 2000).

## Externé odkazy
* Andrew Wiles: Modular Elliptic Curves and Fermat's last theorem . *Annals of Mathematics* **141** (1995), 443–551

Kategória:Teória čísel
Kategória:Matematické vety
Kategória:Eponymické termíny v matematike