Maths Olympiad Prep

Library / /69 of 87

Algebra Difficulty 6.6 National Olympiad Prove it Austria

Determine the largest number mm such that the inequality
(a2+4(b2+c2))(b2+4(c2+a2))(c2+4(a2+b2))m (a^2 + 4(b^2 + c^2))(b^2 + 4(c^2 + a^2))(c^2 + 4(a^2 + b^2)) \geq m
holds for all real numbers a,ba, b and cc not equal to 00 and satisfying the condition 1a+1b+1c3\left|\frac{1}{a}\right| + \left|\frac{1}{b}\right| + \left|\frac{1}{c}\right| \le 3.

Solution

We first note that we can consider only positive values of a,ba, b and cc, since the absolute values of the variables are calculated in all instances (both as the absolute values of their reciprocals and as the squares of the variables). So for now, let a,b,c>0a, b, c > 0.

By the geometric-harmonic means inequality, we have
abc(3a1+b1+c1)31. abc \geq \left( \frac{3}{a^{-1} + b^{-1} + c^{-1}} \right)^3 \geq 1.
The arithmetic-geometric means inequality gives us
a2+4b2+4c29a2b8c83,b2+4c2+4a29a8b2c83,andc2+4a2+4b29a8b8c23. a^2 + 4b^2 + 4c^2 \geq 9 \cdot \sqrt[3]{a^2 b^8 c^8}, \quad b^2 + 4c^2 + 4a^2 \geq 9 \cdot \sqrt[3]{a^8 b^2 c^8}, \quad \text{and} \quad c^2 + 4a^2 + 4b^2 \geq 9 \cdot \sqrt[3]{a^8 b^8 c^2}.
From this, we obtain
(a2+4(b2+c2))(b2+4(c2+a2))(c2+4(a2+b2))729a18b18c183=729(abc)2729. \begin{aligned} (a^2 + 4(b^2 + c^2))(b^2 + 4(c^2 + a^2))(c^2 + 4(a^2 + b^2)) &\geq 729 \cdot \sqrt[3]{a^{18}b^{18}c^{18}} \\ &= 729 \cdot (abc)^2 \\ &\geq 729. \end{aligned}
Since equality holds for a=b=c=1a = b = c = 1, we see that the maximum mm we are searching for is equal to 729729. Equality holds if the absolute values of all variables are equal to 11, and we therefore have eight possible triples of variables for which equality holds, namely (a,b,c)=(±1,±1,±1)(a, b, c) = (\pm 1, \pm 1, \pm 1).

\square

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.