Maths Olympiad Prep

Library / Putnam /20 of 60

Putnam

Combinatorics Difficulty 7.8 National Olympiad, round 2 Find the answer

Given a positive integer nn, let M(n)M(n) be the largest integer mm such that (mn−1)>(m−1n). \binom{m}{n-1} > \binom{m-1}{n}. Evaluate lim⁡n→∞M(n)n. \lim_{n \to \infty} \frac{M(n)}{n}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The answer is 3+52\frac{3+\sqrt{5}}{2}. Note that for m>n+1m > n+1, both binomial coefficients are nonzero and their ratio is (mn−1)/(m−1n)=m!n!(m−n−1)!(m−1)!(n−1)!(m−n+1)!=mn(m−n+1)(m−n). {m\choose n-1}/{m-1\choose n} = \frac{m!n!(m-n-1)!}{(m-1)!(n-1)!(m-n+1)!} = \frac{mn}{(m-n+1)(m-n)}. Thus the condition (mn−1)>(m−1n){m\choose{n-1}} > {{m-1}\choose n} is equivalent to (m−n+1)(m−n)−mn<0(m-n+1)(m-n)-mn < 0. The left hand side of this last inequality is a quadratic function of mm with roots α(n)=3n−1+5n2−2n+12,β(n)=3n−1−5n2−2n+12, \alpha(n) = \frac{3n-1+\sqrt{5n^2-2n+1}}{2}, \quad \beta(n) = \frac{3n-1-\sqrt{5n^2-2n+1}}{2}, both of which are real since 5n2−2n+1=4n2+(n−1)2>05n^2-2n+1 = 4n^2+(n-1)^2 > 0; it follows that mm satisfies the given inequality if and only if β(n)<m<α(n)\beta(n) < m < \alpha(n). (Note in particular that since α(n)−β(n)=5n2−2n+1>1\alpha(n)-\beta(n) = \sqrt{5n^2-2n+1} > 1, there is always some integer mm between β(n)\beta(n) and α(n)\alpha(n).) We conclude that M(n)M(n) is the greatest integer strictly less than α(n)\alpha(n), and thus that α(n)−1≤M(n)<α(n)\alpha(n)-1 \leq M(n) < \alpha(n). Now lim⁡n→∞α(n)n=lim⁡n→∞3−1n+5−2n+1n22=3+52 \lim_{n\to\infty} \frac{\alpha(n)}{n} = \lim_{n\to\infty} \frac{3-\frac{1}{n}+\sqrt{5-\frac{2}{n}+\frac{1}{n^2}}}{2} = \frac{3+\sqrt{5}}{2} and similarly lim⁡n→∞α(n)−1n=3+52\lim_{n\to\infty} \frac{\alpha(n)-1}{n} = \frac{3+\sqrt{5}}{2}, and so by the sandwich theorem, lim⁡n→∞M(n)n=3+52\lim_{n\to\infty} \frac{M(n)}{n} = \frac{3+\sqrt{5}}{2}.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.