5
$\begingroup$

For real numbers $a, b, c, d >0$ I have to prove that $$\sqrt{\frac{a^2+b^2+c^2+d^2}{4}}\geq\sqrt[3]{\frac{abc+abd+acd+bcd}{4}}$$ always holds. I tried using the mean inequalities for multiple numbers but I always get in trouble with the different orders of the two roots. And in case I make an estimate that can handle the orders of the roots, it is too strong. Can anyone help?

$\endgroup$
1
  • $\begingroup$ i have an ugly proof, powring by $6$, setting $$b=a+u,c=a+u+v,d=a+u+v+w$$ and after the polynomial in $$a,u,v,w$$ is positive $\endgroup$ Commented May 7, 2017 at 9:59

2 Answers 2

5
$\begingroup$

Use this inequality:

$\frac{1}{16}(a+b+c+d)^3 \geq abc+bcd+cda+dab$ equivalent $\frac{1}{4}(a+b+c+d) \geq \sqrt[3]{\frac{abc+abd+acd+bcd}{4}}$ Now just prove$\sqrt{\frac{a^2+b^2+c^2+d^2}{4}}\geq \frac{1}{4}(a+b+c+d)$ equivalent $4(a^2+b^2+c^2+d^2)\geq (a+b+c+d)^2$ equivalent $3(a^2+b^2+c^2+d^2)\geq 2(ab+ac+ad+ bc + bd + cd)$ equivalent $(a-b)^2 + (a-c)^2 + (a-d)^2 + (b-c)^2 + (b-d)^2 + (c-d)^2 \ge 0$

$\endgroup$
2
  • $\begingroup$ Proving $\sqrt{\frac{a^2+b^2+c^2+d^2}{4}}\geq \frac{1}{4}(a+b+c+d)$ then is really easy since this is just the inequality between the quadratic and the arithmetic mean. $\endgroup$
    – mxian
    Commented May 7, 2017 at 10:25
  • $\begingroup$ @mxian See my updated answer $\endgroup$
    – user261263
    Commented May 7, 2017 at 10:26
0
$\begingroup$

Since $$\frac{a^2+b^2+c^2+d^2}{4}\geq\frac{ab+ac+bc+ad+bd+cd}{6}$$ it's just $$(a-b)^2+(a-c)^2+(a-d)^2+(b-c)^2+(b-d)^2+(c-d)^2\geq0,$$ it's enough to prove that $$\sqrt{\frac{ab+ac+bc+ad+bd+cd}{6}}\geq\sqrt[3]{\frac{abc+abd+acd+bcd}{4}},$$ which I proved here: How to prove this inequality $\sqrt{\frac{ab+bc+cd+da+ac+bd}{6}}\geq \sqrt[3]{{\frac{abc+bcd+cda+dab}{4}}}$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .