洛谷 P1487 失落的成绩单

传送门：洛谷 P1487 失落的成绩单
题目描述：

数列 $a$ 满足
$$A_i=\frac{A_{i-1}-A_{i+1}}{2}+d$$
给出：首项 $A_1$、末项 $A_n$、$d$、$m$，求$A_m$

算法分析：
矩阵快速幂？还没学，所以我们就用数(mo)学(fa)来解决这道题。
预备知识：特征方程

---

我们以这个式子为例—— $f_i=f_{i-1}+6f_{i-2}$
首先我们来看两个数列
$a_n=(-2{)}^n,b_n=3^n,n\in \mathbb{N}\_+$
那么，我们可以列出 $a$ 的前几项：$-2,4,-8,16,...$，$b$ 的前几项：$3,9,27,81,...$
将 $a$ 代入递推式，神奇的发现——
$f_1=-2$, $f_2=4$, $f_3=4+6\times (-2)=-8$, $f_4=-8+6\times 4=16$, $......$
$a$ 中的数都满足上述的递推式，同样的，$b$ 也满足。
很明显，$f_i=(-2{)}^k$ 和 $f_i=3^k$ 都是上述递推式的通项公式
下面我们来看两个引理——

1、若 $f_i=a^i$ 是某一递推式的通项公式，那么，$f_i=\lambda a^i$ 同样满足递推式（两边同乘上系数即可）
2、若 $f_i=a^i$ 和 $f_i=b^i$ 都满足递推式，那么，$f_i=\alpha \times a^i+\beta \times b^i$ 同样满足（两式乘上系数相加即可）

接下来，我们来看一个经典的例子——斐波拉契数列 $f_i=f_{i-1}+f_{i-2}$
现在我们不能像刚才那个式子“观察”出一个通解了，那么就需要我们自己进行构造
现在我们设存在一组等比数列满足这个递推式，其公比为 $q$ ，那么我们看一下这个式子

$$f_i=f_{i-1}+f_{i-2}$$

$$q^2\times f_{i-2}$$