# Inequality in triangle involving side lenghs, medians and area

A, B and C are the vertices of a triangle. Denote $m_a$, $m_b$ and $m_c$ the medians from A, B and C. Prove the inequality: $$\sum_{cyc}{a^2bcm_a}\geq\sum_{cyc}{cS(a^2+b^2)}$$where a, b and c are the side lengths BC, CA and AB respectively and S is the area of the triangle. This can be rewritten as $$\sum_{cyc}{am_a}\geq S(\sum_{cyc}{\frac{a^2+b^2}{ab}})$$ Any ideas? Thanks!

-
Where did you get this? –  Sawarnik Mar 7 at 22:10

Since $S=\frac{abc}{4R}$ and $2m_a^2=b^2+c^2-\frac{a^2}{2}$, we can put the given inequality in the following form: $$4R\sum_{cyc}a m_a \geq \sum_{cyc} a(b^2+c^2) = \sum_{cyc}a(2m_a^2+a^2/2),$$ $$\sum_{cyc}a(2Rm_a - m_a^2 - a^2/4) \geq 0,$$ $$\sum_{cyc} a\cdot(m_a-R)^2 \leq \sum_{cyc}a\cdot\left(R^2-\frac{a^2}{4}\right).\tag{1}$$ Let $O$ be the circumcenter of $ABC$ and $\Gamma_A$ the circle having center $A$ and radius $R$: obviously $O\in\Gamma_A$. Let $M_A$ be the midpoint of $BC$: $OM_A$ is orthogonal to $BC$ and $OM_A^2 = R^2-\frac{a^2}{4}$ by Pythagoras' theorem. Now $$|R-m_a|=d(M_A,\Gamma_A)\leq d(M_A,O) = \sqrt{R^2-\frac{a^2}{4}},$$ and $(1)$ follows.
Would you explain how $(1)$ is equivalent to the inequality we want? –  robjohn Mar 13 at 21:18
$4R\sum\limits_\text{cyc} am_a\ge\sum\limits_\text{cyc}a(b^2+c^2)$ is the inequality that I am not sure how we are to see as equivalent to the given inequality. –  robjohn Mar 13 at 22:34
@robjohn: Yes it is, since $abc = 4RS$. –  Jack D'Aurizio Mar 13 at 23:00
And $\sum_{cyc}c(a^2+b^2) = \sum_{cyc}a(b^2+c^2)$, obviously. –  Jack D'Aurizio Mar 13 at 23:01