Olympiad Maths Prep

Track / Stage 8 / 36 of 180 #1736 of 2000

Problem 1736

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.1 Prove it Selection Examinations for the IMO · Slovenia

Find all functions f:RRf: \mathbb{R} \to \mathbb{R}, such that
(x2)f(y)+f(y+2f(x))=f(x+yf(x)) (x - 2)f(y) + f(y + 2f(x)) = f(x + yf(x))
for all real xx and yy.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

First, assume that f(0)=0f(0) = 0. Inserting x=0x = 0 into the functional equation we get f(y)=0f(y) = 0 for all yRy \in \mathbb{R}. This function satisfies the equation.

Now, let f(0)0f(0) \neq 0. Inserting y=0y = 0 into the equation we get
(x2)f(0)+f(2f(x))=f(x) (x - 2)f(0) + f(2f(x)) = f(x)
for all xRx \in \mathbb{R}. Obviously, this means that ff is injective.

Now, put x=2x = 2 into the equation to get
f(y+2f(2))=f(2+yf(2))for all yR. f(y + 2f(2)) = f(2 + yf(2)) \quad \text{for all } y \in \mathbb{R}.
Since ff is injective, we have y+2f(2)=2+yf(2)y + 2f(2) = 2 + yf(2) for all yRy \in \mathbb{R}. If we insert y=0y = 0, then we get f(2)=1f(2) = 1.

Since f(2)=1f(2) = 1 and ff is injective, we have f(3)1f(3) \neq 1. Insert x=3x = 3 and y=31f(3)y = \frac{3}{1-f(3)} into the equation to get
f(31f(3)+2f(3))=0. f\left(\frac{3}{1-f(3)} + 2f(3)\right) = 0.
We have shown that ff has a zero. Let aa be a zero of ff, f(a)=0f(a) = 0. Inserting y=ay = a into the initial equation yields
f(a+2f(x))=f(x+af(x))for all xR. f(a + 2f(x)) = f(x + af(x)) \quad \text{for all } x \in \mathbb{R}.
Since ff is injective, we have a+2f(x)=x+af(x)a + 2f(x) = x + af(x) for all xRx \in \mathbb{R}. Since a2a \neq 2 (remember that f(2)=10f(2) = 1 \neq 0), we get f(x)=xa2af(x) = \frac{x-a}{2-a}.

Finally, inserting f(x)=xa2af(x) = \frac{x-a}{2-a} into the equation we get a=1a = 1. The only two solutions to this functional equation are the functions f(x)=0f(x) = 0 and f(x)=x1f(x) = x - 1.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.