x4 - 2y2 = 1 => x4 - 1 = 2y2 ( 1 )
Dễ thấy : x lẻ \(x^4\equiv1\) ( mod 4 )
=> y2 chẵn => y chẵn
Đặt \(x=2k+1;y=2n\left(k;n\in Z\right)\). Ta có :
\(\left(4k^2+4k+1\right)^2-1=8n^2\)
\(\Leftrightarrow\left(4k^2+4k+2\right)\left(4k^2+4k\right)=8n^2\)
\(\Leftrightarrow\left(2k^2+2k+1\right)\left(k^2+k\right)=n^2\)
Với k = 0 thì \(y=0\) ( tm )
Thay y = 0 vào ( 1 ) ta được \(x=\pm1\) ( tm )
Với \(k\ge1\)
Đặt \(k^2+k=m\)
\(\Rightarrow\left(2m+1\right)m=n^2\)
=> m ; 2m + 1 là SCP
Ta lại có : \(k^2< k^2+k< \left(k+1\right)^2\)
Vì k2 + k kẹp giữa 2 SCP liên tiếp nên k2 + k không thể là SCP
Vậy pt có các nghiệm ( x ; y ) là : ( 1 ; 0 ) ; ( - 1 ; 0 )
Tohru ( ʚ๖ۣۜTεαм ๖ۣۜFℓαʂɦɞ ) làm vậy có dài không bạn?
\(x^4-2y^2=1\Leftrightarrow x^4=1+2y^2\)
Do \(\hept{\begin{cases}x^4\ge0\forall x\\2y^2\ge0\forall y\end{cases}}\)
Để x,y nguyên => \(\hept{\begin{cases}x^4=1\\2y^2=0\end{cases}\Leftrightarrow\hept{\begin{cases}x=\pm1\\y=0\end{cases}}}\)