■ペル恒等式(その9)

【1】Speckmann-Ricaldeの恒等式

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

k=1とおけば

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

k=m,m=1とおけば

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

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

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

はペル方程式とみなすことができる.この恒等式において,k=1〜6とおいたものが(その6)の前半になる.

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

この恒等式において,(その7)の前半に対応する.

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

 この方程式はもっと一般化することができて,k=2j+1とおくと,

  ((2j+1)^2m±1)^2−((2j+1)^2m^2±2m)(2j+1)^2=1

であるが,k=j,m=2mとおくと

  (2j^2m±1)^2−(j^2m^2±m)(2j)^2=1

となって,(その6)の後半になる.

 同様に,恒等式

  (jm^2±1)^2−(j^2m^2±j)m^2=1

  ((4j+2)m^2±1)^2−((2j+1)^2m^2±(2j+1))(2m)^2=1

も得られる.

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