MathLabs

Problem 5

Let R\mathbb{R} be the set of real numbers. Determine all functions f:R→Rf:\mathbb{R}\to\mathbb{R} satisfying the equation f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x) for all real numbers xx and yy.
Step 2 of 5: Case f(0)≠0f(0)\ne0
In plain words

If f(0)≠0f(0)\ne0, every fixed point of ff turns out to equal 11, and the family from the previous step must always equal it.

f(0)≠0 ⇒ f(x)≡2−xf(0)\ne0 \ \Rightarrow\ f(x)\equiv 2-x
Detailed analysis

Setting x=0x=0 in the functional equation gives f(f(y))+f(0)=f(y)+yf(0)f\big(f(y)\big)+f(0)=f(y)+yf(0) for every yy. If y0y_0 is any fixed point (so f(y0)=y0f(y_0)=y_0), substituting y=y0y=y_0 gives f(y0)+f(0)=y0+y0f(0)f(y_0)+f(0)=y_0+y_0f(0), i.e. y0+f(0)=y0+y0f(0)y_0+f(0)=y_0+y_0f(0), i.e. f(0)=y0f(0)f(0)=y_0f(0). Since f(0)≠0f(0)\ne0, this forces y0=1y_0=1: the only fixed point of ff is 11. By the previous step, x+f(x+1)=1x+f(x+1)=1 for every xx, i.e. f(x+1)=1−xf(x+1)=1-x, i.e. f(u)=2−uf(u)=2-u for every real uu. One checks directly that f(x)=2−xf(x)=2-x satisfies the original equation.