■ペル恒等式(その24)

[M−]について,z=y/xとしてやってみる.

  (k^2m−1)^2−(k^2m^2−2m)k^2=1

  1={(x^2+Ny^2)/(x^2−Ny^2)}^2−N(2xy/(x^2−Ny^2))^2

  1={(1+Nz^2)/(1−Nz^2)}^2−N(2z/(1−Nz^2))^2

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

N←→k^2m^2−2m

k^2m−1←→(1+Nz^2)/(1−Nz^2)

←→2/(1−Nz^2)−1

k^2←→{2z/(1−Nz^2)}^2

とする.

k^2←→{2z/(1−Nz^2)}^2

k^2m←→2/(1−Nz^2)

m←→(1−Nz^2)/2z^2

あとは

N←→k^2m^2−2m

が成り立つかどうかである.

k^2m^2−2m

←→1/z^2−(1−Nz^2)/z^2

←→N

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

 逆変換は

(1−Nz^2)=2/k^2m

Nz^2=1−2/k^2m=(k^2m−2)/k^2m

N=k^2m^2−2mを代入すると

z^2=1/k^2m^2

あるいは,

m←→(1−Nz^2)/2z^2

(1−Nz^2)=2mz^2

z^2=1/(N+2m)=1/k^2m^2,この方が簡単である.

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

[まとめ]

 [M+][M−]とはどうしても対称性の高い形にはならないようである.

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