Maths Olympiad Prep

Library / /94 of 264

Algebra Difficulty 5.4 AIME, harder Prove it Romania

Find all functions f:[0,1]Rf : [0, 1] \to \mathbb{R} satisfying for all x,y[0,1]x, y \in [0, 1] the inequality xy2f(x)f(y)xy|x - y|^2 \le |f(x) - f(y)| \le |x - y|.

Solution

The condition f(x)f(y)xy|f(x) - f(y)| \le |x - y| is sufficient for the continuity of ff. From xy2f(x)f(y)|x - y|^2 \le |f(x) - f(y)| we derive that ff is one-to-one, implying that ff is a strictly monotonic function. We may assume that ff is strictly increasing, because ff can be replaced by f-f.
Set x=0x = 0 and y=1y = 1 to derive that 0f(1)f(0)10 \le f(1) - f(0) \le 1, hence f(1)=f(0)+1f(1) = f(0) + 1.
For xyx \ge y we get f(x)f(y)xyf(x) - f(y) \le x - y or yf(y)xf(x)y - f(y) \le x - f(x), implying that the function g(x)=xf(x)+f(0)g(x) = x - f(x) + f(0) is increasing.
Since g(0)=g(1)=0g(0) = g(1) = 0, the function gg is the identically null. Consequently, the functions are fa±f_a^{\pm} given by fa±(x)=±x+af_a^{\pm}(x) = \pm x + a, with aRa \in \mathbb{R}.

Alternative solution:
For x=0x = 0 and y=1y = 1 we get f(1)f(0)=1|f(1) - f(0)| = 1. For x[0,1]x \in [0, 1] we obtain 1=f(1)f(0)f(1)f(x)+f(x)f(0)1x+1x=1x+x0=11 = |f(1) - f(0)| \le |f(1) - f(x)| + |f(x) - f(0)| \le |1 - x| + |1 - x| = 1 - x + x - 0 = 1.
Thus f(x)f(x) lies between f(0)f(0) and f(1)f(1); moreover, we have f(1)f(x)=1x|f(1) - f(x)| = 1 - x and f(x)f(0)=x|f(x) - f(0)| = x. It follows that points (0,f(0))(0, f(0)), (x,f(x))(x, f(x)) and (1,f(1))(1, f(1)) are collinear, hence f(x)=f(0)±xf(x) = f(0) \pm x.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.