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

$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|cite|improve this question
up vote 5 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 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|cite|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. – user27126 Feb 8 '13 at 5:56

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.