Maths Olympiad Prep

Library / /14 of 65

Algebra Difficulty 5.1 AIME, harder Prove it Romania

Let aa, bb, cc, dd be positive real numbers so that abc+bcd+cda+dab=4abc + bcd + cda + dab = 4. Prove that
a2+b2+c2+d24. a^2 + b^2 + c^2 + d^2 \ge 4.

Solution

We successively have:
4=abc+bcd+cda+dab=ab(c+d)+cd(a+b)a2+b222(c2+d2)+c2+d222(a2+b2)=(a2+b2)(c2+d2)(a2+b22+c2+d22)(a2+b2)+(c2+d2)2(a2+b2)+(c2+d2). \begin{align*} 4 = abc + bcd + cda + dab &= ab(c+d) + cd(a+b) \\ &\le \frac{a^2+b^2}{2} \cdot \sqrt{2(c^2+d^2)} + \frac{c^2+d^2}{2} \cdot \sqrt{2(a^2+b^2)} \\ &= \sqrt{(a^2+b^2)(c^2+d^2)} \cdot \left( \sqrt{\frac{a^2+b^2}{2}} + \sqrt{\frac{c^2+d^2}{2}} \right) \\ &\le \frac{(a^2+b^2)+(c^2+d^2)}{2} \cdot \sqrt{(a^2+b^2)+(c^2+d^2)}. \end{align*}

It follows that 412(a2+b2+c2+d2)34 \le \frac{1}{2} \cdot \sqrt{(a^2 + b^2 + c^2 + d^2)^3}, i.e. a2+b2+c2+d24a^2 + b^2 + c^2 + d^2 \ge 4.
Equality holds when a=b=c=d=1a = b = c = d = 1.

Alternative Solution:

Adding a2+b22aba^2 + b^2 \ge 2ab with the other five similar inequalities and using MacLaurin's inequality we obtain
a24(ab6)4(abc4)2/34, \sum a^2 \ge 4 \left( \frac{\sum ab}{6} \right) \ge 4 \left( \frac{\sum abc}{4} \right)^{2/3} \ge 4,
with equality if and only if a=b=c=d=1a = b = c = d = 1.

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.