x^2+y^2=(y^2+1)^2
\Leftrightarrow x^2+y^2=y^4+2y^2+1
\Leftrightarrow y^4+y^2+1-x^2=0 (*)
Đặt y^2=t (t \geq 0 và t \in \mathbb{Z}) khi đó y^4=y^2.y^2=t.t=t^2
Nên phương trình trở thành:
t^2+t+1-x^2=0
Do t \geq 0 nên để phương trình có nghiệm t không âm thì
x_1.x_2\geq 0 hay 1-x^2 \geq 0 hay x^2...