■(a^2+b^2−1)/abの整除性(その23)
フィボナッチ数列
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の倍数が現れる
===================================
an=1/√5・{α^n-β^n}が3で割り切れるとき、an+4を調べてみたい。
an+4=1/√5・{α^n+4-β^n+4}=1/√5・{α^n-β^n}{α^4+α^3β+α^2β^2+αβ^3+β^4}にはならない
なかなかうまくいかない・・・
===================================