MathLabs

Problem 5

Let R\mathbb R denote the set of all real numbers. Find all functions f:R→Rf:\mathbb R\to\mathbb R such that (i) only finitely many s∈Rs\in\mathbb R satisfy f(s)=0f(s)=0, and (ii) f(x4+y)=x3f(x)+f(f(y))f(x^4+y)=x^3f(x)+f(f(y)) for all x,y∈Rx,y\in\mathbb R.
Step 2 of 3: Prove additivity
f(x4+y)=f(x4)+f(y)f(x^4+y)=f(x^4)+f(y)
Detailed analysis

Substitution of f(f(y))=f(y)f(f(y))=f(y) gives f(x4+y)=x3f(x)+f(y)f(x^4+y)=x^3f(x)+f(y). Setting y=0y=0 gives f(x4)=x3f(x)f(x^4)=x^3f(x), hence f(u+v)=f(u)+f(v)f(u+v)=f(u)+f(v) whenever u=x4≥0u=x^4\ge0. Comparing xx and −x-x in the same equation gives f(−x)=−f(x)f(-x)=-f(x) for x≠0x\ne0, so additivity extends to all real u,vu,v.