MathLabs
定理已证明

组合公式定理

命题陈述

对整数 n≥1n \ge 1 与 0≤k≤n0 \le k \le n,从 nn 个不同对象中不考虑顺序选出 kk 个的方法数为 Cnk=n!k!(n−k)!C_n^k = \frac{n!}{k!(n-k)!}。

为什么成立?

每个大小为 k 的无序子集恰好能以 k! 种方式变成有序的选排,所以有序计数把每个子集都重复计数了相同的因子 k!;除以 k! 就消除了这种重复计数。

证明思路

第一步(把选排按其基础子集分组):从 nn 个对象中选 kk 个的每一个选排,都是先选定某个 kk 元子集,再对其排序而得到的。把 AnkA_n^k 个选排按可能的 kk 元子集分成若干组,使得两个选排属于同一组当且仅当它们使用相同的对象集合。

第二步(每组的大小):固定一个 kk 元子集,由它构成的选排恰好对应该子集的各种排序方式,这样的排序方式共有 k!k! 种(kk 个对象的一个排列)。因此每一组恰好有 k!k! 个选排。

第三步(对各组用加法原理):各组两两不相交(一个选排恰好属于一组),按定义共有 CnkC_n^k 组,每组大小为 k!k!。加法原理(k!k! 自加 CnkC_n^k 次)给出 Ank=Cnk⋅k!A_n^k = C_n^k \cdot k!。

第四步(解出组合数):两边除以 k!k! 并代入 Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!},得到 Cnk=Ankk!C_n^k = \dfrac{A_n^k}{k!},即 Cnk=n!k!(n−k)!C_n^k = \frac{n!}{k!(n-k)!}。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
  2. Richard A. Brualdi (2009). Introductory Combinatorics