Maths Olympiad Prep

Library / /3 of 19

Algebra Difficulty 7.6 National Olympiad, round 2 Prove it Germany

Problem:
Determine all functions f:RRf: \mathbb{R} \rightarrow \mathbb{R} with the property
f(f(x)+y)=2x+f(f(y)x) f(f(x)+y)=2 x+f(f(y)-x)
for all x,yRx, y \in \mathbb{R}.

Solution

Solution:
For an arbitrary real number zz we set a=f(z)a=f(z), b=z+f(0)b=z+f(0), n=f(a+b2)n=f\left(\frac{a+b}{2}\right) and m=f(0)a+b2m=f(0)-\frac{a+b}{2}. Since Df=R\mathbb{D}_f=\mathbb{R}, aa, bb, nn and mm are well-defined. Substituting x=0x=0, y=zy=z into ()(*) gives f(z+f(0))=f(f(z))f(z+f(0))=f(f(z)), hence f(a)=f(b)f(a)=f(b) (I).

Substituting x=mx=m and y=ay=a resp. y=by=b into ()(*) gives
f(f(m)+a)=2m+f(f(a)m)f(f(m)+b)=2m+f(f(b)m) \begin{array}{l} f(f(m)+a)=2 m+f(f(a)-m) \\ f(f(m)+b)=2 m+f(f(b)-m) \end{array}
which, because of (I), we can combine into f(f(m)+a)=f(f(m)+b)f(f(m)+a)=f(f(m)+b) (II).

Substituting x=ax=a resp. x=bx=b and y=ny=n into ()(*) gives
f(f(a)+n)=2a+f(f(n)a)f(f(b)+n)=2b+f(f(n)b) \begin{array}{l} f(f(a)+n)=2 a+f(f(n)-a) \\ f(f(b)+n)=2 b+f(f(n)-b) \end{array}
which, because of (I), we can combine into 2a+f(f(n)a)=2b+f(f(n)b)2 a+f(f(n)-a)=2 b+f(f(n)-b) (III).

Substituting x=a+b2x=\frac{a+b}{2}, y=0y=0 into ()(*) gives f(f(a+b2))=a+b+f(f(0)a+b2)f\left(f\left(\frac{a+b}{2}\right)\right)=a+b+f\left(f(0)-\frac{a+b}{2}\right), hence f(n)=a+b+f(m)f(n)=a+b+f(m), or, stated differently, f(n)a=f(m)+bf(n)-a=f(m)+b resp. f(n)b=f(m)+af(n)-b=f(m)+a. This together with (III) immediately gives 2a+f(f(m)+b)=2b+f(f(m)+a)2 a+f(f(m)+b)=2 b+f(f(m)+a), from which, using (II), we now obtain a=ba=b, hence f(z)=z+f(0)f(z)=z+f(0).

Thus it is shown that every function ff satisfying ()(*) must have the form f(x)=x+cf(x)=x+c (c=c= constant). Substituting into ()(*) confirms that every ff of this form indeed satisfies the given equation: f(f(x)+y)=x+y+2c=2x+f(f(y)x)f(f(x)+y)=x+y+2 c=2 x+f(f(y)-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 translated into English from de; metadata (topic, difficulty) added by this project.