利用配方法引入特征根法来求解二阶递推通项

利用配方法引入特征根法来求解二阶递推通项

引言 本文从配方法的角度引入特征法来求解二阶递推通项; 利用高中的知识水平便可以理解, 笔者观察相似文章皆是聚焦于通项的推导, 并未以思考的方式去回答为何做出这些构造. 因此, 笔者尝试从自然的思考逻辑角度推导二阶递推通项, 同时对关键运算的推导并未跳步, 来使计算能力较弱的同学理解运算过程, 力求令高中数列知识水平掌握不佳的同学也可理解特征根法.

明确求数列通项的核心方法与思想

​ 高中我们学习的等差数列和等比数列, 其推导过程运用的 累加法 和 累乘法 便是核心方法; 对于不可直接累乘和累加时我们常常利用 转化与化归 的思想构造新数列, 构造的核心方法是 待定系数 法, 使其可以累加和累乘, 最终可以达到求解通项的方法.

​ 高中时不少同学已经听老师讲授求解二阶递推需要构造等比数列, 并未讲解为什么构造等比, 所以很容易可以引出两个问题:
$$\begin{gathered} (1).为什么要构造等比数列? \\ (2).为什么能构造等比数列? \end{gathered}$$
​ 自然的想, 理解二阶递推为何这样构造, 便要理解一阶递推为何也如此构造, 对于 $a_n=A{a}_{n-1}+f(n)$ 型的数列我们发现无论如何运算都无法使 $a_n$ 和 $a_{n-1}$ 的系数一致, 因此便无法进行等差数列的构造. 对于数学的研究, 我们总是希望一个新的问题能够转化为若干个已知的旧问题; 因此, 我们想能够构造等比数列吗? 如果构造成功, 那就够必如下面的数学式一样, 体现从 $n-1$ 到 $n$ 的递推关系
$$a_n+\lambda f(n)=A(a_{n-1}+\lambda f(n-1))\text{\hspace{1em}(1)}$$
进行对应系数相同我们有
$$a_n=A{a}_{n-1}+\lambda Af(n-1)-\lambda f(n)$$
即
$$\lambda Af(n-1)-\lambda f(n)=f(n)\text{\hspace{1em}(*)}$$
我们假设 $f(n)$ 不恒等于零(若 $f(n)\equiv 0$ 则便可构造等比数列), 因此 $\lambda \ne 0$ , 若 $f(n)=0$ 为一元一次方程则 $(\ast )$ 式显然有解, 则说明若 $f(n)=kx+b,k,b\in \mathbb{R}$ , 则 $(1)$ 一定成立.

​ 对于二阶递推我们同理也可讨论上述两个问题, 不妨设二阶递推为
$$D_n=a{D}_{n-1}+b{D}_{n-2},(D_1=c_1,D_2=c_2)$$
如果构造等差数列, 则需要左右系数相等, 即构造形式如下
$$D_n+(1-a)D_{n-1}=D_{n-1}+b{D}_{n-2}$$
若 $1-a=b$ 则可以构造等差数列(也可看成公比为 $1$ 的等比数列) $b_n=D_n+b{D}_{n-1}=D_2+b{D}_1$ , 然后再利用一阶递推求解

若 $1-a\ne b$ 则只能构造等比数列, 即
$$D_n+{\lambda }_1{D}_{n-1}={\lambda }_2(D_{n-1}+{\lambda }_1{D}_{n-2})$$
整理得
$$D_n=({\lambda }_2-{\lambda }_1)D_{n-1}+{\lambda }_2{\lambda }_1{D}_{n-2}$$
于是我们得到方程组
$$\{\begin{array}{l}{\lambda }_2-{\lambda }_1=a,\\ {\lambda }_2{\lambda }_1=b.\end{array}$$
在此处我们 观察结构 (观察数学式的结构, 向已知内容靠拢, 在数学解题中十分重要), 不难发现其与韦达定理十分相似, 不妨重新构造
$$D_n-x_1{D}_{n-1}=x_2(D_{n-1}-x_1{D}_{n-2})\text{\hspace{1em}(2)}$$
整理得
$$D_n=(x_2+x_1)D_{n-1}-x_1{x}_2{D}_{n-2}$$
于是我们得到方程组
$$\{\begin{array}{l}{x}_2+x_1=a,\\ x_1{x}_2=-b.\end{array}$$
构造特征方程
$$x^2-ax-b=0$$
​ 回到最初的问题, 为什么能这样构造递推式? 显然如果特征方程有解, 便可以构造. 如果我们将数域从实数域扩展到复数域上, 则上述特征方程必定有解, 即 $(2)$ 式的构造一定可以.

​ 以上叙述, 回答了为什么在求二阶递推通项时要构造等比数列, 和为什么能构造等比数列的问题. 这为下面的推导定下了正确的基础.

从配方法到特征根法

​ 上文已经说明了如何从配方法得到特征方程, 下面我们利用特征根来推导二阶递推的通项. 不妨设二阶递推式如下
$$F_{n+1}=p{F}_n+q{F}_{n-1},F_1=c_1,F_2=c_2\text{\hspace{1em}(3)}$$
构造等比数列, 且进行递推
$$\begin{gathered} F_{n+1}-x_1{F}_n=x_2(F_n-x_1{F}_{n-1})=x_2^2(F_{n-1}-x_1{F}_{n-2}) \\ =\cdots =x_2^{n-1}(F_{n-(n-2)}-x_1{F}_{n-(n-1)})=x_2^{n-1}(F_2-x_1{F}_1)\text{\hspace{1em}(4)} \end{gathered}$$
得到方程组
$$\{\begin{array}{l}{x}_2+x_1=p,\\ x_1{x}_2=-q.\end{array}\text{\hspace{1em}(5)}$$
构造特征方程
$$x^2-px-q=0\text{\hspace{1em}(6)}$$
解得
x 1 , x 2 ∈ { p − p 2 + 4 q 2 , p + p 2 + 4 q 2 } x_1,x_2 \in \{ \frac {p-\sqrt{p^2+4q}}{2},\frac {p+\sqrt{p^2+4q}}{2} \} x1​,x2​∈{2p−p2+4q ​​,2p+p2+4q ​​}
不难发现, 两解互换位置 $(5)$ 式不变, 则两解带入 $(4)$ 式均成立, 则有
$$\begin{gathered} F_{n+1}-x_2{F}_n=x_1(F_n-x_2{F}_{n-1})=x_1^2(F_{n-1}-x_2{F}_{n-2}) \\ =\cdots =x_1^{n-1}(F_{n-(n-2)}-x_2{F}_{n-(n-1)})=x_1^{n-1}(F_2-x_2{F}_1)\text{\hspace{1em}(7)} \end{gathered}$$
当 $x_1\ne x_2$ 时我们将 $(4)-(7)$ 得
$$\begin{array}{rl}{F}_n& =\frac{x_2^{n-1}(F_2-x_1{F}_1)-x_1^{n-1}(F_2-x_2{F}_1)}{x_2-x_1}\\ & =\frac{F_2-x_1{F}_1}{x_2(x_2-x_1)}{x}_2^n-\frac{F_2-x_2{F}_1}{x_1(x_2-x_1)}{x}_1^n\end{array}\text{\hspace{1em}(8)}$$
令
$$\alpha =\frac{F_2-x_1{F}_1}{x_2(x_2-x_1)},\beta =-\frac{F_2-x_2{F}_1}{x_1(x_2-x_1)}$$
则其通项为
$$F_n=\alpha x_2^n+\beta x_1^n\text{\hspace{1em}(9)}$$

当 $x_1=x_2$ 时, 我们将 $(4)$ 式做如下变化
F n − x i F n − 1 = x i n − 2 ( F 2 − x i F 1 ) , i ∈ { 1 , 2 } ⇒ F n x i n − 2 − F n − 1 x i n − 3 = F 2 − x i F 1 \begin{align} F_{n} - x_i F_{n-1} &= x_i^{n-2}(F_{2}-x_iF_{1}),i \in \{1,2\}\\ \Rightarrow \frac{F_n}{x_i^{n-2}}-\frac{F_{n-1}}{x_i^{n-3}} &= F_2-x_iF_1 \end{align} Fn​−xi​Fn−1​⇒xin−2​Fn​​−xin−3​Fn−1​​​=xin−2​(F2​−xi​F1​),i∈{1,2}=F2​−xi​F1​​​
因此数列 $\frac{F_n}{x_i^{n-2}}$ 是以 $x_i{F}_1$为首项, 以 $F_2-x_i{F}_1$ 为公差的等差数列, 其通项为
$$\begin{array}{rl}\frac{F_n}{x_i^{n-2}}& =x_i{F}_1+(F_2-x_i{F}_1)(n-1)\\ \Rightarrow F_n& =F_1{x}_i^{n-1}+\frac{(F_2-x_i{F}_1)(n-1)}{x_i}{x}_i^{n-1}\\ \Rightarrow F_n& =\left(F_1-\frac{F_2-x_i{F}_1}{x_i}+\frac{F_2-x_i{F}_1}{x_i}n\right)x_i^{n-1}\end{array}$$
令
$$\alpha =F_1-\frac{F_2-x_i{F}_1}{x_i},\beta =\frac{F_2-x_i{F}_1}{x_i}$$
则其通项为
F n = ( α + β n ) x i n − 1 , i ∈ { 1 , 2 } (10) F_n = (\alpha + \beta n)x_i^{n-1}, i\in \{1,2\} \tag{10} Fn​=(α+βn)xin−1​,i∈{1,2}(10)
综合 $(9)(10)$ 式可得二阶递推的通项公式
{ F n = α x 2 n + β x 1 n , ( x 1 ≠ x 2 ) F n = ( α + β n ) x i n − 1 , ( x 1 = x 2 , i ∈ { 1 , 2 } ) (11) \begin{cases} F_n=\alpha x_2^n + \beta x_1^n ,(x_1\ne x_2)\\ F_n = (\alpha + \beta n)x_i^{n-1},(x_1 = x_2, i\in \{1,2\}) \end{cases} \tag{11} {Fn​=αx2n​+βx1n​,(x1​=x2​)Fn​=(α+βn)xin−1​,(x1​=x2​,i∈{1,2})​(11)
分别带入 $F_1$ 、$F_2$ 即可求解待定系数 $\alpha$ 、$\beta$ , 从而得到通项公式.

实践应用

[典例] 已知斐波那契数列 $(Fibonaccisequence)$ $F_n=F_{n-1}+F_{n-2},F_1=1,F_2=1,(n\ge 2)$ , 求其通项公式.

$Solution:$

构造数列如下
$$F_{n+1}-x_1{F}_n=x_2(F_n-x_1{F}_{n-1})$$
整理得
$$F_n=(x_2+x_1)F_{n-1}-x_1{x}_2{F}_{n-2}$$
于是我们得到方程组
$$\{\begin{array}{l}{x}_1+x_2=1,\\ x_1{x}_2=-1.\end{array}$$
构造特征方程
$$x^2-x-1=0$$
求得特征根为
$$\{\begin{array}{l}{x}_1=\frac{1-\sqrt{5}}{2}\\ x_2=\frac{1+\sqrt{5}}{2}\end{array}$$
根据结论可得
$$F_n=\alpha x_2^n+\beta x_1^n$$
带入 $F_1=1,F_2=1$ 得
$$\{\begin{array}{l}\alpha x_2+\beta x_1=1\\ \alpha x_2^2+\beta x_1^2=1\end{array}$$
解得
$$\alpha =\frac{\sqrt{5}}{5},\beta =-\frac{\sqrt{5}}{5}$$
因此 $F_n$ 的通项公式为
$$F_n=\frac{\sqrt{5}}{5}\left[{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n\right].$$