Inserting y=0 into the equation, we get f(x)=f(x)g(0)+f(0) or
f(x)(1−g(0))=f(0).
If g(0)=1 then f(x)=1−g(0)f(0) and f is constant. This is not possible since f is strictly increasing. We conclude that g(0)=1 and f(0)=0. From
f(x)g(y)+f(y)=f(x+y)=f(y)g(x)+f(x)
we see that f(x)(g(y)−1)=f(y)(g(x)−1). Since f is strictly increasing we have f(x)=0 for x=0. So, for x,y=0 we get
f(y)g(y)−1=f(x)g(x)−1
The left-hand side of the equation only depends on y and the right-hand side only depends on x. We conclude that both sides are constant, so g(x)−1=Cf(x) for all x other than 0. But we have shown that g(0)=1 and f(0)=0, so this equality also holds for x=0. Hence,
g(x+y)=1+Cf(x+y)=1+Cf(x)g(y)+Cf(y)=g(y)+Cf(x)g(y)=g(y)(1+Cf(x))=g(y)g(x)
for all real x and y. This implies g(nx)=g(x)n. From g(x)=1−Cf(x) we see that g is also strictly monotone (strictly increasing or strictly decreasing). Finally, g(x1)=g(x)1 and g(0)=1 imply that g(x)>0 for all x∈R.
Let g(1)=a, where a>0. Then g(n)=an for all n∈Z. Since g(x)=(g(nx))n1, we see that g(nm)=(g(m))n1=anm or g(x)=ax for all x∈Q. Since g is strictly monotone we have g(x)=ax for all real x.
It is not difficult to show that the functions g(x)=ax for all a>0 satisfy the conditions of the problem. If a<1 let f(x)=1−ax. If a=1 let f(x)=x. Otherwise, let f(x)=ax−1. In all three cases f is strictly increasing.