# If $abc=1$ so $\sum\limits_{cyc}\frac{a}{\sqrt{a+b^2}}\geq\frac{3}{\sqrt2}$

Let $a$, $b$ and $c$ be positive numbers such that $abc=1$. Prove that: $$\frac{a}{\sqrt{a+b^2}}+\frac{b}{\sqrt{b+c^2}}+\frac{c}{\sqrt{c+a^2}}\geq\frac{3}{\sqrt2}$$ After substitution $a=\frac{y}{x}$... I tried C-S, but without success.

I proved this inequality!!!

Let $a=\frac{x}{z}$, $b=\frac{y}{x}$ and $c=\frac{z}{y}$, where $x$, $y$ and $z$ are positives.

Hence, we need to prove that $\sum\limits_{cyc}\frac{x^2}{\sqrt{z(x^3+y^2z)}}\geq\frac{3}{\sqrt2}$.

Now by AM-GM $\sum\limits_{cyc}\frac{x^2}{\sqrt{z(x^3+y^2z)}}=\sum\limits_{cyc}\frac{2\sqrt2x^3}{2\sqrt{2x^2z(x^3+y^2z)}}\geq\sum\limits_{cyc}\frac{2\sqrt2x^3}{x^3+y^2z+2zx^2}$.

Thus, it remains to prove that $\sum\limits_{cyc}\frac{x^3}{x^3+y^2z+2zx^2}\geq\frac{3}{4}$, which is true, but my proof is still very ugly.

Using Hölder's inequality, we have in general: $$\left( \frac{a}{\sqrt{X}}+\frac{b}{\sqrt{Y}}+\frac{c}{\sqrt{Z}}\right)^2(aX+bY+cZ) \geq (a+b+c)^3$$ Substitute $\sqrt{a+b^2}, \sqrt{b+c^2}, \sqrt{c+a^2}$ for $X, Y, Z$: $$\left( \frac{a}{\sqrt{a+b^2}}+\frac{b}{\sqrt{b+c^2}}+\frac{c}{\sqrt{c+a^2}} \right)^2 \geq \frac{(a+b+c)^3}{a^2+b^2+c^2+ab^2+bc^2+ca^2}$$ Only we have to do is show (the right side) $\geq \frac{9}{2}$. $$f(a,b,c) \equiv 2(a+b+c)^3-9(a^2+b^2+c^2+ab^2+bc^2+ca^2) \\ = 12+2(a^3+b^3+c^3)-9(a^2+b^2+c^2)+6(a^2b+b^2c+c^2a)-3(ab^2+bc^2+ca^2)$$ Since this is a symmetric polynomial, the min should be at $a=b=c(=1)$. Though this is not the strict proof.
Here, I tried Muirhead's inequality, for example, $$a^2b+b^2c+c^2a \geq ab^2+bc^2+ca^2$$ but without success.
Instead, by partial differential, we can say that at $a=b=c=1$ we have the global minimum $0$ (for $a,b,c>0$. but the same thing if $a \geq b \geq c \space and \space b,c<0$). The inequality is true.
I hope it's OK as a hint.

• The inequality $2(a+b+c)^3\geq9\sum\limits_{cyc}(a^2+ab^2)$ is wrong. Try $a=4$, $b=\frac{1}{5}$ and $c=\frac{5}{4}$. – Michael Rozenberg Apr 2 '17 at 3:14
• confirmed. I was wrong... – user426180 Apr 4 '17 at 0:50