Determine all injective functions that satisfy
for all .
Solution
The given relation yields , so . Because is one-to-one, we get , for all in . We suppose WLOG that (if verifies the hypothesis then verifies it also). We have . If , then , a contradiction, so .
By easy induction it follows that , for any positive integer . Analogously we get , for any positive integer .
Thus the functions that verify the given condition are of the form , for any integer , where is an arbitrary integer. One easily verifies that all such functions are solutions 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.