# Combinatorial Proofs

Combinatorial proof is a perfect way of establishing certain algebraic identities without resorting to any kind of algebra. For example, let's consider the simplest property of the binomial coefficients:

(1)

C(n, k) = C(n, n - k).

To prove this identity we do not need the actual algebraic formula that involves factorials, although this, too, would be simple enough. All that is needed to prove (1) is the knowledge of the definition:

As another example, the identity

(2)

C(n, 0) + C(n, 1) + C(n, 2) + ... + (n, n-1), + C(n, n) = 2^{n}

which is a consequence of the binomial theorem

(x + y)^{n} = Σ C(n, k) x^{k} y^{n-k}, 0 ≤ k ≤ n.

admits a combinatorial interpretation. The left hand side in (2) represents the number of ways to select a group -- empty or not -- of items out of a set of n distinct elements. The first term gives the number of ways not to make any selection, which is 1. The second term gives the number of ways to select one item (which is n), etc. What does the right hand side represent? Exactly same thing. Indeed, with every selection of items from a given set we can associate a function that takes values 0 or 1. A selected element is assigned value 1, while an unselected element is assigned value 0. If for the sake of counting convenience, the elements of the set are ordered with indices 1, ..., n, then every selection from the set is represented by a string of 0's and 1's; the total number of such strings is clearly the right hand side in (2): 2^{n}.

Thus a combinatorial proof consists in providing two answers to the same question. But not to forget, finding the question to be answered in two ways is conceivably the most important part of the proof. As a matter of convention, it is often convenient to think of sets and their elements as groups of students and of selections of elements as endowing them with a membership on a committee.

For a third example, consider the popular identity underlying the Pascal triangle:

(3)

C(n, k) = C(n - 1, k) + C(n - 1, k - 1).

By definition, the left hand side is the number of ways to compose a k-member committee out of a group of n students. To grasp the significance of the right hand side, pick arbitrarily one of the students. Then the first term on the right gives the number of k-member committees that do not include the student, whereas the second term gives the number of committees in which the student is a member.

Here is an additional example. Prove that

(4)

C(n, r)C(r, k) = C(n, k)C(n-k, r-k),

where k ≤ r ≤ n.

C(n, r) is the number of ways to form an r-member committee from a group of n students.

I'll provide more examples plucked mostly from an outstanding and readily available book by A. T. Benjamin and J. J. Quinn.

### References

- V. K. Balakrishnan,
*Theory and Problems of Combinatorics*, Schaum's Outline Series, McGraw-Hill, 1995 - A. T. Benjamin, J. J. Quinn,
*Proofs That Really Count: The Art of Combinatorial Proof*, MAA, 2003 - P. Zeitz,
*The Art and Craft of Problem Solving*, John Wiley & Sons, 1999

### Combinatorial Proofs

- Combinatorial Proofs
- Lucas' Theorem.
- Ways To Count.
- Geometric Proof of Wilson's Theorem.
- Partitioning a Circle
- A Minesweeper Theorem
- Another Binomial Identity with Proofs
- Counting Fat Sets
- Counting Permutations with Fixed Points
- Pythagorean Triples via Fibonacci Numbers

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny

68553936