二项式反演-学习笔记

定义

如果两个函数g，f满足：$g(n)={\sum }_{i=1}^n{C}_n^{i}f(i)$

那么$f(n)={\sum }_{i=1}^n(-1{)}^{n-i}{C}_n^{i}g(i)$

证明

以上推下为例：

1.将g函数表达式代入：

$f(n)={\sum }_{i=1}^n(-1{)}^{n-i}\ast C_n^i\ast [{\sum }_{j=1}^i{C}_i^j\ast f(i)]$

2.转换枚举对象

$={\sum }_{j=1}^{n}f(j)\ast {\sum }_{i=j}^n(-1{)}^{n-i}{C}_n^i{C}_i^j$

所以问题就转变成了证明：${\sum }_{i=j}^n(-1{)}^{n-i}{C}_n^i{C}_i^j==[j=n]$

${\sum }_{i=j}^n(-1{)}^{n-i}{C}_n^i{C}_i^j$

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast \frac{n!}{i!(n-i)!}\ast \frac{i!}{j!(i-j)!}$

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast \frac{n!}{(n-i)!}\ast \frac{1}{j!(i-j)!}$

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast \frac{n!}{(n-i)!(n-j)!}\ast \frac{(n-j)!}{j!(i-j)!}$

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast \frac{(n-j)!}{(n-i)!(i-j)!}\ast \frac{n!}{j!(n-j)!}$

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast C_{n-j}^{i-j}\ast C_n^j$

我们发现当且仅当 $j==n$ 的时候

$={\sum }_{i=j}^n(-1{)}^{n-i}\ast C_{n-j}^{i-j}=1$

所以原命题得证，二项式反演得证

证明思路

我们在上述证明的倒数第五步推到倒数第四步的时候，也就是分子分母同乘$(n-j)!$

很多人可能不明白为什么要这么做。

而且最后倒数第二步那个“当且仅当j==n的时候……”这块是怎么来的

现在就来详细讲一下

从二项式定理说起

因为一开始这个式子出现了形如${\sum }_{i=0}^n{C}_n^i$这种式子。后来又是在$i!=n$的情况下全是0只有相等的时候是1。

那就很容易想到二项式定理的一个常见应用：

$(1-1{)}^n=0={\sum }_{i=1}^n(-1{)}^i\ast C_n^i$

然后还能注意当$n=0$的时候由于$0^0$没有意义，左边等号不成立，右边等号=1。

因此最后一步${\sum }_{i=j}^n(-1{)}^{n-i}\ast C_{n-j}^{i-j}==[j==n]$

就容易看出来了。

我们令$n‘=n-j,i‘=i-j$

那么上式变为：${\sum }_{i‘=0}^{n‘}(-1{)}^{n‘-i‘}\ast C_{n‘}^{i‘}$

在$n‘!=0$的时候

$=(1-1{)}^{n‘}=0$

否则就是1，这样就说明了最后一步。

思路往往是反向推导的

现在为什么凑一个$(n-j)!$就容易开出来了：我们要先想到用二项式定理。

因为有二项式定理转化为零的某次方，然后就想到凑成二项式定理的形式，所以要凑两个组合数出来，还要保证一个和j有关一个无关（可以提出去只剩一个）

所以能想到分子分母同乘这么一个东西

到这里，证明就显得更加明朗。

撰写不易，敬请指正。

谢谢观看！