Let u:=x+y1, v:=y+x1 for x>0,y>0. Then we have
f(u+v)=f(u)+f(v)(1)
Here uv=xy+2+xy1≥4. First we show that for any u,v>0 with uv≥4 can be represented as
u=x+y1,v=y+x1(2)
for some x>0,y>0. From (2), we deduce
u=x+y1⟹x=u−y1=yuy−1⟹v=y+x1=uy−1uy2⟹uy2−uvy+v=0.
The last quadratic equation has a real solution y>0 because D=(uv)2−4uv≥0 and u,v>0. (Observe that there's no negative real solution for the equation.) Similarly, there exists real x>0, which satisfies (2) together with the above y. Therefore, (1) holds for all u>0,v>0 uv≥4.
We verify that (1) is valid for all u,v>0. Indeed, for given u,v>0, we may choose a real number w>0 such that
(u+v)w≥4,u(v+w)≥4,vw≥4.
Then from
f(u+v+w)=f(u+v)+f(w)=f(u)+f(v+w)=f(u)+f(v)+f(w).
we may conclude that f(u+v)=f(u)+f(v) for all u,v≥0.
Now we put h(x)=f(x)−f(1)x=f(x)−2008x and show that h(x) is a zero function. It is clear that h satisfies (1) and
h(x+1)=h(x)+h(1)=h(x)(3)
for all x∈R+. It follows from the condition ∣f(x)∣≤x2+10042 that
−(x+1004)2≤h(x)≤(x−1004)2,
which implies that h(x) is bounded on (0,1] and hence h(x) is bounded on R+ according to (3). Since h(nx)=nh(x) for all positive integer n, we must have h≡0. Therefore we have f(x)=2008x. □