Maths Olympiad Prep

Library / Slovenia — National Math Olympiad /89 of 122

Slovenia — National Math Olympiad

Algebra Difficulty 5.8 AIME, harder Prove it Slovenia

Find all non-zero real numbers xx such that
min⁡{4,x+4x}≥8min⁡{x,1x}. \min \left\{ 4, x + \frac{4}{x} \right\} \ge 8 \min \left\{ x, \frac{1}{x} \right\}.

Solution

Let us check when 4≤x+4x4 \le x + \frac{4}{x}. If x>0x > 0, then this inequality is equivalent to 4x≤x2+44x \le x^2 + 4 or 0≤(x−2)20 \le (x-2)^2. This is always true. If x<0x < 0, then we get 0≥(x−2)20 \ge (x-2)^2. This is never the case, so 4≥x+4x4 \ge x + \frac{4}{x}. Hence,
min⁡{4,x+4x}={4,if x>0,x+4x,if x<0. \min \left\{ 4, x + \frac{4}{x} \right\} = \begin{cases} 4, & \text{if } x > 0, \\ x + \frac{4}{x}, & \text{if } x < 0. \end{cases}
For x>1xx > \frac{1}{x} and x>0x > 0 we get x2>1x^2 > 1, so x>1x > 1. For x>1xx > \frac{1}{x} and x<0x < 0 we get x2<1x^2 < 1, so −1<x<0-1 < x < 0. Hence,
min⁡{x,1x}={1x,if x>1 or −1<x<0,x,if x≤−1 or 0<x≤1. \min \left\{ x, \frac{1}{x} \right\} = \begin{cases} \frac{1}{x}, & \text{if } x > 1 \text{ or } -1 < x < 0, \\ x, & \text{if } x \le -1 \text{ or } 0 < x \le 1. \end{cases}
In the case of x>1x > 1 the given inequality is equivalent to 4≥8x4 \ge \frac{8}{x}, which implies x≥2x \ge 2. The inequality holds for all numbers x∈[2,∞)x \in [2, \infty). If 0<x≤10 < x \le 1, then we have 4≥8x4 \ge 8x, so 12≥x\frac{1}{2} \ge x. Thus, the inequality also holds for x∈(0,12]x \in (0, \frac{1}{2}].

Let −1<x<0-1 < x < 0. We get x+4x≥8xx + \frac{4}{x} \ge \frac{8}{x}, or, equivalently, x≥4xx \ge \frac{4}{x}. Multiplying by xx yields x2≤4x^2 \le 4, and this holds for −1<x<0-1 < x < 0. The inequality holds for all x∈(−1,0)x \in (-1, 0).

Finally, let x≤−1x \le -1. We get x+4x≥8xx + \frac{4}{x} \ge 8x or 4≤7x24 \le 7x^2. Since x≤−1x \le -1, we have x2≥1x^2 \ge 1, so 7x2≥7>47x^2 \ge 7 > 4. The inequality holds for all x∈(−∞,−1]x \in (-\infty, -1] as well.

We have shown that the given inequality holds for all xx in (−∞,0)∪(0,12]∪[2,∞)(-\infty, 0) \cup (0, \frac{1}{2}] \cup [2, \infty).

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.