Maths Olympiad Prep

Library / /1 of 4

Algebra Difficulty 5.4 AIME, harder Prove it Romania

Let aa be a positive real number. Show that there are no real numbers bb and cc, with b<cb < c, such that x+yxya\left|\frac{x+y}{x-y}\right| \le a, for every x,y(b,c)x, y \in (b, c), xyx \ne y.

Solution

Assume, by the sake of contradiction, that there exist b,cRb, c \in \mathbb{R}, b<cb < c, such that x+yxya\left|\frac{x+y}{x-y}\right| \le a, for every x,y(b,c)x, y \in (b, c), xyx \ne y, and consider x(b,c)x \in (b, c), x0x \ne 0.

If x>0x > 0, there exist infinitely many positive integers nn such that n>1xbn > \frac{1}{x-b}, or equivalently, such that x1n>bx - \frac{1}{n} > b. For each such number nn, choose yn=x1n(b,c)y_n = x - \frac{1}{n} \in (b, c). Since x+ynxyna\left|\frac{x+y_n}{x-y_n}\right| \le a, it follows that x1+a2nx \le \frac{1+a}{2n}, so 0<n1+a2x0 < n \le \frac{1+a}{2x} for infinitely many positive integers nn, a contradiction.

If x<0x < 0, there are infinitely many positive integers nn such that n>1cxn > \frac{1}{c-x}, or equivalently, such that x+1n<cx + \frac{1}{n} < c. For each such number nn, choose zn=x+1n(b,c)z_n = x + \frac{1}{n} \in (b, c). Since x+znxzna\left|\frac{x+z_n}{x-z_n}\right| \le a, it follows that 1+a2nx<0-\frac{1+a}{2n} \le x < 0, so 0<n1+a2x0 < n \le -\frac{1+a}{2x} for infinitely many positive integers nn, again a contradiction, and the conclusion follows.

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.