Problem:
Find all functions from the integers to the integers satisfying
for all integers .
Solution
Solution:
Adding to both sides, we get . Swapping and gives . By fixing and varying , we can get to be any integer . Thus, .
Plugging in for and for to the original equation then gives , so is linear, of the form for some constant .
Plugging in for then gives , so . It is easily seen that both and indeed work.
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.