Maths Olympiad Prep

Library / /59 of 91

Algebra Difficulty 6.5 National Olympiad Prove it India

Find all functions f:RRf : \mathbf{R} \to \mathbf{R} such that
f(x3+f(y))=x2f(x)+y, f(x^3 + f(y)) = x^2 f(x) + y,
for all x,yRx, y \in \mathbf{R}.

Solution

Let f(0)=λf(0) = \lambda. Put x=y=0x = y = 0 in (1) to get f(λ)=0f(\lambda) = 0. Taking y=λy = \lambda, we get f(x3)=x2f(x)+λf(x^3) = x^2 f(x) + \lambda. Put x=λ,y=0x = \lambda, y = 0 in (1) and we get
f(λ3+λ)=λ2f(λ).(2) f(\lambda^3 + \lambda) = \lambda^2 f(\lambda). \qquad (2)
But x=λ,y=λx = \lambda, y = \lambda gives f(λ3)=λf(\lambda^3) = \lambda. Now put x=λ,y=λ3x = \lambda, y = \lambda^3 and we get
f(λ3+λ)=λ2f(λ)+λ3.(3) f(\lambda^3 + \lambda) = \lambda^2 f(\lambda) + \lambda^3. \qquad (3)
Comparing (2) and (3), we get λ=0\lambda = 0. Therefore
f(x3)=x2f(x),f(f(x))=x, f(x^3) = x^2 f(x), \quad f(f(x)) = x,
for all xx. Now changing yy to f(y)f(y), we get
f(x3+y)=x2f(x)+f(y)=f(x3)+f(y) f(x^3 + y) = x^2 f(x) + f(y) = f(x^3) + f(y)
for all x,yx, y. Since xx3x \to x^3 is a bijection of R\mathbf{R} onto R\mathbf{R}, we obtain
f(x+y)=f(x)+f(y),f(f(x))=x f(x + y) = f(x) + f(y), \quad f(f(x)) = x
for all x,yx, y.
Consider f(x3)=x2f(x)f(x^3) = x^2f(x). Replacing xx by x+1x+1, we obtain
f(x3+3x2+3x+1)=(x2+2x+1)f(x+1). f(x^3 + 3x^2 + 3x + 1) = (x^2 + 2x + 1)f(x + 1).
Using the additivity of ff, we get
f(x3)+3f(x2)+3f(x)+f(1)=(x2+2x+1)(f(x)+f(1))=x2f(x)+2xf(x)+f(x)+x2f(1)+2xf(1)+f(1). \begin{aligned} f(x^3) + 3f(x^2) + 3f(x) + f(1) &= (x^2 + 2x + 1)(f(x) + f(1)) \\ &= x^2 f(x) + 2x f(x) + f(x) + x^2 f(1) + 2x f(1) + f(1). \end{aligned}
This reduces to
3f(x2)+2f(x)=cx2+2cx+2xf(x)(4) 3f(x^2) + 2f(x) = cx^2 + 2cx + 2xf(x) \quad (4)
for all xRx \in \mathbb{R}. Replace xx by (x+1)(x+1) and expand using additivity, we get
3f(x2)+6f(x)=cx2+6cx+2xf(x)(5). 3f(x^2) + 6f(x) = cx^2 + 6cx + 2xf(x) \quad (5).
Comparing (4) and (5), we see that f(x)=cxf(x) = cx. Replacing xx by f(x)f(x), we get x=cf(x)x = cf(x). Together we get c2x=xc^2x = x. Hence c2=±1c^2 = \pm 1. Therefore f(x)=±xf(x) = \pm x.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.