Maths Olympiad Prep

Library / /6 of 23

Algebra Difficulty 5.7 AIME, harder Prove it Romania

The positive real numbers aa, bb, cc are such that a+b+c=3a + b + c = 3. Prove that the following inequality holds: a2+b2+c2+a2b+b2c+c2a6a^2 + b^2 + c^2 + a^2b + b^2c + c^2a \ge 6.

Solution

By adding 2ab+2bc+2ca2ab + 2bc + 2ca to both sides, the inequality becomes:
(a+b+c)2+a2b+b2c+c2a6+2ab+2bc+2ca. (a + b + c)^2 + a^2b + b^2c + c^2a \ge 6 + 2ab + 2bc + 2ca.
Thus, we have to prove that a2b+b2c+c2a+32ab+2bc+2caa^2b + b^2c + c^2a + 3 \ge 2ab + 2bc + 2ca. Since a+b+c=3a + b + c = 3, the previous inequality is equivalent to:

(b + a^2b) + (c + b^2c) + (a + c^2a) \ge 2ab + 2bc + 2ca. \quad (1)

*Alternative solution.* By adding a+b+ca + b + c to both sides, the inequality becomes:
a2+b2+c2+a2b+b2c+c2a+a+b+c9.(2) a^2 + b^2 + c^2 + a^2b + b^2c + c^2a + a + b + c \ge 9. \quad (2)
Using the obvious inequalities b+a2b2abb + a^2b \ge 2ab, c+b2c2bcc + b^2c \ge 2bc and a+c2a2caa + c^2a \ge 2ca, we deduce: a2+b2+c2+a2b+b2c+c2a+a+b+ca2+b2+c2+2ab+2bc+2ca=(a+b+c)2=9a^2 + b^2 + c^2 + a^2b + b^2c + c^2a + a + b + c \ge a^2 + b^2 + c^2 + 2ab + 2bc + 2ca = (a + b + c)^2 = 9, therefore (2) is true, which ends the proof.

It is obvious that b+a2b2abb + a^2b \ge 2ab, c+b2c2bcc + b^2c \ge 2bc and a+c2a2caa + c^2a \ge 2ca. By summing these inequalities, we find that (1) is true, which ends the proof.

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.