■(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}にはならない

なかなかうまくいかない・・・

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