Maths Olympiad Prep

Library / /7 of 10

Algebra Difficulty 4.1 AIME Prove it North Macedonia

Prove that for positive real numbers a,b,ca, b, c the following inequality holds:
(16a2+8b+17)(16b2+8c+17)(16c2+8a+17)212(a+1)(b+1)(c+1). (16a^2 + 8b + 17)(16b^2 + 8c + 17)(16c^2 + 8a + 17) \geq 2^{12}(a+1)(b+1)(c+1).
When does equality hold?

Solution

By twice using the inequality between the arithmetical mean and geometrical mean we get
(16a2+8b+17)=(16a2+1+8b+16)8a+8b+16=8(a+b+2)=8(a+1+b+1)82(a+1)(b+1)=24(a+1)(b+1).(1) \begin{aligned} (16a^2 + 8b + 17) &= (16a^2 + 1 + 8b + 16) \ge 8a + 8b + 16 = 8(a+b+2) = 8(a+1+b+1) \ge \\ &\ge 8 \cdot 2\sqrt{(a+1)(b+1)} = 2^4\sqrt{(a+1)(b+1)}. \end{aligned} \quad (1)
Analogously we have
(16b2+8c+17)24(b+1)(c+1)(2) (16b^2 + 8c + 17) \ge 2^4 \sqrt{(b+1)(c+1)} \quad (2)
(16c2+8a+17)24(c+1)(a+1)(3). (16c^2 + 8a + 17) \ge 2^4 \sqrt{(c+1)(a+1)} \quad (3).
If we multiply the three inequalities we get
(16a2+8b+17)(16b2+8c+17)(16c2+8a+17)212(a+1)(b+1)(c+1). (16a^2 + 8b + 17)(16b^2 + 8c + 17)(16c^2 + 8a + 17) \ge 2^{12}(a+1)(b+1)(c+1).
In (1) equality is obtained when 16a2=116a^2 = 1 and a=ba = b, i.e. a=b=14a = b = \frac{1}{4}. By an analogous argument for (2) and (3) we get a=b=c=14a = b = c = \frac{1}{4}.

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.