Maths Olympiad Prep

Library / /65 of 520

Algebra Difficulty 5.9 AIME, harder Prove it

Example 9.7 (1991 Polish Mathematical Olympiad) x2+y2+z2=2x^{2}+y^{2}+z^{2}=2, prove that
x+y+zxyz+2x+y+z \leqslant x y z+2

Solution

Assume xyzx \leqslant y \leqslant z, then xy1,(x1)(y1)0x y \leqslant 1, (x-1)(y-1) \geqslant 0.
If z1z \geqslant 1, then
x+y+zxyz+22(x1)(y1)(z1)+(x+y+z2)20x+y+z \leqslant x y z+2 \Leftrightarrow 2(x-1)(y-1)(z-1)+(x+y+z-2)^{2} \geqslant 0

If z<1z<1, then
x+y+zxyz+2(x1)(y1)+(z1)(xy1)0x+y+z \leqslant x y z+2 \Leftrightarrow(x-1)(y-1)+(z-1)(x y-1) \geqslant 0

Combining both cases, the inequality is proved!

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.