Maths Olympiad Prep

Library / /118 of 264

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Determine all differentiable functions f:RRf: \mathbb{R} \to \mathbb{R}, that satisfy the equality ff=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)xR}\{f(x) \mid x \in \mathbb{R}\} is an interval IRI \subseteq \mathbb{R}. If II is degenerate at a point then ff is constant.

If II is non-degenerate, let a=infI<supI=ba = \inf I < \sup I = b, where a,bRˉ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)=limxa, x>af(x)f(a)xa=limxa, x>axaxa=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=infI=inf{f(x)xR}, 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:RRf: \mathbb{R} \to \mathbb{R} satisfying ff=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,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.