定义
f(0)=1,f(1)=1
f(i)=f(i−1)+f(i−2),i>=2,i∈Z
通项公式
设
f(n)−r∗f(n−1)=s∗[f(n−1)−r∗f(n−2)]
,即
f(n)=(r+s)∗f(n−1)−r∗s∗f(n−2)
,所以r+s=1,r*s=-1。
那么:
f(n)−r∗f(n−1)=s∗[f(n−1)−r∗f(n−2)]
f(n−1)−r∗f(n−2)=s∗[f(n−2)−r∗f(n−3)]
f(n−2)−r∗f(n−3)=s∗[f(n−3)−r∗f(n−4)]
……
f(3)−r∗f(2)=s∗[f(2)−r∗f(1)]
f(2)−r∗f(1)=s∗[f(1)−r∗f(0)]
联立以上n-1个式子,可得:
f(n)−r∗f(n−1)=sn−1∗[f(1)−r∗f(0)]=sn−1∗(1−r)
由于r+s=1,所以1-r=s,则
f(n)=sn−1∗s+r∗f(n−1)=sn+r∗f(n−1)
=sn+r∗(sn−1+r∗f(n−2))
=sn+r∗sn−1+r∗r∗(sn−2+r∗f(n−3))
=……
=sn+r∗sn−1+r2∗sn−2+……+rn∗f(0)
=sn+r∗sn−1+r2∗sn−2+……+rn
这其实是首项为
sn
,公比为
rs
的一个等比数列,那么套等比数列求和公式:
f(n)=sn∗(rs)n+1−1rs−1
=rn+1−sn+1r−s
由于r+s=1,r*s=-1的一个解是r=
1−5√2
,s=
1+5√2
,所以:
f(n)=5√5∗[(1+5√2)n+1−(1−5√2)n+1]
。
矩阵乘法
详见矩阵乘法。
拓展
∑ni=0f[i]=f[n+2]−1
证明:因为
∑ni=0f[i]=f[0]+f[1]+…+f[n]
,
f[n+2]−1=f[n]+f[n+1]−1
所以只要
f[n+1]−1
等于
f[0]+f[1]+…+f[n−1]=∑n−1i=0f[i]
,
∑ni=0f[i]
就等于
f[n+2]−1
,而这又是相同的格式,所以只要
f[0]+f[1]=f[3]−1
,后面的结论就都成立,而
f[0]+f[1]=f[3]−1
显然成立。
所以
∑ni=0f[i]=f[n+2]−1
得证。