Maths Olympiad Prep

Library / /39 of 69

, 2011

Algebra Difficulty 5.3 AIME, harder Prove it South Africa

Prove that if xyzx \le y \le z are real numbers satisfying xy+yz+zx=1xy + yz + zx = 1, then xz<12xz < \frac{1}{2}. Is it possible to replace 12\frac{1}{2} with a smaller number?

Solution

If xx and zz have opposite signs, or if one of them is 00, then the inequality is obviously true, so xx, yy and zz are either all positive or all negative. If they are all negative, we may replace xx, yy and zz with x-x, y-y and z-z without changing the conditions of the problem, so we can assume that xx, yy and zz are all positive.

In that case, 0<xyxzyz0 < xy \le xz \le yz, and so 1=xy+yz+xzxy+2xz>2xz1 = xy + yz + xz \ge xy + 2xz > 2xz which yields xz<12xz < \frac{1}{2}.

Setting x=y=1nx = y = \frac{1}{n} for some natural number n>2n > 2, the equation xy+yz+xz=1xy + yz + xz = 1 implies that z=n212n>1nz = \frac{n^2-1}{2n} > \frac{1}{n} if n>2n > 2. Hence xz=n212n2=1212n2xz = \frac{n^2-1}{2n^2} = \frac{1}{2} - \frac{1}{2n^2}, which can be made arbitrarily close to 12\frac{1}{2}. This shows that 12\frac{1}{2} cannot be replaced by any smaller number.

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.