Maths Olympiad Prep

Library / Mathematical Olympiad in Ukraine, Third Round (January 23, ) /1 of 15

Mathematical Olympiad in Ukraine, Third Round (January 23, ), 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+xy≤x+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≤(1−x)(1−y)(1−z)=1+xy+yz+zx−x−y−z−xyz⇒1+xy+yz+zx≥x+y+z+xyz⇒2+xy+yz≥x+y+z+xyz⇒x2+xy+yz≤xx+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+zx≤yx+y+z+xyz,z2+zx+xy≤zx+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.

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

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