fermatin kuuluisa lause

Fermat ei todistanut lausettaan, vaan sen teki Andrew Wiles. Todistus löytyy osoitteesta http://math.stanford.edu/~lekheng/flt/wiles.pdf Tuo on käsittääkseni ainoa validi todistus lauseelle ja jos sen haluaa selkokieliseksi, siinä joutuu opettelemaan aika paljon matikkaa.

Muistelen

Joskus nähneeni dokumentin todistelusta, ja vähäisen matematiikan tuntemukseni perusteella sain käsityksen että jokin japanilainen (ehkä) matemaatikko oli suuren työn jälkeen onnistunut todistamaan että kaikki elliptiset käyrät ovat modulaarisia ja Wiles keskittyi todistamaan, että Fermaatin iso lause on elliptinen.
Wiles taisi matkan varrella julkaista useammankin kerran todistuksensa arvioitavaksi ja todetuksi virheelliseksi, ennenkuin onnistui lopulta.

http://fi.wikipedia.org/wiki/Taniyaman–Shimuran_lause

Fermat huhun mukaan oli itse keksinyt lauseelleen todistuksen, ylläolevan kaltainen se ei varmastikaan ollut.

Fermat keksi hienon todistuksen kun n=4, ja ilmeisesti kuvitteli että
myös muut n arvot menisivät yhtä helposti.

Fermatin lause saadaan todistettua, kun osoitetaan lause todeksi kun
n on pariton alkuluku tai 4. Ja tuo n=4 todistus löytynee kaikista lukuteorian
alkeita esittelevistä kirjoista.

Voihan olla että Fermat todellakin oivalsi jonkin ihmeellisen tavan mutta se
on epäuskottavaa.

Minusta Takeshi Saito on kirjoittanut ihan hyvän kirjan "Fermat's Last Theorem Basic Tools". Takakansi väittää, että todistus annetaan yksityiskohtaisesti, mutta siinä on paljon skipattuja todistuksia. Lopussa on kuitenkin lähdeluettelo, jossa on 56 viitettä enimmäkseen artikkeleihin mutta myös joihinkin kirjoihin. Kirjasta on tulossa jatko-osa, "Fermat's Last Theorem Basic Tools: The Proof" joka ilmeisesti vie todistuksen loppuun. Todistuksen omaksuminen ei kuitenkaan onnistu insinööritiedoin, vaan joutuu tekemään aika paljon duunia, jotta todistukset saa palautettua ZFC:hen asti.

Todistuksen idea on seuraava. Olkoon yhtälö A^n B^n=C^n. FLT on voimassa tapauksissa, joissa eksponentti n on 3 tai 4, joten tarkastellaan tapauksia, joissa n on vähintään 5 ja alkuluku. Voidaan olettaa, että A, B ja C ovat keskenään jaottomia, 4|C 1:n ja 2|B:n. Tarkastellaan elliptistä käyrää E_{C^l,B^l}, jonka määrittelee yhtälö y^2=x(x-C^l)(x-B^l). Jos Fermat'n suurella lauseella olisi nollasta poikkeva ratkaisu kun n on vähintään viisi, on E:n oltava modulaarinen, ja l-torsioalkioiden ryhmä E[l] on modulaarinen ja tasoa 2. Toisaalta ei ole olemassa nollasta poikkeavaa modulimuotoa, jonka taso on 1 tai 2. Tämä on ristiriita.