一些常见数列的生成函数推导

曾经有人问过我：“斐波那契数列的生成函数长啥样？”
。。。所以这东西我还是写一发吧
它有什么用？它没啥用。。。

1.齐次线性递推数列

定义：给定常数$k,a_1,a_2,...,a_k,h_0,h_1,...,h_{k-1}$，构造如下数列：
$h_n= \begin{cases} h_n&n<k\\ a_1h_{n-1}+a_2h_{n-2}+...+a_kh_{n-k}&n\geq k \end{cases}$
称作齐次线性递推数列。
多项式
$F(x)=h_0+h_1x+h_2x^2+...$
被称作这个数列的一般生成函数。

说到齐次线性递推数列，最经典的就是斐波那契数列。
定义不用给了吧……

斐波那契数列的生成函数是这个样子的：
$F(x)=1+x+2x^2+3x^3+5x^4+8x^5+...$

如何用一些有限项的多项式来表示这个级数？

我们构造这样一个函数：
$A(x)=1-x-x^2$
易验证：
$F(x)A(x)=1$
即：
$F(x)=\frac1{1-x-x^2}$

这是为什么呢？
原因很简单，对于$\forall n\geq2$，
$[n](F(x)A(x))=[n]F(x)-[n-1]F(x)-[n-2]F(x)=0$
其中$[n]F(x)$代表$F(x)$的$n$次项系数

这个结论有一些很好玩的结果，比如代入$x=0.01$，有：
$\frac{1}{0.9899}=1.010203050813213455...$
我们还可以知道，如果把斐波那契数列写成这样：
$1$