■(a^2+b^2−1)/abの整除性(その22)
フィボナッチ数列
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}
===================================
nが4の倍数のとき、3の倍数が現れる
===================================
a4n=1/√5・{α^4n-β^4n}=1/√5・{α^n-β^n}{α^n+β^n}{α^2n+β^2n}
a4n=FnLn{α^2n+β^2n}=FnLn{(α^n+β^n)^2-2(α^nβ^n)}
a4n=FnLn{α^2n+β^2n}=FnLn{(Ln)^2-2(-1)^n}
この後が面倒になるので別の方法を考えたい
===================================