MathDB
Finite preimages, symmetry

Source: 2020 Israel Olympic Revenge P1

June 11, 2022
functional equationalgebraolympic revengefunctionsymmetry

Problem Statement

Find all functions f:RRf:\mathbb{R}\to \mathbb{R} such that for all x,yRx,y\in \mathbb{R} one has f(f(x)+y)=f(x+f(y))f(f(x)+y)=f(x+f(y)) and in addition the set f1(a)={bRf(b)=a}f^{-1}(a)=\{b\in \mathbb{R}\mid f(b)=a\} is a finite set for all aRa\in \mathbb{R}.