Maths Olympiad Prep

Library / /4 of 42

Algebra Difficulty 4.7 AIME Prove it Ireland

Suppose a1,a2,,ana_1, a_2, \dots, a_n are positive numbers. Prove that the square root of the arithmetic mean of the numbers aiaja_i a_j, 1i<jn1 \le i < j \le n doesn't exceed the arithmetic mean of aka_k, k=1,2,,nk = 1, 2, \dots, n, with equality iff a1=a2==ana_1 = a_2 = \dots = a_n.

Solution

The claim is that
1i<jnaiaj(n2)(k=1nakn)2. Equivalently, \frac{\sum_{1 \le i < j \le n} a_i a_j}{\binom{n}{2}} \le \left( \frac{\sum_{k=1}^{n} a_k}{n} \right)^2 . \text{ Equivalently,}
2n1i<jnaiaj(n1)(k=1nak2+21i<jnaiaj), or 2n \sum_{1 \le i < j \le n} a_i a_j \le (n-1) \left( \sum_{k=1}^{n} a_k^2 + 2 \sum_{1 \le i < j \le n} a_i a_j \right), \text{ or}
21i<jnaiaj(n1)k=1nak2, i.e., 2 \sum_{1 \le i < j \le n} a_i a_j \le (n-1) \sum_{k=1}^{n} a_k^2, \text{ i.e.,}
(k=1nak)2nk=1nak2, \left( \sum_{k=1}^{n} a_k \right)^2 \le n \sum_{k=1}^{n} a_k^2,
which is true by the Cauchy-Schwarz inequality. There is equality iff a1=a2==ana_1 = a_2 = \dots = 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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.