KNOWECON WIKI

ARTICLE

二项式定理

二项式定理 (Binomial Theorem) 二项式定理 (Binomial Theorem) 是初等代数与组合数学中描述二项式正整数次幂展开形式的根本性定理。其核心断言为：对任意非负整数 n 及实数（或复数）a, b，有 其中 nk = n!k! (n - k)! 称为二项式系数 (Binomial Coefficient)，读作 "n 选 k"，表示

浏览 6 更新 2025-10-26

二项式定理 (Binomial Theorem)

二项式定理 (Binomial Theorem) 是初等代数与组合数学中描述二项式正整数次幂展开形式的根本性定理。其核心断言为：对任意非负整数 nn 及实数（或复数）a,ba, b，有

(a+b)n=∑k=0n(nk)an−kbk(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k

其中 (nk)=n!k!(n−k)!\binom{n}{k} = \frac{n!}{k! (n - k)!} 称为二项式系数 (Binomial Coefficient)，读作 "nn 选 kk"，表示从 nn 个元素中选取 kk 个的组合数。该展开式的每一项 (nk)an−kbk\binom{n}{k} a^{n-k} b^k 称为通项，整组系数按 kk 递增排列，对称地出现在展开式的两端。

历史渊源

二项式系数的数值规律远在定理正式表述前已被发现。公元前3世纪，印度数学家 Pingala 在梵文韵律学著作中已隐含组合数的计算；11世纪，波斯数学家 Omar Khayyam 首次给出二项式展开的完整描述；13世纪，中国南宋数学家杨辉在《详解九章算法》中收录了二项式系数三角形排列，即今人所熟知的杨辉三角。欧洲方面，Pascal 于1654年对二项式系数进行了系统研究，使其在西方长期被称为 Pascal 三角。

1665年，牛顿将二项式定理推广至任意实数指数，导出了广义二项式定理：

(1+x)α=∑k=0∞α(α−1)⋯(α−k+1)k!xk=∑k=0∞(αk)xk(1 + x)^{\alpha} = \sum_{k=0}^{\infty} \frac{\alpha (\alpha - 1) \cdots (\alpha - k + 1)}{k!} x^k = \sum_{k=0}^{\infty} \binom{\alpha}{k} x^k

其中 α∈R\alpha \in \mathbb{R}，∣x∣<1|x| < 1，广义二项式系数 (αk)\binom{\alpha}{k} 不再具有组合意义，而是形式代数表达式。该无穷级数在 ∣x∣<1|x| < 1 时绝对收敛，是微积分中泰勒级数的特例，也是牛顿在幂级数理论方面的标志性贡献之一。

二项式系数的基本性质

二项式系数 (nk)\binom{n}{k} 自身具备一系列优美且深刻的代数与组合性质。

对称性：(nk)=(nn−k)\binom{n}{k} = \binom{n}{n - k}，反映了展开式中系数的镜像对称，也对应组合意义上"选取 kk 个"与"保留 n−kn - k 个"的等价性。

Pascal 恒等式：

(nk)=(n−1k−1)+(n−1k)\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}

该递推关系是构造杨辉三角的基石：每个内部元素等于其"两肩"元素之和。其组合意义在于，从 nn 个元素中选取 kk 个，可按第一个元素是否入选分为两类。

行的和：令 a=b=1a = b = 1 代入定理，得

∑k=0n(nk)=2n\sum_{k=0}^{n} \binom{n}{k} = 2^n

即 nn 元集合的子集总数为 2n2^n。若取 a=1,b=−1a = 1, b = -1，则得交错和恒等式：

∑k=0n(−1)k(nk)=0(n≥1)\sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0 \quad (n \geq 1)

该结果说明偶数项系数之和等于奇数项系数之和。

Vandermonde 恒等式：

∑j=0r(mj)(nr−j)=(m+nr)\sum_{j=0}^{r} \binom{m}{j} \binom{n}{r - j} = \binom{m + n}{r}

该恒等式将两个二项式系数的卷积合并为单一组合数，在概率论中处理两独立二项分布随机变量之和的分布时起关键作用。

证明思路

正整数指数二项式定理的证明主要有两条路径。

组合论证：将 (a+b)n(a + b)^n 视为 nn 个因子 (a+b)(a+b)⋯(a+b)(a + b)(a + b) \cdots (a + b) 的乘积。展开时，每一因子贡献一个 aa 或 bb。得到项 an−kbka^{n-k} b^k 的充要条件是恰好从 nn 个因子中选取 kk 个贡献 bb，其余贡献 aa，选法恰有 (nk)\binom{n}{k} 种。此论证直观地揭示了二项式系数的组合本原。

数学归纳法：利用 Pascal 恒等式完成归纳步骤——假设 nn 成立，则

(a+b)n+1=(a+b)∑k=0n(nk)an−kbk(a + b)^{n+1} = (a + b) \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k

展开并合并 an+1−kbka^{n+1-k} b^k 的同类项，系数恰为 (nk)+(nk−1)=(n+1k)\binom{n}{k} + \binom{n}{k-1} = \binom{n+1}{k}。

核心应用

概率论与二项分布：在 nn 重独立伯努利试验中，每次成功概率为 pp，则恰好 kk 次成功的概率为

P(X=k)=(nk)pk(1−p)n−kP(X = k) = \binom{n}{k} p^k (1 - p)^{n-k}

这正是二项式展开的通项，总概率 ∑k=0nP(X=k)=[p+(1−p)]n=1\sum_{k=0}^{n} P(X = k) = [p + (1-p)]^n = 1。

组合恒等式推导：二项式定理是生成大量组合恒等式的母机。例如对恒等式 (1+x)n(1+x)m=(1+x)m+n(1 + x)^n (1 + x)^m = (1 + x)^{m+n} 两边提取 xrx^r 系数，立即得到 Vandermonde 恒等式。

逼近与近似：当 nn 很大时，二项分布可由正态分布逼近（De Moivre-Laplace 定理）；当 pp 很小时，可由泊松分布逼近。这些经典极限定理的推导均以二项式系数为出发点。此外，ex=lim⁡n→∞(1+xn)ne^x = \lim_{n \to \infty} (1 + \frac{x}{n})^n 也可视为二项式定理在极限下的自然延伸。

推广：多项式定理

将两个变量的二项式定理自然推广至 mm 个变量，即得多项式定理 (Multinomial Theorem)：

(x1+x2+⋯+xm)n=∑k1+k2+⋯+km=nn!k1!k2!⋯km!x1k1x2k2⋯xmkm(x_1 + x_2 + \cdots + x_m)^n = \sum_{k_1 + k_2 + \cdots + k_m = n} \frac{n!}{k_1! k_2! \cdots k_m!} x_1^{k_1} x_2^{k_2} \cdots x_m^{k_m}

其中 多项式系数 n!k1!k2!⋯km!\frac{n!}{k_1! k_2! \cdots k_m!} 表示将 nn 个可分辨对象分配到 mm 个标签组、各组大小依次为 k1,…,kmk_1, \dots, k_m 的方案数，在多项分布与统计力学的微观状态计数中有广泛应用。