Olympiad Maths Prep

Library / /1 of 15

, 2010

Algebra Difficulty 5.0 AIME, harder Prove it Ukraine

Let xx, yy, zz be real numbers such that x(0,1]x \in (0, 1], y(0,1]y \in (0, 1], z(0,1]z \in (0, 1]. Prove the inequality:
x2+xy+yz+y2+yz+zx+z2+zx+xyx+y+zx+y+z+xyz \frac{x}{2+xy+yz} + \frac{y}{2+yz+zx} + \frac{z}{2+zx+xy} \le \frac{x+y+z}{x+y+z+xyz}

Solution

Consider the obvious inequality:
0(1x)(1y)(1z)=1+xy+yz+zxxyzxyz1+xy+yz+zxx+y+z+xyz2+xy+yzx+y+z+xyzx2+xy+yzxx+y+z+xyz. \begin{aligned} 0 \le (1-x)(1-y)(1-z) &= 1 + xy + yz + zx - x - y - z - xyz \\ &\Rightarrow 1 + xy + yz + zx \ge x + y + z + xyz \\ &\Rightarrow 2 + xy + yz \ge x + y + z + xyz \\ &\Rightarrow \frac{x}{2+xy+yz} \le \frac{x}{x+y+z+xyz}. \end{aligned}
Analogously:
y2+yz+zxyx+y+z+xyz,z2+zx+xyzx+y+z+xyz. \begin{aligned} \frac{y}{2+yz+zx} &\le \frac{y}{x+y+z+xyz}, \\ \frac{z}{2+zx+xy} &\le \frac{z}{x+y+z+xyz}. \end{aligned}
Summing up yields the desired inequality.

Looking for a route rather than 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.