un+1-mun-nun-1=0

n＞0であればm^2+4n＞0

n＜0であれば

n=-1→m＞2

n=-2→m＞3

n=-3→m＞4

n=-4→m＞4

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

マチアセビッチとフィボナッチ数生成関数（その４４）

ペル数列以外に対してもに対してはx^2-bxy+y^2は成り立つはずである。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

連続する4項をx,y,nx+my,m(nx+my)+ny=mnx+(m^2+n)yとする。

マルコフ方程式が成り立つためには、ｂ＞0である必要がある。

ｘが奇数項のとき、

x^2-bx(nx+my)+(nx+my)^2

y^2-by{mnx+(m^2+n)y}+{mnx+(m^2+n)y}^2

ｘが偶数項のとき、

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=(1+n^2+m^2n^2)/n→n=1でなければならない

n=-1であれば、b＜0になる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝