Vandermonde’s Identity, is one of the more famous identities involving the binomial coefficients. A standard way to prove it is with the following combinatorial argument.

*How many ways are there to choose a committee of size r from a group of n men and m women?* By definition of the binomial coefficient, the answer is . Alternatively, condition on the number *k* of men on the committee. There are ways to choose the men, and then there are ways to choose the remaining members of the committee from the *m* women. Summing over all possible values of *k* gives the left side.

In this post we’re going to give a much less standard proof of Vandermonde’s Identity — one via the generalized product rule for derivatives. In addition, while the combinatorial proof requires *n* and *m* to be natural numbers, our proof holds for all real numbers.

The generalized product rule, sometimes known as *Leibniz’s Generalized Rule*, gives a formula for the *n*th derivative of the product of two functions. Here it is:

.

This formula can be easily proved by induction.

Let , and let . We know that the *r*th derivative of a power function like is , where is the falling factorial . Now, let’s look at the *r*th derivative of . As we just argued, this is . By the generalized product rule, then, we have

The coefficients of the two expressions here must be equal in order for the expressions themselves to be equal. In addition, using the definition of the generalized binomial coefficient, we have . (This allows binomial coefficients to be defined for values of *n* that are not natural numbers.) All of this gives us Vandermonde’s Identity,

.