Maths Olympiad Prep

Library / /66 of 196

Algebra Difficulty 4.8 AIME Prove it Soviet Union

Problem:

ff is a function on the closed interval [0,1][0, 1] with non-negative real values. f(1)=1f(1) = 1 and f(x+y)f(x)+f(y)f(x + y) \geq f(x) + f(y) for all x,yx, y. Show that f(x)2xf(x) \leq 2x for all xx. Is it necessarily true that f(x)1.9xf(x) \leq 1.9x for all xx?

Solution

Solution:

We have f(x)=f(1)f(1x)f(1)=1f(x) = f(1) - f(1 - x) \leq f(1) = 1. So for x1/2x \geq 1/2, f(x)12xf(x) \leq 1 \leq 2x.

If x<1/2x < 1/2, then for some nn we have 1/2n+1x<1/2n1/2^{n+1} \leq x < 1/2^n. Hence by a trivial induction f(2nx)2nf(x)f(2^n x) \geq 2^n f(x). But f(2nx)1f(2^n x) \leq 1, so f(x)1/2n2xf(x) \leq 1/2^n \leq 2x.

Note that f(x)=0f(x) = 0 for x1/2x \leq 1/2 and 11 for x>1/2x > 1/2 satisfies the conditions. But f(0.51)=1>(1.9)(0.51)f(0.51) = 1 > (1.9)(0.51).

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.