let $x,y,z$ are real numbers,How prove this inequality $$\sum_{cyc}\left(\dfrac{x^3}{(y+z)^3}-\dfrac{y^3z^3}{(x^2+yz)^3}\right)\ge 0$$

My idea want use the SOS methods, but it is very ugly, is there any nicer method? Thank you

Example problems using the SOS method at: http://ineqkhoinguyen.files.wordpress.com/2008/02/ren-luyen-sos.pdf

  • $\begingroup$ Can you explain what $\sum_{cyc}$ means? $\endgroup$ – Thomas Andrews Jul 18 '13 at 15:59
  • $\begingroup$ such $\sum_{cyc}a=a+b+c,\sum_{cyc}a^2b=a^2b+b^2c+c^2a,\cdots$ $\endgroup$ – math110 Jul 18 '13 at 16:02
  • 1
    $\begingroup$ It's not clear why that link is there, since it doesn't clarify what the SOS method is. $\endgroup$ – Thomas Andrews Jul 18 '13 at 16:55
  • $\begingroup$ I know only two articles in English that describe SOS (sum of squares), here is one by David Arthur and here is one by Pham Kim Hung (the second link is direct link to PDF, the first isn't). $\endgroup$ – nikoma Jul 21 '13 at 20:57

It's wrong! Try $y+z=0$.

For positive variables your inequality is true but not so easy (at lest my proof is very ugly)

and I think SOS does not help here.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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