Veľká Fermatova veta: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Robbot (diskusia | príspevky)
Daevid (diskusia | príspevky)
d oprava and na a
Riadok 31:
Koncom 60. rokov 20. storočia Yves Hellegouarch objavil súvislosť medzi [[eliptická krivka|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 [[Gerhard Frey|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 <math>n</math> je [[prvočíslo]] väčšie ako 3, <math>a</math>, <math>b</math>, anda <math>c</math> sú nenulové celé čísla a <math>a^n + b^n = c^n</math>, potom eliptická krivka <math>y^2 = x(x + a^n)(x - b^n)</math> 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.