二项式反演有两种形式:
- 对称形式
f ( n ) = ∑ i = 0 n ( − 1 ) i ( n i ) g ( i ) ⇔ g ( n ) = ∑ i = 0 n ( − 1 ) i ( n i ) f ( i ) f(n)=\sum_{i=0}^n(-1)^i{n\choose i}g(i)\Leftrightarrow g(n)=\sum_{i=0}^n(-1)^i{n\choose i}f(i) f(n)=i=0∑n(−1)i(in)g(i)⇔g(n)=i=0∑n(−1)i(in)f(i)
- 常用形式
f ( n ) = ∑ i = 0 n ( n i ) g ( i ) ⇔ g ( n ) = ∑ i = 0 n ( − 1 ) n − i ( n i ) f ( i ) f(n)=\sum_{i=0}^n{n\choose i}g(i)\Leftrightarrow g(n)=\sum_{i=0}^n(-1)^{n-i}{n\choose i}f(i) f(n)=i=0∑n(in)g(i)⇔g(n)=i=0∑n(−1)n−i(in)f(i)
下面证明第 1 种形式:
已知
g ( n ) = ∑ i = 0 n ( − 1 ) i ( n i ) f ( i ) g(n)=\sum_{i=0}^n(-1)^i{n\choose i}f(i) g(n)=i=0∑n(−1)i(in)f(i)
那么
∑ i = 0 n ( − 1 ) i ( n i ) g ( i ) = ∑ i = 0 n ( − 1 ) i ( n i ) ∑ j = 0 i ( − 1 ) j ( i j ) f ( j ) = ∑ i = 0 n ∑ j = 0 i ( − 1 ) i + j ( n i ) ( i j ) f ( j ) = ∑ i = 0 n ∑ j = 0 i ( − 1 ) i + j ( n j ) ( n − j i − j ) f ( j ) = ∑ j = 0 n ( − 1 ) j ( n j ) f ( j ) ∑ i = j n ( − 1 ) i ( n − j i − j ) = ∑ j = 0 n ( − 1 ) j ( n j ) f ( j ) ∑ i = 0 n − j ( − 1 ) i + j ( n − j i ) = ∑ j = 0 n ( n j ) f ( j ) ∑ i = 0 n − j ( − 1 ) i ( n − j i ) = ∑ j = 0 n ( n j ) f ( j ) [ j = = n ] = f ( n ) \begin{aligned} \sum_{i=0}^n(-1)^i{n\choose i}g(i)&=\sum_{i=0}^n(-1)^i{n\choose i}\sum_{j=0}^i(-1)^j{i\choose j}f(j) \\&=\sum_{i=0}^n\sum_{j=0}^i(-1)^{i+j}{n\choose i}{i\choose j}f(j) \\&=\sum_{i=0}^n\sum_{j=0}^i(-1)^{i+j}{n\choose j}{n-j\choose i-j}f(j) \\&=\sum_{j=0}^n(-1)^j{n\choose j}f(j)\sum_{i=j}^n(-1)^{i}{n-j\choose i-j} \\&=\sum_{j=0}^n(-1)^j{n\choose j}f(j)\sum_{i=0}^{n-j}(-1)^{i+j}{n-j\choose i} \\&=\sum_{j=0}^n{n\choose j}f(j)\sum_{i=0}^{n-j}(-1)^{i}{n-j\choose i} \\&=\sum_{j=0}^n{n\choose j}f(j)[j==n] \\&=f(n) \end{aligned} i=0∑n(−1)i(in)g(i)=i=0∑n(−1)i(in)j=0∑i(−1)j(ji)f(j)=i=0∑nj=0∑i(−1)i+j(in)(ji)f(j)=i=0∑nj=0∑i(−1)i+j(jn)(i−jn−j)f(j)=j=0∑n(−1)j(jn)f(j)i=j∑n(−1)i(i−jn−j)=j=0∑n(−1)j(jn)f(j)i=0∑n−j(−1)i+j(in−j)=j=0∑n(jn)f(j)i=0∑n−j(−1)i(in−j)=j=0∑n(jn)f(j)[j==n]=f(n)
证毕。
大致思路:
- 代入法。
- 操作组合数,用 ( n j ) n\choose j (jn) 代替 ( n i ) n\choose i (in) 。
- 杨辉三角同一行分别带上
+-+-
的符号,最终得到的结果除了第一行之外都是 0,比如1-4+6-4+1=0
,1-5+10-10+5-1=0
。证明只要用组合数递推式拆开就好了,或者用二项式定理化成 ( 1 − 1 ) n − j = [ j = = n ] (1-1)^{n-j}=[j == n] (1−1)n−j=[j==n] 。
对于第 2 种形式,只要令 G ( n ) = ( − 1 ) n g ( n ) G(n)=(-1)^ng(n) G(n)=(−1)ng(n) 就可以转化为第一种形式了。
第 2 种形式的感性理解:容斥中恰好和至多之间的关系。一般也就是这样应用的。