Maths Olympiad Prep

Library / /43 of 91

Algebra Difficulty 6.0 AIME, harder Prove it India

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} such that
f(x2+xf(y))=xf(x+y) f(x^2 + x f(y)) = x f(x + y)
for all reals x,yx, y.

Solution

It is easy to see that f(0)=0f(0) = 0 and f(x2)=xf(x)f(x^2) = x f(x) for all xRx \in \mathbb{R}. If f(α)=0f(\alpha) = 0 for some α\alpha, then
f(x2+xf(α))=xf(x+α), f(x^2 + x f(\alpha)) = x f(x + \alpha),
for all xRx \in \mathbb{R}. Therefore
xf(x+α)=f(x2)=xf(x), x f(x + \alpha) = f(x^2) = x f(x),
for all xRx \in \mathbb{R}. For x0x \neq 0, we get f(x)=f(x+α)f(x) = f(x + \alpha). Note that this is also valid for x=0x = 0. Suppose f(1)=0f(1) = 0. Then
f(1+f(x))=f(x+1), f(1 + f(x)) = f(x + 1),
so that f(f(x))=f(x)f(f(x)) = f(x) for all xx. If there exists a λR\lambda \in \mathbb{R} such that f(λ)0f(\lambda) \neq 0, then for any tRt \in \mathbb{R}, taking s=t/f(λ)s = t / f(\lambda), we have
f(s2+sf(λs))=sf(s+λs)=sf(λ)=t f(s^2 + s f(\lambda - s)) = s f(s + \lambda - s) = s f(\lambda) = t
which shows that ff is onto. Hence there exists x0x_0 such that f(x0)=1f(x_0) = 1. This gives
1=f(x0)=f(f(x0))=f(1)=0, 1 = f(x_0) = f(f(x_0)) = f(1) = 0,
which is absurd. Thus f(1)=0f(1) = 0 forces f(x)=0f(x) = 0 for all xRx \in \mathbb{R}.

Suppose f(1)0f(1) \neq 0. Let αR\alpha \in \mathbb{R} be such that f(α)=0f(\alpha) = 0. As we have seen earlier, f(x+α)=f(x)=0f(x + \alpha) = f(x) = 0 for all xx. Therefore
f(α2+1)=f((1+α)2+(1+α)f(α))=(α+1)f(1+2α)=(α+1)f(1),f(α2+1)=f((1α)2+(1α)f(α))=(1α)f(1). \begin{aligned} f(\alpha^2 + 1) &= f((1 + \alpha)^2 + (1 + \alpha) f(\alpha)) = (\alpha + 1) f(1 + 2\alpha) = (\alpha + 1) f(1), \\ f(\alpha^2 + 1) &= f((1 - \alpha)^2 + (1 - \alpha) f(\alpha)) = (1 - \alpha) f(1). \end{aligned}
These show that 1+α=1α1 + \alpha = 1 - \alpha. Therefore α=0\alpha = 0. Thus f(α)=0f(\alpha) = 0 implies that α=0\alpha = 0.

Taking x=yx = -y in the equation, we get f(y2yf(y))=yf(yy)=0f(y^2 - y f(y)) = y f(y - y) = 0. Hence y2yf(y)=0y^2 - y f(y) = 0 for all yRy \in \mathbb{R}. This gives f(y)=yf(y) = y for all y0y \neq 0. Since f(0)=0f(0) = 0, we conclude that f(y)=yf(y) = y for all yRy \in \mathbb{R}.

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.