Problem 1
Let be the set of integers. Determine all functions such that, for all integers and ,
Step 4 of 7: Solve the additive equation over the integers
In plain words
A function that is additive on the integers is completely determined by its value at 1.
Detailed analysis
Define g(x) = f(x) - f(0). The previous step says g(a+b) = g(a) + g(b) for all integers a and b. Setting a = b = 0 gives g(0) = 0, and an induction on n using g(n+1) = g(n) + g(1) together with g(-n) = -g(n) shows g(n) = n times g(1) for every integer n. Hence f(x) equals k x plus f(0) for every integer x, where k denotes g(1); that is, f is forced to be an affine function of x.