Maths WorkshopMaths problems with full solutions
Exercise 815Combinatorics › Binomial coefficientsL1Added 3 Nov 2026

Vandermonde's identity

#Vandermonde#convolution#binomial

Statement

Prove that (m+nr)=∑k=0r(mk)(nr−k)\binom{m+n}{r}=\sum_{k=0}^{r}\binom{m}{k}\binom{n}{r-k}.

Hint

Double count rr-subsets of a disjoint union of an mm-set and an nn-set.

Show solutionHide solution

Solution

Setup. AA with ∣A∣=m|A|=m, BB with ∣B∣=n|B|=n, A∩B=∅A\cap B=\emptyset.

Count rr-subsets of A∪BA\cup B. (m+nr)\binom{m+n}{r}.

Count by intersection with AA. Choose kk from AA and r−kr-k from BB: (mk)(nr−k)\binom{m}{k}\binom{n}{r-k}. Sum over kk.

Conclusion. Vandermonde's identity.