The arrangement formula
Statement
For integers and , the number of ways to choose objects out of distinct objects and arrange them in order is . In particular, taking gives the number of permutations .
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 positions to be filled, in order, as position 1 through position . Filling each position with one of the objects, without reusing an object already placed, is a task made of successive steps.
Step 2 (apply the multiplication rule): position 1 can be filled in ways. Once it is filled, one object has been used, so position 2 can be filled in ways, regardless of which object filled position 1. Continuing this way, position can be filled in ways, since objects have already been used. By the multiplication rule, the total count is the product .
Step 3 (rewrite as a factorial quotient): multiplying and dividing by the missing tail gives , which is exactly .
Step 4 (special case ): substituting gives using , which recovers the permutation count .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science
- Richard A. Brualdi (2009). Introductory Combinatorics