■(a^2+b^2−1)/abの整除性(その24)
フィボナッチ数列
f(x)=(x)/(1-x-x^2)=(1/√5)/(1-αx)-(1/√5)/(1-βx)
α=(1+√5)/2、β=(1-√5)/2,αβ=-1,α^2+β^2=3、β=-1/α
an=1/√5・{α^n-β^n}
===================================
フィボナッチ数列を3で割った余りなら,
1,1,2,0,2,2,1,0,1,1,2,・・・
のように8項毎に元に戻る.
nが4の倍数のとき、3の倍数が現れる
===================================
α^n=(pn+qn√5)/2^n
β^n=(pn-qn√5)/2^nとおくと
an=1/√5・{α^n-β^n}=qn/2^n
qn=(n,1)+(n,3)5+(n,5)5^2+(n,5)5^3+・・・
mod3で考えると
qn=(n,1)-(n,3)+(n,5)-(n,5)+・・・=0 (mod3)
an=1/√5・{α^n-β^n}=qn/2^n=0 (mod3)
===================================