Maths Olympiad Prep

Library / /8 of 158

Algebra Difficulty 4.5 AIME Prove it Estonia

Let aa be a real number, 0a10 \le a \le 1. Prove that for any nonnegative integer nn the inequality (n+1)an+an+1(n+1)a \le n + a^{n+1} holds.

Solutions — 3

Solution 1

The inequality is equivalent to the inequality nanan+1ana - n \le a^{n+1} - a, or the inequality n(a1)a(a1)(an1+an2++1)n(a - 1) \le a(a - 1)(a^{n-1} + a^{n-2} + \dots + 1). If a=1a = 1, then the inequality obviously holds. If a<1a < 1 then a1<0a - 1 < 0, and dividing both sides of the inequality by a1a - 1 we get an equivalent inequality na(an1+an2++1)n \ge a(a^{n-1} + a^{n-2} + \dots + 1), or nan+an1++an \ge a^n + a^{n-1} + \dots + a. Since a<1a < 1, in the last sum all terms are less than 1, hence the sum does not exceed nn.

Solution 2

If n=0n = 0 then the inequality is aaa \le a, which obviously holds. Suppose that the inequality holds for n=kn = k and prove that it then holds for n=k+1n = k + 1 as well. From the inequality (k+1)ak+ak+1(k+1)a \le k + a^{k+1} we get the inequality (k+2)ak+1+ak+2(k+2)a \le k + 1 + a^{k+2} by adding the inequality a1+ak+2ak+1a \le 1 + a^{k+2} - a^{k+1}. The last inequality is equivalent to the inequality (1a)(1ak+1)0(1-a)(1-a^{k+1}) \ge 0, which obviously holds, because both factors are nonnegative.

Solution 3

If a=0a = 0, then the inequality is 0n0 \le n, which obviously holds. If a>0a > 0, then AM-GM gives
1++1+an+1n+111an+1n+1, \frac{1 + \dots + 1 + a^{n+1}}{n+1} \ge \sqrt[n+1]{1 \dots \cdot 1 \cdot a^{n+1}},
which is obviously equivalent with the original inequality.

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.