组合恒等式1 五个基本的组合恒等式 基础与简单例子

组合恒等式是组合学中一个非常有趣但也十分具有挑战性的小分支，它常常以复杂的离散概率论问题的归一性的基础，或者数学竞赛题目的形式出现。组合恒等式是无穷的，因此掌握组合恒等式的证明、计算技巧尤为重要。这一讲就从五个大家高中就学过的组合恒等式开始。

四个基本的组合恒等式

等式一 组合数的对称性
$$C_n^k=C_n^{n-k}$$

等式二 杨辉三角
$$C_n^k=C_{n-1}^k+C_{n-1}^{k-1}$$

等式三 多项式系数的唯一性
$$C_n^k{C}_k^m=C_n^m{C}_{n-m}^{k-m}=C_n^{k-m}{C}_{n-k+m}^m,m\le k\le n$$

这个等式表示多项式系数的唯一性，可以验证这三项表示的都是$(n;m,k-m,n-k)$的多重组合数，即把$n$个白球中的$m$个涂红、$k-m$个涂绿、$n-k$个涂黑的可能的方法数目：
$$\frac{n!}{m!(k-m)!(n-k)!}$$

在计数的时候，涂红色/绿色/黑色的顺序不影响总数，这就有了上面的恒等式，所以是多项式系数的唯一性。这个恒等式的一个特例也非常有用，假设$m=1$，
$$k{C}_n^k=n{C}_{n-1}^{k-1}$$

等式四 二项式定理
$$(x+y{)}^n=\sum _{i=0}^n{C}_n^i{x}^i{y}^{n-i}$$

特例，如果$x=y=1$，则
$$\sum _{i=0}^n{C}_n^i=2^n$$

如果$x=1,y=-1$，则
$$\sum _{i=0}^n(-1{)}^i{C}_n^i=0$$

这四个等式中，等式一的作用就是变换一下指标；等式二的作用主要是拆项递推；等式三主要用来处理与组合数相乘的随指标变化的因子；等式四的作用是提供原始的和式。

应用四个基本恒等式计算组合恒等式的例题

例1 计算${\sum }_{k=0}^n(-1{)}^k\frac{C_n^k}{k+1}$
先观察随指标变换的部分，$C_n^k/(1+k)$，与组合数相乘的因子是一个分式。等式三简单变形一下，$C_n^k/n=C_{n-1}^{k-1}/k$，所以$C_n^k/(1+k)=C_{n+1}^{k+1}/(n+1)$，
$$\sum _{k=0}^n(-1{)}^k\frac{C_n^k}{k+1}=\frac{1}{n+1}\sum _{k=0}^n(-1{)}^k{C}_{n+1}^{k+1}$$

-1的幂作为因子与组合数相乘可以参考等式四的特例二，
∑ i = 0 n + 1 ( − 1 ) i C n + 1 i = 0 = ( − 1 ) 0 C n + 1 0 + ∑ i = 1 n + 1 ( − 1 ) i C n + 1 i = 1 − ∑ k = 0 n + 1 ( − 1 ) k C n + 1 k