■マチアセビッチとフィボナッチ数生成関数(その15)
(a2−βa1)=Fk-1Fk+FkFk+1−Fk(−1/φ)^k=Fkφ^k
(a2−αa1)=Fk-1Fk+FkFk+1−Fkφ^k=Fk(−1/φ)^k
α−β=Fk√5
すなわち
Fk-1+Fk+1−(−1/φ)^k=φ^k
Fk-1+Fk+1−φ^k=(−1/φ)^k
すなわち
Fk-1+Fk+1=φ^k+(−1/φ)^k
が証明されればよいのであるが,これは証明済みである.
===================================
φ^-4=−3φ+5 √5φ^-4=7φ−11
φ^-3=2φ−3 √5φ^-3=4φ+7
φ^-2=−φ+2 √5φ^-2=3φ−4
φ^-1=φ−1 √5φ^-1=−φ+3
φ^0=1 √5φ^0=2φ−1
φ^1=φ √5φ^1=φ+2
φ^2=φ+1 √5φ^2=3φ+1
φ^3=2φ+1 √5φ^3=4φ+3
φ^4=3φ+2 √5φ^4=7φ+4
右辺mφ+nの係数m,nはフィボナッチ数列をなす.
φ+2=φ^2+1=φ√5=k
(−φ^-1)^4=−3φ+5
(−φ^-1)^3=−2φ+3
(−φ^-1)^2=−φ+2
−φ^-1=−φ+1
α=φ^n,β=(−1/φ)^n
===================================
φ^n=Fnφ+Fn-1
(−1/φ)^n=−Fnφ+Fn+1
φ^n+(−1/φ)^n=Fn-1+Fn+1
φ^n−(−1/φ)^n=2Fnφ+Fn-1−Fn+1=2Fnφ−Fn=Fn√5
φ^n・(−1/φ)^n=(−1)^n
===================================