Maths Olympiad Prep

Library / /7 of 48

Algebra Difficulty 5.1 AIME, harder Prove it Greece

Let a,b,ca, b, c positive real numbers such that a+b+c=1a + b + c = 1. Prove that:
(a+1)2a(1a)+(b+1)2b(1b)+(c+1)2c(1c)8(ab+bc+ca). (a+1)\sqrt{2a(1-a)} + (b+1)\sqrt{2b(1-b)} + (c+1)\sqrt{2c(1-c)} \ge 8(ab+bc+ca).
When does equality hold?

Solution

Since a+b+c=1a + b + c = 1, we have a+1=2a+b+ca + 1 = 2a + b + c and 1a=b+c1 - a = b + c. Hence we have the equivalent inequality
(2a+b+c)2a(b+c)+(2b+c+a)2b(c+a)+(2c+a+b)2c(a+b)8(ab+bc+ca) (2a + b + c)\sqrt{2a(b + c)} + (2b + c + a)\sqrt{2b(c + a)} + (2c + a + b)\sqrt{2c(a + b)} \ge 8(ab + bc + ca)
From the inequality of arithmetic and geometric mean we get: 2a+b+c22a(b+c)2a + b + c \ge 2\sqrt{2a(b + c)} and therefore
(2a+b+c)2a(b+c)2(2a(b+c))(1) (2a + b + c)\sqrt{2a(b + c)} \ge 2(2a(b + c)) \quad (1)
Similarly we have
(2b+c+a)2b(c+a)2(2b(c+a))(2), (2b + c + a)\sqrt{2b(c + a)} \ge 2(2b(c + a)) \quad (2),
(2c+a+b)2c(a+b)2(2c(a+b))(3). (2c + a + b)\sqrt{2c(a + b)} \ge 2(2c(a + b)) \quad (3).
Summing by parts (1), (2) and (3) we get the wanted inequality. The equality holds if and only if
2a=b+c, 2b=c+a, 2c=a+ba=b=c=13. 2a = b + c,\ 2b = c + a,\ 2c = a + b \Leftrightarrow a = b = c = \frac{1}{3}.

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.