Maths Olympiad Prep

Library / /13 of 87

Algebra Difficulty 4.9 AIME Prove it Austria

Let x,y,zx, y, z be positive real numbers with x+y+z3x + y + z \ge 3. Prove that
1x+y+z2+1y+z+x2+1z+x+y21 \frac{1}{x+y+z^2} + \frac{1}{y+z+x^2} + \frac{1}{z+x+y^2} \le 1

Solution

By Cauchy's inequality, we have
(x+y+z2)(x+y+1)(x+y+z)2,(6) (x + y + z^2)(x + y + 1) \ge (x + y + z)^2, \qquad (6)
hence
1x+y+z2x+y+1(x+y+z)2. \frac{1}{x+y+z^2} \le \frac{x+y+1}{(x+y+z)^2}.
Thus it suffices to show that
cycx+y+1(x+y+z)2=2(x+y+z)+3(x+y+z)21. \sum_{cyc} \frac{x+y+1}{(x+y+z)^2} = \frac{2(x+y+z)+3}{(x+y+z)^2} \le 1.
This is equivalent to the inequality
(x+y+z)22(x+y+z)30, (x + y + z)^2 - 2(x + y + z) - 3 \ge 0,
which holds for x+y+z3x + y + z \ge 3.

Equality in (6) holds if and only if (x,y,z2)(x, y, z^2) and (x,y,1)(x, y, 1) are collinear, i.e., z2=1z^2 = 1 or, equivalently, z=1z = 1. Cyclic permutation shows that 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 reproduced verbatim; metadata (topic, difficulty) added by this project.