特征方程及其应用

• 首先我们了解一些概念。
• 递推式：代入$f_{n-1}$或/与$f_{n-2}$之类的数列前几项，可以求出$f_n$的式子。
• 通项公式：代入$n$就可以求出$f_n$的式子。

---

• 下面请上我们的老朋友：
• $f_{n+2}=f_{n+1}+f_n$
• 这个递推式是不是很眼熟？斐波那契数列。
• 如果我们要求数列第$n$项应该怎么做？
• 弱鸡（我）：暴力递推
• 稍微有趣：矩阵乘法+快速幂（具体做法可以参考我的这篇文章）
• 更加牛逼：用通项公式。
• 从数列推出通项公式，就需要我们今天讲的内容：特征方程。
• 从数列推出通项公式的要求：
• 1.已知数列的递推式
• 2.已知数列的任意两项

---

• 举个栗子：
• 现在我们知道有一个数列的递推式为$a_{n+2}=5a_{n+1}-6a_n$，且知道$a_1=3$，$a_2=8$，需要求出它的通项公式。
• 将递推式中$a_{n+p}$替换为$x^p$后得到的方程，即为特征方程。
• $a_{n+2}=5a_{n+1}-6a_n$ >> $x^2=5x-6$
• $a_{n+2}$ >> $x^2$
• $5a_{n+1}$ >> $5x$
• $-6a_{n}$ >> $-6$
• 解特征方程，得$x_1=2$，$x_2=3$
• 将特征方程的两个根分别作为一个等比数列$f_n=a^{n-1}$的$a$也就是比值，我们可以得到两个等比数列：
• $f_n=2^{n-1}$
• $g_n=3^{n-1}$
• 这里有一个性质，数列$f_n$与$g_n$满足递推式时，数列$k_1f_n+k_2g_n$同样满足递推式。数列加法就是每项相加。
• 于是因为$k_1f_n+k_2g_n$满足递推式$a_{n+2}=5a_{n+1}-6a_n$，我们可以得到式子$a_n=k_12^{n-1}+k_23^{n-1}$。
• 所以我们可以得到一个方程组：
• $n=1$时为$a_1=k_1+k_2$
• $n=2$时为$a_2=2k_1+3k_2$
• 又因为我们知道$a_1=3$，$a_2=8$，所以代入得方程组
• $3=k_1+k_2$
• $8=2k_1+3k_2$
• 解方程组，得$k_1=1$，$k_2=2$
• 代入回原式子$a_n=k_12^{n-1}+k_23^{n-1}$
• 得$a_n=2^{n-1}+2⋅3^{n-1}$
• 此即为递推式为$a_{n+2}=5a_{n+1}-6a_n$的数列的通项公式。

能不能简洁一点？