Maths WorkshopMaths problems with full solutions
Exercise 1715Combinatorics › Inclusion-exclusionOlympiadAdded 3 Nov 2026

Inclusion-exclusion in ballot problems

#IE#ballot#paths

Statement

Using IE, count paths from (0,0)(0,0) to (n,n)(n,n) that stay strictly below the diagonal (i.e. paths where at every step, the number of right steps is strictly greater than the number of up steps except at the end).

Hint

This is related to Catalan numbers via reflection.

Show solutionHide solution

Solution

Setup. Number of paths from (0,0)(0,0) to (n,n)(n,n): (2nn)\binom{2n}{n}.

Bad paths. By reflection, paths crossing the diagonal correspond to paths from (0,−1)(0,-1) to (n,n)(n,n).

Count. (2nn)−(2nn+1)=Cn\binom{2n}{n}-\binom{2n}{n+1}=C_n.

Conclusion. Number of such paths is the Catalan number CnC_n.