Maths WorkshopMaths problems with full solutions
Exercise 605Combinatorics › Binomial coefficientsM1Added 4 Nov 2026

A combinatorial proof that Σ C(n,k)² = C(2n,n)

#double counting#binomial identities#Vandermonde

Statement

Prove that for every n≥1n\ge1,
∑k=0n(nk)2=(2nn).\sum_{k=0}^n\binom nk^2=\binom{2n}n.

Hint

Count in two ways the committees of nn people chosen from a group of nn men and nn women.

Show solutionHide solution

Solution

Idea. Interpret both sides as the number of ways of choosing nn people among 2n2n.

Right side. Among nn men and nn women, the number of committees of nn people is (2nn)\binom{2n}n.

Left side. Classify by the number kk of men, with 0≤k≤n0\le k\le n. Then there are n−kn-k women. The number of such committees is
(nk)(nn−k)=(nk)2,\binom nk\binom n{n-k}=\binom nk^2,
using (nn−k)=(nk)\binom n{n-k}=\binom nk. Summing over kk gives the left side.

Check. n=3n=3: 1+9+9+1=20=(63)1+9+9+1=20=\binom63.

Generalisation. Vandermonde's identity ∑k(mk)(nr−k)=(m+nr)\sum_k\binom mk\binom n{r-k}=\binom{m+n}r.

Lesson. Double counting: to prove an identity, find a set whose size can be computed in two different ways.