■フィボナッチ数列と2次形式(その11)

 初項a1,第2項a2から始まる数列{an}を考える。a1,a2,a3,a4,・・・

f(x,y)=ax^2+bxy+cy^2

f(1,0)=a1

f(0,1)=a2、a2>a1

a3=2(a1+a2)-a0となるように、

f(1,1)=a0よりa,b,cをただ一つ定めることができる

a4=2(a2+a3)-a1

a4=2a3+2a2-a1において、一つおきにとった数列a1=f2,a2=f4,a3=f6,a4=f8になるためにはa4=3a3-a2,a3=3a2-a1

2a3+2a2-a1=3a3-a2

a3=3a2-a1になることが必要である

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

a1=f1,a2=f3,a3=f5,a4=f7の場合も大丈夫である。

a1=f1,a2=f2,a3=f3,a4=f4の場合、a4=a3+a2,a3=a2+a1であるから、

2a3+2a2-a1=a3+a2、a3+a2a1=0は満足されない。

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