Find all functions which satisfy for all the relation
, 2013
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.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.