定理已证明
组合公式定理
命题陈述
对整数 与 ,从 个不同对象中不考虑顺序选出 个的方法数为 。
为什么成立?
每个大小为 k 的无序子集恰好能以 k! 种方式变成有序的选排,所以有序计数把每个子集都重复计数了相同的因子 k!;除以 k! 就消除了这种重复计数。
证明思路
第一步(把选排按其基础子集分组):从 个对象中选 个的每一个选排,都是先选定某个 元子集,再对其排序而得到的。把 个选排按可能的 元子集分成若干组,使得两个选排属于同一组当且仅当它们使用相同的对象集合。
第二步(每组的大小):固定一个 元子集,由它构成的选排恰好对应该子集的各种排序方式,这样的排序方式共有 种( 个对象的一个排列)。因此每一组恰好有 个选排。
第三步(对各组用加法原理):各组两两不相交(一个选排恰好属于一组),按定义共有 组,每组大小为 。加法原理( 自加 次)给出 。
第四步(解出组合数):两边除以 并代入 ,得到 ,即 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
- Richard A. Brualdi (2009). Introductory Combinatorics