Maths Olympiad Prep

Library / /1 of 3

Algebra Difficulty 5.5 AIME, harder Prove it Japan

Find every f:RRf : \mathbb{R} \to \mathbb{R} such that for any xx and yy,
f(x)2+2yf(x)+f(y)=f(y+f(x)). f(x)^2 + 2y f(x) + f(y) = f(y + f(x)).

Solution

The given equation clearly holds if f(x)=0f(x) = 0 for all xx. Assume that there exists aa such that f(a)0f(a) \neq 0.
Substituting y=f(x)y = -f(x) into the given equation and letting c=f(0)c = f(0), we obtain
f(f(x))=c+f(x)2.(1) f(-f(x)) = c + f(x)^2. \quad (1)
Substituting y=f(y)y = -f(y) into the equation and using (1),
f(f(x)f(y))=f(x)22f(x)f(y)+f(f(y))=f(x)22f(x)f(y)+f(y)2+c=(f(x)f(y))2+c.(2) \begin{aligned} f(f(x) - f(y)) &= f(x)^2 - 2f(x)f(y) + f(-f(y)) \\ &= f(x)^2 - 2f(x)f(y) + f(y)^2 + c \\ &= (f(x) - f(y))^2 + c. \end{aligned} \quad (2)

f(a)2+2yf(a)=f(y+f(a))f(y). f(a)^2 + 2y f(a) = f(y + f(a)) - f(y).
Since the left-hand side runs through R\mathbb{R} when yy runs through R\mathbb{R}, the right-hand side runs through R\mathbb{R}. Hence, f(x)f(y)f(x) - f(y) runs all real numbers when xx and yy run through R\mathbb{R}.
Therefore, according to (2), f(x)=x2+cf(x) = x^2 + c for all xx. This meets the given equation for any constant cc.
Therefore, f(x)=x2+cf(x) = x^2 + c (cc any constant) or f(x)=0f(x) = 0 (for all xx).

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.