The combination formula
Statement
For integers and , the number of ways to choose objects out of distinct objects with no regard to order is .
Why is it true?
Every unordered subset of size k can be turned into an ordered arrangement in exactly k! ways, so the ordered count over-counts each subset by the same factor k!; dividing removes the over-counting.
Proof sketch
Step 1 (group arrangements by their underlying subset): every arrangement of objects out of first selects some -element subset and then orders it. Group the arrangements into buckets, one bucket per possible -element subset, so that two arrangements land in the same bucket exactly when they use the same set of objects.
Step 2 (size of each bucket): fixing one -element subset, the arrangements built from it correspond exactly to the orderings of that subset, and there are such orderings (a permutation of objects). So every bucket has exactly arrangements.
Step 3 (addition rule across buckets): the buckets are disjoint (an arrangement belongs to exactly one bucket) and there are buckets by definition, each of size . The addition rule ( added to itself times) gives .
Step 4 (solve for the combination count): dividing both sides by and substituting gives , that is .
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