定理已证明
选排公式定理
命题陈述
对整数 与 ,从 个不同对象中选出 个并按顺序排列的方法数为 。特别地,取 就得到排列数 。
为什么成立?
依次填入 k 个有序位置,每填一个位置后剩余合格对象数就减少一个,这正是独立相继步骤的乘法原理所描述的情形。
证明思路
第一步(设置位置):把要填的 个位置依次记为位置1到位置 。用 个对象之一填每个位置,且不重复使用已放置的对象,这是一项由 个相继步骤组成的工作。
第二步(应用乘法原理):位置1有 种填法。填完后已用掉一个对象,所以无论位置1选了哪个对象,位置2都有 种填法。依此类推,位置 有 种填法,因为已经用掉了 个对象。由乘法原理,总数为乘积 。
第三步(改写为阶乘之商):乘以再除以缺失的尾部 ,得到 ,这正是 。
第四步(特殊情形 ):代入 ,利用 得到 ,恢复排列数 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
- Richard A. Brualdi (2009). Introductory Combinatorics