■マルコフ方程式の話(その20)
(その17)の(x^2−1)(y^2−1)=(z^2−1)に引き続いて,ここでは
(x^2−1)(y^2−1)=(z^2−4)
について考えてみます.
===================================
[参]小林吹代「マルコフ方程式」技術評論社
にしたがって,
x^2+y^2+z^2=2xyz+k^2+1の解を(n,n+k,z)が
(x^2−1)(y^2−1)=(z^2−k^2)
を満たすと仮定して
z^2−2n(n+k)z+2n^2+2kn−1=0
z=2n^2+2kn−1
としている.
ここで,
Z=z−xy,X=x,Y=y
(X^2−1)(Y^2−1)=(Z^2−k^2)
を満たすことを確かめておきたい.
x^2y^2−x^2−y^2+1=z^2−2xyz+x^2y^2−k^2
x^2+y^2+z^2=2xyz+k^2+1
結局
Z=z−xy,X=x,Y=y
Z=(2n^2+2kn−1)−n^2−kn=n^2+kn−1
と同じ答えとなる.
===================================
k=2とおくと,
(x,y,z)=(n,n+2,n^2+2n−1)
===================================