Fermat'n suuri lause

Idea tässä todistuksessa on siinä, että jos meillä olisi jotkut rationaaliluvut jotka ratkaisee ton, niin voitais muodostaa yhtälö joka on ratkaisu Fermat'n suurelle lauseelle, ja siksi tällaista rationaaliratkaisua ei ole.

Eli oletetaan aluksi, että jotkut rationaaliluvut x=a/b, y=c/d, z=e/f on ratkaisu yhtälölle x^n y^n = z^n, missä n≥3. Eli a^n/b^n c^n/d^n = e^n/f^n. Mutta nyt jos kerrotaan koko yhtälö kaikilla noilla nimittäjillä, saadaan a^n*d^n*f^n c^n*b^n*f^n = e^n*b^n*d^n, joka voidaan vielä sieventää muotoon
(adf)^n (cbf)^n = (ebd)^n. Mutta tämä tarkottaisi sitä, että (adf,cbf,ebd) olisi ratkaisu Fermat'n suureen lauseeseen, joten meillä on haluttu ristiriita, eikä näitä sopivia rationaalilukuja voi olla olemassa.

Tämä "nimittäjien pois kertominen" toimii kaikkiin homogeenisiin yhtälöihin.