当n=0时
F0=0
显然成立
当n=1时
F1=1
显然成立
假设当
n≤k
时有
Fk=ϕk−ϕ̂ k5√
则当n=k+1时,
Fk+1=Fk+Fk−1=ϕk−ϕ̂ k+ϕk−1−ϕ̂ k−15√
=ϕk−1(ϕ+1)−ϕ̂ k−1(ϕ̂ +1)5√=ϕk−1⋅ϕ2−ϕ̂ k−1⋅ϕ̂ 25√=ϕk+1−ϕ̂ k+15√
故对一切正整数n,有
Fn=ϕn−ϕ̂ n5√