Browse · MathNet
PrintSelection 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 .
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