假如a_n恰好是λⁿ的形式,不考虑初值,代进(1)可以解出λ的可能值正好有两个(λ和λ')
然后证明对任意实数s, t,c_n=s×λⁿ+t×λ'ⁿ也是符合递推式(1)的
最后代入n=1和n=2,解出满足c_1=c_2=1的s和t,这时s×λⁿ+t×λ'ⁿ就同时满足斐波那契数列的递推和初值了,又因为斐波那契数列的每一项由前两项唯一确定,所以这个式子就是斐波那契数列的通项公式
然后证明对任意实数s, t,c_n=s×λⁿ+t×λ'ⁿ也是符合递推式(1)的
最后代入n=1和n=2,解出满足c_1=c_2=1的s和t,这时s×λⁿ+t×λ'ⁿ就同时满足斐波那契数列的递推和初值了,又因为斐波那契数列的每一项由前两项唯一确定,所以这个式子就是斐波那契数列的通项公式