Maths Olympiad Prep

Library / /312 of 520

Algebra Difficulty 6.6 National olympiad Prove it

7. A7 (IRE) Let a1,a2,,ana_{1}, a_{2}, \ldots, a_{n} be positive real numbers, n>1n>1. Denote by gng_{n} their geometric mean, and by A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} the sequence of arithmetic means defined by Ak=a1+a2++akk,k=1,2,,nA_{k}=\frac{a_{1}+a_{2}+\cdots+a_{k}}{k}, k=1,2, \ldots, n. Let GnG_{n} be the geometric mean of A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n}. Prove the inequality
nGnAnn+gnGnn+1 n \sqrt[n]{\frac{G_{n}}{A_{n}}}+\frac{g_{n}}{G_{n}} \leq n+1
and establish the cases of equality.

Solution

7. Let us set ck=Ak1/Ak c_{k} = A_{k-1} / A_{k} for k=1,2,,n k = 1, 2, \ldots, n , where we define A0=0 A_{0} = 0 . We observe that ak/Ak=(kAk(k1)Ak1)/Ak=k(k1)ck a_{k} / A_{k} = \left( k A_{k} - (k-1) A_{k-1} \right) / A_{k} = k - (k-1) c_{k} . Now we can write the LHS of the inequality to be proved in terms of ck c_{k} , as follows:
GnAnn=c2c32cnn1n2 and gnGn=k=1n(k(k1)ck)n \sqrt[n]{\frac{G_{n}}{A_{n}}} = \sqrt[n^{2}]{c_{2} c_{3}^{2} \cdots c_{n}^{n-1}} \text{ and } \frac{g_{n}}{G_{n}} = \sqrt[n]{\prod_{k=1}^{n} \left( k - (k-1) c_{k} \right)}
By the AM-GM inequality we have
n1n(n+1)/2c2c32cnn1n21n(n(n+1)2+k=2n(k1)ck)=n+12+1nk=1n(k1)ck. \begin{aligned} n \sqrt[n^{2}]{1^{n(n+1) / 2} c_{2} c_{3}^{2} \ldots c_{n}^{n-1}} & \leq \frac{1}{n} \left( \frac{n(n+1)}{2} + \sum_{k=2}^{n} (k-1) c_{k} \right) \\ & = \frac{n+1}{2} + \frac{1}{n} \sum_{k=1}^{n} (k-1) c_{k} . \end{aligned}
Also by the AM-GM inequality, we have
k=1n(k(k1)ck)nn+121nk=1n(k1)ck \sqrt[n]{\prod_{k=1}^{n} \left( k - (k-1) c_{k} \right)} \leq \frac{n+1}{2} - \frac{1}{n} \sum_{k=1}^{n} (k-1) c_{k}
Adding (1) and (2), we obtain the desired inequality. Equality holds if and only if a1=a2==an a_{1} = a_{2} = \cdots = a_{n} .

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.