■ペル恒等式(その19)

k^2←→{2xy/(x^2−Ny^2)}^2

k←→2xy/(x^2−Ny^2)

k^2m←→2Ny^2/(x^2−Ny^2)

を用いる.

km=Ny/x

y=kmx/N

k=2kmx^2/N(x^2−k^2m^2x^2/N)

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

2m=N−k^2m^2

 振り出しに戻ってしまった.同次形であるから,こうなることは避けられないのであろう.同次形を避けるために,x/y=zとおいてみる.

k←→2z/(z^2−N)

k^2m←→2N/(z^2−N)

1/km=z/N

m←→N(z^2−N)/2z^2

 すなわち,最初から

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

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

とおくべきで,こうしないから変数の数が異なってしまっていたのである.

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