MathLabs

10 年级

二项式定理

把 (a+b)ⁿ 展开为带二项式系数各项之和的公式。

直观想法:把 (a + b) 反复自乘会发生什么?

手动展开 (a+b)2=a2+2ab+b2(a+b)^2=a^2+2ab+b^2 和 (a+b)3=a3+3a2b+3ab2+b3(a+b)^3=a^3+3a^2b+3ab^2+b^3 可以看到规律:系数 1, 2, 1 和 1, 3, 3, 1 正是帕斯卡三角形的行,每一行都由上一行相邻两数相加得到。

帕斯卡三角形的网络图,展示每个二项式系数是其上方两个系数之和。
二项式系数 (nk)\binom{n}{k} 的帕斯卡三角形(奇数紫色,偶数橙色):每个数都等于其正上方两数之和。

中学严格表述

定义: 二项式系数

对整数 0≤k≤n0\le k\le n,二项式系数 (nk)\binom{n}{k} 计算从 nn 个物体中选出 kk 个的方法数,并且等于 (nk)=n!k!(n−k)!\binom{n}{k}=\dfrac{n!}{k!(n-k)!}。

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

在公式中,nn 是(非负整数)指数,kk 取遍从 00 到 nn 的每个值,每一项 (nk)an−kbk\binom{n}{k}a^{n-k}b^k 选取 aa 的一个幂和 bb 的一个幂(指数之和为 nn),并用二项式系数 (nk)\binom{n}{k} 加权。

2n=∑k=0n(nk)2^n=\sum_{k=0}^n\binom{n}{k}
展开的前几行
nn(a+b)n(a+b)^n 的展开项数
22(a+b)2=a2+2ab+b2(a+b)^2=a^2+2ab+b^233
33(a+b)3=a3+3a2b+3ab2+b3(a+b)^3=a^3+3a^2b+3ab^2+b^344
44(a+b)4=a4+4a3b+6a2b2+4ab3+b4(a+b)^4=a^4+4a^3b+6a^2b^2+4ab^3+b^455
55(a+b)5=a5+5a4b+10a3b2+10a2b3+5ab4+b5(a+b)^5=a^5+5a^4b+10a^3b^2+10a^2b^3+5ab^4+b^566

大学归纳证明与系数之和

对任意非负整数 nn 及任意数 aa、bb:(a+b)n=∑k=0n(nk)an−kbk(a+b)^n=\sum_{k=0}^n\binom{n}{k}a^{n-k}b^k

为什么成立?

展开 (a+b)(a+b)⋯(a+b)(a+b)(a+b)\cdots(a+b)(共 nn 个因子)就是从每个因子中选取 aa 或 bb 再相乘;an−kbka^{n-k}b^k 的系数正是从 nn 个因子中选出 kk 个取 bb 的方法数,也就是 (nk)\binom{n}{k}。

证明

对 nn 用归纳法证明。基础情形 n=1n=1:(a+b)1=a+b=(10)a+(11)b(a+b)^1=a+b=\binom{1}{0}a+\binom{1}{1}b,由于 (10)=(11)=1\binom{1}{0}=\binom{1}{1}=1,与公式相符。

归纳步骤:假设对某个 nn 公式成立,即 (a+b)n=∑k=0n(nk)an−kbk(a+b)^n=\sum_{k=0}^n\binom{n}{k}a^{n-k}b^k。两边乘以 (a+b)(a+b):(a+b)n+1=∑k=0n(nk)an+1−kbk+∑k=0n(nk)an−kbk+1(a+b)^{n+1}=\sum_{k=0}^n\binom{n}{k}a^{n+1-k}b^k+\sum_{k=0}^n\binom{n}{k}a^{n-k}b^{k+1}。

对第二个和以 j=k+1j=k+1 重新编号,再把两个和中 an+1−jbja^{n+1-j}b^j 的系数合并,对每个从 00 到 n+1n+1 的 jj 得到 (nj)+(nj−1)\binom{n}{j}+\binom{n}{j-1}(约定 (n−1)=(nn+1)=0\binom{n}{-1}=\binom{n}{n+1}=0)。

由帕斯卡法则 (nk)=(n−1k−1)+(n−1k)\binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k},此和等于 (n+1j)\binom{n+1}{j},于是 (a+b)n+1=∑j=0n+1(n+1j)an+1−jbj(a+b)^{n+1}=\sum_{j=0}^{n+1}\binom{n+1}{j}a^{n+1-j}b^j,归纳完成。

对任意非负整数 nn:2n=∑k=0n(nk)2^n=\sum_{k=0}^n\binom{n}{k}

为什么成立?

在二项定理中令 aa 与 bb 都等于 11,每一项 an−kbka^{n-k}b^k 都变成 11,于是整个和就只是在数项数。

证明

把 a=1, b=1a=1,\ b=1 代入二项定理 (a+b)n=∑k=0n(nk)an−kbk(a+b)^n=\sum_{k=0}^n\binom{n}{k}a^{n-k}b^k:左边变为 (1+1)n=2n(1+1)^n=2^n,右边由于 11 的任意次幂都是 11 而变为 ∑k=0n(nk)1n−k1k=∑k=0n(nk)\sum_{k=0}^n\binom{n}{k}1^{n-k}1^k=\sum_{k=0}^n\binom{n}{k}。

令两边相等即得 2n=∑k=0n(nk)2^n=\sum_{k=0}^n\binom{n}{k}。

这个恒等式还有直接的组合意义:(nk)\binom{n}{k} 计算一个含 nn 个元素的集合 SS 中含 kk 个元素的子集数,因此 ∑k=0n(nk)\sum_{k=0}^n\binom{n}{k} 计算 SS 的所有大小的子集,也就是整个幂集,由于 nn 个元素中每个都独立地属于或不属于某子集,其元素个数恰为 2n2^n。

大学实际应用与典型例题

二项定理不只是代数技巧:它在金融(复利增长)中给出快速近似,并且是计算机科学、工程学与概率论中——只要涉及独立的是/否选择组合——计数论证的基础。

例题: 近似复利增长

某储蓄账户年利率为2%。用二项定理只取展开式的前三项来近似10年后的增长因子 (1+0.02)10(1+0.02)^{10}。

解答

把 a+ba+b 写成 1+0.021+0.02,取 a=1a=1、b=0.02b=0.02、n=10n=10:由二项定理,精确值为 (1+0.02)10=∑k=010(10k)(0.02)k(1+0.02)^{10}=\sum_{k=0}^{10}\binom{10}{k}(0.02)^k。

由于 0.020.02 很小,后面的项迅速变小,只保留 kk=0,1,2:(100)+(101)(0.02)+(102)(0.02)2\binom{10}{0}+\binom{10}{1}(0.02)+\binom{10}{2}(0.02)^2。

逐项计算:(100)=1\binom{10}{0}=1、(101)(0.02)=0.2\binom{10}{1}(0.02)=0.2、(102)(0.02)2=45×0.0004=0.018\binom{10}{2}(0.02)^2=45\times0.0004=0.018。

相加得 1+0.2+0.018=1.2181+0.2+0.018=1.218,因此账户增长约为 1.2181.218 倍,即约21.8%,接近精确值 1.2190…1.2190\ldots——二项定理把繁琐的10次乘法变成了三个简单的项。

例题: 计算数据包中的错误模式

某网络数据包有 88 个独立比特,每个比特可能被噪声翻转或不被翻转。设计纠错码的工程师需要知道在 282^8 种可能的比特模式中,恰好有 33 个比特翻转的模式有多少个,并想用系数之和的恒等式来核对总数。

解答

把每个比特看作在 (a+b)8(a+b)^8 中选择 aa(未翻转)或 bb(翻转),那么恰有 kk 个比特翻转的模式数就是 a8−kbka^{8-k}b^k 的系数,即 (8k)\binom{8}{k}。

对恰好 33 个比特翻转的情形,kk=3,所以数目为 (83)=56\binom{8}{3}=56。

为核对总数,像系数之和定理那样令 aa=bb=1:(1+1)8=28(1+1)^8=2^8,而 28=2562^8=256 按翻转比特数分类,统计了全部 282^8 种可能的比特模式。

因此在 256256 种模式中,有 5656 种恰好有 33 个错误——代数中使用的同一批二项式系数,也支配着纠错码的设计。

(52)\binom{5}{2} 等于多少?

(1+x)4(1+x)^4 的展开式中 x2x^2 的系数是多少?

(a+b)6(a+b)^6 展开式中所有系数之和是多少?

一位网络工程师想知道有多少个6位比特串恰好有4个比特为1。用二项式系数 (64)\binom{6}{4} 表示,这个数是多少?