MathLabs

Problem 2

Find all functions f:R→Rf:\mathbb R\to\mathbb R such that f(x2+f(y))=y+f(x)2f(x^2+f(y))=y+f(x)^2 for all real x,yx,y.
Step 3 of 5: Derive additivity for positive increments
In plain words

Derive additivity for positive increments

f(f(x))=x,f(x2)=f(x)2,f(x2+y)=f(x)+f(y)f(f(x))=x,\qquad f(x^2)=f(x)^2,\qquad f(x^2+y)=f(x)+f(y)
Detailed analysis

With t=0t=0, the relations become f(f(x))=xf(f(x))=x and f(x2)=f(x)2f(x^2)=f(x)^2. Given any yy, put z=f(y)z=f(y) in the original equation; since y=f(z)y=f(z), this gives f(x2+y)=f(y)+f(x)2=f(y)+f(x2)f(x^2+y)=f(y)+f(x)^2=f(y)+f(x^2). Thus f(u+y)=f(u)+f(y)f(u+y)=f(u)+f(y) for every u>0u>0, writing u=x2u=x^2.