Olympiad Maths Prep

Library / /6 of 11

Algebra Difficulty 5.6 AIME, harder Prove it Ukraine

Find all functions f:RRf: \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 bRb \in \mathbb{R}, b0b \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:

Looking for a route rather than 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.