1973 IMO Problems/Problem 5

$G$ is a set of non-constant functions of the real variable $x$ of the form $f(x) = ax + b, a \text{ and } b \text{ are real numbers,}$ and $G$ has the following properties:

(a) If $f$ and $g$ are in $G$ , then $g \circ f$ is in $G$ ; here $(g \circ f)(x) = g[f(x)]$ .

(b) If $f$ is in $G$ , then its inverse $f^{-1}$ is in $G$ ; here the inverse of $f(x) = ax + b$ is $f^{-1}(x) = (x - b) / a$ .

(c) For every $f$ in $G$ , there exists a real number $x_f$ such that $f(x_f) = x_f$ .

Prove that there exists a real number $k$ such that $f(k) = k$ for all $f$ in $G$ .

Solution

First, observe that for each function $f(x)=ax+b$ in $G$ , if $a=1$ then $b=0$ . This is a result of (c); for example, $f(x)=x+1$ could not be in $G$ because it does not have a fixed point. Or if $f(x)=x$ , then every point is a fixed point.

Also, for each function $f(x)=ax+b$ in $G$ , if $a \neq 1$ then the fixed point of $f$ is where $y=ax+b$ intersects $y=x$ , namely where $x=\frac{b}{a-1}$ .

Now, take $f_1(x)=a_1 x+b_1$ and $f_2(x)=a_2 x+b_2$ , both in $G$ . By (a), $(f_1 \circ f_2)(x)=f_1(f_2(x))=f_1(a_2 x+b_2)=a_1 a_2 x + a_1 b_2 + b_1$ and $(f_2 \circ f_1)(x)=f_2(f_1(x))=f_2(a_1 x+b_1)=a_1 a_2 x + a_2 b_1 + b_2$ must also both be in $G$ . By (b), $(f_1 \circ f_2)^{-1}(x)=\frac{x - a_1 b_2 - b_1}{a_1 a_2}$ must also be in $G$ . Finally, by (a),

$((f_1 \circ f_2)^{-1} \circ (f_2 \circ f_1))(x)=\frac{a_1 a_2 x + a_2 b_1 + b_2 - a_1 b_2 - b_1}{a_1 a_2}$ $= x + \frac{a_2 b_1 + b_2 - a_1 b_2 - b_1}{a_1 a_2}$

must also be in $G$ .

Using our first observation, $\frac{a_2 b_1 + b_2 - a_1 b_2 - b_1}{a_1 a_2}=0$ . Rearranging, we get $\frac{b_1}{a_1-1}=\frac{b_2}{a_2-1}$ . Therefore, the fixed point of $f_1$ equals the fixed point of $f_2$ . Since we made no assumptions about $f_1$ and $f_2$ , this is true for all $f$ in $G$ .

Borrowed from [1]

1973 IMO (Problems) • Resources
Preceded by Problem 4	1 • 2 • 3 • 4 • 5 • 6	Followed by Problem 6
All IMO Problems and Solutions

Page

Toolbox

Search

1973 IMO Problems/Problem 5

Solution

See Also