Maths Olympiad Prep

Library / Czech-Polish-Slovak Mathematics Competition /1 of 11

Czech-Polish-Slovak Mathematics Competition

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

Find all functions f:R→Rf: \mathbb{R} \to \mathbb{R} such that
f(x+f(y))−f(x)=(x+f(y))4−x4 f(x + f(y)) - f(x) = (x + f(y))^4 - x^4
for all x,y∈Rx, y \in \mathbb{R}.

Solution

We rewrite the given equation into the equivalent form
f(x+f(y))=(x+f(y))4−x4+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 z∈R.(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,z∈Ry, 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)=b≠0f(a) = b \ne 0. Putting y=ay = a in the original equation we have
f(x+b)−f(x)=(x+b)4−x4. f(x + b) - f(x) = (x + b)^4 - x^4.
Since b≠0b \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 t∈Rt \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.

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.