Maths Olympiad Prep

Library / Vietnamese Mathematical Olympiad /8 of 68

Vietnamese Mathematical Olympiad

Algebra Difficulty 5.6 AIME, harder Prove it Vietnam

Find all functions f:R→Rf : \mathbb{R} \to \mathbb{R} that satisfy f(0)=0f(0) = 0, f(1)=2013f(1) = 2013 and
(x−y)(f(f(x)2)−f(f(y)2))=(f(x)−f(y))(f(x)2−f(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 x≠0x \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,∀x≠0. f(f(x)^2) = \frac{f(x)^3}{x}, \forall x \neq 0.
Substituting into the original equation, for all x,y≠0x, y \neq 0
(x−y)[f(x)3x−f(y)3y]=(f(x)−f(y))(f(x)2−f(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
(x−1)[f(x)3x−20133]=(f(x)−2013)(f(x)2−20132), (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.
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)3x−20133]=(f(x)+2013)(f(x)2−20132), (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
(x−y)(f(f(x)2)−f(f(y)2))=20133(x−y)(x2−y2) (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)2−f(y)2)=2013(x−y)(20132x2−20132y2)=20133(x−y)(x2−y2). \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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