フィボナッチ数の生成関数は

{Fn}={F| F>0 for non-negative integer a,b,c,…,z}

F=w{1-[u+a-l]2-[v+b-l]2-[l2-lz-z2-1]2-[g2-gh-h2-1]2-[l2c-g]2-[ld-m+2]2-[(2h+g)e-m+3]2-[x2-mxy+y2-1]2-[l(p-1)-x+u]2-[(2h+g)(r-1)-x+v]2-[((2u-t)2+(w-v)2)((2u+1-t)2+ (w2-wv-v2-1)2]2}

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

F(2u-2)=vが成立することと(u,v)をパラメータとする以下の不定方程式系が正の整数解を持つことは同等である。

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

(u-1)+(w-1)=v

l=v+a

l^2-lz-z^2=1

g=bl^2

g^2-gh-h^2=1

m=(2h+g)c+3

m=fl+2

x^2-mxy+y^2=1

x=(d-1)l+(u-1)

x=(2h+g)(e-1)+v

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