Maths Olympiad Prep

Library / /505 of 520

Algebra Difficulty 4.7 AIME Prove it

For the function f(x)f(x), it holds for any a,bRa, b \in \mathbb{R} that f(a+b)=f(a)+f(b)1f(a + b) = f(a) + f(b) - 1, and when x>0x > 0, f(x)>1f(x) > 1.
(1) Prove that ff is an increasing function on R\mathbb{R}.
(2) If f(m)+f(mx)>f(x21)+1f( \sqrt {m}) + f( \sqrt {m} \cdot x) > f(x^{2} - 1) + 1 for all mm satisfying 116m14\frac {1}{16} \leq m \leq \frac {1}{4}, find the range of the real number xx.

Solution

(1) Proof: Let's assume x1>x2x_1 > x_2 (where x1,x2Rx_1, x_2 \in \mathbb{R}), then x1x2>0x_1 - x_2 > 0. Since for x>0x > 0, we have f(x)>1f(x) > 1,
it follows that f(x1)f(x2)=f((x1x2)+x2)f(x2)=f(x1x2)+f(x2)1f(x2)=f(x1x2)1>11=0,f(x_1) - f(x_2) = f((x_1 - x_2) + x_2) - f(x_2) = f(x_1 - x_2) + f(x_2) - 1 - f(x_2) = f(x_1 - x_2) - 1 > 1 - 1 = 0,
hence f(x1)>f(x2)f(x_1) > f(x_2),
which confirms that f(x)f(x) is an increasing function on R\mathbb{R}.

(2) Since f(x)f(x) is an increasing function on R\mathbb{R}, from the inequality f(m)+f(mx)>f(x21)+1f( \sqrt {m}) + f( \sqrt {m} \cdot x) > f(x^{2} - 1) + 1, we can infer that
f((1+x)m)>f(x21)f((1 + x)\sqrt{m}) > f(x^2 - 1).
This implies that (1+x)m>x21(1 + x)\sqrt{m} > x^2 - 1, and this must hold true for all mm such that 116m14\frac {1}{16} \leq m \leq \frac {1}{4}.
Let t=mt = \sqrt{m}, then tt falls within the interval [14,12]\left[ \frac {1}{4}, \frac {1}{2} \right].
The original inequality is equivalent to (1+x)t>x21(1 + x)t > x^2 - 1 for all t[14,12]t \in \left[\frac {1}{4}, \frac {1}{2}\right].
Let g(t)=(1+x)tx2+1g(t) = (1 + x)t - x^2 + 1. To ensure that g(t)>0g(t) > 0 for t[14,12]t \in \left[\frac {1}{4}, \frac {1}{2}\right] at all times,
we need both g(14)>0g\left( \frac {1}{4} \right) > 0 and g(12)>0g\left( \frac {1}{2} \right) > 0.
Solving these inequalities yields 1<x<54-1 < x < \frac {5}{4}.
Therefore, the range for the real number xx is 1<x<54\boxed{-1 < x < \frac {5}{4}}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.