Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /122 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Determine all differentiable functions f:R→Rf: \mathbb{R} \to \mathbb{R}, that satisfy the equality f∘f=ff \circ f = f.

Solution

We shall show that only the identity function and the constant functions satisfy the conditions of the problem. It is clear that these functions verify indeed the conditions.

Because ff is continuous, its range {f(x)∣x∈R}\{f(x) \mid x \in \mathbb{R}\} is an interval I⊆RI \subseteq \mathbb{R}. If II is degenerate at a point then ff is constant.

If II is non-degenerate, let a=inf⁡I<sup⁡I=ba = \inf I < \sup I = b, where a,b∈Rˉa, b \in \bar{\mathbb{R}}. By the given condition we deduce that the restriction of ff to the interval (a,b)(a, b) is the identity:
f(x)=x,a<x<b.(1) f(x) = x, \quad a < x < b. \tag{1}
We shall show that a=−∞a = -\infty and b=+∞b = +\infty, i.e. I=RI = \mathbb{R} and ff is the identity function. Suppose aa is a finite number. By the continuity of ff in aa and by (1) we get f(a)=af(a) = a, so
f′(a)=fd′(a)=lim⁡x→a, x>af(x)−f(a)x−a=lim⁡x→a, x>ax−ax−a=1.(2) f'(a) = f'_d(a) = \lim_{x \to a,\ x > a} \frac{f(x) - f(a)}{x - a} = \lim_{x \to a,\ x > a} \frac{x - a}{x - a} = 1. \tag{2}
On the other side ff has a minimum at aa, because
f(a)=a=inf⁡I=inf⁡{f(x)∣x∈R}, f(a) = a = \inf I = \inf\{f(x) \mid x \in \mathbb{R}\},
so, by the Theorem of Fermat, f′(a)=0f'(a) = 0, in contradiction with (2). We conclude a=−∞a = -\infty. Analogously b=+∞b = +\infty.

Therefore, the only differentiable functions f:R→Rf: \mathbb{R} \to \mathbb{R} satisfying f∘f=ff \circ f = f are the constant functions and the identity function.

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.