二项式反演学习笔记

最新推荐文章于 2024-07-20 08:27:55 发布

CCX_串串香

最新推荐文章于 2024-07-20 08:27:55 发布

阅读量747

点赞数 14

分类专栏：知识点学习文章标签：学习笔记 c++

本文链接：https://blog.csdn.net/CCX_CoolMint/article/details/139158357

版权

知识点学习专栏收录该内容

2 篇文章 0 订阅

订阅专栏

形式一

对于任意正整数 $n$ ，若
$f(n)=\displaystyle \sum_{i=0}^n (-1)^iC_{n}^ig(i)$

则
$g(n)=\displaystyle \sum_{i=0}^n (-1)^iC_{n}^if(i)$

证明

代入结论演绎原式可以得到：
$g(n)=\displaystyle \sum_{i=0}^n (-1)^iC_{n}^i\displaystyle \sum_{j=0}^i (-1)^jC_{i}^jg(j)$

我们将 $g (j)$ 和 $1)^j$ 提到前面：
$g(n)=\displaystyle \sum_{j=0}^n(-1)^jg(j)\displaystyle \sum_{i=j}^n(-1)^iC_n^iC_i^j$

其中 $C_n^iC_i^j$ 可以化为 $C_n^jC_{n-j}^{i-j}$ ，并把 $C_n^j$ 提取到前面， $C_{n-j}^{i-j}$ 留在第二个和式内；再来考虑 $1)^i$ 和 $1)^j$ 的乘积，由于我们只关心指数的奇偶性，那么合并成 $1)^{i+j}$ 或 $1)^{i-j}$ 都是可行的，在这里我选择合并成 $1)^{i-j}$ ，最后运用二项式定理（中间过程为了便于运用二项式定理，令 $t = i - j$ ），那么可以得到：
$\begin{align*} g(n) = &\displaystyle \sum_{j=0}^nC_n^jg(j)\displaystyle \sum_{i=j}^n(-1)^{i-j}C_{n-j}^{i-j}\\ = &\displaystyle \sum_{j=0}^nC_n^jg(j)\displaystyle \sum_{t=0}^{n-j}(-1)^{t}C_{n-j}^{t}\\ = &\displaystyle \sum_{j=0}^nC_n^jg(j)\displaystyle \sum_{t=0}^{n-j}(-1)^{t}C_{n-j}^{t}*1^{n-j-t}\\ = &\displaystyle \sum_{j=0}^nC_n^jg(j)*(1-1)^{n-j} \end{align*}$

由于 $1-1)^x=[x=0]$ ，因此当且仅当 $j = n$ 时，第一个和式才有贡献，即：
$g(n)=C_n^ng(n)=g(n)$

得证.

形式二

对于任意正整数 $n$ ，若
$f(n)=\displaystyle \sum_{i=0}^nC_n^ig(i)$

则
$g(n)=\displaystyle \sum_{i=0}^n(-1)^{n-i}C_n^if(i)$

证明
令 $h(i)=(-1)^ig(i)$ ，则可以把形式一写成：
$f(n)=\displaystyle \sum_{i=0}^nC_n^ih(i)\\ (-1)^nh(n)=\displaystyle \sum_{i=0}^n(-1)^iC_n^if(i)$

下面的式子可以写成：
$\begin{align*} h(n) = &\displaystyle \sum_{i=0}^n(-1)^{i-n}C_n^if(i)\\ = &\displaystyle \sum_{i=0}^n(-1)^{n-i}C_n^if(i) \end{align*}$
将 $h (i)$ 代换成 $g (i)$ ，并整理得：
$f(n)=\displaystyle \sum_{i=0}^nC_n^ig(i)\\g(n)=\displaystyle \sum_{i=0}^n(-1)^{n-i}C_n^if(i)$

得证.

形式三&形式四

由于这两种形式的证明方法和形式结构类似，且常用这两种形式解决问题，因而放在一起。

对于任意正整数 $n$ ，若
$f(n)=\displaystyle \sum_{i=m}^nC_n^ig(i)$

则
$g(n)=\displaystyle \sum_{i=m}^n(-1)^{n-i}C_n^if(i)$

证明
$\begin{align*} g(n) = &\displaystyle \sum_{i=m}^n(-1)^{n-i}C_n^if(i)\\ = &\displaystyle \sum_{i=m}^n(-1)^{n-i}C_n^i\displaystyle \sum_{j=m}^iC_i^jg(j)\\ = &\displaystyle \sum_{j=m}^ng(j)\displaystyle \sum_{i=j}^n(-1)^{n-i}C_n^iC_i^j\\ = &\displaystyle \sum_{j=m}^ng(j)C_n^j\displaystyle \sum_{i=j}^n(-1)^{n-i}C_{n-j}^{i-j}\\ = &\displaystyle \sum_{j=m}^ng(j)C_n^j\displaystyle \sum_{令t=i-j,t=0}^{n-j}(-1)^{n-j-t}C_{n-j}^{t}\\ = &\displaystyle \sum_{j=m}^ng(j)C_n^j\displaystyle \sum_{t=0}^{n-j}(-1)^{n-j-t}C_{n-j}^{t}*1^{t}\\ = &\displaystyle \sum_{j=m}^ng(j)C_n^j*(1-1)^{n-j}\\ = &g(n) \end{align*}$

得证.
对于任意正整数 $n$ ，若
$f(n)=\displaystyle \sum_{i=n}^mC_n^ig(i)$

则
$g(n)=\displaystyle \sum_{i=n}^m(-1)^{i-n}C_n^if(i)$

证明同形式三。