Maths Olympiad Prep

Library / /1 of 11

Algebra Difficulty 5.1 AIME, harder Prove it Spain

Let aa, bb, cc, dd be positive real numbers. Prove that
cyclicabcd3a+3(b+c+d)0 \sum_{cyclic} \frac{a - \sqrt[3]{bcd}}{a + 3(b + c + d)} \ge 0

Solution

On account of AM-GM inequality, we have bcd3b+c+d3\sqrt[3]{bcd} \leq \frac{b + c + d}{3} and
abcd3a+3(b+c+d)13(3a(b+c+d)a+3(b+c+d))=19(10a(a+3(b+c+d))a+3(b+c+d))19(10aa+3(b+c+d)1) \begin{aligned} \frac{a - \sqrt[3]{bcd}}{a + 3(b + c + d)} &\ge \frac{1}{3} \left( \frac{3a - (b + c + d)}{a + 3(b + c + d)} \right) = \frac{1}{9} \left( \frac{10a - (a + 3(b + c + d))}{a + 3(b + c + d)} \right) \\ &\ge \frac{1}{9} \left( \frac{10a}{a + 3(b + c + d)} - 1 \right) \end{aligned}
Therefore,
cycabcd3a+3(b+c+d)0cyc(10aa+3(b+c+d))4, \sum_{cyc} \frac{a - \sqrt[3]{bcd}}{a + 3(b + c + d)} \ge 0 \Leftrightarrow \sum_{cyc} \left( \frac{10a}{a + 3(b + c + d)} \right) \ge 4,
or equivalently,
cyclicaa+3(b+c+d)25 \sum_{cyclic} \frac{a}{a + 3(b + c + d)} \ge \frac{2}{5}
Let us denote by S=a+b+c+dS = a + b + c + d. Then, we have
cycaa+3(b+c+d)=cyca3S2a=cyca23aS2a2(cyca)23S22cyca2 \sum_{cyc} \frac{a}{a + 3(b + c + d)} = \sum_{cyc} \frac{a}{3S - 2a} = \sum_{cyc} \frac{a^2}{3aS - 2a^2} \ge \frac{\left(\sum_{cyc} a\right)^2}{3S^2 - 2 \sum_{cyc} a^2}
on account of Bergströn's inequality:
cyca2x(cyca)2/cycx \sum_{cyc} \frac{a^2}{x} \ge \left( \sum_{cyc} a \right)^2 / \sum_{cyc} x
To prove
(cyca)23S22cyca225 \frac{\left(\sum_{cyc} a\right)^2}{3S^2 - 2 \sum_{cyc} a^2} \ge \frac{2}{5}
we apply Bergströn's inequality again and we get
cyca214(cyca)2 \sum_{cyc} a^2 \ge \frac{1}{4} \left( \sum_{cyc} a \right)^2
Then, we have
5(cyca)26S24cyca2 5 \left( \sum_{cyc} a \right)^2 \ge 6S^2 - 4 \sum_{cyc} a^2
from which follows 3(a+b+c+d)203(a + b + c + d)^2 \ge 0. This completes the proof.

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.