[Math] British Maths Olympiad (BMO) 2002 Round 1 Question 3 Proof without Cauchy-Schwarz

a.m.-g.m.-inequalityalgebra-precalculuscauchy-schwarz-inequalitycontest-mathinequality

The question states:

Let $x,y,z$ be positive real numbers such that $x^2 + y^2 + z^2 = 1$

Prove that

$x^2yz + xy^2z + xyz^2 ≤ 1/3$

I have a proof of this relying on the fact that:

$x^2/3 +y^2/3 + z^2/3 \geq (x+y+z)^3/9 $ (A corollary of C-S I believe)

Is there an elementary proof without this fact (or C-S in general)?

Best Answer

Yes, we can can get a sum of squares here. We need to prove that $$(x^2+y^2+z^2)^2\geq3xyz(x+y+z)$$ or $$\sum_{cyc}(x^4+2x^2y^2-3x^2yz)\geq0$$ or $$\sum_{cyc}(2x^4-2x^2y^2+6x^2y^2-6x^2yz)\geq0$$ or $$\sum_{cyc}(x^4-2x^2y^2+y^4+3(x^2z^2-2z^2xy+y^2z^2))\geq0$$ or $$\sum_{cyc}((x^2-y^2)^2+3z^2(x-y)^2)\geq0.$$