MathLabs

Problem 5

Let SS be the set of all real numbers greater than −1-1. Find all functions f:S→Sf:S\to S such that f(x+f(y)+xf(y))=y+f(x)+yf(x)f(x+f(y)+xf(y))=y+f(x)+yf(x) for all x,y∈Sx,y\in S, and f(x)x\frac{f(x)}{x} is strictly increasing on each of the intervals −1<x<0-1<x<0 and 0<x0<x.
Step 1 of 4: Propagate a fixed point
In plain words

Substituting a fixed point twice produces another fixed point.

f(a)=a⟹f(2a+a2)=2a+a2f(a)=a\Longrightarrow f(2a+a^2)=2a+a^2
Detailed analysis

If f(a)=af(a)=a, put x=y=ax=y=a in the functional equation. Both sides then show that b=2a+a2b=2a+a^2 is fixed: f(b)=bf(b)=b. For −1<a<0-1<a<0, we have −1<b<a-1<b<a; for a>0a>0, we have b>ab>a.