MathLabs
定理已证明

二项式系数之和

命题陈述

对任意非负整数 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。

用到此定理的主题

分步证明

该定理暂无分步证明。