Maths Olympiad Prep

Library / /47 of 74

, 2016

Algebra Difficulty 5.8 AIME, harder Prove it Slovenia

Prove that for all positive integers n2n \ge 2 we have
12+12+233++n1nn<n2n+1. \frac{1}{2} + \sqrt{\frac{1}{2}} + \sqrt[3]{\frac{2}{3}} + \dots + \sqrt[n]{\frac{n-1}{n}} < \frac{n^2}{n+1}.

Solution

We use proof by induction.
For n=2n = 2 we have
12+12<4312<5612<2536, \frac{1}{2} + \sqrt{\frac{1}{2}} < \frac{4}{3} \Leftrightarrow \sqrt{\frac{1}{2}} < \frac{5}{6} \Leftrightarrow \frac{1}{2} < \frac{25}{36},
which is true. For n=2n = 2 the inequality holds.

Now assume that the inequality holds for nn and let us prove it for n+1n + 1. We wish to show that
12+12+233++n1nn+nn+1n+1<(n+1)2n+2.(1) \frac{1}{2} + \sqrt{\frac{1}{2}} + \sqrt[3]{\frac{2}{3}} + \dots + \sqrt[n]{\frac{n-1}{n}} + \sqrt[n+1]{\frac{n}{n+1}} < \frac{(n+1)^2}{n+2}. \quad (1)
By the induction hypothesis we can estimate
12+12+233++n1nn+nn+1n+1<n2n+1+nn+1n+1. \frac{1}{2} + \sqrt{\frac{1}{2}} + \sqrt[3]{\frac{2}{3}} + \dots + \sqrt[n]{\frac{n-1}{n}} + \sqrt[n+1]{\frac{n}{n+1}} < \frac{n^2}{n+1} + \sqrt[n+1]{\frac{n}{n+1}}.
It therefore suffices to show that
n2n+1+nn+1n+1(n+1)2n+2nn+1n+1(n+1)2n+2n2n+1=n2+3n+1(n+2)(n+1)=11(n+2)(n+1). \begin{aligned} \frac{n^2}{n+1} + \sqrt[n+1]{\frac{n}{n+1}} &\le \frac{(n+1)^2}{n+2} \\ \Leftrightarrow \sqrt[n+1]{\frac{n}{n+1}} &\le \frac{(n+1)^2}{n+2} - \frac{n^2}{n+1} = \frac{n^2 + 3n + 1}{(n+2)(n+1)} = 1 - \frac{1}{(n+2)(n+1)}. \end{aligned}
Using the Arithmetic-Geometric Mean Inequality we get
nn+1n+1=nn+1111nn+1nn+1+1++1nn+1=n2+2n(n+1)2=11(n+1)2. \sqrt[n+1]{\frac{n}{n+1}} = \sqrt[n+1]{\frac{n}{n+1} \cdot \underbrace{1 \cdot 1 \cdots 1}_{n}} \le \frac{\underbrace{\frac{n}{n+1} + 1 + \cdots + 1}_{n}}{n+1} = \frac{n^2 + 2n}{(n+1)^2} = 1 - \frac{1}{(n+1)^2}.
From here it follows that
nn+1n+111(n+1)2<11(n+2)(n+1), \sqrt[n+1]{\frac{n}{n+1}} \le 1 - \frac{1}{(n+1)^2} < 1 - \frac{1}{(n+2)(n+1)},
which proves the inequality (1) and completes the induction step.

Remark: The inequality
nn+1n+111(n+1)2 \sqrt[n+1]{\frac{n}{n+1}} \le 1 - \frac{1}{(n+1)^2}
also follows directly from the Bernoulli inequality which states that
(1+x)r1+rx for all x>1 and 0r1. (1+x)^r \le 1+rx \text{ for all } x > -1 \text{ and } 0 \le r \le 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.