定义 利用二项式定理展开特定代数式，通过调整参数或合并同类项，证明左右两边恒等。
从哪来 基于 5.1 二项式定理 的展开公式，结合 5.2 二项式系数的性质（如对称性、组合恒等式）进行推导。
为什么 恒等式证明的核心在于“构造”。二项式定理 $(a+b)^n$ 提供了一个通用的展开框架。通过赋予 $a, b$ 特定的值（如 $1, -1, x, 1/x$）或提取特定项，可以将复杂的组合数求和转化为多项式系数比较。因为多项式恒等意味着对应项系数相等，从而将“证明和式相等”转化为“证明系数相等”，这是代数结构决定的必然逻辑。
讲法
赋值法（特值代入）
适合：直觉型、喜欢快速解题的学生
思路：观察等式右边是组合数求和 $\sum C_n^k$。直接令二项式 $(1+1)^n$ 或 $(1-1)^n$ 展开，对比系数。
操作：
1. 写出 $(1+x)^n = \sum_{k=0}^n C_n^k x^k$。
2. 若右边是 $\sum C_n^k$，令 $x=1$。
3. 若右边是 $\sum (-1)^k C_n^k$，令 $x=-1$。
4. 若右边是 $\sum k C_n^k$，先求导再令 $x=1$。
优点：步骤少，计算量小，适合考场抢分。
讲法
系数比较法（结构匹配）
适合：逻辑严密、喜欢推导过程的学生
思路：不直接代入数值，而是将等式两边都视为关于某变量 $x$ 的多项式，证明对应项系数一致。
操作：
1. 将等式左边展开为多项式形式。
2. 将等式右边利用二项式定理展开。
3. 提取 $x^k$ 的系数，证明两边 $x^k$ 的系数表达式相同。
优点：逻辑链条完整，能解释“为什么”成立，不易出错。
讲法
组合意义法（双计数原理）
适合：思维深刻、对组合背景感兴趣的学生
思路：从集合论角度解释等式两边的组合意义，证明它们计算的是同一个事件的不同分类方式。
操作：
1. 分析等式左边：从 $n$ 个元素中选 $k$ 个的某种加权和。
2. 分析等式右边：从 $n$ 个元素中选 $k$ 个的另一种分类加权和。
3. 指出两者本质都是计算“从 $n$ 个元素中选取特定子集”的方法数。
优点：深刻理解本质，举一反三能力强，但入门门槛高。