二项式反演

二项式反演及其证明

感觉很常用，但是证明经常忘记

二项式反演的形式

如果$f_n={\sum }_{i=0}^n(-1{)}^i{C}_n^i{g}_i$,那么$g_n={\sum }_{i=1}^n(-1{)}^i{C}_n^i{f}_i$

也可以表达成更常用的形式

如果$f_n={\sum }_{i=0}^n{C}_n^i{g}_i$,那么$g_n={\sum }_{i=1}^n(-1{)}^{n-i}{C}_n^i{f}_i$

证明

证明第一个柿子

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

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

即

$$\forall b\le a,\sum _{i=b}^a(-1{)}^i{C}_a^i\times (-1{)}^b{C}_i^b=[a=b]$$

$$\sum _{i=b}^a(-1{)}^{i+b}{C}_a^i{C}_i^b$$

$$=\sum _{i=b}^a(-1{)}^{i+b}{C}_a^b{C}_{a-b}^{a-i}$$

$$=C_a^b(-1{)}^b\sum _{i=b}^a(-1{)}^i\times C_{a-b}^{a-i}$$

$$=C_a^b(-1{)}^b\sum _{i=0}^{a-b}(-1{)}^{a-b}\times C_{a-b}^i$$

根据二项式定理，后面一坨东西等于$(1-1{)}^{a-b}$

$$=C_a^b(-1{)}^b\times 0^{a-b}$$

$$=[a=b]$$

(暂且认为$0^0=1$吧)

所以得证