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 3 of 3: Use finite zeros and conclude
Z={s∈R:f(s)=0}={0}  ⟹  f injectiveZ=\{s\in\mathbb R:f(s)=0\}=\{0\}\implies f\text{ injective}
Detailed analysis

If h≠0h\ne0 and f(h)=0f(h)=0, additivity gives f(nh)=0f(nh)=0 for every positive integer nn, contradicting finiteness. Hence the zero set is Z={0}Z=\{0\}, and f(a)=f(b)f(a)=f(b) implies f(a−b)=0f(a-b)=0, so ff is injective. Since f(f(x))=f(x)f(f(x))=f(x), injectivity gives f(x)=xf(x)=x. Direct substitution verifies the identity function.