Skip to main content
OlympiadHQ

Browse · MathNet

Print

Selection tests for the Balkan Mathematical Olympiad 2013

Saudi Arabia 2013 algebra

Problem

Find all functions which satisfy for all the relation
Solution
Plug in . The functional equation becomes for all . Since the map is bijective, then so is .

Plug in . The functional equation becomes for all . By injectivity of , we can cancel in both sides and obtain for all . By surjectivity of there exists a real number such that . Again by cancelling from both sides we obtain for all . But . We deduce that for all . Conversely, we check easily that this function is a solution to the problem.
Final answer
f(x) = x

Techniques

Injectivity / surjectivityExistential quantifiers