Maths Olympiad Prep

Library / Harvard-MIT Mathematics Tournament /226 of 352

Harvard-MIT Mathematics Tournament

Combinatorics Difficulty 5.3 AIME, harder Prove it United States

Problem:
Let
S(n,r)=(n−1r−1)+(n−1r)+(n−1r+1)+⋯+(n−1n−1) S(n, r)=\binom{n-1}{r-1}+\binom{n-1}{r}+\binom{n-1}{r+1}+\cdots+\binom{n-1}{n-1}
for all n,r>0n, r>0, and in particular S(n,r)=0S(n, r)=0 if r>n>0r>n>0. Prove that the number in row nn of the table, rr columns to the left of the 1 in the top row, is at most S(n,r)S(n, r). (Hint: First prove that S(n−1,r−1)+S(n−1,r)=S(n,r)S(n-1, r-1)+S(n-1, r)=S(n, r).)

Solution

Solution:
First, we prove the statement in the hint: adding the iith term of the sum for S(n−1,r−1)S(n-1, r-1) to the iith term for S(n−1,r)S(n-1, r), for each ii, we get that S(n−1,r−1)+S(n−1,r)S(n-1, r-1)+S(n-1, r) equals
((n−2r−2)+(n−2r−1))+((n−2r−1)+(n−2r))+⋯⋯+((n−2n−3)+(n−2n−2))+(n−2n−2)=(n−1r−1)+(n−1r)+⋯+(n−1n−1)=S(n,r). \begin{gathered} \left(\binom{n-2}{r-2}+\binom{n-2}{r-1}\right)+\left(\binom{n-2}{r-1}+\binom{n-2}{r}\right)+\cdots \\ \cdots+\left(\binom{n-2}{n-3}+\binom{n-2}{n-2}\right)+\binom{n-2}{n-2} \\ =\binom{n-1}{r-1}+\binom{n-1}{r}+\cdots+\binom{n-1}{n-1}=S(n, r) . \end{gathered}
Now we can prove the main statement by induction on nn. The base case n=1n=1 is clear. If the statement holds for n−1n-1, then first suppose r>1r>1. Then the number in row nn, rr columns to the left, is the sum of two of the three numbers above it, which, by the induction hypothesis, are at most S(n−1,r−1),S(n−1,r),S(n−1,r+1)S(n-1, r-1), S(n-1, r), S(n-1, r+1) respectively. Since the first two of these are greater than the last (because the summation formula gives S(n−1,r−1)=S(n−1,r)+(n−1r−2)S(n-1, r-1)=S(n-1, r)+\binom{n-1}{r-2} and S(n−1,r)=S(n−1,r+1)+(n−1r−1)S(n-1, r)=S(n-1, r+1)+\binom{n-1}{r-1}), we have an upper bound of S(n−1,r−1)+S(n−1,r)=S(n,r)S(n-1, r-1)+S(n-1, r)=S(n, r) by the above. So the result follows by induction. Finally, in the case r=1r=1, the quantity in question is just 2n−12^{n-1}, and the result holds by Problem 1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.