Maths Olympiad Prep

Library / Irish Mathematical Olympiad /2 of 236

Irish Mathematical Olympiad

Algebra Difficulty 4.3 AIME Prove it Ireland

Suppose xx and yy are real numbers with x≥0x \ge 0 and y2≥x(x+1)y^2 \ge x(x+1). Prove that (y−1)2≥x(x−1)(y-1)^2 \ge x(x-1).

Solution

Suppose x≥0x \ge 0 and y2≥x(x+1)y^2 \ge x(x+1). If 0≤x≤10 \le x \le 1, then (y−1)2≥0≥x(x−1)(y-1)^2 \ge 0 \ge x(x-1). If x>1x > 1, either y≥x(x+1)y \ge \sqrt{x(x+1)} or y≤−x(x+1)y \le -\sqrt{x(x+1)}. If y≥x(x+1)y \ge \sqrt{x(x+1)}, then y>1y > 1, since x>1x > 1. So (y−1)2≥(x(x+1)−1)2=x2+x+1−2x(x+1)(y-1)^2 \ge (\sqrt{x(x+1)}-1)^2 = x^2+x+1-2\sqrt{x(x+1)}. It suffices to prove that this is ≥x(x−1)\ge x(x-1). That is, 2x+1≥2x(x+1)2x+1 \ge 2\sqrt{x(x+1)}, when x>1x > 1. Squaring both sides, this reduces to 1>01 > 0, which is true.
The second case is y≤−x(x+1)y \le -\sqrt{x(x+1)}. In this case, we have (y−1)2≥(x(x+1)+1)2=x2+x+1+2x(x+1)>x2+x>x2−x(y-1)^2 \ge (\sqrt{x(x+1)}+1)^2 = x^2+x+1+2\sqrt{x(x+1)} > x^2+x > x^2-x, which proves the result.

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.