Maths Olympiad Prep

Library / /25 of 35

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 4x+4x4 \le x + \frac{4}{x}. If x>0x > 0, then this inequality is equivalent to 4xx2+44x \le x^2 + 4 or 0(x2)20 \le (x-2)^2. This is always true. If x<0x < 0, then we get 0(x2)20 \ge (x-2)^2. This is never the case, so 4x+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 x1 or 0<x1. \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 48x4 \ge \frac{8}{x}, which implies x2x \ge 2. The inequality holds for all numbers x[2,)x \in [2, \infty). If 0<x10 < x \le 1, then we have 48x4 \ge 8x, so 12x\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+4x8xx + \frac{4}{x} \ge \frac{8}{x}, or, equivalently, x4xx \ge \frac{4}{x}. Multiplying by xx yields x24x^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 x1x \le -1. We get x+4x8xx + \frac{4}{x} \ge 8x or 47x24 \le 7x^2. Since x1x \le -1, we have x21x^2 \ge 1, so 7x27>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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.