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. A feltételben szereplő egyenletet alkalmas azonos átalakításokkal a következő alakra hozhatjuk:
Az és egészekre (1) és (2) is teljesül tehát, a két egyenlőség szorzatát képezve azt kapjuk, hogy | | (3) | is fennáll. Ha (3) jobb oldala, , akkor vagy , vagy és a bal oldal is . Könnyen ellenőrizhető, hogy a bal oldal első két tényezője ebben az esetben nem lehet nulla, így csak állhat fenn, ekkor és is négyzetszám. Tegyük fel, hogy . Ekkor a (3) egyenlőségből következik, hogy négyzetszám. Megmutatjuk még, hogy és relatív prímek, ebből már következik, hogy mindkettő külön-külön is négyzetszám. Ha volna olyan prímszám, ami osztója a és a számoknak, akkor osztója a különbségüknek, -nak is és így a számnak is, ami nem igaz. A és számok tehát relatív prímek.
|