Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$a, b, c > 0$ such that $abc=1$, prove inequality (Lagrang not allowed here because I am still in grade $9^{th}$): $$P=\frac a{a+b^2+c^2} + \frac b{b+c^2+a^2}+\frac c{c+a^2+b^2} \le 1$$ I have tried to use AM-GM, that I have: $(a+b^2+c^2)(a+1+1)\ge (a+b+c)^2$, so $$P \le \frac{a(a+2)+b(b+2)+c(c+2)}{(a+b+c)^2}$$ but if $$\frac{a(a+2)+b(b+2)+c(c+2)}{(a+b+c)^2} \le 1 \Rightarrow ab + bc + ca \ge a+b+c \ (\text{not true})$$

P/S: Can someone tell me what good inequalities books that I should buy ?

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Let $a = \frac{x^2}{yz}$ and so forth. Expanding (*):

$$(x^4 yz + y^6 + z^6)(y^4 xz + x^6 + z^6)(z^4 xy + x^6 + y^6) - x^4yz (y^4 xz + x^6 + z^6)(z^4 xy + x^6 + y^6) - y^4xz (x^4yz + y^6 + z^6)(z^4 xy + x^6 + y^6) - z^4xy(x^4yz + y^6 + z^6)(y^4 xz + x^6 + z^6) $$

at quickmath.com gives (**)

$$x^{12}y^6 + x^{12}z^6 + y^{12}x^6 + y^{12}z^6 + z^{12}x^6 + z^{12}y^6 - x^2y^5z^{11} - x^2y^{11}z^5 - y^2x^5z^{11} - y^2x^{11}z^5 - z^2x^5y^{11} - z^2x^{11}y^5$$

The given inequality is equivalent to $(*) \ge 0$, same as $(**) \ge 0$, which follows from Muirhead inequality and $[12,6,0] \succ [11,5,2]$.

An aesthetically more appealing solution is note that $$\frac{a}{a+b^2+c^2} \leq \frac{a^r}{a^r+b^r+c^r}$$ for $r = 4/3$. To show this, note that after clearing denominator we need to show $$\begin{eqnarray} a(b^r+c^r) \leq a^r(b^2+c^2)\\ \Leftrightarrow (bc)^{r-1}(b^r+c^r) = a^{1-r}(b^r+c^r) \leq b^2+c^2 \end{eqnarray}$$ Now $(bc)^{1/3}(b^{4/3} + c^{4/3}) \leq b^2 + c^2$ follows from AM-GM and power mean inequality.

share|improve this answer
Any another way don't need to use Muirhead ? –  Xeing Feb 7 '13 at 9:48
@D3roX4, yes. See the edited answer. –  Sanchez Feb 8 '13 at 5:56
add comment

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.