Let a,b and c be positive real numbers with $abc = 1$, prove that [MATH]\frac{a}{2+bc}+\frac{b}{2+ca}+\frac{c}{2+ab}\ge 1[/MATH]

Let a,b and c be positive real numbers with $abc = 1$, prove that

[MATH]\frac{a}{2+bc}+\frac{b}{2+ca}+\frac{c}{2+ab}\ge  1[/MATH]

In the problem 4 as shown in quiz 22, I asked if you could approach the problem using the Hölder's inequality, I hope you have tried it before checking out with my solution to see why the Hölder's inequality wouldn't help:

The following inequality is always true (by the Hölder's inequality) for all positive a, b and c such that $abc = 1$:

[MATH]\left(\sum_{\text{cyclic}}\left(\frac{(a^{\frac{1}{3}})^3}{((2+bc)^{\frac{1}{3}})^3}\right)\right)^{\frac{1}{3}}\left(\sum_{\text{cyclic}}\left((2+bc)^{\frac{1}{3}})^3\right)\right)^{\frac{1}{3}}\left(\sum_{\text{cyclic}}\left(\frac{1}{((a)^{\frac{1}{3}})^3}\right)\right)^{\frac{1}{3}}[/MATH]

[MATH]\ge \sum_{\text{cyclic}}\left(\frac{a^{\frac{1}{3}}}{(2+bc)^{\frac{1}{3}}}\cdot (2+bc)^{\frac{1}{3}} \cdot \frac{1}{(a)^{\frac{1}{3}}}\right)[/MATH]

[MATH]= \sum_{\text{cyclic}}\left(\frac{\cancel{a^{\frac{1}{3}}}}{\cancel{(2+bc)^{\frac{1}{3}}}}\cdot \cancel{(2+bc)^{\frac{1}{3}}} \cdot \frac{1}{\cancel{(a)^{\frac{1}{3}}}}\right)[/MATH]

[MATH]= \sum_{\text{cyclic}}\left(1\right)[/MATH]

[MATH]= 3[/MATH]

Therefore by cubing both sides of the inequality we see that we have:

[MATH]\left(\sum_{\text{cyclic}}\left(\frac{(a^{\frac{1}{3}})^3}{(2+bc)^{\frac{1}{3}})^3}\right)\right)\left(\sum_{\text{cyclic}}\left((2+bc)^{\frac{1}{3}})^3\right)\right)\left(\sum_{\text{cyclic}}\left(\frac{1}{((a)^{\frac{1}{3}})^3}\right)\right)\ge 3^3[/MATH]

[MATH]\left(\sum_{\text{cyclic}}\left(\frac{a}{2+bc}\right)\right)\left(\sum_{\text{cyclic}}\left(2+bc\right)\right)\left(\sum_{\text{cyclic}}\left(\frac{1}{a}\right)\right)\ge 3^3[/MATH]

which, upon simplification, get down to

[MATH]\color{yellow}\bbox[5px,purple]{\left(\sum_{\text{cyclic}}\left(\frac{a}{2+bc}\right)\right)\left(6+ab+bc+ca\right)\left(ab+bc+ca\right)\ge 3^3}[/MATH]

which also means, if we can prove

[MATH]\color{yellow}\bbox[5px,green]{\left(\sum_{\text{cyclic}}\left(\frac{a}{2+bc}\right)\right) \ge \frac{3^3}{\left(6+ab+bc+ca\right)\left(ab+bc+ca\right)}}=1[/MATH]

then we're done.

But note that we haven't enough data to look for the maximum for [MATH]ab+bc+ca[/MATH], this suggests this method has no exit, no way out.