■ディオファントス方程式の解の非存在(その48)
(x^2+y^2)(z^2+t^2)=(xz+yt)^2+(xt−yz)^2
(x^2+y^2)(z^2+t^2)=(xz−yt)^2+(xt+yz)^2
z=t=1とおくと
2(x^2+y^2)=(x+y)^2+(x−y)^2
x−z=±1のとき
(x^2+1)(z^2+1)=(xz+1)^2+1
x^2z^2+x^2+z^2=(xz+1)^2
===================================
(x^2−Ny^2)(z^2−Nt^2)=(xz+Nyt)^2−N(xt+yz)
(x^2−Ny^2)(z^2−Nt^2)=(xz−Nyt)^2−N(xt−yz)
(x^2+Ny^2)(z^2+Nt^2)=(xz+Nyt)^2+N(xt−yz)
(x^2+Ny^2)(z^2+Nt^2)=(xz−Nyt)^2+N(xt+yz)
===================================