Maths Olympiad Prep

Library / Romanian Mathematical Olympiad - Final Round /11 of 37

Romanian Mathematical Olympiad - Final Round

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+c2a≥6a^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+c2a≥6+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+3≥2ab+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+a2b)+(c+b2c)+(a+c2a)≥2ab+2bc+2ca.(1)∗Alternativesolution.∗Byadding$a+b+c$tobothsides,theinequalitybecomes: (b + a^2b) + (c + b^2c) + (a + c^2a) \ge 2ab + 2bc + 2ca. \quad (1) *Alternative solution.* By adding \$a + b + c\$ to both sides, the inequality becomes:
a^2 + b^2 + c^2 + a^2b + b^2c + c^2a + a + b + c ≥9.\ge 9. \quad (2)

Using the obvious inequalities b+a2b≥2abb + a^2b \ge 2ab, c+b2c≥2bcc + b^2c \ge 2bc and a+c2a≥2caa + c^2a \ge 2ca, we deduce: a2+b2+c2+a2b+b2c+c2a+a+b+c≥a2+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+a2b≥2abb + a^2b \ge 2ab, c+b2c≥2bcc + b^2c \ge 2bc and a+c2a≥2caa + 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.