Có:
\(2x^2+1=y^2-yx^2\)
<=> \(x^2\left(y+2\right)=\left(y-1\right)\left(y+1\right)\)
=> \(x^2\left(y+2\right)⋮\left(y+1\right)\)mà y+1 và y+2 là hai số nguyên liên tiếp nên nguyên tố cùng nhau
=> \(x^2⋮\left(y+1\right)\)
Đặt: \(x^2=\left(y+1\right)t\)( t thuộc Z)
Ta có phương trình : \(t\left(y+2\right)=y-1\)
,+) Với y=-2 => y+2 =0 => y-1 =0 => y=1 vô lí
+) Với y khác -2
Chia ca hai vế cho y+2 ta có:
\(t=\frac{y-1}{y+2}=1-\frac{3}{y+2}\)
Tìm y để t thuộc Z
Ta có: y+2 thuộc U(3)={-3; -1; 1; 3}
+) y+2 =-3 => y=-5 => t=2 => x^2 =(y+1)t= -8 ( loại)
+) y+2 =-1 => y=-3 => t=2 => x^2 =(y+1)t= -4 ( loại)
+) y+2=1 => y=-1 => t=-2 => x^2= 0 => x=0
+) y+2 =3 => y=1 => t=0 => x^2 =0 => x=0
THử lại thấy x=0; y=1 và x=0 ;y=-1 thỏa mãn
Vậy ...