二项式反演

已知$f(n)=\sum\limits_{i=0}^n C_n^i\cdotp g(i)$, 求$g(n)$

二项式定理:

$(a+b)^n=\sum\limits_{i=0}^nC_{n}^i \cdotp a^i\cdotp b^{n-i}$
令: $a=-1$, $b=1\quad (n\neq0)\quad(0^0$无意义$)$
$0=\sum\limits_{i=0}^n(-1)^i\cdotp C_n^i\quad(n\neq0)$
当$n=0$时, $(a+b)^0=1$
所以:
$\sum\limits_{i=0}^n(-1)^i\cdotp C_n^i= \begin{cases}0\quad(n\neq0)\\1\quad(n=0)\\ \end{cases}$

---

$g(n)=\sum\limits_{i=0}^nC_n^i\cdot \begin{cases} 0\quad\quad(i\neq n)\\ g(i)\quad(i=n) \end{cases}$
即:
$g(n)=\sum\limits_{i=0}^nC_n^i\cdot \begin{cases} 0\quad\quad(n-i\neq 0)\\ g(i)\quad(n-i=0) \end{cases}$
所以:
$g(n)=\sum\limits_{i=0}^n\sum\limits_{j=0}^{n-i}(-1)^j\cdotp C_{n-i}^{j}\cdotp C_n^i\cdotp g(i)$

---

组合恒等式:

$C_n^i\cdotp C_{n-i}^j=C_{n}^{j}\cdotp C_{n-j}^i$
证明:
从$n$个中选$i$个再从剩下$n-i$个中选$j$个$=$从$n$个中选$j$个再从剩下$n-j$个中选$i$个

---

$\begin{align} g(n)&=\sum\limits_{i=0}^n\sum\limits_{j=0}^{n-i}(-1)^j\cdotp C_{n-j}^{i}\cdotp C_n^j\cdotp g(i)\\ &=\sum\limits_{j=0}^n\sum\limits_{i=0}^{n-j}(-1)^j\cdotp C_{n-j}^{i}\cdotp C_n^j\cdotp g(i)\\ &=\sum\limits_{j=0}^n(-1)^j\cdotp C_n^j\sum\limits_{i=0}^{n-j} C_{n-j}^{i}\cdotp g(i)\\ \end{align}$

---

$f(n)=\sum\limits_{i=0}^n C_n^i\cdotp g(i) \to f(n-j)=\sum\limits_{i=0}^{n-j} C_{n-j}^i\cdotp g(i)$
$\begin{align} g(n)&=\sum\limits_{j=0}^n(-1)^j\cdotp C_n^j\cdotp f(n-j)\\ &=\sum\limits_{i=0}^n(-1)^i\cdotp C_n^i\cdotp f(n-i)\\ &=\sum\limits_{i=0}^n(-1)^{n-i}\cdotp C_n^{n-i}\cdotp f(i)\\ &=\sum\limits_{i=0}^n(-1)^{n-i}\cdotp C_n^i\cdotp f(i) \end{align}$

---

所以:

$$g(n)=\sum\limits_{i=0}^n(-1)^{n-i}\cdotp C_n^i\cdotp f(i)$$