【笔记】生成函数/母函数在通项公式上的应用

前言

在看了好多篇博客，翻阅了几本书后，终于对生成函数有了一点点理解，还请各位和我一样刚入门的同学一起静下心来仔细思考，最好在草稿纸上演算一下

本文面向oier，并没有运用严格的数学语言

---

定义

对于序列$\{a_i\}$，它对应的生成函数为

$$G(x)=\sum_{i=0}^{+\infty}a_ix^i=a_0+a_1x+a_2x^2+a_3x^3+…$$

相应的，一个生成函数与一个序列之间应该是唯一对应的，即已知一个序列$\{a_i\}$可以得到与其对应的唯一的生成函数$G(x)$，而已知一个生成函数$G(x)$可以得到对应的唯一的序列$\{a_i\}$

而我们可以利用这个生成函数中多项式的性质解决一些问题，一般是比较复杂的组合问题

---

前置技能

在此之前先介绍一个式子：

$\frac 1{1-x}=1+x+x^2+x^3+…$

即$\frac 1{1-x}=\sum_{i=0}^{+\infty}x^i$

证明：

将分母乘过去：
$1=(1-x)\sum_{i=0}^{+\infty}x^i\\=\sum_{i=0}^{+\infty}x^i-x\sum_{i=0}^{+\infty}x^i\\=\sum_{i=0}^{+\infty}x^i-\sum_{i=1}^{+\infty}x^i\\=x^0=1$

这个式子在后面会有很大的用处：

$$\frac 1{1-x}=1+x+x^2+x^3+…$$
变形有：
$$\frac 1{1-\lambda x}=1+\lambda+\lambda^2x^2+\lambda^3x^3+…$$

11−αx