Maths Olympiad Prep

Library / UkraineMO /19 of 57

UkraineMO

Algebra Difficulty 5.3 AIME, harder Prove it Ukraine

For positive numbers a,b,ca, b, c prove the inequality :
a2+bc+b2+ca+c2+ab≥ab+bc+bc+ca+ca+ab. \sqrt{a^2 + bc} + \sqrt{b^2 + ca} + \sqrt{c^2 + ab} \ge \sqrt{ab + bc} + \sqrt{bc + ca} + \sqrt{ca + ab}.

Solution

It should be noted, that the inequality is symmetrical, that is, the interchange in places of any two variables does not change its appearance. So, without any loss of generality we can assume that a≥b≥ca \ge b \ge c. If we move all summands to one side and group them accordingly, the inequality becomes like this:
(a2+bc−ca+ab)+(b2+ca−ab+bc)+(c2+ab−bc+ca)≥0. (\sqrt{a^2 + bc} - \sqrt{ca + ab}) + (\sqrt{b^2 + ca} - \sqrt{ab + bc}) + (\sqrt{c^2 + ab} - \sqrt{bc + ca}) \ge 0.
After multiplying every summand on the conjugate, we obtain that the following inequality should be proven:
(a−b)(a−c)a2+bc+ca+ab+(b−c)(b−a)b2+ca+ab+bc+(c−a)(c−b)c2+ab+bc+ca≥0. \frac{(a-b)(a-c)}{\sqrt{a^2+bc}+\sqrt{ca+ab}} + \frac{(b-c)(b-a)}{\sqrt{b^2+ca}+\sqrt{ab+bc}} + \frac{(c-a)(c-b)}{\sqrt{c^2+ab}+\sqrt{bc+ca}} \ge 0.
Since (a−b)(a−c)a2+bc+ca+ab≥0\frac{(a-b)(a-c)}{\sqrt{a^2+bc}+\sqrt{ca+ab}} \ge 0 it will be enough to prove that:
(a−c)(b−c)c2+ab+bc+ca≥(b−c)(a−b)b2+ca+ab+bc. \frac{(a-c)(b-c)}{\sqrt{c^2 + ab} + \sqrt{bc + ca}} \ge \frac{(b-c)(a-b)}{\sqrt{b^2 + ca} + \sqrt{ab + bc}}.
If b−c=0b-c=0, hence there are zeros in both parts of the inequality. Otherwise, we can divide both parts by b−c>0b-c>0. Further, since a−c≥b−c≥0a-c \ge b-c \ge 0 it should be enough to prove the inequality:
1c2+ab+bc+ca≥1b2+ca+ab+bc⇔b2+ca+ab+bc≥c2+ab+bc+ca. \frac{1}{\sqrt{c^2 + ab} + \sqrt{bc + ca}} \ge \frac{1}{\sqrt{b^2 + ca} + \sqrt{ab + bc}} \Leftrightarrow \\ \sqrt{b^2 + ca} + \sqrt{ab + bc} \ge \sqrt{c^2 + ab} + \sqrt{bc + ca}.
The last inequality is true, since

b2+ca≥bc+cab^2 + ca \geq bc + ca and ab+bc≥c2+abab + bc \geq c^2 + ab.

The inequality has been proven.

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.