Maths Olympiad Prep

Library / /72 of 80

Algebra Difficulty 5.9 AIME, harder Prove it North Macedonia

Find all the real functions f:RRf: \mathbb{R} \to \mathbb{R} such that
f(x2y2)=(xy)[f(x)+f(y)] f(x^2 - y^2) = (x - y)[f(x) + f(y)]

Solution

If x=yx = y, we have
f(x2y2)=(xy)[f(x)+f(y)],f(0)=0[2f(x)]=0. f(x^2 - y^2) = (x - y)[f(x) + f(y)], \quad f(0) = 0 \cdot [2f(x)] = 0.
Then f(0)=0f(0) = 0.
If y=xy = -x, we have
f[x2(x)2]=[x(x)][f(x)+f(x)],f(0)=2x[f(x)+f(x)],0=2x[f(x)+f(x)]. \begin{aligned} f[x^2 - (-x)^2] &= [x - (-x)][f(x) + f(-x)], \quad f(0) = 2x[f(x) + f(-x)], \\ 0 &= -2x[f(x) + f(-x)]. \end{aligned}
From the last equation we have f(x)+f(x)=0f(x) + f(-x) = 0, f(x)=f(x)f(-x) = -f(x), for every xRx \in \mathbb{R}. This means that ff is an odd function.

(xy)[f(x)+f(y)]=f(x2y2)=(x+y)[f(x)f(y)](x - y)[f(x) + f(y)] = f(x^2 - y^2) = (x + y)[f(x) - f(y)],
i.e.
(xy)[f(x)+f(y)]=(x+y)[f(x)f(y)],xf(x)yf(x)+xf(y)yf(y)=xf(x)+yf(x)xf(y)yf(y),yf(x)+xf(y)=yf(x)xf(y),2yf(x)=2xf(y). (x-y)[f(x)+f(y)]=(x+y)[f(x)-f(y)], \\ xf(x)-yf(x)+xf(y)-yf(y)=xf(x)+yf(x)-xf(y)-yf(y), \\ -yf(x)+xf(y)=yf(x)-xf(y), \\ 2yf(x)=2xf(y).
If y=1y=1 and f(1)=kf(1)=k, then f(x)=kxf(x)=kx, for kRk \in \mathbb{R}. It's easy to see that all the functions f(x)=kxf(x)=kx are the solution to (1).

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.