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 2 of 4: Use strict increase
In plain words

Two distinct fixed points in one interval would give equal values of a strictly increasing ratio.

f(a)a=f(b)b=1\frac{f(a)}a=\frac{f(b)}b=1
Detailed analysis

If a∈(−1,0)a\in(-1,0), then aa and bb are distinct points of that interval, but f(a)a=f(b)b=1\frac{f(a)}a=\frac{f(b)}b=1, contradicting strict increase. The same contradiction holds for a>0a>0. Therefore the only possible fixed point is a=0a=0.