■マチアセビッチとフィボナッチ数生成関数(その46)
ペル数列以外に対してもに対してはx^2-bxy+y^2は成り立つはずである。
===================================
連続する4項をx,y,nx+my,m(nx+my)+ny=mnx+(m^2+n)yとする。
xが奇数項のとき、
x^2-bx(nx+my)+(nx+my)^2
y^2-by{mnx+(m^2+n)y}+{mnx+(m^2+n)y}^2
xが偶数項のとき、
x^2-bx(nx+my)+(nx+my)^2
y^2-by{mnx+(m^2+n)y}+{mnx+(m^2+n)y}^2
の符号が変化する
===================================
x^2の係数:1-bn+n^2
y^2の係数:m^2
xyの係数:-bm+2mn
x^2の係数:m^2n^2
y^2の係数:1-b(m^2+n)+(m^2+n)^2
xyの係数:-bmn+2mn(m^2+n)
===================================
1-bn+n^2=-m^2n^2
m^2=-1+b(m^2+n)-(m^2+n)^2
-bm+2mn=bmn-2mn(m^2+n)
b=(1+n^2+m^2n^2)/n→n=1でなければならない
b={m^2+1+(m^2+n)^2}/(m2+n)
b={2mn+2mn(m^2+n)}/m(1+n)={2n+2n(m^2+n)}/(1+n)
b=(2+m^2)
b={m^2+1+(m^2+1)^2}/(m2+1)=1+(m^2+1)=2+m^2
b={2+2(m^2+1)}/2=1+(m^2+1)=2+m^2
が得られたことになる
===================================
b=2mではなかったことになる
===================================
{-m^2x^2+m^2y^2+{-(M^2+2)M+2M}xy}^2=X^2
{-M^2x^2+M^2y^2-M^3xy}^2=X^2
X=M^2(1-N^2)+M^3N
{x^2+Mxy-y^2}=X^2
X=(1-N^2)+MN
で与えられる。
===================================