Maths Olympiad Prep

Library / /70 of 119

Algebra Difficulty 4.8 AIME Prove it China

It is given that f(x)f(x) is a function defined on R\mathbb{R}, satisfying f(1)=1f(1) = 1, and for any x∈Rx \in \mathbb{R},
f(x+5)≥f(x)+5, f(x+5) \ge f(x)+5,

and f(x+1)≤f(x)+1f(x+1) \le f(x)+1.
If g(x)=f(x)+1−xg(x) = f(x)+1-x, then g(2002)=‾g(2002) = \underline{\hspace{2cm}}.

Solution

We determine f(2002)f(2002) first. From the conditions given, we have
f(x)+5≤f(x+5)≤f(x+4)+1≤f(x+3)+2≤f(x+2)+3≤f(x+1)+4≤f(x)+5. \begin{aligned} f(x)+5 &\le f(x+5) \le f(x+4)+1 \\ &\le f(x+3)+2 \le f(x+2)+3 \\ &\le f(x+1)+4 \le f(x)+5. \end{aligned}
Thus the equality holds for all. So we have f(x+1)=f(x)+1f(x+1)=f(x)+1.

Hence, from f(1)=1f(1)=1, we get f(2)=2f(2)=2, f(3)=3f(3)=3, ..., f(2002)=2002f(2002)=2002. Therefore, g(2002)=f(2002)+1−2002=1g(2002)=f(2002)+1-2002=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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.