关于斐波那契数列

关于斐波那契数列

  友情提醒：由于本人很蒻，所以文章中的一些推导会有一些不严谨，大家看着就当图个乐qwq。（好像也没人会看这个东西来图个乐哈 ）

一、斐波那契数列的生成函数

  在说这个玩意儿之前，我们先讲一下什么是生成函数。

生成函数即母函数，是组合数学中尤其是计数方面的一个重要理论和工具。最早提出母函数的人是法国数学家LaplaceP.S.在其1812年出版的《概率的分析理论》中明确提出。 生成函数有普通型生成函数和指数型生成函数两种，其中普通型用的比较多。 生成函数的应用简单来说在于研究未知（通项）数列规律，用这种方法在给出递推式的情况下求出数列的通项，生成函数是推导Fibonacci数列的通项公式方法之一。 另外生成函数也广泛应用于编程与算法设计、分析上，运用这种数学方法往往对程序效率与速度有很大改进。

对于任意数列a0,a1,a2…an 即用如下方法与一个函数联系起来：
$G(x)=a_0+a_1{x}^1+a_2{x}^2+a_3{x}^3+\cdots$
则称G(x)是数列的生成函数(generating function)。

（以上内容来自百度）
  现在我们知道了生成函数是什么东西，我们就来看一下斐波那契数列的生成函数怎么写。
  众所周知：斐波那契数列的递推式长这样：
$$f_0=0,f_1=1,f_n=f_{n-1}+f_{n-2}(n\ge 2)$$
  根据生成函数的定义，我们知道斐波那契的生成函数可以写成这样：
$$F(x)=f_0{x}^0+f_1{x}^1+f_2{x}^2+f_3{x}^3+\cdots$$
  然后我们再等式两边同时乘上x 和 $x^2$，就得到了：
$$\begin{array}{rl}F(x)=f_0{x}^0+f_1{x}^1+& f_2{x}^2+f_3{x}^3+\cdots ①\\ xF(x)=f_0{x}^1+& f_1{x}^2+f_2{x}^3+f_3{x}^4+\cdots ②\\ x^{2}F(x)=& f_0{x}^2+f_1{x}^3+f_2{x}^4+f_3{x}^5+\cdots ③\end{array}$$
  由 ① - (② + ③) 得：
$$(1-x-x^2)F(x)=f_0{x}^0+(f_1-f_0)x^1+[f_2-(f_1+f_0)]x^2+[f_3-(f_2+f_1)]x^3+\cdots$$
  又由我们的通项公式得到：
$$f_0=0,f_1=1,f_2-(f_1+f_0)=0,f_3-(f_1+f_2)=0,\cdots$$
  所以：
$$(1-x-x^2)F(x)=x\to F(x)=$$