x^4+y^4+z^4+16(x^2+y^2+z^2) \ge 8(x^3+y^3+z^3)+27
Source: MEMO 2009, problem 1, team competition
October 1, 2009
inequalitiessearchinequalities proposed
Problem Statement
Let , , be real numbers satisfying x^2\plus{}y^2\plus{}z^2\plus{}9\equal{}4(x\plus{}y\plus{}z). Prove that
x^4\plus{}y^4\plus{}z^4\plus{}16(x^2\plus{}y^2\plus{}z^2) \ge 8(x^3\plus{}y^3\plus{}z^3)\plus{}27
and determine when equality holds.