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

How can we show that the assumption $a,b,c>0$ and $a+b+c=1$ implies

$$\sqrt{ab+c}+\sqrt{bc+a}+\sqrt{ca+b} \ge 1+ \sqrt{ab}+\sqrt{bc}+\sqrt{ca}~?$$

share|cite|improve this question
@joriki : looked like a typo got edited out. – Arjang Jul 30 '11 at 16:16
up vote 13 down vote accepted

First we claim that $\sqrt{ab+c} \geq \sqrt{ab}+c$.

Proof of the claim: $$\begin{eqnarray*} \sqrt{ab}+c &=& \sqrt{ab + 2c\sqrt{ab} + c^2} \\ &\leq& \sqrt{ab + (a+b) c + c^2} \\ &=& \sqrt{ab + c(a+b+c)} = \sqrt{ab+c}. \end{eqnarray*} $$

The only inequality used here is the AM-GM inequality: $\sqrt{ab} \leq \frac{a+b}{2}$. $\Box$

Now, the full inequality follows easily from the claim. By symmetry, we also have $\sqrt{bc+a} \geq \sqrt{bc}+a$ and $\sqrt{ac+b}\geq \sqrt{ac}+b$. Adding all three inequalities, we get the result.

share|cite|improve this answer
Thank you very much.I managed to prove this but my method was really ugly.Thanks for the solution again! – Eisen Jul 30 '11 at 15:51
@Sabyasachi Glad to help! – Srivatsan Jul 30 '11 at 17:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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