フィボナッチ数列

f(x)=(x)/(1-x-x^2)=(1/√5)/(1-αx)-(1/√5)/(1-βx)

α=(1+√5)/2、β=(1-√5)/2

an=1/√5・{α^n-β^n}

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

間引いたリュカ数列{L2^n}、すなわち、

　　3,7,47,2207,4870847,・・・

に対しては、簡単な漸化式

　　{L2^n+1}={L2^n}^2-2

が成り立ち、p=4k+3であるメルセンヌ素数Mpの素数性判定において重要な役割を果たす。

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

間引いたフィボナッチ数列{F2^n}、すなわち、１，１，３，２１，９８７，・・・

α=(1+√5)/2、β=(1-√5)/2

F2^n=1/√5・{α^2^n-β^2^n}

では

　　Σ1/F2^n=(7-√5)/2

が成り立つ

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