二项式系数的性质

01 · 出发点

只研究系数，也能看到完整的组合结构

二项式展开中的 $C_n^0,C_n^1,\ldots,C_n^n$ 组成第 $n$ 行二项式系数。它们既是代数展开的系数，也是从 $n$ 个元素中选择不同数量元素的方法数。

组合解释使系数的对称、递推与求和性质不再是孤立公式。许多恒等式都可以通过“用两种方法统计同一件事”得到。

02 · 概念

二项式系数的对称、递推与和

对称性 $C_n^k=C_n^{n-k}$ 来自“选出 $k$ 个”与“留下 $n-k$ 个”的一一对应。递推关系 $C_n^k=C_{n-1}^k+C_{n-1}^{k-1}$ 来自某个指定元素是否入选。

令二项式定理中的 $a=b=1$，可得所有二项式系数之和为 $2^n$；当 $n\ge1$ 时令 $a=1,b=-1$，可得偶数下标与奇数下标的系数和相等。

03 · 方法

从代数代入与组合解释两条路径出发

1. 01

   求系数和时，优先考虑在二项式定理中代入 $1$ 或 $-1$。

2. 02

   证明恒等式时，寻找能够按 $k$ 分类或按指定元素分类的计数对象。

3. 03

   研究最大值时比较相邻系数 $\dfrac{C_n^{k+1}}{C_n^k}$。

04 · 例题

把方法落到具体问题

05 · 辨析

容易忽略的条件与边界