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個の順序付きの枠を1つずつ埋めていき、条件を満たす残りの対象の数が枠を埋めるたびに1つずつ減っていくというのは、まさに独立した連続する手順に対する乗法の法則の設定そのものである。

証明の概略

第1段階(位置の設定):埋めるべき kk 個の位置に、順に位置1から位置 kk まで名前を付ける。すでに置いた対象を再利用せずに、nn 個の対象のいずれかで各位置を埋めることは、kk 個の連続する手順から成る作業である。

第2段階(乗法の法則を適用する):位置1は nn 通りで埋められる。埋めた後は対象が1つ使われているので、位置2は位置1で何が選ばれたかに関係なく n−1n-1 通りで埋められる。これを続けると、位置 kk はすでに k−1k-1 個の対象が使われているので n−k+1n-k+1 通りとなる。乗法の法則により、総数は積 n(n−1)⋯(n−k+1)n(n-1)\cdots(n-k+1) である。

第3段階(階乗の商として書き直す):欠けている末尾 (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)!} である。

第4段階(特別な場合 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