Maths Olympiad Prep

Library / /12 of 57

, 2009

Algebra Difficulty 5.0 AIME Prove it JBMO

Problem:
Let xx, yy, zz be positive real numbers. Prove that:
(x2+y+1)(x2+z+1)(y2+z+1)(y2+x+1)(z2+x+1)(z2+y+1)(x+y+z)6 \left(x^{2}+y+1\right)\left(x^{2}+z+1\right)\left(y^{2}+z+1\right)\left(y^{2}+x+1\right)\left(z^{2}+x+1\right)\left(z^{2}+y+1\right) \geq (x+y+z)^{6}

Solutions — 2

Solution 1

Solution:
Applying Cauchy-Schwarz's inequality:
(x2+y+1)(z2+y+1)=(x2+y+1)(1+y+z2)(x+y+z)2 \left(x^{2}+y+1\right)\left(z^{2}+y+1\right)=\left(x^{2}+y+1\right)\left(1+y+z^{2}\right) \geq (x+y+z)^{2}
Using the same reasoning we deduce:
(x2+z+1)(y2+z+1)(x+y+z)2 \left(x^{2}+z+1\right)\left(y^{2}+z+1\right) \geq (x+y+z)^{2}
and
(y2+x+1)(z2+x+1)(x+y+z)2 \left(y^{2}+x+1\right)\left(z^{2}+x+1\right) \geq (x+y+z)^{2}
Multiplying these three inequalities we get the desired result.

Solution 2

Solution:
We have
(x2+y+1)(z2+y+1)(x+y+z)2x2z2+x2y+x2+yz2+y2+y+z2+y+1x2+y2+z2+2xy+2yz+2zx(x2z22zx+1)+(x2y2xy+y)+(yz22yz+y)0(xz1)2+y(x1)2+y(z1)20 \begin{gathered} \left(x^{2}+y+1\right)\left(z^{2}+y+1\right) \geq (x+y+z)^{2} \Leftrightarrow \\ x^{2} z^{2}+x^{2} y+x^{2}+y z^{2}+y^{2}+y+z^{2}+y+1 \geq x^{2}+y^{2}+z^{2}+2 x y+2 y z+2 z x \Leftrightarrow \\ \left(x^{2} z^{2}-2 z x+1\right)+\left(x^{2} y-2 x y+y\right)+\left(y z^{2}-2 y z+y\right) \geq 0 \Leftrightarrow \\ (x z-1)^{2}+y(x-1)^{2}+y(z-1)^{2} \geq 0 \end{gathered}
which is correct.
Using the same reasoning we get:
(x2+z+1)(y2+z+1)(x+y+z)2(y2+x+1)(z2+x+1)(x+y+z)2 \begin{aligned} & \left(x^{2}+z+1\right)\left(y^{2}+z+1\right) \geq (x+y+z)^{2} \\ & \left(y^{2}+x+1\right)\left(z^{2}+x+1\right) \geq (x+y+z)^{2} \end{aligned}
Multiplying these three inequalities we get the desired result. Equality is attained at x=y=z=1x=y=z=1.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.