Find all functions such that, for all ,
Romanian Mathematical Olympiad
Solution
If , the first equality yields , hence is injective. Analogously, is injective, as well.
Plugging in the first equality gives , hence , so that ; similarly, .
Plugging in both equalities yields , for all , therefore and are bijective and .
The initial equalities become
for all , and we deduce
for all . Setting , it is easy to prove that , for all .
Since , we obtain . Finally, the functions are
where , and it is easy to see that they satisfy the initial equalities.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.