二项式系数

Abstract

二项式系数（Binomial Coefficient） $(k n)$ 计数的是从 $n$ 个元素的集合中选取 $k$ 个元素的子集数，即组合数 $C (n, k)$ 。它是二项式定理展开式中的系数，也是帕斯卡三角形中的基本元素。二项式系数具有丰富的代数性质和组合意义，包括对称性、帕斯卡恒等式、范德蒙德恒等式、曲棍球棒恒等式等。

定义

二项式系数（Binomial Coefficient）

对于非负整数 $n$ 和 $k$ （ $0 \leq k \leq n$ ），二项式系数定义为：

$(k n) = \frac{n !}{k ! ( n - k )!}$

当 $k < 0$ 或 $k > n$ 时，约定 $(k n) = 0$ 。

二项式系数等价于组合数 $C (n, k)$ ，表示从 $n$ 个不同元素中选取 $k$ 个的无序方式数。

广义二项式系数

对于任意实数 $α$ 和非负整数 $k$ ，广义二项式系数定义为：

$(k α) = \frac{α ( α - 1 ) ( α - 2 ) \dots ( α - k + 1 )}{k !}$

当 $α$ 为正整数 $n$ 时，退化为标准二项式系数。

核心性质

编号	性质	公式	说明
1	对称性	$(k n) = (n - k n)$	选 $k$ 个等价于排除 $n - k$ 个
2	帕斯卡恒等式	$(k n) = (k - 1 n - 1) + (k n - 1)$	帕斯卡三角形的构造基础
3	范德蒙德恒等式	$k = 0 \sum r (k m) (r - k n) = (r m + n)$	两组元素合并后选 $r$ 个
4	上指标求和（曲棍球棒恒等式）	$i = r \sum n (r i) = (r + 1 n + 1)$	沿对角线求和等于右下方的数
5	全子集求和	$k = 0 \sum n (k n) = 2^{n}$	$n$ 元素集合的所有子集总数
6	交替求和	$k = 0 \sum n (- 1)^{k} (k n) = 0 (n \geq 1)$	二项式定理中令 $x = 1, y = - 1$ 的推论
7	单峰性	$(0 n) < (1 n) < \dots < (⌊ n /2 ⌋ n)$	二项式系数先增后减，关于中间对称
8	吸收恒等式	$(k n) = \frac{n}{k} (k - 1 n - 1)$	将 $n$ 提取到分子前的降阶表示

关系网络

graph LR
    A["二项式系数 binom(n,k)"] -->|"等价于"| B["[[组合]] C(n,k)"]
    A -->|"满足"| C["对称性"]
    A -->|"满足"| D["帕斯卡恒等式"]
    A -->|"满足"| E["范德蒙德恒等式"]
    A -->|"满足"| F["曲棍球棒恒等式"]
    A -->|"展开系数"| G["[[二项式定理]]"]
    A -->|"三角形排列"| H["[[帕斯卡三角形]]"]
    A -->|"P(n,k)/k!"| I["[[排列]]"]
    D -->|"构造"| H
    G -->|"推论"| C
    G -->|"推论"| F
    E -->|"推广"| J["[[排列组合恒等式]]"]

章节扩展

帕斯卡恒等式是帕斯卡三角形中每个数等于其上方两数之和的数学表达，也是递推计算二项式系数的基础。
范德蒙德恒等式可以理解为：从 $m + n$ 个元素（分为 $m$ 个和 $n$ 个两组）中选 $r$ 个，等价于从第一组选 $k$ 个、从第二组选 $r - k$ 个的所有可能之和。
曲棍球棒恒等式得名于其在帕斯卡三角形中的几何形状——沿对角线求和的路径形似曲棍球棒。
单峰性说明二项式系数在第 $⌊ n /2 ⌋$ 处达到最大值，这一性质在概率论（二项分布）中有重要应用。

补充

范德蒙德恒等式的组合证明

考虑从 $m + n$ 个学生（ $m$ 个男生， $n$ 个女生）中选 $r$ 个人组成委员会：

左边：按男生人数 $k$ 分类，从男生中选 $k$ 个（ $(k m)$ 种方式），从女生中选 $r - k$ 个（ $(r - k n)$ 种方式），对 $k$ 从 $0$ 到 $r$ 求和

右边：直接从 $m + n$ 个人中选 $r$ 个，有 $(r m + n)$ 种方式

两种计数方式结果相同，恒等式得证。

曲棍球棒恒等式的直观理解

在帕斯卡三角形中，从第 $r$ 行第 $r$ 列开始，沿对角线向下走到第 $n$ 行，将路径上的所有数相加，恰好等于第 $n + 1$ 行第 $r + 1$ 列的那个数。

例如： $(1 2) + (1 3) + (1 4) + (1 5) = (2 6)$ ，即 $2 + 3 + 4 + 5 = 15$ 。

参见

组合 —— 二项式系数的组合意义
排列 —— 与组合数的关系
二项式定理 —— 二项式系数的代数应用
帕斯卡三角形 —— 二项式系数的几何表示
排列组合恒等式 —— 更多经典恒等式与证明方法

CS Wiki

探索

二项式系数

二项式系数

定义

核心性质

关系网络

章节扩展

补充

参见

关系图谱

目录

反向链接