Maths Olympiad Prep

Library / /4 of 13

, 2013

Algebra Difficulty 7.5 National olympiad, round 2 Prove it Saudi Arabia

Find all functions f:RRf: \mathbb{R} \rightarrow \mathbb{R} which satisfy for all x,yRx, y \in \mathbb{R} the relation
f(f(f(x)+y)+y)=x+y+f(y). f(f(f(x)+y)+y)=x+y+f(y) .

Solution

Plug in y=0y=0. The functional equation becomes
f(f(f(x)))=x+f(0), f(f(f(x)))=x+f(0),
for all xRx \in \mathbb{R}. Since the map xx+f(0)x \mapsto x+f(0) is bijective, then so is ff.

Plug in y=xy=-x. The functional equation becomes
f(f(f(x)x)x)=f(x), f(f(f(x)-x)-x)=f(-x),
for all xRx \in \mathbb{R}. By injectivity of ff, we can cancel ff in both sides and obtain
f(f(x)x)=0, f(f(x)-x)=0,
for all xRx \in \mathbb{R}. By surjectivity of ff there exists a real number aa such that f(a)=0f(a)=0. Again by cancelling ff from both sides we obtain
f(x)=x+a f(x)=x+a
for all xRx \in \mathbb{R}. But 0=f(a)=2a0=f(a)=2a. We deduce that
f(x)=x f(x)=x
for all xRx \in \mathbb{R}.
Conversely, we check easily that this function is a solution to the problem.

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 and solution reproduced as published; topic and difficulty added by this site.