Maths Olympiad Prep

Library / Slovenian Mathematical Olympiad /30 of 68

Slovenian Mathematical Olympiad, 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 c∈R+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 y∈R+y \in \mathbb{R}^+. This implies that
f(y)=1cyfor all y∈R+. 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 k∈R+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,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.