Maths Olympiad Prep

Library / Team Selection Test for JBMO /2 of 20

Team Selection Test for JBMO, 2023

Algebra Difficulty 4.8 AIME Prove it Turkey

Find all functions f:R→Rf: \mathbb{R} \to \mathbb{R} such that
f(x+f(x))=f(−x) f(x + f(x)) = f(-x)
for all real numbers xx and f(x)≤f(y)f(x) \le f(y) for all real numbers x≤yx \le y.

Solution

All constant functions.

Let a<ba < b be two arbitrary numbers. Consider a sufficiently large xx so that x>−ax > -a and x>b−f(−a)x > b - f(-a), thus −x<a-x < a and x+f(x)>b−f(−a)+f(−a)=bx + f(x) > b - f(-a) + f(-a) = b (here we used f(x)≥f(−a)f(x) \ge f(-a) since x>−ax > -a). Now −x<a<b<x+f(x)-x < a < b < x + f(x) while f(−x)=f(x+f(x))f(-x) = f(x+f(x)), hence f(a)=f(b)f(a) = f(b), so ff is constant.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.