Olympiad Maths Prep

Library / /1 of 6

Algebra Difficulty 5.5 AIME, harder Prove it Czech-Polish-Slovak Mathematical Match

Find all functions f:RRf: \mathbb{R} \to \mathbb{R} such that
f(x+f(y))f(x)=(x+f(y))4x4 f(x + f(y)) - f(x) = (x + f(y))^4 - x^4
for all x,yRx, y \in \mathbb{R}.

Solution

We rewrite the given equation into the equivalent form
f(x+f(y))=(x+f(y))4x4+f(x).(1) f(x + f(y)) = (x + f(y))^4 - x^4 + f(x). \quad (1)
Setting x=f(z)x = -f(z), y=zy = z in (1) we obtain
f(0)=(f(z))4+f(f(z))for all zR.(2) f(0) = -(f(z))^4 + f(-f(z)) \quad \text{for all } z \in \mathbb{R}. \quad (2)
Now, setting x=f(z)x = -f(z) in (1) and using (2) we get
f(f(y)f(z))=(f(y)f(z))4(f(z))4+f(f(z))=(f(y)f(z))4+f(0) f(f(y) - f(z)) = (f(y) - f(z))^4 - (f(z))^4 + f(-f(z)) = (f(y) - f(z))^4 + f(0)
for all y,zRy, z \in \mathbb{R}. This means that if a number tt can be expressed as the difference of two values of ff, that is t=f(y)f(z)t = f(y) - f(z), then f(t)=t4+f(0)f(t) = t^4 + f(0). We show that if ff takes any nonzero value then every number is a difference of two values of ff.
Let f(a)=b0f(a) = b \ne 0. Putting y=ay = a in the original equation we have
f(x+b)f(x)=(x+b)4x4. f(x + b) - f(x) = (x + b)^4 - x^4.
Since b0b \ne 0, the expression on the right hand side is a polynomial of degree 3, and therefore takes every real number as its value when xx run over the entire real axis. Hence, the left hand side, which is the difference of two values of ff, can take any real value. Together with the previous observation we get f(t)=t4+f(0)f(t) = t^4 + f(0) for all tRt \in \mathbb{R}. Finally, one can easily check that all functions of the form f(x)=x4+kf(x) = x^4 + k satisfy the given functional equation.
The zero function is obviously a solution as well.

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.