# 3.5: Möbius Transformations: A Closer Look

- Page ID
- 23312

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)To visualize Möbius transformations it is helpful to focus on fixed points and, in the case of two fixed points, on two families of clines with respect to these points.

Given two points \(p\) and \(q\) in \(\mathbb{C}^+\text{,}\) a **type I cline of \(\boldsymbol{p}\) and \(\boldsymbol{q}\) **is a cline that goes through \(p\) and \(q\text{,}\) and a** type II cline of \(\boldsymbol{p}\) and \(\boldsymbol{q}\) **is a cline with respect to which \(p\) and \(q\) are symmetric. Type II clines are also called circles of Apollonius (see Exercise \(3.3.2\)). Figure \(3.5.1\) shows some type I and type II clines of \(p\) and \(q\text{.}\) The type II clines of \(p\) and \(q\) are dashed.

By Theorem \(3.2.3\), any type II cline of \(p\) and \(q\) intersects any type I cline of \(p\) and \(q\) at right angles. Furthermore, because Möbius transformations preserve clines and symmetry points, we can be assured that Möbius transformations preserve type I clines as well as type II clines. In particular, if \(C\) is a type I cline of \(p\) and \(q\text{,}\) then \(T(C)\) is a type I cline of \(T(p)\) and \(T(q)\text{.}\) Similarly, if \(C\) is a type II cline of \(p\) and \(q\text{,}\) then \(T(C)\) is a type II cline of \(T(p)\) and \(T(q)\text{.}\) We can use this to our advantage.

For instance, the type I clines of the points \(0\) and \(\infty\) are, precisely, lines through the origin, while the type II clines of \(0\) and \(\infty\) are circles centered at the origin. (Remember, inversion in a circle takes the center of the circle to \(\infty\text{.}\)) The type I clines, in this case, are clearly perpendicular to the type II clines, and they combine to create a coordinate system of the plane (polar coordinates), as pictured in Figure \(3.5.2(a)\).

We can move this system of clines by considering a Möbius transformation that maps 0 to \(p\) and \(\infty\) to \(q\) (where \(p, q \neq \infty\)). Lines through the origin get mapped to type I clines of \(p\) and \(q\text{,}\) and circles centered at the origin get mapped to type II clines of \(p\) and \(q\text{.}\) The result is a system of clines that serves as a general coordinate system for the plane. Each point \(z\) in the plane is at the intersection of a single type I cline of \(p\) and \(q\) and a single type II cline of \(p\) and \(q\text{,}\) and these two clines intersect at right angles.

Let's get back to fixed points and how they can help us describe Möbius transformations. We consider the case that \(0\) and \(\infty\) are fixed before proceeding to the general case.

Suppose \(T(z) = (az+b)/(cz+d)\) is a Möbius transformation that fixes 0 and \(\infty\text{.}\) In this case, the form of the Möbius transformation can be simplified. In particular, since \(T(0) = 0\text{,}\) it follows that \(b=0\text{.}\) And since \(T(\infty)=\infty\text{,}\) it follows that \(c = 0\text{.}\) Thus, \(T(z) = \dfrac{a}{d}z\) which may be written as

\[ T(z) = re^{i\theta}z\text{.} \]

With \(T\) in this form, it is clear that if \(T\) fixes \(0\) and \(\infty\text{,}\) then \(T\) is a combination of a dilation (by factor \(r\)) and a rotation about the origin (by a factor \(\theta\)). We may assume that \(r > 0\) in the above equation, because if it is negative, we can turn it into a positive constant by adding \(\pi\) to the angle of rotation.

A dilation by \(r\) will push points along lines through the origin. These lines are precisely the type I clines of \(0\) and \(\infty\text{.}\) All points in the plane either head toward \(\infty\) (if \(r > 1\)) or they all head toward 0 (if \(0 \lt r \lt 1\)). Of course, if \(r = 1\) there is no dilation.

Meanwhile, rotation about \(0\) by \(\theta\) pushes points along circles centered at the origin. These circles are precisely the type II clines of \(0\) and \(\infty\text{.}\)

Now suppose \(T\) is a Möbius transformation that fixes two finite points \(p\) and \(q\) (neither is \(\infty\)). Let

\[ S(z) = \dfrac{z - p}{z-q} \]

be a Möbius transformation that takes \(p\) to \(0\) and \(q\) to \(\infty\text{.}\) Let \(U\) be the Möbius transformation determined by the composition equation

\[\begin{equation} U = S \circ T \circ S^{-1} \text{.} \end{equation} \label{3.5.1}\]

Notice

\[ U(0) = S \circ T \circ S^{-1}(0)= S\circ T(p) = S(p) = 0\text{,} \]

and

\[ U(\infty) = S \circ T \circ S^{-1}(\infty) = S \circ T(q) = S(q) = \infty\text{.} \]

That is, \(U\) is a Möbius transformation that fixes \(0\) and \(\infty\text{.}\) So, by Example \(3.5.1\), \(U\) is a rotation, a dilation, or some combination of those, and \(U\) looks like \(U(z) = re^{i\theta}z\text{.}\)

In any event, focusing on \(T\) again and using equation (1), which can be rewritten as \(S \circ T = U \circ S\text{,}\) we arrive at the following equation, called the normal form of the Möbius transformation in this case.

The normal form of a Möbius transformation \(T\) fixing distinct points \(p\) and \(q\) (neither of which is \(\infty\)):

\[ \dfrac{T(z) - p}{T(z) - q} = re^{i\theta} \cdot \dfrac{z - p}{z -q} \]

This normal form is much more illuminating than the standard \(a,b,c,d\) form because, although the map is still described in terms of four constants (\(p,q,r,\theta\)), each constant now has a simple geometric interpretation: \(p\) and \(q\) are fixed points, \(r\) is a dilation factor along type I clines of \(p\) and \(q\text{,}\) and \(\theta\) is a rotation factor around type II clines of \(p\) and \(q\text{.}\)

In particular, thanks to composition equation (\ref{3.5.1}) we can view \(T\) as the composition \(T = S^{-1}\circ U \circ S.\) With this view, \(T\) moves points according to a three-leg journey. Think of a general point \(z\) clinging to the intersection of a single type II cline of \(p\) and \(q\) and a single type I cline of \(p\) and \(q\) (see Figure \(3.5.3\)).

First, \(z\) gets sent via \(S\) to \(S(z)\text{,}\) which is at the intersection of a line through the origin and a circle centered at the origin. Second, \(U\) (which has the form \(U(z) = re^{i\theta} z\)), sends \(S(z)\) along this line through the origin (by dilation factor \(r\)), and then around a new circle centered at the origin (by rotation factor \(\theta\)) to the point \(U(S(z))\text{.}\) Third, \(S^{-1}\) sends \(U(S(z))\) back to the intersection of a type I cline of \(p\) and \(q\) and a type II cline of \(p\) and \(q\text{.}\) This point of intersection is \(S^{-1}(U(S(z)))\) and is equivalent to \(T(z)\text{.}\)

Though fatigued, our well-traveled point realizes there's a shortcut. Why go through this complicated wash? We can understand \(T\) as follows: \(T\) will push points along type I clines of \(p\) and \(q\) (according to the dilation factor \(r\)) and along type II clines of \(p\) and \(q\) (according to the rotation factor \(\theta\)).

We emphasize two special cases of this normal form. If \(|re^{i\theta}| = 1\) there is no dilation, and points simply get rotated about type II clines of \(p\) and \(q\) as in Figure \(3.5.4\). Such a Möbius transformation is called an **elliptic Möbius transformation**.

The second special case occurs when \(\theta = 0\text{.}\) Here we have a dilation factor \(r\text{,}\) but no rotation. All points move along type I clines of \(p\) and \(q\text{,}\) as in Figure \(3.5.5\). A Möbius transformation of this variety is called a **hyperbolic Möbius transformation**. A hyperbolic Möbius transformation fixing \(p\) and \(q\) either sends all points away from \(p\) and toward \(q\) or vice versa, depending on the value of \(r\text{.}\)

If we are not in one of these special cases, then \(T\) is simply a combination of these two, and a Möbius transformation of this type is often called loxodromic.

If a Möbius transformation fixes two finite points, say \(p\) and \(q\text{,}\) and it is not the identity transformation, then some finite point gets sent to \(\infty\text{.}\) Moreover, \(\infty\) gets sent to some finite point. The point sent to infinity is called the pole of the transformation and is often denoted \(z_\infty\text{.}\) That is, \(T(z_\infty) = \infty\text{.}\) The inverse pole of \(\boldsymbol{T}\) is the image of \(\infty\) under the map, which is often denoted as \(w_\infty\text{.}\) That is, \(T(\infty) = w_\infty\text{.}\) There is a simple relationship between the four points \(p,q,z_\infty,\) and \(w_\infty\text{.}\)

Suppose \(T\) is a Möbius transformation that fixes distinct finite points \(p\) and \(q\text{,}\) sends \(z_\infty\) to \(\infty\text{,}\) and sends \(\infty\) to \(w_\infty\text{.}\) Then \(p+q = z_\infty + w_\infty\text{.}\)

**Proof**-
Suppose \(T\) satisfies the conditions of the lemma. Then \(T\) has normal form

\[ \dfrac{z-p}{z-q} = \lambda\dfrac{T(z)-p}{T(z)-q}\text{,} \]

where \(\lambda = re^{i\theta}\text{.}\) Plug \(z = z_\infty\) into the normal form to see

\[ \dfrac{z_\infty-p}{z_\infty-q} = \lambda\cdot 1\text{.} \]

Plug \(z = \infty\) into the normal form to see

\[ 1 = \lambda\dfrac{w_\infty-p}{w_\infty-q}\text{.} \]

Next solve each equation for \(\lambda\text{,}\) set them equal, cross multiply, and simplify as follows to get the result:

\begin{align*} \dfrac{z_\infty-p}{z_\infty-q} & = \dfrac{w_\infty-q}{w_\infty-p}\\ (z_\infty-p)(w_\infty-p) & = (w_\infty-q)(z_\infty-q)\\ p^2-pw_\infty-pz_\infty & = q^2-qw_\infty-qz_\infty\\ p^2-q^2 & = p(z_\infty + w_\infty) - q(z_\infty + w_\infty)\\ (p-q)(p+q) & = (p-q)(z_\infty + w_\infty)\\ p+q & = z_\infty + w_\infty & (\text{since } p\neq q)\text{.} \end{align*}

This completes the proof.

If \(T\) is a Möbius transformation that fixes two distinct, finite points \(p\) and \(q\text{,}\) sends \(z_\infty\) to \(\infty\text{,}\) and sends \(\infty\) to \(w_\infty\text{,}\) then

\[ T(z) = \dfrac{w_\infty z - pq}{z-z_\infty}\text{.} \]

**Proof**-
In the proof of Lemma \(3.5.1\), we found that the constant \(\lambda\) in the normal form of \(T\) is

\[ \lambda = \dfrac{z_\infty-p}{z_\infty-q}\text{.} \]

It follows that \(T\) has the normal form

\[ \dfrac{z-p}{z-q} = \left(\dfrac{z_\infty-p}{z_\infty-q}\right)\cdot\dfrac{T(z)-p}{T(z)-q}\text{.} \]

Solve this expression for \(T(z)\) and reduce it using the fact that \(p+q=z_\infty+w_\infty\) to get the expression for \(T\) that appears in the statement of the theorem. The details are left to the reader.

By Lemma \(3.5.1\), the Möbius transformation sends \(\infty\) to \(-i\text{,}\) so by Theorem \(3.5.1\),

\[ T(z) = \dfrac{-iz-(1)(-1)}{z-i} = \dfrac{-iz+1}{z-i}\text{.} \]

Consider the Möbius transformation

\[ T(z) = \dfrac{(6+3i)z+(2-3i)}{z+3}\text{.} \]

First we find the fixed points and the normal form of \(T\text{.}\) To find the fixed points we solve \(T(z) = z\) for \(z\text{.}\)

\begin{align*} \dfrac{(6+3i)z+(2-3i)}{z+3}& = z\\ (6+3i)z + (2-3i)& = z^2+3z\\ z^2 - (3+3i)z - (2-3i) & = 0\text{.} \end{align*}

Hey! Wait a moment! This looks familiar. Let's see \(\ldots\) yes! We showed in Example 2.4.4 that this quadratic equation has solutions \(z = i\) and \(z = 3+2i\text{.}\)

So the map has these two fixed points, and the normal form of \(T\) is

\[ \dfrac{T(z)-i}{T(z)-(3+2i)}=\lambda\dfrac{z-i}{z-(3+2i)}\text{.} \]

To find the value of \(\lambda\text{,}\) plug into the normal form a convenient value of \(z\text{.}\) For instance, \(T(-3)=\infty\text{,}\) so

\[ 1=\lambda\dfrac{-3-i}{-3-(3+2i)}\text{.} \]

It follows that \(\lambda = 2\text{,}\) so \(T\) is a hyperbolic map that pushes points along clines through \(i\) and \(3+2i\text{.}\) Below is a schematic for how the map pushes points around in \(\mathbb{C}^+\text{.}\) Notice \(T(0) =\dfrac{2}{3}-i\text{,}\) \(T(1)=2\text{,}\) and \(T(4i) = 2.16+4.12i\text{.}\) Points are moving along type I clines of \(i\) and \(3+2i\) away from \(i\) and toward \(3 + 2i\text{.}\)

From the original description of \(T\) we observe that the pole of the map is \(z_\infty = -3\text{,}\) and the inverse pole of the map is \(w_{\infty} = 6+3i\text{.}\) Notice that \(z_\infty\text{,}\) \(w_\infty\text{,}\) and the two fixed points all lie on the same Euclidean line. This will always be the case for a hyperbolic Möbius transformation (Exercise \(3.5.1\)).

The normal form of this map is

\[ \dfrac{T(z)-i}{T(z)-0}=\lambda\dfrac{z-i}{z-0}\text{.} \]

Since \(T(1) = 2\) we know that

\[ \dfrac{2-i}{2}=\lambda(1-i)\text{.} \]

Solving for \(\lambda\) we have

\[ \lambda = \dfrac{3}{4}+\dfrac{1}{4}i\text{,} \]

and the map is loxodromic.

Expressing \(\lambda\) in polar form, \(\lambda = re^{i\theta}\text{,}\) gives \(r = \dfrac{\sqrt{10}}{4}\) and \(\theta=\arctan(\dfrac{1}{3})\text{.}\) So \(T\) pushes points along type I clines of \(i\) and \(0\) according to the scale factor \(r\) and along type II clines of \(i\) and \(0\) according to the angle \(\theta\text{.}\)

Now we consider Möbius transformations that fix just one point. One such Möbius transformation comes to mind immediately. For any complex number \(d\text{,}\) the translation \(T(z) = z + d\) fixes just \(\infty\text{.}\) In the exercises, you prove that translations are the *only* Möbius transformations that fix \(\infty\) and no other point.

Now suppose \(T\) fixes \(p \neq \infty\) (and no other point). Let \(S(z) = \dfrac{1}{z-p}\) be a Möbius transformation taking \(p\) to \(\infty\text{,}\) and let \(U = S \circ T \circ S^{-1}\text{.}\) Then \(U(\infty) = S(T(S^{-1}(\infty)))=S(T(p))=S(p)=\infty\text{,}\) and \(U\) fixes no other point. Thus, \(U(z) = z + d\) for some complex constant \(d\text{.}\)

The composition equation \(S \circ T = U \circ S\) gives the following equation called the **normal form of a Möbius transformation \(\boldsymbol{T}\) fixing \(p \neq \infty\)** (and no other point):

\[ \dfrac{1}{T(z) - p} = \dfrac{1}{z-p} + d \]

Observe that \(U(z)=z+d\) pushes points along lines parallel to one another in the direction of \(d\) (as in the right of Figure \(3.5.6\)). All of these parallel lines meet at \(\infty\) and are mutually tangent at this point. The map \(S^{-1}\) takes this system of clines to a system of clines that meet just at \(p\text{,}\) and are tangent to one another at \(p\text{,}\) as pictured. The slope of the single line in this system depends on the value of the constant \(d\text{.}\) In fact, the single line in the system of clines is the line through \(p\) and \(T(\infty)\) (see Exercise \(3.5.12\) for details).

A map that fixes just \(p\) will push points along such a system of clines that are mutually tangent at \(p\text{.}\) Such a map is called **parabolic**. In a sense, a parabolic map sends points both toward and away from \(p\) along these clines, just as any translation pushes points along a line toward \(\infty\) and also away from \(\infty\text{.}\)

Consider \(T(z) = (7z-12)/(3z-5)\text{.}\) To find its normal form we start by finding its fixed points.

\begin{align*} z& =T(z)\\ z(3z-5) & = 7z-12\\ 3z^2-12z + 12 & = 0\\ z^2-4z + 4 & = 0\\ (z-2)^2 & = 0\\ z& = 2\text{.} \end{align*}

So \(T\) is parabolic and has normal form

\[ \dfrac{1}{T(z)-2} = \dfrac{1}{z-2}+d\text{.} \]

To find \(d\) plug in the image of another point. Using the original description of the map, we know \(T(0)=2.4\text{,}\) so

\[ \dfrac{1}{0.4}=\dfrac{1}{-2}+d \]

so that \(d = 3\text{.}\) The normal form is then

\[ \dfrac{1}{T(z)-2} = \dfrac{1}{z-2}+3\text{.} \]

## Exercises

Complete the proof of Theorem \(3.5.1\).

Analyze each of the Möbius transformations below by finding the fixed points, finding the normal form, and sketching the appropriate coordinate system of clines, being sure to indicate the motion of the transformation.

- \(\displaystyle T(z) = \dfrac{z}{2z-1}\)
- \(\displaystyle T(z) = \dfrac{-z}{(1+i)z - i}\)
- \(\displaystyle T(z) = \dfrac{3iz-5}{z-i}\)

A transformation \(T\) is called an **involution **if it is its own inverse. If this is the case, then \(T\circ T\) is the identity transformation. Prove that if a Möbius transformation \(T\) is an involution and not the identity transformation, it must be elliptic.

Suppose a Möbius transformation \(T\) has the following property: There are distinct points \(a, b, c\) in the complex plane \(\mathbb{C}\) such that \(T(a) = b, T(b) = c, T(c) = a\text{.}\)

- What is the image of the unique cline through \(a, b,\) and \(c\) under \(T\text{?}\)
- Explain why the triple composition \(T\circ T \circ T\) is the identity transformation.
- Prove that \(T\) is elliptic.

Prove that if the Möbius transformation \(T\) fixes just \(\infty\text{,}\) then \(T(z) = z + d\) for some complex constant \(d\text{.}\)

Find the Möbius transformation that fixes \(2\) and \(4\) and sends \(2+i\) to \(\infty\text{.}\)

Use the normal form to build and classify a Möbius transformation that fixes \(4\) and \(8\) and sends \(i\) to \(0\).

Suppose \(T\) is an elliptic Möbius transformation that fixes the distinct, finite points \(p\) and \(q\text{.}\)

- Prove that the points \(z_\infty\) and \(w_\infty\) as defined in Lemma \(3.5.1\) lie on the perpendicular bisector of segment \(pq\text{.}\)
- Show that \(T\) is the composition of two inversions about clines that contain \(p\) and \(q\text{.}\)

**Hint**-
For part b, think about which inversion fixes \(p\) and \(q\) and takes \(z_\infty\) to \(\infty\text{?}\)

Suppose the Möbius transformation \(T\) fixes the distinct, finite points \(p\) and \(q\) and sends \(z_\infty\) to \(\infty\) and \(\infty\) to \(w_\infty\text{.}\) By Lemma \(3.5.1\) we know \(p+q=z_\infty+w_\infty\text{.}\) Use the normal form of \(T\) to prove the following facts.

- If \(T\) is elliptic then the four points \(p\text{,}\) \(q\text{,}\) \(z_\infty\text{,}\) and \(w_\infty\) form a rhombus. Under what conditions is this rhombus actually a square?
- If \(T\) is hyperbolic then these 4 points all lie on the same Euclidean line.
- If \(T\) is loxodromic, then under what conditions do these four points determine a rectangle?

Prove that any pair of nonintersecting clines in \(\mathbb{C}\) may be mapped by a Möbius transformation to concentric circles.

**Answer**-
By Theorem \(3.2.7\) there are two points \(p\) and \(q\) in \(\mathbb{C}\) that are symmetric with respect to both clines. What happens if we apply a Möbius transformation that takes one of these points to \(\infty\text{?}\)

Suppose \(T = i_{C_1} \circ i_{C_2}\) where \(C_1\) and \(C_2\) are clines that do not intersect. Prove that \(T\) has two fixed points and these points are on all clines perpendicular to both \(C_1\) and \(C_2\text{.}\)

Suppose \(T(z)\) is parabolic with normal form

\[ \dfrac{1}{T(z)-p} = \dfrac{1}{z-p}+d\text{.} \]

Prove that the line through \(p\) and \(p+\dfrac{1}{d}\) gets sent to itself by \(T\text{.}\)

Analyze \(T(z) = \dfrac{[(1+3i)z-9i]}{[iz+(1-3i)]}\) by finding the fixed points, finding the normal form, and sketching the appropriate system of clines indicating the motion of the transformation.

Find a parabolic transformation with fixed point \(2+i\) for which \(T(\infty)=8\text{.}\)

Given distinct points \(p\text{,}\) \(q\text{,}\) and \(z\) in \(\mathbb{C}\text{,}\) prove there exists a type II cline of \(p\) and \(q\) that goes through \(z\text{.}\)