Maths Olympiad Prep

Library / /463 of 520

Algebra Difficulty 4.6 AIME Prove it

Let a function y=f(x)y=f(x) be defined on R\mathbb{R} such that for any x,yRx, y \in \mathbb{R}, f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y), and f(x)>0f(x)>0 when x>0x>0. We need to:
(1) Prove that f(x)f(x) is an odd function on R\mathbb{R}.
(2) Determine the monotonicity of f(x)f(x) on R\mathbb{R} and provide a rationale.
(3) If f(k3x)+f(3x9x2)<0f(k \cdot 3^x) + f(3^x - 9^x - 2) < 0 for any xRx \in \mathbb{R}, find the range of values of the real number kk.

Solution

(1) Proof: Let x=y=0x=y=0, then f(0)=f(0)+f(0)f(0) = f(0) + f(0), which gives us f(0)=0f(0) = 0.
Since the domain of function f(x)f(x) is symmetric about the origin,
let y=xy=-x, thus f(0)=f(x)+f(x)f(0) = f(x) + f(-x).
With f(0)=0f(0) = 0, we get f(x)=f(x)f(-x) = -f(x).
Hence, the function f(x)f(x) is an odd function.
(2) The function f(x)f(x) is a monotonically increasing function on R\mathbb{R}.
As given, f(x)>0f(x) > 0 when x>0x > 0. Let's take x10x_1 0 implies f(x2x1)>0f(x_2 - x_1) > 0,
which means f(x2)+f(x1)>0f(x_2) + f(-x_1) > 0. Thus, f(x2)f(x1)>0f(x_2) - f(x_1) > 0.
Therefore, f(x)f(x) is a monotonically increasing function on R\mathbb{R}.
(3) Given f(k3x)+f(3x9x2)<0f(k \cdot 3^x) + f(3^x - 9^x - 2) < 0,
we have f(k3x)<f(3x9x2)f(k \cdot 3^x) < -f(3^x - 9^x - 2), which implies f(k3x)<f(3x+9x+2)f(k \cdot 3^x) < f(-3^x + 9^x + 2).
Since f(x)f(x) is a monotonically increasing function on R\mathbb{R}, it follows that k3x<3x+9x+2k \cdot 3^x < -3^x + 9^x + 2.
Therefore, we need k<1+31+23xk < -1 + 3^1 + \frac{2}{3^x}.
The inequality must hold for all xRx \in \mathbb{R}.
Hence, we need kk to be less than the minimum value of 1+3x+23x-1 + 3^x + \frac{2}{3^x}.
Then we note that 3x+23x223^x + \frac{2}{3^x} \ge 2\sqrt{2}.
Thus, 1+3x+23x1+22-1 + 3^x + \frac{2}{3^x} \ge -1 + 2\sqrt{2}.
Therefore, k<1+22k < -1 + 2\sqrt{2},
which leads us to the conclusion that the range of kk is (,221)\boxed{(-\infty, 2\sqrt{2}-1)}.

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.