
is a set of non-constant functions

. Each

is defined on the real line and has the form

for some real

. If

and

are in

, then so is

, where

is defined by

. If

is in

, then so is the inverse

. If

, then

. Every

in

has a fixed point (in other words we can find

such that

. Prove that all the functions in

have a common fixed point.
%V0
$G$ is a set of non-constant functions $f$. Each $f$ is defined on the real line and has the form $f(x)=ax+b$ for some real $a,b$. If $f$ and $g$ are in $G$, then so is $fg$, where $fg$ is defined by $fg(x)=f(g(x))$. If $f$ is in $G$, then so is the inverse $f^{-1}$. If $f(x)=ax+b$, then $f^{-1}(x)= \frac{x-b}{a}$. Every $f$ in $G$ has a fixed point (in other words we can find $x_f$ such that $f(x_f)=x_f$. Prove that all the functions in $G$ have a common fixed point.