Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /7 of 395

Saudi Arabian Mathematical Competitions, 2015

Algebra Difficulty 4.4 AIME Prove it Saudi Arabia

Find all functions f:R→Rf: \mathbb{R} \rightarrow \mathbb{R} that satisfy
f(x+y2−f(y))=f(x) f\left(x+y^{2}-f(y)\right)=f(x)
for all x,y∈Rx, y \in \mathbb{R}.

Solution

Notice that the function ff, defined by f(x)=x2f(x)=x^{2} for all x∈Rx \in \mathbb{R}, is a solution of the equation.

Assume that there exists a∈Ra \in \mathbb{R} such that f(a)≠a2f(a) \neq a^{2} and let b=a2−f(a)≠0b=a^{2}-f(a) \neq 0. Then for all x∈Rx \in \mathbb{R} we have f(x+b)=f(x)f(x+b)=f(x). Therefore, for all x,y∈Rx, y \in \mathbb{R}, let z=y−x−b22bz=\frac{y-x-b^{2}}{2b} we have
f(x)=f(x+(z+b)2−f(z+b))=f(x+2bz+b2+z2−f(z))=f(x+2bz+b2)=f(y) \begin{aligned} f(x) & =f\left(x+(z+b)^{2}-f(z+b)\right)=f\left(x+2bz+b^{2}+z^{2}-f(z)\right) \\ & =f\left(x+2bz+b^{2}\right)=f(y) \end{aligned}
We deduce that ff is constant. Conversely, any constant function satisfies the given functional equation.

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.