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 4 of 5: Case f(0)=0f(0)=0: ff is odd
In plain words

The freshly-found fixed point cancels almost the whole equation at y=−1y=-1, leaving exactly the oddness of ff.

P(x,−1): f(x+f(x−1))+f(−x)=x+f(x−1)−f(x) ⇒ f(−x)=−f(x)P(x,-1):\ f\big(x+f(x-1)\big)+f(-x)=x+f(x-1)-f(x)\ \Rightarrow\ f(-x)=-f(x)
Detailed analysis

Setting y=−1y=-1 in the original equation gives f(x+f(x−1))+f(−x)=x+f(x−1)+(−1)f(x)f\big(x+f(x-1)\big)+f(-x)=x+f(x-1)+(-1)f(x). By the previous step f(x+f(x−1))=x+f(x−1)f\big(x+f(x-1)\big)=x+f(x-1), so this simplifies to x+f(x−1)+f(−x)=x+f(x−1)−f(x)x+f(x-1)+f(-x)=x+f(x-1)-f(x), i.e. f(−x)=−f(x)f(-x)=-f(x) for every real xx: ff is odd.