Feladat: F.2860 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1992/március, 107 - 108. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Másodfokú diofantikus egyenletek, Magasabb fokú diofantikus egyenletek, Másodfokú (és arra visszavezethető) egyenletek, Paraméteres egyenletek, Feladat
Hivatkozás(ok):Feladatok: 1991/szeptember: F.2860

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.

Végezzük el a beszorzást és a köbreemelést, és rendezzük a tagokat a bal oldalra:

x2y2+3x2y-3xy2+2y3+xy=0.
Ha y=0, akkor ez tetszőleges x-re teljesül. Tegyük fel, hogy y0; akkor y-nal oszthatunk:
x2y+3x2-3xy+2y2+x=0.
 Rendezzük el a tagokat y hatványai szerint:
2y2+(x2-3x)y+(3x2+x)=0.(1)

Ezt az egyenletet úgy tekintjük, mint egy egész együtthatós másodfokú egyenletet, amiben y az ismeretlen, és azokat az x értékeket keressük, amelyekre az egyenletnek van egész gyöke.
Ahhoz, hogy (1)-nek legyen egész gyöke, szükséges, hogy az egyenlet D diszkriminánsa négyzetszám legyen:
D=(x2-3x)2-42(3x2+x)=x(x-8)(x+1)2.

Ha x=-1, akkor D=0 és y=-1
Ha x-1, akkor D(x+1)2=x(x-8) is négyzetszám: x2-8x=k2, ahol k valamilyen nemnegatív egész szám.
Az x2-8x kifejezést teljes négyzetté alakítva és átrendezve:
(x-4)2-k2=16,(x-4-k)(x-4+k)=16.



A 16 lehetséges szorzattá alakításai (figyelembe véve, hogy x-4-kx-4+k), az ezekhez tartozó x=(x-4-k)+(x-4+k)+82 értékek, ill. az y megfelelő egész értékei:
 
x-4-k   x-4+k    x-1 y1 y2-11-16 1212     -12-18 9 1-6 -21-14-14 8 -10 -10-161-1 -412  1-8--2 -1 1-1 --11-4--4 0 -10 -10
 
A megoldások tehát:
x tetszőleges egész és y=0
x=-1 és y=-1;
x=9 és y=-6;
x=9 és y=-21;
x=8 és y=-10;
 

Megjegyzés. Voltak, akik az egyenletet az y-nal való osztás után x hatványai szerint rendezték:
(y+3)x2+(1-3y)x+2y2=0.

Ebben az esetben külön foglalkozni kell az y=-3 esettel, mert ilyenkor az egyenlet (x-ben) nem másodfokú.