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. Az egyenlet mindkét oldalából kettőt levonva, a bal oldal szorzattá alakítható: Mivel és , ezért a bal oldal abszolút értéke csak úgy lehet , ha azaz, ha | | (1) | alkalmas , egészekkel. Meg kell még vizsgálnunk, milyen és egészekre létezik az (1) egyenletrendszernek megoldása. Nyilván (1)-gyel ekvivalens egyenletrendszerekhez jutunk, ha a második egyenlet helyett a két eredeti egyenlet hányadosát szerepeltetjük: | | (2) | Ez viszont pontosan akkor oldható meg, ha Legyen és legnagyobb közös osztója , ekkor és , így A tört már nem egyszerűsíthető, ezért (3') csak akkor teljesül, ha valamilyen egésszel A megoldhatósághoz itt nyilván szükséges, hogy és különböző maradékot adjanak -gyel osztva, tehát ‐ mivel mindketten páratlanok ‐ egyikük -et, a másik pedig -et. A egész ugyancsak páratlan, így ( miatt) -gyel osztva ugyanazt a maradékot adja, mint , azaz Megfordítva, ha értékét (5) szerint választjuk (tetszőleges egésszel), akkor
valóban a kívánt maradékot adja -gyel osztva; tehát (4) megoldható, és így az eredeti (1) egyenletrendszer is. (2), (4) és (5) alapján a megoldás: | |
Megjegyzések. 1. A beküldők közül többen nem vették észre, hogy az -re nyert két egyenletnek nincs mindig közös megoldása (pl. esetén sem!), ill., ha létezik is megoldás, értéke nem lehet akármilyen egész szám. 2. Sokan eljutottak odáig, hogy és , innen azonban a egyenlőségből következtettek valamelyik tényező eltűnésére. Így viszont hamis gyököket is kaptak, hiszen nem csak úgy lehet nulla, hogy és . |