二项式反演

最新推荐文章于 2025-05-07 17:22:06 发布

原创最新推荐文章于 2025-05-07 17:22:06 发布 · 440 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

数学专栏收录该内容

5 篇文章

订阅专栏

本文通过二项式定理推导了如何利用已知函数f(n)的定义来求解未知函数g(n)的表达式。通过引入特定的组合公式与恒等变换，最终得出g(n)的闭合形式。

已知 $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 i = 0 n (- 1) n - i \cdot C i n \cdot f (i)$ $g(n)=\sum\limits_{i=0}^n(-1)^{n-i}\cdotp C_n^i\cdotp f(i)$