Prove that every automorphism of the unit disc can be written in the following form: $A(z) = e^{i\theta}\frac{z+a}{1+\bar{a}z}$, where $\theta$ is a real number and $a$ is a point in the unit disk which is defined to be $\mathbb{D} = \{z \in \mathbb{C} : |z|<1\}$.
The general element of a möbius transform that preserves the extended real line is any one of the four möbius transforms of the following kind (I'll only state one)
$m(z)= \frac{az+b}{cz+d}, a,b,c,d \in \mathbb{R}$ and $ad-bc = 1$.
Now let $p$ be a möbius transform that maps the extended real line to the unit circle. It can be shown that the choice of $p$ does not matter, so i'll just take $p(z) = \frac{z-i}{z+i}$.
Any möbius transform that preserves the unit circle is of the form $p \circ m \circ p$, where $m$ is any one of the möbius transforms that preserves the extended real line, $\mathbb{\bar{R}}$. Of course to check if a point in the unit circle still remains in the unit circle, I'll have to check and if it does not I can apply combine the above with $K(z) = \frac{-1}{z}$.
The problem
With many choices of $m$ in fact for all 4 I would have to check and write down $p^{-1} (z)$ and do compositions of functions and other things. The algebra is messy, but what's even worse is it tells me nothing of whether
the coefficient of $z$ is a complex number that is within the disk (as what is asked to be proved).
Is there a simpler way?
Best Answer
Your idea is good. It ought to work out once you crunch through the formulas. Alternatively, you could use the fact that any Möbius transformation is determined by its action on $1,0,\infty$. With that in mind, it's easy to show that every Möbius transformation that preserves the unit disk must be of the above form. Then you need to show that everything of the above form preserves the unit disk. (As requested, this is just a hint.)