Let f:Z→R be such a function. We prove that f(n+1)−f(n) is a positive constant a independent of the integer n.
Indeed, assume that there exist two integers n0,n1 such that
f(n0+1)−f(n0)<f(n1+1)−f(n1).
Let k0,k1 be integers such that f(k0)=f(n0+1)−f(n0) and f(k1)=f(n1+1)−f(k0). Because f is strictly increasing, f(k0)>0. We deduce that f(n1)<f(k1)=f(n1+1)−f(k0)<f(n1+1), which is impossible since f is strictly increasing and n1,n1+1 are consecutive integers.
Moreover, there exists an integer n0 such that f(n0)=f(0)−f(0)=0.
Let n>n0. We have
f(n)=f(n0)+m=0∑n−n0−1(f(n0+m+1)−f(n0+m))=a(n−n0).
We obtain a similar formula for n<n0 and therefore
f(n)=a(n−n0), for all n∈Z.
Conversely, let a>0 be a positive real number and n0 an integer and define f(n)=a(n−n0) for all n∈Z. The function f is strictly increasing and for any integers m,n∈Z we have f(m)−f(n)=f(m−n+n0).