Có: \(x^5+y^2=xy^2+1\)
<=> \(x^5-1=y^2\left(x-1\right)\)(1)
TH1: x = 1
=> \(1^2+y^2=1.y^2+1\) đúng với mọi y
TH2: \(x\ne1\)
(1) <=> \(y^2=x^4+x^3+x^2+x+1\)
<=> \(4y^2=4x^4+4x^3+4x^2+4x+4\)
Có:
+) \(4x^4+4x^3+4x^2+4x+4=4x^4+4x^3+x^2+2x^2+x^2+4x+4\)
\(=\left(2x^2+x\right)^2+2x^2+\left(x+2\right)^2>\left(2x^2+x\right)^2\)
=> \(\left(2y\right)^2>\left(2x^2+x\right)^2\)
+) \(4x^4+4x^3+4x^2+4x+4\le\left(2x^2+x+2\right)^2\)
=> \(\left(2y\right)^2\le\left(2x^2+x+2\right)^2\)
=> \(\left(2x^2+x\right)^2< \left(2y\right)^2\le\left(2x^2+x+2\right)^2\)
TH1: \(\left(2y\right)^2=\left(2x^2+x+2\right)^2\)
=> \(4x^4+4x^3+4x^2+4x+4=4x^4+x^2+4+4x^3+8x^2+4x\)
<=> x = 0
=> \(y=\pm1\)
TH2: \(\left(2y\right)^2=\left(2x^2+x+1\right)^2\)
=> \(4x^4+4x^3+4x^2+4x+4=4x^4+x^2+1+4x^3+4x^2+2x\)
<=> \(2x+3-x^2=0\)
<=> \(\orbr{\begin{cases}x=-1\\x=3\end{cases}}\)
Với x = -1 => \(y=\pm1\)
Với x = 3 => \(y=\pm11\)
Kết luận:...