Exercise 815Combinatorics › Binomial coefficientsL1Added 3 Nov 2026
Vandermonde's identity
#Vandermonde#convolution#binomial
Statement
Prove that .
Hint
Double count -subsets of a disjoint union of an -set and an -set.
Show solutionHide solution
Solution
Setup. with , with , .
Count -subsets of . .
Count by intersection with . Choose from and from : . Sum over .
Conclusion. Vandermonde's identity.