Maths Olympiad Prep

Library / /9 of 116

Algebra Difficulty 7.7 National Olympiad, round 2 Prove it South Africa

Let n3n \ge 3 be an integer, and let a2,a3,,ana_2, a_3, \dots, a_n be positive real numbers such that a2a3an=1a_2 a_3 \dots a_n = 1. Prove that
(1+a2)2(1+a3)3(1+an)n>nn. (1 + a_2)^2 (1 + a_3)^3 \dots (1 + a_n)^n > n^n.

Solution

(ak+1)k=(ak+1k1+1k1++1k1)kkkak1(k1)k1=kk(k1)k1ak \begin{aligned} (a_k + 1)^k &= \left( a_k + \frac{1}{k-1} + \frac{1}{k-1} + \dots + \frac{1}{k-1} \right)^k \\ &\ge k^k \cdot a_k \cdot \frac{1}{(k-1)^{k-1}} \\ &= \frac{k^k}{(k-1)^{k-1}} \cdot a_k \end{aligned}
The inequality is strict unless ak=1k1a_k = \frac{1}{k-1}. Multiplying analogous inequalities for k=2,3,,nk=2, 3, \dots, n yields
(a2+1)2(a3+1)3(an+n)n>221133224433nn(n1)n1a2a3an=nn. \begin{aligned} (a_2 + 1)^2 \cdot (a_3 + 1)^3 \cdots (a_n + n)^n &> \frac{2^2}{1^1} \cdot \frac{3^3}{2^2} \cdot \frac{4^4}{3^3} \cdots \frac{n^n}{(n-1)^{n-1}} \cdot a_2 \cdot a_3 \cdots a_n \\ &= n^n. \end{aligned}

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.