Maths Olympiad Prep

Library / /33 of 74

, 2016

Algebra Difficulty 5.5 AIME, harder Prove it Slovenia

Find all functions f:R+R+f: \mathbb{R}^+ \to \mathbb{R}^+, such that
f(xf(y))=(f(x))2yf(f(x)) f\left(\frac{x}{f(y)}\right) = \frac{(f(x))^2}{y f(f(x))}
for all x,y>0x, y > 0.

Solution

Let us show that the function ff is surjective. Substituting y(f(x))2yf(f(x))y \mapsto \frac{(f(x))^2}{y f(f(x))} in the initial equation we get
f(xf((f(x))2yf(f(x))))=y, f\left(\frac{x}{f\left(\frac{(f(x))^2}{y f(f(x))}\right)}\right) = y,
which means that for any yy there exists a number which is mapped into yy by ff. Hence, ff is surjective.

Surjectivity implies the existence of cR+c \in \mathbb{R}^+, such that f(c)=1f(c) = 1. Insert y=cy = c into the initial equation.
f(xf(c))=(f(x))2cf(f(x))f(x)=(f(x))2cf(f(x))cf(f(x))=f(x), \begin{aligned} & f\left(\frac{x}{f(c)}\right) = \frac{(f(x))^2}{c f(f(x))} \\ \Rightarrow \quad & f(x) = \frac{(f(x))^2}{c f(f(x))} \\ \Rightarrow \quad & c f(f(x)) = f(x), \end{aligned}
but because ff is surjective we can substitute f(x)f(x) for any yR+y \in \mathbb{R}^+. This implies that
f(y)=1cyfor all yR+. f(y) = \frac{1}{c} y \quad \text{for all } y \in \mathbb{R}^{+}.
It is easy to check that all functions of the form f(x)=kxf(x) = kx, where kR+k \in \mathbb{R}^+ is an arbitrary constant, satisfy the original equation.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.