Find all functions from integers to integers such that
for all integers and .
South African Mathematical Olympiad Third Round
Solution
First note that if we replace by for some constants and , then we get another solution. Thus we may assume for now that and .
Let be the statement that was given. Then gives
and since , we get . Then taking ,
and subtracting this from gives
Setting , dividing by 2 and rearranging gives
The first few values of tell us:
We hypothesise for an inductive argument that and show that
Thus for all positive integers, and hence by also for all negative integers.
Now incorporating our initial remark, we find that all solutions are of the form for some integer constants and .
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.