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. Tekintsük a (2) egyenletet egy másodfokú -változójú és paraméterű egyenletnek. Valós paraméter esetén a megoldás pontosan akkor valós szám, ha diszkrimináns nem negatív. Esetünkben pontosan akkor nem negatív, ha . Mivel az függvény a intervallumon monoton növő, a (2) egyenlet minden megoldására . Most -t tekintve változónak és -et paraméternek, a egyenlőtlenségnek kell teljesülnie, ez pedig pontosan esetén áll fönn. Minthogy az függvény az egész számegyenesen monoton nő, ebből . Az -re és -re kapott felső korlátokból: , tehát a (2) egyenletet kielégítő valós számpárok közül egy sem elégíti ki az (1) egyenletet. Így valóban nincs valós megoldása az egyenletrendszernek.
Megjegyzés. A megoldásban a (2) egyenletű görbének a koordinátatengelyekre eső vetületeit határoztuk meg. Könnyen látható, hogy maga a görbe ellipszis. |