MathLabs
TheoremProved

The combination 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 with no regard to order is Cnk=n!k!(n−k)!C_n^k = \frac{n!}{k!(n-k)!}.

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 kk objects out of nn first selects some kk-element subset and then orders it. Group the AnkA_n^k arrangements into buckets, one bucket per possible kk-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 kk-element subset, the arrangements built from it correspond exactly to the orderings of that subset, and there are k!k! such orderings (a permutation of kk objects). So every bucket has exactly k!k! arrangements.

Step 3 (addition rule across buckets): the buckets are disjoint (an arrangement belongs to exactly one bucket) and there are CnkC_n^k buckets by definition, each of size k!k!. The addition rule (k!k! added to itself CnkC_n^k times) gives Ank=Cnk⋅k!A_n^k = C_n^k \cdot k!.

Step 4 (solve for the combination count): dividing both sides by k!k! and substituting Ank=n!(n−k)!A_n^k = \frac{n!}{(n-k)!} gives Cnk=Ankk!C_n^k = \dfrac{A_n^k}{k!}, that is Cnk=n!k!(n−k)!C_n^k = \frac{n!}{k!(n-k)!}.

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