■マルコフ方程式の話(その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

同じ答えとなる.

===================================