Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad - Third Round (Second Tour) /5 of 10

Ukrainian National Mathematical Olympiad - Third Round (Second Tour)

Algebra Difficulty 5.6 AIME, harder Prove it Ukraine

Find all functions f:R→Rf: \mathbb{R} \to \mathbb{R} that for all real x,yx, y fulfill the equality:
f(f(x)−y2)=f(x2)+y2f(y)−2f(xy). f(f(x) - y^2) = f(x^2) + y^2 f(y) - 2f(xy).

Solution

Substitute y=1y = 1 and y=−1y = -1:
f(f(x)−1)=f(x2)+f(1)−2f(x) and f(f(x)−1)=f(x2)+f(−1)−2f(−x). (∗) f(f(x)-1) = f(x^2) + f(1) - 2f(x) \text{ and } f(f(x)-1) = f(x^2) + f(-1) - 2f(-x). \ (*)
Combining both equalities, get f(1)−2f(x)=f(−1)−2f(−x)f(1) - 2f(x) = f(-1) - 2f(-x). Hence, if x=1x = 1: f(1)=f(−1)f(1) = f(-1), so f(x)=f(−x)f(x) = f(-x), the function ff is even.

If x=y=1x = y = 1, f(f(1)−1)=0f(f(1) - 1) = 0, in other words there exists such number bb that f(b)=0f(b) = 0. If x=bx = b in (∗)(*) then
f(f(b)−1)=f(b2)+f(1),f(−1)=f(b2)+f(1),so f(b2)=0. f(f(b) - 1) = f(b^2) + f(1), \quad f(-1) = f(b^2) + f(1), \quad \text{so } f(b^2) = 0.
Let substitute x=bx = b and y=0y = 0 in the initial equality: f(f(b))=f(b2)−2f(0)f(f(b)) = f(b^2) - 2f(0), so 3f(0)=f(b2)=03f(0) = f(b^2) = 0. If x=0x = 0 then
f(y2)=y2f(y).(∗∗) f(y^2) = y^2 f(y). \quad (**)
There are two cases.
Case 1: there exists b∈Rb \in \mathbb{R}, b≠0b \neq 0 such that f(b)=0f(b) = 0. As is shown above, f(b2)=0f(b^2) = 0. Let substitute x=bx = b in the initial equality:

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.