■マルコフ方程式の話(その17)
(その16)では
(x+√(x^2−1))(y+√(y^2−1))=(z+√(z^2−1))
が,x^2+y^2+z^2=2xyz+1を書き換えられることを確かめました.
それに対して
(x^2−1)(y^2−1)=(z^2−1)
は
x^2y^2−x^2−y^2+1=(z^2−1)
ここで,x=n,y=n+1,z=zと制限するならば
(n−1)(n+1)n(n+2)=(z^2−1)
n(n+1)(n^2+n−2)+1=z^2
(n^2+n)(n^2+n−2)+1=z^2
(n^2+n−1)^2=z^2
z=(n^2+n−1)
となる.
===================================
これでもよいのだろうが,
[参]小林吹代「マルコフ方程式」技術評論社
では,
x^2+y^2+z^2=2xyz+2の解(n,n+1,z)が
(x+√(x^2−1))(y+√(y^2−1))=(z+√(z^2−1))
を満たすと仮定して
z^2−2n(n+1)z+2n^2+2n−1=0
z=2n^2+2n−1
としている.
ここで,
Z=z−xy,X=x,Y=y
(X^2−1)(Y^2−1)=(Z^2−1)
を満たすことを確かめておきたい.
x^2y^2−x^2−y^2+1=z^2−2xyx+x^2y^2−1
x^2+y^2+z^2=2xyz+2
結局
Z=z−xy,X=x,Y=y
Z=(2n^2+2n−1)−n^2−n=n^2+n−1
同じ答えとなる.
===================================