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. Tegyük föl, hogy valamely prímszám esetén van racionális gyök, azaz léteznek olyan , egészek, , hogy Látható, hogy szükségképpen , vagyis feltehetjük, hogy , . Az egyenletet -tel szorozva: Megvizsgálva a -vel és -val való oszthatóságot, azt kapjuk, hogy és , vagyis , . Mivel , , azért és . (1)-ből kifejezve -t és ezt -ba írva, majd átrendezve: | | A jobb oldal osztható -val, így a bal oldal is. Azonban , tehát . Ez azt jelenti, hogy és nem relatív prímek, ami viszont csak úgy lehet ‐ lévén prímszám ‐, ha osztható -val. Ám ez lehetetlen, mert hiszen , és így , valamint . Ellentmondásra jutottunk, tehát nem létezhet olyan háromjegyű prímszám, amelynek , , jegyeire az egyenletnek lenne racionális megoldása.
Megjegyzés. A másodfokú egyenlet megoldóképletét használva is célhoz érhetünk: abból ugyanis látható, hogy négyzetszám kell legyen. Ez pedig viszonylag egyszerűen végignézhető az összes háromjegyű prímszámra. |