■(a^2+b^2−1)/abの整除性(その25)
フィボナッチ数列
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 (mod 3)・・・誤り
an=1/√5・{α^n-β^n}=qn/2^n=0 (mod 3)
===================================
(1+i)^n=(n,0)-(n-2)+(n+4)-(n,6)+・・・+i{(n,1)-(n,3)+(n,5)-(n,7)+・・・}
(n,1)-(n,3)+(n,5)-(n,7)+・・・は1,2,2,0,-4,-8,-8,016,32,32,0,・・・
n mod4で考えると
qn=(n,1)-(n,3)+(n,5)-(n,5)+・・・=0 (mod 4)
an=1/√5・{α^n-β^n}=qn/2^n=0 (mod 4)
===================================