We first prove that f(x)≥2x for all x>0. Suppose, for the sake of contradiction, that f(y)<2y for some positive y. Choose x such that f((c+1)x+f(y)) and f(x+2y) cancel out, that is,
(c+1)x+f(y)=x+2y⟺x=c2y−f(y)
Notice that x>0 because 2y−f(y)>0. Then 2cx=0, which is not possible. This contradiction yields f(y)≥2y for all y>0.
Now suppose, again for the sake of contradiction, that f(y)>2y for some y>0. Define the following sequence: a0 is an arbitrary real greater than 2y, and f(an)=f(an−1)+2cx, so that
{(c+1)x+f(y)=anx+2y=an−1⟺x=an−1−2y and an=(c+1)(an−1−2y)+f(y).
If x=an−1−2y>0 then an>f(y)>2y, so inductively all the substitutions make sense.
For the sake of simplicity, let bn=an−2y, so bn=(c+1)bn−1+f(y)−2y(∗). Notice that x=bn−1 in the former equation, so f(an)=f(an−1)+2cbn−1. Telescoping yields
f(an)=f(a0)+2ci=0∑n−1bi.
One can find bn from the recurrence equation (∗):bn=(b0+cf(y)−2y)(c+1)n−cf(y)−2y, and then
f(an)=f(a0)+2ci=0∑n−1((b0+cf(y)−2y)(c+1)i−cf(y)−2y)=f(a0)+2(b0+cf(y)−2y)((c+1)n−1)−2n(f(y)−2y).
Since f(an)≥2an=2bn+4y,
=f(a0)+2(b0+cf(y)−2y)((c+1)n−1)−2n(f(y)−2y)≥2bn+4y2(b0+cf(y)−2y)(c+1)n−2cf(y)−2y,
which implies
f(a0)+2cf(y)−2y≥2(b0+cf(y)−2y)+2n(f(y)−2y),
which is not true for sufficiently large n.
A contradiction is reached, and thus f(y)=2y for all y>0. It is immediate that this function satisfies the functional equation.
After proving that f(y)≥2y for all y>0, one can define g(x)=f(x)−2x,g:R>0→R≥0, and our goal is proving that g(x)=0 for all x>0. The problem is now rewritten as
⟺g((c+1)x+g(y)+2y)+2((c+1)x+g(y)+2y)=g(x+2y)+2(x+2y)+2cxg((c+1)x+g(y)+2y)+2g(y)=g(x+2y)(1)
This readily implies that g(x+2y)≥2g(y), which can be interpreted as z>2y⟹g(z)≥2g(y), by plugging z=x+2y.
Now we prove by induction that z>2y⟹g(z)≥2m⋅g(y) for any positive integer 2m. In fact, since (c+1)x+g(y)+2y>2y,g((c+1)x+g(y)+2y)≥2m⋅g(y), and by (??),
g(x+2y)≥2m⋅g(y)+2g(y)=2(m+1)g(y),
and we are done by plugging z=x+2y again.
The problem now is done: if g(y)>0 for some y>0, choose a fixed z>2y arbitrarily and and integer m such that m>2g(y)g(z). Then g(z)<2m⋅g(y), contradiction.