MathLabs

Problem 5

Determine all functions f:R→Rf:\mathbb{R}\to\mathbb{R} such that f(x2+f(y))=f(f(x))+f(y2)+2f(xy)f(x^2+f(y))=f(f(x))+f(y^2)+2f(xy) for all real numbers xx and yy.
Step 3 of 9: A scaling lemma
f(a)=f(b) ⟹ f(ax)=f(bx) for every real x(1)f(a)=f(b)\ \Longrightarrow\ f(ax)=f(bx)\ \text{for every real}\ x\qquad(1)
Detailed analysis

Suppose f(a)=f(b)f(a)=f(b). Then f(a2)=f(f(a))=f(f(b))=f(b2)f(a^2)=f(f(a))=f(f(b))=f(b^2) by step 1. Writing the original equation with y=ay=a and with y=by=b gives f(x2+f(a))=f(f(x))+f(a2)+2f(xa)f(x^2+f(a))=f(f(x))+f(a^2)+2f(xa) and f(x2+f(b))=f(f(x))+f(b2)+2f(xb)f(x^2+f(b))=f(f(x))+f(b^2)+2f(xb). The left sides are equal (since f(a)=f(b)f(a)=f(b)) and so are f(a2),f(b2)f(a^2),f(b^2); subtracting the two identities leaves 2f(xa)=2f(xb)2f(xa)=2f(xb), i.e. f(ax)=f(bx)f(ax)=f(bx) for every real xx.