Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $a,b,c \in \mathbb{R_+}$. Prove that
$$\frac{a^2}{b^2+c^2} + \frac{b^2}{c^2+a^2} + \frac{c^2}{a^2 + b^2} \geq \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}. $$

share|cite|improve this question

closed as too localized by William, Andrés E. Caicedo, tomasz, BenjaLim, J. M. Sep 27 '12 at 10:21

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

why so more (-1) votes? Inequality seems to be interesting :) – Iuli Sep 18 '12 at 20:48
up vote 2 down vote accepted

Note that

\begin{equation} \begin{split} &\dfrac{a^2}{b^2 + c^2} - \dfrac{a}{b+c} = \dfrac{ab(a-b) + ac(a-c)}{(b+c)(b^2 + c^2)}, \\ &\dfrac{b^2}{c^2 + a^2} - \dfrac{b}{c+a} = \dfrac{bc(b-c) + ab(b-a)}{(c+a)(c^2 + a^2)}, \\ &\dfrac{c^2}{a^2 + b^2} - \dfrac{c}{a+b} = \dfrac{ac(c-a) + bc(c-b)}{(b+a)(b^2 + a^2)}. \end{split} \end{equation}

Thus we can rewrite the inequality we are to prove as:

\[ \dfrac{ab(a-b) + ac(a-c)}{(b+c)(b^2 + c^2)} + \dfrac{bc(b-c) + ab(b-a)}{(c+a)(c^2 + a^2)} + \dfrac{ac(c-a) + bc(c-b)}{(b+a)(b^2 + a^2)} \geq 0.\]

The left-hand side equals

\begin{equation} \begin{split} &ab(a-b) \cdot \left( \dfrac{1}{(b+c)(b^2 + c^2)} - \dfrac{1}{(a+c)(c^2 + a^2)} \right) + \\ &ac(a-c) \cdot \left( \dfrac{1}{(b+c)(b^2 + c^2)} - \dfrac{1}{(b+a)(b^2 + a^2)} \right) + \\ &bc(b-c) \cdot \left( \dfrac{1}{(c+a)(c^2 + a^2)} - \dfrac{1}{(b+a)(b^2 + a^2)} \right). \end{split} \end{equation}

Now let's take the expression in the first bracket:

\begin{equation} \begin{split} &\dfrac{1}{(b+c)(b^2 + c^2)} - \dfrac{1}{(a+c)(c^2 + a^2)} = \dfrac{(a+c)(c^2 + a^2) - (b+c)(b^2 + c^2)}{(b+c)(b^2 + c^2)(a+c)(c^2+a^2)}. \end{split} \end{equation}

The numerator can be expanded as follows:

\begin{equation} \begin{split} &(a+c)(c^2 + a^2) - (b+c)(b^2 + c^2) = (a-b)(a^2 + b^2 + c^2 + ab) + c(a^2 - b^2) = \\ &(a-b)(a^2 + b^2 + c^2 + ab + c(a+b)). \end{split} \end{equation}

So the first term equals \[ (a^2 + b^2 + c^2 + ab + bc + ca) \cdot \dfrac{ab(a-b)^2}{(b+c)(b^2 + c^2)(a+c)(c^2+a^2)}. \]

The other terms can be transformed by analogy. Finally, we obtain

\[ (a^2 + b^2 + c^2 + ab + bc + ca) \cdot \sum_{cyc} \dfrac{ab(a-b)^2}{(b+c)(b^2 + c^2)(a+c)(c^2+a^2)}, \]

which obviously is nonnegative for all $a, b, c \in \mathbb{R_+}$.

share|cite|improve this answer

Notice that when you square terms like:

$\left(\frac{a}{b+c}\right)^2=\frac{a^2}{b^2+2bc+c^2}\leq \frac{a^2}{b^2+c^2}$

for $c>0$. So your ineqality is true for $c>0$. The inequality you wrote is false for $c<0$ (take $c$ close to $-a$ for example).

share|cite|improve this answer

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