Maths Olympiad Prep

Library / /17 of 87

Algebra Difficulty 5.0 AIME, harder Prove it Austria

Let xx, yy and zz be positive real numbers with x+y+z=3x + y + z = 3. Prove that at least one of the three numbers
x(x+yz),y(y+zx)orz(z+xy) x(x + y - z), \quad y(y + z - x) \quad \text{or} \quad z(z + x - y)
is less or equal 11.

Solution

Since the three expressions are cyclic, we may w. l. o. g. assume that xy,zx \ge y, z. Consequently we have xx+y+z3=1x \ge \frac{x+y+z}{3} = 1. We now show that a:=y(y+zx)=y(32x)a := y(y+z-x) = y(3-2x) satisfies a1a \le 1.

* Case a): For 32x<3\frac{3}{2} \le x < 3 clearly a0<1a \le 0 < 1.

* Case b): For 1x<321 \le x < \frac{3}{2} the factor 32x3-2x is positive. Therefore ax(32x)a \le x(3-2x). Hence it suffices to prove x(32x)1x(3-2x) \le 1, which is equivalent to 2x23x+102x^2 - 3x + 1 \ge 0, i.e. (2x1)(x1)0(2x-1)(x-1) \ge 0.

This completes the proof.

(Walther Janous) \square

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.