Maths Olympiad Prep

Library / /55 of 105

Algebra Difficulty 5.9 AIME, harder Prove it JBMO

Problem:
Let aa, bb and cc be positive real numbers such that abc=18a b c = \frac{1}{8}. Prove the inequality
a2+b2+c2+a2b2+b2c2+c2a21516 a^{2} + b^{2} + c^{2} + a^{2} b^{2} + b^{2} c^{2} + c^{2} a^{2} \geq \frac{15}{16}
When does equality hold?

Solution

Solution:
By using the Arithmetic-Geometric Mean Inequality for 15 positive numbers, we find that
a2+b2+c2+a2b2+b2c2+c2a2==a24+a24+a24+a24+b24+b24+b24+b24+c24+c24+c24+c24+a2b2+b2c2+c2a215a12b12c1241215=15(abc4)1215=15(132)1215=1516 \begin{aligned} & a^{2} + b^{2} + c^{2} + a^{2} b^{2} + b^{2} c^{2} + c^{2} a^{2} = \\ & \quad = \frac{a^{2}}{4} + \frac{a^{2}}{4} + \frac{a^{2}}{4} + \frac{a^{2}}{4} + \frac{b^{2}}{4} + \frac{b^{2}}{4} + \frac{b^{2}}{4} + \frac{b^{2}}{4} + \frac{c^{2}}{4} + \frac{c^{2}}{4} + \frac{c^{2}}{4} + \frac{c^{2}}{4} + a^{2} b^{2} + b^{2} c^{2} + c^{2} a^{2} \geq \\ & \quad \geq 15 \sqrt[15]{\frac{a^{12} b^{12} c^{12}}{4^{12}}} = 15 \sqrt[15]{\left(\frac{a b c}{4}\right)^{12}} = 15 \sqrt[15]{\left(\frac{1}{32}\right)^{12}} = \frac{15}{16} \end{aligned}
as desired. Equality holds if and only if a=b=c=12a = b = c = \frac{1}{2}.

By using AM-GM we obtain
(a2+b2+c2)+(a2b2+b2c2+c2a2)3a2b2c23+3a4b4c43==3(18)23+3(18)43=34+316=1516 \begin{aligned} & \left(a^{2} + b^{2} + c^{2}\right) + \left(a^{2} b^{2} + b^{2} c^{2} + c^{2} a^{2}\right) \geq 3 \sqrt[3]{a^{2} b^{2} c^{2}} + 3 \sqrt[3]{a^{4} b^{4} c^{4}} = \\ & = 3 \sqrt[3]{\left(\frac{1}{8}\right)^{2}} + 3 \sqrt[3]{\left(\frac{1}{8}\right)^{4}} = \frac{3}{4} + \frac{3}{16} = \frac{15}{16} \end{aligned}
The equality holds when a2=b2=c2a^{2} = b^{2} = c^{2}, i.e. a=b=c=12a = b = c = \frac{1}{2}.

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.