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. I. megoldás. Ha és , akkor -ből és következik, -ből pedig . Így csak teljesülhet. Ezt -be helyettesítve adódik. Behelyettesítve látható, hogy ez a számpár -nek is megoldása. Tehát az egyenletrendszer megoldása nem negatív számok körében: , . Ha , akkor alapján | |
Ha , akkor a bal oldal nagyobb -nél, a jobb oldalon álló tört értéke pedig nő, ha a nevezőt -re csökkentjük. Azt kapjuk tehát, hogy , ami miatt lehetetlen. Hasonló ellentmondásra vezet az feltevés is, így -ből az feltétel mellett következik. Ezt -be helyettesítve kapjuk, hogy Az egyenletrendszer tehát feltétel mellett az egyenletrendszerrel ekvivalens és ennek továbbra is csak , a gyöke. II. megoldás. Megmutatjuk, hogy az egyenletrendszernek akkor sincs más megoldása, ha -ről és -ról nem teszünk fel semmit. Az első egyenlet az és az azonosságok felhasználásával szorzattá alakítható:
A második tényező négyzetek összegére bontható: | | Az egyenlet tehát ekvivalens az | | (1*) | egyenlettel. Innen vagy , vagy . A második eset miatt nem megoldás, az első esetben pedig -ből az és gyököt kapjuk. |