A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Ha a VI. felvilágosítás igaz, akkor igaz az V. is, hiszen az egész számok a racionális számok közé tartoznak. Így V. és VI. közül csak a többet mondó VI. lehet a hamis, és V. az igaz: racionális szám. Eszerint a III. nem lehet igaz, mert nincs olyan racionális szám, melynek a négyzete 13. Tehát a IV. felvilágosítás igaz: egész szám, osztható -tel. Most már nem lehet igaz az I., mert a -tel osztható páros számok oszthatók -gyel is, amit a VI. kizárt, ezért páratlan, és a II. igaz. Így pozitív, különben sem volna az, és nem lehetne pozitív a összeg; másrészt kisebb -nál, mert nagyobb számnak a köbe is nagyobb, tehát a összeg is nagyobb, ha nagyobb számból indulunk ki, márpedig . Mindezek szerint , mert ez az egyetlen pozitív, -nál kisebb, páratlan és -tel osztható egész szám.
Megjegyzés. Bebizonyítjuk a III. felvilágosítás kizárásában felhasznált állítást. Tegyük fel, hogy a tovább nem egyszerűsíthető racionális számra fennáll (vagyis és egész számok, és nincs közös osztójuk és természetesen és is egész számok). Így , eszerint osztható -mal, de akkor is, hiszen prímszám, tehát , ahol egész szám. Ezt beírva, egyszerűsítés után , és a meggondolást ismételve is osztható -mal, ami ellentmond feltevésünknek. Eszerint valóban nincs olyan racionális szám, melynek négyzete egyenlő -mal. |