Maths Olympiad Prep

Library / /6 of 53

Algebra Difficulty 5.6 AIME, harder Prove it Vietnam

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} that satisfy f(0)=0f(0) = 0, f(1)=2013f(1) = 2013 and
(xy)(f(f(x)2)f(f(y)2))=(f(x)f(y))(f(x)2f(y)2) (x - y) (f(f(x)^2) - f(f(y)^2)) = (f(x) - f(y)) (f(x)^2 - f(y)^2)
for all real numbers x,yx, y.

Solution

Given x0x \neq 0 and y=0y = 0, we get
xf(f(x)2)=f(x)3 x f(f(x)^2) = f(x)^3
which implies
f(f(x)2)=f(x)3x,x0. f(f(x)^2) = \frac{f(x)^3}{x}, \forall x \neq 0.
Substituting into the original equation, for all x,y0x, y \neq 0
(xy)[f(x)3xf(y)3y]=(f(x)f(y))(f(x)2f(y)2)(1) (x - y) \left[ \frac{f(x)^3}{x} - \frac{f(y)^3}{y} \right] = (f(x) - f(y))(f(x)^2 - f(y)^2) \quad (1)
Substituting x<0,y=1x < 0, y = 1 into (1), we have
(x1)[f(x)3x20133]=(f(x)2013)(f(x)220132), (x - 1) \left[ \frac{f(x)^3}{x} - 2013^3 \right] = (f(x) - 2013)(f(x)^2 - 2013^2),
which is equivalent to
(f(x)2013x)(f(x)220132x)=0,x<0. (f(x) - 2013x)(f(x)^2 - 2013^2x) = 0, \forall x < 0.
On the other hand, for x<0x < 0 then f(x)2>20132xf(x)^2 > 2013^2x, it follows that f(x)=2013xf(x) = 2013x for all x<0x < 0. Hence f(1)=2013f(-1) = -2013.

Replacing x>0x > 0, y=1y = -1 into (1), we get
(x+1)[f(x)3x20133]=(f(x)+2013)(f(x)220132), (x+1) \left[ \frac{f(x)^3}{x} - 2013^3 \right] = (f(x)+2013)(f(x)^2 - 2013^2),
which is equivalent to
(f(x)2013x)(f(x)2+20132x)=0,x>0. (f(x) - 2013x)(f(x)^2 + 2013^2x) = 0, \forall x > 0.
or
f(x)=2013x,x>0. f(x) = 2013x, \forall x > 0.
Combining with f(0)=0f(0) = 0, we get f(x)=2013xf(x) = 2013x for all real numbers xx. With f(x)=2013xf(x) = 2013x, we get f(x)2=20132x2f(x)^2 = 2013^2 x^2 and
f(f(x)2)=f((2013x)2)=20133x2. f(f(x)^2) = f((2013x)^2) = 2013^3 x^2.
Hence, we can get with the given conditions
(xy)(f(f(x)2)f(f(y)2))=20133(xy)(x2y2) (x-y)(f(f(x)^2)-f(f(y)^2)) = 2013^3(x-y)(x^2-y^2)
and
(f(x)f(y))(f(x)2f(y)2)=2013(xy)(20132x220132y2)=20133(xy)(x2y2). \begin{aligned} (f(x)-f(y))(f(x)^2-f(y)^2) &= 2013(x-y)(2013^2x^2-2013^2y^2) \\ &= 2013^3(x-y)(x^2-y^2). \end{aligned}
Thus, f(x)=2013xf(x) = 2013x for all real numbers xx. \square

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 and solution reproduced as published; topic and difficulty added by this site.