不动点求数列通项原理_递推数列通项还可以这么求？（1.1特征根系列）

没错，标题党+长文预警[doge]

#封面图源网络，侵删~

0、前言

由于这个系列主要还是面向高中生的，所以会尽量写得阅读门槛低一点嚯，也会举很多具体的栗子~当然为了快速解决标题提出的问题，所以主要是讲与主线相关的内容。如果能够激发读者不断探索奇妙的数学世界的兴趣的话，这篇文章就算是真的实现了它的意义啦（//▽//）

*注：另外，在写之前没有考证过，不过我觉得可能是有撞车的2333大家就图个乐看看吧~还有限于笔者水平，可能会有错漏琐碎之处，还望读者不吝指出~

*再注：本文将引入部分线性代数的知识。如非特别说明，本文仅在复数域

内讨论，因为在

内我们有代数基本定理，非常nice。

这篇文章主要是为了尽量解释一些问题——递推数列求通项时的那些构造是咋来的？

可能很多同学都会对这样一些问题感到困惑。有一类数列的递推式是这样的：

，其中

为常数，我们把满足

式的数列称为

阶

常系数齐次线性递推数列。这个时候很多书就 直接给出了它的通项解法：

设方程（称为特征方程）

的根（称为特征根）为

，如果

即

式

没有重根，则

是满足

式的数列，其初值

确定了关于

的

元线性方程组（从而确定了

的值）；

即

式

有重根，设

为

重根，

,则

是满足

式的数列，初值确定同上。说人话就是

几重根前面就配个低一次的因式。

举个具体的栗子：

数列

满足

求此数列的通项。

按照上述理论，我们解特征方程

得到特征根

,于是构造数列

满足递推式，通过

解得

，于是

当然我们自然会问：这个构造是怎么得来的？背后有没有更深刻一些的东西呢？这篇文章就是为了粗浅地讲一讲这个问题嘎，顺便再用我们得到的工具去处理其他一些递推问题比如分式递推

等等。当然限于篇幅，在这个系列里我暂时规划的是解决情形

，也即没有重根的情况。情形

会复杂很多，当然如果大家想看也可以点赞支持一下[doge].如果你准备好了，那我们就开始吧~

---

1、矩阵、运算

让我们先回到递推数列本身吧，看一看一些更加简单的例子：

.我们不需要更多的知识，就会很自然的有这么一种想法：

这实际上启发我们，可以将数列视作定义在

上的函数，用

函数的一些观点去解决数列问题。譬如在上述例子中，我们可以写出

其中

，进而去考虑

的

迭代问题，譬如在上例中，我们有

,其中

为

的

次迭代。

再考虑回我们在前言中举的例子：

，我们也许也可以通过递推关系去写出这样的迭代关系，从而只需要考虑这

中间某个“过渡量”的

次迭代就好了。但是就算在这个例子中，显现出它的结构似乎也不太那么容易。一个尝试是，我们似乎可以将递推右边改写为两个向量的内积：

.这样改写是有其意义所在的——我们完成了对常数和数列的项的分离，似乎只需要考虑这个

系数向量的某