Maths Olympiad Prep

Library / /20 of 63

, 2024

Algebra Difficulty 7.9 National olympiad, round 2 Prove it Turkey

Find all functions f:RRf: \mathbb{R} \to \mathbb{R} such that for all real numbers x,yx, y,
f(x+y)3=(x+2y)f(x2)+f(f(y))(x2+3xy+y2).f(x+y)^3 = (x+2y)f(x^2) + f(f(y))(x^2+3xy+y^2).

Solution

Answer: f(x)=0f(x) = 0 and f(x)=xf(x) = x.

f(x+y)3=(x+2y)f(x2)+f(f(y))(x2+3xy+y2)f(x + y)^3 = (x + 2y)f(x^2) + f(f(y))(x^2 + 3xy + y^2).

By putting (x,y)=(0,0)(x, y) = (0, 0) to the original equation we get f(0)=0f(0) = 0.

By putting (x,y)=(x,0)(x, y) = (x, 0) to the original equation we get f(x)3=xf(x2)f(x)^3 = x f(x^2).

By putting (x,y)=(0,x)(x, y) = (0, x) to the original equation we get f(x)3=f(f(x))x2f(x)^3 = f(f(x)) x^2.

Replace this in the original equation to get
f(x+y)3=(x2+2xy)f(f(x))+(x2+3xy+y2)f(f(y)). f(x + y)^3 = (x^2 + 2xy)f(f(x)) + (x^2 + 3xy + y^2)f(f(y)).
Reversing the x,yx, y order, we get
f(x+y)3=(x2+3xy+y2)f(f(x))+(2xy+y2)f(f(y)). f(x + y)^3 = (x^2 + 3xy + y^2)f(f(x)) + (2xy + y^2)f(f(y)).
Since the RHS in both expressions are equal we get
f(f(x))(x+y)y=f(f(y))(x+y)x f(f(x))(x + y)y = f(f(y))(x + y)x
for all real numbers x,yx, y.

Setting y=1y = 1 and letting f(f(1))=kf(f(1)) = k, we have f(f(x))=kxf(f(x)) = kx for every xR{1}x \in \mathbb{R} \setminus \{-1\}, setting y=2y = 2 and x=1x = -1 gives that this is true for all real numbers.

Putting this into f(x)3=f(f(x))x2f(x)^3 = f(f(x))x^2, we get f(x)=cxf(x) = cx for a constant c=k3c = \sqrt[3]{k}, and putting this into xf(x2)=x2f(f(x))x f(x^2) = x^2 f(f(x)) we get c=0c = 0 or c=1c = 1.

Therefore, the solutions are f(x)=0f(x) = 0 and f(x)=xf(x) = x and they satisfy the original equation.

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.