Maths Olympiad Prep

Library / /12 of 20

Algebra Difficulty 6.0 AIME, harder Prove it Greece

(α) For every real number x>0x > 0 prove that: x33x2x^3 - 3x \ge -2.

(β) For all real numbers x,y,z>0x, y, z > 0, prove that:
x2yz+y2zx+z2xy+2(yxz+zxy+xyz)9.(1) \frac{x^2 y}{z} + \frac{y^2 z}{x} + \frac{z^2 x}{y} + 2 \left( \frac{y}{xz} + \frac{z}{xy} + \frac{x}{yz} \right) \ge 9. \quad (1)
When equality holds?

Solution

(α) We have
x33x2x33x+20x3x2x+20x(x1)(x+1)2(x1)0(x1)(x2+x2)0(x+2)(x1)20 \begin{align*} x^3 - 3x \ge -2 &\Leftrightarrow x^3 - 3x + 2 \ge 0 \\ &\Leftrightarrow x^3 - x - 2x + 2 \ge 0 \\ &\Leftrightarrow x(x-1)(x+1) - 2(x-1) \ge 0 \\ &\Leftrightarrow (x-1)(x^2 + x - 2) \ge 0 \\ &\Leftrightarrow (x+2)(x-1)^2 \ge 0 \end{align*}
which is valid, because x>0x > 0.

(β) The inequality is equivalent to
yz(x2+2x)+zx(y2+2y)+xy(z2+2z)9.(2) \frac{y}{z} \left( x^2 + \frac{2}{x} \right) + \frac{z}{x} \left( y^2 + \frac{2}{y} \right) + \frac{x}{y} \left( z^2 + \frac{2}{z} \right) \ge 9. \quad (2)
From question (α), by dividing both parts by xx we obtain x2+2x3x^2 + \frac{2}{x} \ge 3.
Therefore it is enough to prove:
3(yz+zx+xy)9yz+zx+xy3.(3) 3 \left( \frac{y}{z} + \frac{z}{x} + \frac{x}{y} \right) \ge 9 \Leftrightarrow \frac{y}{z} + \frac{z}{x} + \frac{x}{y} \ge 3. \quad (3)
The latter is valid, as we can easily see, by applying the inequality of arithmetic and geometric mean as follows:
yz+zx+xy3yzxzxy=3(4) \frac{y}{z} + \frac{z}{x} + \frac{x}{y} \ge 3 \sqrt{\frac{yzx}{zxy}} = 3 \quad (4)
The equality holds if and only if 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 and solution reproduced as published; topic and difficulty added by this site.