Find all functions from integers to integers such that
for all integers and .
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,000 problems in a working order, from AMC 10 level to the IMO shortlist.