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. Először azt mutatjuk meg, hogy
| | Valóban, , amiből a fenti ekvivalencia nyilvánvaló. Ha most olyan , számokat tekintünk, amelyekre és teljesül, akkor | | is fennáll. Tegyük fel ugyanis, hogy , de és . Ekkor szükségképpen és , amiből adódik. Ebből , majd következik, tehát teljesül. Ezzel az egyik irányú következtetést beláttuk, a másik pedig nyilvánvaló. Tehát | |
Ezek szerint a feltételeket kielégítő számpárok mind olyanok, amelyekre | | és az ilyen számpárok valamennyien jók is. Ezzel tehát megadtuk az összes megoldást; egy ilyen például az : | |
Megjegyzés. Természetesen nem kellett az összes megoldást megadni ahhoz, hogy valaki 5 pontot kapjon dolgozatára ‐ a kitűzésben csak egy számpár megadása volt a feladat. |