■(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}

この後が面倒になるので別の方法を考えたい

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