Cómo demostrar esta desigualdad $a^2m_{b}m_{c}+b^2m_{c}m_{a}+c^2m_{a}m_{b}\ge\frac{1}{4}(a^2+b^2+c^2)^2$

Question

Si $a,b,$ y $c$ son las longitudes de los lados de un triángulo, $m_a, m_b,$ y $m_c$ son las longitudes de las medianas, demuestre que

$$a^2m_{b}m_{c}+b^2m_{c}m_{a}+c^2m_{a}m_{b}\ge\dfrac{1}{4}(a^2+b^2+c^2)^2$$

$m_a^2 = \dfrac{2b^2+2c^2-a^2}{4}$

pero no consigo llegar al resultado deseado.

Answer 1

Tenemos que demostrar que

$$\sum\limits_{cyc}m_a^2bc\geq\frac{4}{9}\left(\sum\limits_{cyc}m_a^2\right)^2$$ o $$\sum\limits_{cyc}(2b^2+2c^2-a^2)bc\geq(a^2+b^2+c^2)^2$$ o $$\sum\limits_{cyc}(-a^4+2a^3b+2a^3c-2a^2b^2-a^2bc)\geq0$$ o $$\sum\limits_{cyc}(-2a^4+4a^3b+4a^3c-4a^2b^2-2a^2bc)\geq0$$ o $$\sum\limits_{cyc}(-2a^4+a^3b+a^3c+2a^3b+2a^3c-4a^2b^2+a^3b+a^3c-2a^2bc)\geq0$$ o $$\sum\limits_{cyc}(a-b)^2(-a^2-b^2-ab+2ab+ac+bc)\geq0$$ o $$\sum\limits_{cyc}(a-b)^2(c^2-a^2-b^2+2ab-c^2+ac+bc-ab)\geq0$$ o $$\sum\limits_{cyc}(a-b)^2(c+a-b)(c+b-a)+\sum\limits_{cyc}(a-b)^2(c-a)(b-c)\geq0$$ o $$\sum\limits_{cyc}(a-b)^2(c+a-b)(c+b-a)+(a-b)(b-c)(c-a)\sum\limits_{cyc}(a-b)\geq0$$ o $$\sum\limits_{cyc}(a-b)^2(c+a-b)(c+b-a)\geq0$$ ¡Hecho!