Skip to main content
OlympiadHQ

Browse · MathNet

Print

Selection Examinations for the IMO

Slovenia algebra

Problem

Find all functions , such that for all real and .
Solution
First, assume that . Inserting into the functional equation we get for all . This function satisfies the equation.

Now, let . Inserting into the equation we get for all . Obviously, this means that is injective.

Now, put into the equation to get Since is injective, we have for all . If we insert , then we get .

Since and is injective, we have . Insert and into the equation to get We have shown that has a zero. Let be a zero of , . Inserting into the initial equation yields Since is injective, we have for all . Since (remember that ), we get .

Finally, inserting into the equation we get . The only two solutions to this functional equation are the functions and .
Final answer
f(x) = 0 for all x, and f(x) = x - 1

Techniques

Injectivity / surjectivityExistential quantifiers