Maths Olympiad Prep

Library / /246 of 377

Combinatorics Difficulty 5.3 AIME, harder Prove it United States

Problem:
Let
S(n,r)=(n1r1)+(n1r)+(n1r+1)++(n1n1) 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(n1,r1)+S(n1,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(n1,r1)S(n-1, r-1) to the iith term for S(n1,r)S(n-1, r), for each ii, we get that S(n1,r1)+S(n1,r)S(n-1, r-1)+S(n-1, r) equals
((n2r2)+(n2r1))+((n2r1)+(n2r))++((n2n3)+(n2n2))+(n2n2)=(n1r1)+(n1r)++(n1n1)=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 n1n-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(n1,r1),S(n1,r),S(n1,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(n1,r1)=S(n1,r)+(n1r2)S(n-1, r-1)=S(n-1, r)+\binom{n-1}{r-2} and S(n1,r)=S(n1,r+1)+(n1r1)S(n-1, r)=S(n-1, r+1)+\binom{n-1}{r-1}), we have an upper bound of S(n1,r1)+S(n1,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 2n12^{n-1}, and the result holds by Problem 1.

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

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