MathLabs
定理已证明

选排公式定理

命题陈述

对整数 n≥1n \ge 1 与 0≤k≤n0 \le k \le n,从 nn 个不同对象中选出 kk 个并按顺序排列的方法数为 Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}。特别地,取 k=nk=n 就得到排列数 Pn=n!P_n = n!。

为什么成立?

依次填入 k 个有序位置,每填一个位置后剩余合格对象数就减少一个,这正是独立相继步骤的乘法原理所描述的情形。

证明思路

第一步(设置位置):把要填的 kk 个位置依次记为位置1到位置 kk。用 nn 个对象之一填每个位置,且不重复使用已放置的对象,这是一项由 kk 个相继步骤组成的工作。

第二步(应用乘法原理):位置1有 nn 种填法。填完后已用掉一个对象,所以无论位置1选了哪个对象,位置2都有 n−1n-1 种填法。依此类推,位置 kk 有 n−k+1n-k+1 种填法,因为已经用掉了 k−1k-1 个对象。由乘法原理,总数为乘积 n(n−1)⋯(n−k+1)n(n-1)\cdots(n-k+1)。

第三步(改写为阶乘之商):乘以再除以缺失的尾部 (n−k)!(n-k)!,得到 n(n−1)⋯(n−k+1)=n(n−1)⋯(n−k+1)⋅(n−k)!(n−k)!=n!(n−k)!n(n-1)\cdots(n-k+1) = \frac{n(n-1)\cdots(n-k+1)\cdot (n-k)!}{(n-k)!} = \frac{n!}{(n-k)!},这正是 Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}。

第四步(特殊情形 k=nk=n):代入 k=nk=n,利用 0!=10! = 1 得到 Ann=n!0!=n!1=n!A_n^n = \frac{n!}{0!} = \frac{n!}{1} = n!,恢复排列数 Pn=n!P_n = n!。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

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