I tried to prove this inequality, but I failed. It seemed that if one uses Cauchy-Schwarz inequality on the right hand side, it may expand RHS's value larger than LHS's. Problem is presented as follows:

If $a,b,c\ge0$ and $a+b+c=3$, prove that $$2(ab+bc+ca)-3abc\ge a\cdot \sqrt{\frac{b^2+c^2}{2}}+b\cdot\sqrt{\frac{c^2+a^2}{2}}+c\cdot\sqrt{\frac{a^2+b^2}{2}}$$


After using $\sqrt{\frac{a^2+b^2}{2}}\leq\frac{3a^2+2ab+3b^2}{4(a+b)}$,

which is just $(a-b)^4\geq0$, you'll get something obvious.

Indeed, it remains to prove that $$2(ab+ac+bc)-\frac{9abc}{a+b+c}\geq\sum\limits_{cyc}\frac{c(3a^2+2ab+3b^2)}{4(a+b)}$$ or

$$2(ab+ac+bc)-\frac{9abc}{a+b+c}\geq\frac{3}{2}(ab+ac+bc)-abc\sum\limits_{cyc}\frac{1}{a+b}$$ or $$\frac{1}{2}(ab+ac+bc)-\frac{9abc}{2(a+b+c)}-\frac{9abc}{2(a+b+c)}+abc\sum\limits_{cyc}\frac{1}{a+b}\geq0$$ or $$\sum\limits_{cyc}c(a-b)^2+abc\left(\sum\limits_{cyc}(a+b)\sum\limits_{cyc}\frac{1}{a+b}-9\right)\geq0$$


  • $\begingroup$ This solution is brilliant. Although it proves the inequality, it is quite hard to understand because of some omissions. I just want to add some contents in the comment to help myself to understand the proof. :) $\endgroup$ – Hamio Jiang Jul 30 '16 at 14:32
  • $\begingroup$ 1. Inequality in the first line is derived from (a-b)^4>=0 $\endgroup$ – Hamio Jiang Jul 30 '16 at 14:49
  • $\begingroup$ 2. The first cyc sum can be expanded into the RHS of the second cyc sum. $\endgroup$ – Hamio Jiang Jul 30 '16 at 14:52
  • $\begingroup$ The second term in the last inequality is greater than zero due to C-S inequality. $\endgroup$ – Hamio Jiang Jul 30 '16 at 14:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.