Odredi sve parove realnih brojeva (x,y) koji zadovoljavaju sustav
x+y2=y3,y+x2=x3.
Rješenje
Oduzimanjem zadanih jednadžbi dobivamo y−x+x2−y2=x3−y3, što je ekvivalentno
y−x+(x−y)(x+y)=(x−y)(x2+xy+y2),
odnosno
(x−y)(−1+x+y)=(x−y)(x2+xy+y2),
pa slijedi da je x+y−1=x2+xy+y2 ili x−y=0.
U prvom slučaju je x+y−1=x2+xy+y2, što možemo zapisati kao
y2+(x−1)y+x2−x+1=0.(♠)
Ovu jednadžbu promatramo kao kvadratnu jednadžbu po y. Njena diskriminanta je
D=(x−1)2−4(x2−x+1)=−3x2+2x−3.
Diskriminanta kvadratnog trinoma −3x2+2x−3 je −32<0, pa vrijedi da je D<0 za svaki realni broj x, što povlači da jednadžba (♠) nema realnih rješenja za y. Dakle, u ovom slučaju nema rješenja.
U drugom slučaju je y=x i obje jednadžbe postaju x+x2=x3, tj. x(x2−x−1)=0. Slijedi da je x1=0 ili x2−x−1=0. Rješavanjem kvadratne jednadžbe dobivamo rješenja
x2,3=21±5.
Jedina rješenja su
(x,y)∈{(0,0),(21+5,21+5),(21−5,21−5)}.
Napomena. Jednadžba x+y−1=x2+xy+y2 je ekvivalentna s
(x−1)2+(y−1)2+(x+y)2=0,
koja nema rješenja jer ne postoje x i y takvi da je x=1, y=1 i x+y=0.