曾经有人问过我:“斐波那契数列的生成函数长啥样?”
。。。所以这东西我还是写一发吧
它有什么用?它没啥用。。。
1.齐次线性递推数列
定义:给定常数 k,a1,a2,...,ak,h0,h1,...,hk−1 ,构造如下数列:
hn={
hna1hn−1+a2hn−2+...+akhn−kn<kn≥k
称作齐次线性递推数列。
多项式
F(x)=h0+h1x+h2x2+...
被称作这个数列的一般生成函数。
说到齐次线性递推数列,最经典的就是斐波那契数列。
定义不用给了吧……
斐波那契数列的生成函数是这个样子的:
F(x)=1+x+2x2+3x3+5x4+8x5+...
如何用一些有限项的多项式来表示这个级数?
我们构造这样一个函数:
A(x)=1−x−x2
易验证:
F(x)A(x)=1
即:
F(x)=11−x−x2
这是为什么呢?
原因很简单,对于 ∀n≥2 ,
[n](F(x)A(x))=[n]F(x)−[n−1]F(x)−[n−2]F(x)=0
其中 [n]F(x) 代表 F(x) 的 n 次项系数
这个结论有一些很好玩的结果,比如代入
10.9899=1.010203050813213455...
我们还可以知道,如果把斐波那契数列写成这样:
1