MathLabs
TheoremProved

The arrangement formula

Statement

For integers n≥1n \ge 1 and 0≤k≤n0 \le k \le n, the number of ways to choose kk objects out of nn distinct objects and arrange them in order is Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}. In particular, taking k=nk=n gives the number of permutations Pn=n!P_n = n!.

Why is it true?

Filling k ordered slots one at a time, with the pool of remaining eligible objects shrinking by one after every slot, is exactly the setting of the multiplication rule for independent sequential steps.

Proof sketch

Step 1 (set up the positions): label the kk positions to be filled, in order, as position 1 through position kk. Filling each position with one of the nn objects, without reusing an object already placed, is a task made of kk successive steps.

Step 2 (apply the multiplication rule): position 1 can be filled in nn ways. Once it is filled, one object has been used, so position 2 can be filled in n−1n-1 ways, regardless of which object filled position 1. Continuing this way, position kk can be filled in n−k+1n-k+1 ways, since k−1k-1 objects have already been used. By the multiplication rule, the total count is the product n(n−1)⋯(n−k+1)n(n-1)\cdots(n-k+1).

Step 3 (rewrite as a factorial quotient): multiplying and dividing by the missing tail (n−k)!(n-k)! gives 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)!}, which is exactly Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!}.

Step 4 (special case k=nk=n): substituting k=nk=n gives Ann=n!0!=n!1=n!A_n^n = \frac{n!}{0!} = \frac{n!}{1} = n! using 0!=10! = 1, which recovers the permutation count Pn=n!P_n = n!.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

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