Skip to main content
Mathematics LibreTexts

3.2: Inversion

  • Page ID
    23309
  • \( \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}\)

    Inversion offers a way to reflect points across a circle. This transformation plays a central role in visualizing the transformations of non-Euclidean geometry, and this section is the foundation of much of what follows.

    Suppose \(C\) is a circle with radius \(r\) and center \(z_0\text{.}\) Inversion in the circle \(C\) sends a point \(z \neq z_0\) to the point \(z^*\) defined as follows: First, construct the ray from \(z_0\) through \(z\text{.}\) Then, let \(z^*\) be the unique point on this ray that satisfies the equation

    \[ |z-z_0|\cdot|z^*-z_0| = r^2\text{.} \]

    The point \(z^*\) is called the symmetric point to \(z\) with respect to \(C\text{.}\)

    im-inversion.svg

    Inversion in a circle centered at \(z_0\) is a transformation on the set \(\mathbb{C}-\{z_0\}\) consisting of all complex numbers except \(z_0\text{.}\) We usually denote inversion in the circle \(C\) by by \(i_C(z) = z^*\text{.}\) In the next section we will discuss how to extend this transformation in a way to include the center \(z_0\text{.}\)

    You will work through several features of circle inversions in the exercises, including how to construct symmetry points with compass and ruler (see Figure \(\PageIndex{5}\)). We note here that \(i_C\) fixes all the points on the circle \(C\text{,}\) and points inside the circle get mapped to points outside the circle and vice versa. The closer \(z\) gets to the center of the circle, the further \(i_C(z)\) gets from the circle.

    Example \(\PageIndex{1}\): Inversion in the Unit Circle

    The unit circle in \(\mathbb{C}\text{,}\) denoted \(\mathbb{S}^1\text{,}\) is the circle with center \(z_0 = 0\) and radius \(r = 1\text{.}\) The equation for the point \(z^*\) symmetric to a point \(z \neq 0\) with repsect to \(\mathbb{S}^1\) thus reduces from \(|z-z_0|\cdot|z^*-z_0| = r^2\) to

    \[ |z|\cdot|z^*| = 1\text{.} \]

    Moreover, \(z^*\) is just a scaled version of \(z\) since they are on the same ray through the origin. That is, \(z^* = kz\) for some positive real number \(k\text{.}\) Plug this description of \(z^*\) into the symmetry point equation to see \(|z| \cdot |kz| = 1\text{,}\) which implies \(k = 1/|z|^2\text{.}\) Thus, \(z^*=(1/|z|^2)z\text{.}\) Moreover, \(|z|^2 = z \cdot \overline{z}\text{,}\) so inversion in the unit circle \(\mathbb{S}^1\) may be written as

    \[ i_{\mathbb{S}^1}(z) = 1/\overline{z}\text{.} \]

    The following formula for inversion about an arbitrary circle can be obtained by composition of inversion in the unit circle with some general linear transformations. The details are left to Exercise \(3.2.1\).

    Inversion in the circle \(C\) centered at \(z_0\) with radius \(r\).

    Inversion in the circle \(C\) centered at \(z_0\) with radius \(r\) is given by

    \begin{align*} i_C(z) & = \frac{r^2}{(\overline{z-z_0})} + z_0\text{.} \end{align*}

    Example \(\PageIndex{2}\): Inverting Some Figures in a Circle

    Below we have inverted a circle, the letter ‘M,’ and a small grid across the circle \(C\) centered at \(z_0\text{.}\) It looks as if the image of the circle is another circle, which we will soon prove is the case. We will also prove that lines not intersecting the center of \(C\) get inverted into circles. It follows that the line segments in the ‘M’ get mapped to arcs of circles.

    im-invsample.svg

    As Example \(\PageIndex{2}\) suggests, the distinction between lines and circles gets muddied a bit by inversion. A line can get mapped to a circle and vice versa. In what follows, it will be helpful to view reflection in a line and inversion in a circle as special cases of the same general map. To arrive at this view we first make lines and circles special cases of the same general type of figure.

    Definition: Cline

    A cline is a Euclidean circle or line. Any cline can be described algebraically by an equation of the form

    \[ cz\overline{z} + \alpha z + \overline{\alpha}\overline{z} + d = 0 \]

    where \(z = x + yi\) is a complex variable, \(\alpha\) is a complex constant, and \(c, d\) are real numbers. If \(c = 0\) the equation describes a line, and if \(c \neq 0\) and \(|\alpha|^2 > cd\) the equation describes a circle.

    The word “cline” (pronounced ‘Klein’) might seem a bit forced, but it represents the shift in thinking we aim to achieve. We need to start thinking of lines and circles as different manifestations of the same general class of objects. What class? The class of clines.

    Letting \(\alpha = a + bi\) and \(z = x + yi\text{,}\) the cline equation \(cz\overline{z} + \alpha z + \overline{\alpha} \overline{z} + d = 0\) can be written as

    \[ c(x^2+y^2)+[ax - by + (ay+bx)i]+[ax-by - (ay+bx)i] + d = 0 \]

    which simplifies to

    \[ c(x^2+y^2) + 2(ax - by) + d = 0\text{.} \]

    If \(c = 0\) then we have the equation of a line, and if \(c \neq 0\) we have the equation of a circle, so long as \(a^2 + b^2 > cd\text{.}\) In this case, the equation can be put into standard form by completing the square. Let's run through this.

    If \(c \neq 0\text{,}\)

    \begin{align*} c(x^2+y^2) + 2ax - 2by + d & = 0\\ x^2 + \frac{2a}{c}x + y^2 - \frac{2b}{c}y & = -\frac{d}{c}\\ x^2 + \frac{2a}{c}x + \bigg(\frac{a}{c}\bigg)^2 + y^2 - \frac{2b}{c}y + \left(\frac{b}{c}\right)^2 & = -\frac{d}{c}+\left(\frac{a}{c}\right)^2+\left(\frac{b}{c}\right)^2\\ \left(x+\frac{a}{c}\right)^2+\left(y-\frac{b}{c}\right)^2& =\frac{ a^2 + b^2-cd}{c^2} \end{align*}

    and we have the equation of a circle so long as the right-hand side (the radius term) is positive. In other words, we have the equation of a circle so long as \(a^2 + b^2>cd\text{.}\) We summarize this information below.

    The Cline Equation

    Given \(c, d \in \mathbb{R}\text{,}\) \(\alpha \in \mathbb{C}\text{,}\) if \(c \neq 0\text{,}\) the cline equation

    \[ cz\overline{z} + \alpha z + \overline{\alpha} \overline{z} + d = 0 \]

    gives a circle with center \(z_0\) and radius \(r\text{,}\) where

    \[ z_0=\bigg(-\frac{\text{Re}(\alpha)}{c}, \frac{\text{Im}(\alpha)}{c}\bigg)~~~\text{and}~~~ r = \sqrt{\frac{|\alpha|^2-cd}{c^2}}\text{,} \]

    so long as \(|\alpha|^2 > cd\text{.}\) If \(c = 0\text{,}\) the cline equation gives a line.

    From now on, if you read the phrase “inversion in a cline,” know that this means inversion in a circle or reflection about a line, and if someone hands you a cline \(C\text{,}\) you might say, “Thanks! By the way, is this a line or a circle?”

    We note here the construction of a cline through three points in \(\mathbb{C}\text{.}\) This construction is used often in later chapters to generate figures in non-Euclidean geometry.

    Theorem \(\PageIndex{1}\)

    There exists a unique cline through any three distinct points in \(\mathbb{C}\text{.}\)

    Proof

    Suppose \(u\text{,}\) \(v\text{,}\) and \(w\) are distinct complex numbers. If \(v\) is on the line through \(u\) and \(w\) then this line is the unique cline through the three points. Otherwise, the three points do not lie on a single line, and we may build a circle through these three points as demonstrated in Figure \(\PageIndex{1}\). Construct the perpendicular bisector to segment \(uv\text{,}\) and the perpendicular bisector to segment \(vw\text{.}\) These bisectors will intersect because the three points are not collinear. If we call the point of intersection \(z_0\text{,}\) then the circle centered at \(z_0\) through \(w\) is the unique cline through the three points.

    im-3ptcircle.svg
    Figure \(\PageIndex{1}\): Constructing the unique circle through three points not on a single line. (Copyright; author via source)
    Theorem \(\PageIndex{2}\)

    Inversion in a circle maps clines to clines. In particular, if a cline goes through the center of the circle of inversion, its image will be a line; otherwise the image of a cline will be a circle.

    Proof

    We prove the result in the case of inversion in the unit circle. The general proof will then follow, since any inversion is the composition of this particular inversion together with translations and dilations, which also preserve clines by Theorem \(3.1.2\).

    Suppose the cline \(C\) is described by the cline equation

    \[ cz\overline{z}+\alpha z + \overline{\alpha} \overline{z} + d = 0\text{,} \]

    where \(c, d \in \mathbb{R}\text{,}\) \(\alpha \in \mathbb{C}\text{.}\)

    We want to show that the image of this cline under inversion in the unit circle, \(i_{\mathbb{S}^1}(C)\text{,}\) is also a cline. Well, \(i_{\mathbb{S}^1}(C)\) consists of all points \(w = 1/\overline{z}\text{,}\) where \(z\) satisfies the cline equation for \(C\text{.}\) We show that all such \(w\) live on a cline.

    If \(z \neq 0\) then we may multiply each side of the cline equation by \(1/(z\cdot \overline{z})\) to obtain

    \[ c +\alpha \frac{1}{\overline{z}} + \overline{\alpha} \frac{1}{z} +d\frac{1}{z}\frac{1}{\overline{z}}=0\text{.} \]

    But since \(w = 1/\overline{z}\) and \(\overline{w} = 1/z\text{,}\) this equation reduces to

    \[ c +\alpha\cdot w + \overline{\alpha} \cdot \overline{w} + dw\overline{w}=0\text{,} \]

    or

    \[ dw\overline{w} + \alpha \cdot w + \overline{\alpha} \cdot \overline{w} + c = 0\text{.} \]

    Thus, the image points \(w\) form a cline equation. If \(d = 0\) then the original cline \(C\) passed through the origin, and the image cline is a line. If \(d \neq 0\) then \(C\) did not pass through the origin, and the image cline is a circle. (In fact, we must also check that \(|\alpha |^2 > dc\text{.}\) This is the case because the original cline equation ensures \(|\alpha|^2 > cd\text{.}\))

    We will call two clines orthogonal if they intersect at right angles. For instance, a line is orthogonal to a circle if and only if it goes through the center of the circle. One very important feature of inversion in \(C\) is that clines orthogonal to \(C\) get inverted to themselves. To prove this fact, we first prove the following result, which can be found in Euclid's Elements (Book III, Proposition \(36\)).

    Lemma \(\PageIndex{1}\)

    Suppose \(C\) is the circle with radius \(r\) centered at \(o\text{,}\) and \(p\) is a point outside \(C\text{.}\) Let \(s = |p-o|\text{.}\) If a line through \(p\) intersects \(C\) at points \(m\) and \(n\text{,}\) then

    \[ |p-m|\cdot|p-n|=s^2-r^2\text{.} \]

    Proof

    Suppose the line through \(p\) does not pass through the center of \(C\text{,}\) as in the diagram below. Let \(q\) be the midpoint of segment \(mn\text{,}\) and let \(d = |q - o|\) as in the diagram. Note also that the line through \(q\) and \(o\) is the perpendicular bisector of segment \(mn\text{.}\) In particular, \(|m-q|=|q-n|\text{.}\)

    im-prop36bookIII.svg

    The Pythagorean theorem applied to \(\Delta pqo\) gives

    \[|p-q|^2 + d^2 = s^2, \label{3.2.1}\]

    and the Pythagorean theorem applied to \(\Delta nqo\) gives

    \[ |q-n|^2 + d^2 = r^2. \label{3.2.2}\]

    By subtracting equation (\(\ref{3.2.2}\)) from (\(\ref{3.2.1}\)), we have

    \[ |p-q|^2-|q-n|^2 = s^2-r^2\text{,} \]

    which factors as

    \[ (|p-q|-|q-n|)(|p-q|+|q-n|) = s^2-r^2\text{.} \]

    Since \(|p-q|-|q-n| = |p-m|\) and \(|p-q| + |q-n| = |p-n|\text{,}\) the result follows.

    The case that the line through \(p\) goes through the center of \(C\) is left as an exercise.

    We note that the quantity \(s^2-r^2\) in the previous lemma is often called the power of the point \(p\) with respect to the circle \(C\text{.}\) That is, if circle \(C\) has radius \(r\) and a point \(p\) is a distance \(s\) from the center of \(C\) then the quantity \(s^2-r^2\) is called the power of the point \(p\text{.}\)

    Theorem \(\PageIndex{3}\)

    Suppose \(C\) is a circle in \(\mathbb{C}\) centered at \(z_0\text{,}\) and \(z\neq z_0\) is not on \(C\text{.}\) A cline through \(z\) is orthogonal to \(C\) if and only if it goes through \(z^*\text{,}\) the point symmetric to \(z\) with respect to \(C\text{.}\)

    Proof

    Assume \(C\) is the circle of radius \(r\) centered at \(z_0\text{,}\) and \(D\) is a cline through a point \(z \neq z_0\) not on \(C\text{.}\) Let \(z^*\) denote the point symmetric to \(z\) with respect to \(C\text{.}\)

    First, suppose \(D\) is a line through \(z\text{.}\) A line through \(z\) passes through \(z^*\) if and only if it passes through the center of \(C\text{,}\) which is true if and only if the line is orthogonal to \(C\text{.}\) Thus, the line \(D\) through \(z\) contains \(z^*\) if and only if it is orthogonal to \(C\text{,}\) and the theorem is proved in this case.

    Now assume \(D\) is a circle through \(z\text{.}\) Let \(o\) and \(k\) denote the center and radius of \(D\text{,}\) respectively. Set \(s = |z_o-o|\text{,}\) and let \(t\) denote a point of intersection of \(C\) and \(D\) as pictured below.

    im-invorthcline.svg

    We must argue that \(C\) and \(D\) are orthogonal if and only if \(z^*\) is on \(D\text{.}\) Now, \(C\) and \(D\) are orthogonal if and only if \(\angle otz_0\) is right, which is the case if and only if \(r^2 = s^2-k^2\) by the Pythagorean theorem. Applying Lemma \(3.2.1\) to the point \(z_0\) (which is outside \(D\)) and the line through \(z_0\) and \(z\text{,}\) we see that

    \[ |z_0-z|\cdot|z_0-w| = s^2-k^2, \label{3.2.3}\]

    where \(w\) is the second point of intersection of the line with circle \(D\text{.}\)

    Note also that as symmetric points, \(z\) and \(z^*\) satisfy the equation

    \[ |z_0-z|\cdot|z_0-z^*| = r^2. \label{3.2.4}\]

    Thus, if we assume \(z^*\) is on \(D\text{,}\) then it must be equal to the point \(w\text{,}\) in which case equations (\(\ref{3.2.3}\)) and (\(\ref{3.2.4}\)) above tell us \(s^2-k^2 = r^2\text{.}\) It follows that \(D\) is orthogonal to \(C\text{.}\) Conversely, if \(D\) is orthogonal to \(C\text{,}\) then \(s^2-k^2=r^2\text{,}\) so \(|z_0-w|=|z_0-z^*|\text{.}\) Since \(z^*\) and \(w\) are both on the ray \(\overrightarrow{z_0z}\) it must be that \(z^* = w\text{.}\) In other words, \(z^*\) is on \(D\text{.}\)

    Corollary \(\PageIndex{1}\)

    Inversion in \(C\) takes clines orthogonal to \(C\) to themselves.

    Theorem \(\PageIndex{4}\)

    Inversion in a cline preserves angle magnitudes.

    Proof

    The result was stated for lines in Theorem \(3.1.5\). Here we assume \(C\) is a circle of inversion. Consider two curves \(\boldsymbol{r_1}\) and \(\boldsymbol{r_2}\) that intersect at a point \(z\) that is not on \(C\) or at the center of \(C\text{.}\) Recall, \(\angle(\boldsymbol{r_1},\boldsymbol{r_2}) = \angle(L_1,L_2)\) where \(L_i\) is the line tangent to curve \(\boldsymbol{r_i}\) at \(z\text{,}\) for \(i = 1,2\text{.}\) We may describe this angle with two circles \(C_1\) and \(C_2\) tangent to the tangent lines \(L_1\) and \(L_2\text{,}\) respectively, with the additional feature that the circles meet the circle of inversion \(C\) at right angles, as in Figure \(3.2.2\). Indeed, \(C_1\) is the circle through \(z\) and \(z^*\) whose center is at the intersection of lines \(m_1\) and \(k\text{,}\) where \(m_1\) is the line through \(z\) that is perpendicular to \(L_1\text{,}\) and \(k\) is the perpendicular bisector of segment \(zz^*\text{.}\) Circle \(C_2\) also goes through \(z\) and \(z^*\text{,}\) and its center is on the intersection of \(k\) and the line \(m_2\) through \(z\) that is perpendicular to \(L_2\text{.}\)

    im-invconf.svg
    Figure \(\PageIndex{2}\): Inversion in a circle preserves angle magnitudes. (Copyright; author via source)

    The advantage to describing \(\angle(L_1,L_2)\) with these circles is that the image of the angle, \(\angle(i_C(L_1),i_C(L_2))\text{,}\) is also described by these two circles, at their other intersection point \(z^*\text{.}\) Notice that these angles will have opposite signs. For instance, in Figure \(3.2.2\), our initial angle is negative, described by sweeping arc \(C_1\) clockwise onto \(C_2\text{,}\) but in the image, we sweep \(i_C(C_1)\) counterclockwise onto \(i_C(C_2)\text{.}\) We leave it as an exercise for the reader to check that the angle of intersection of \(C_1\) and \(C_2\) at \(z^*\) is the same magnitude as the angle between \(C_1\) and \(C_2\) at \(z\text{.}\)

    Now we show that inversion preserves angle magnitudes for angles that occur on the circle \(C\) (i.e., \(z\) is on \(C\)). Let \(C^\prime\) be a concentric circle to \(C\text{.}\) Then \(i_C(z) = S\circ i_{C^\prime}\) where \(S\) is a dilation of \(\mathbb{C}\) whose fixed point is the common center of circles \(C\) and \(C^\prime\) (see Exercise \(3.2.12\)). Since our angle is not on circle \(C^\prime\text{,}\) \(i_{C^\prime}\) preserves the magnitude of the angle by reason of the preceding argument. The dilation \(S\) preserves angles according to Theorem \(3.1.5\). Thus \(i_C\) preserves angle magnitudes as well. We leave the case of the angle occurring at the origin to the next section. Bearing that exception in mind, this completes the proof.

    Another important feature of inversion in a cline is that it preserves symmetry points.

    Theorem \(\PageIndex{5}\): Inversion Preserves Symmetry Points

    Let \(i_C\) denote inversion in a cline \(C\text{.}\) If \(p\) and \(q\) are symmetric with respect to a cline \(D\text{,}\) then \(i_C(p)\) and \(i_C(q)\) are symmetric with respect to the cline \(i_C(D)\text{.}\)

    Proof

    Assume \(C\) is the cline of inversion, and assume \(p\) and \(q\) are symmetric with respect to a cline \(D\) as in Figure \(3.2.3\) (where \(C\) and \(D\) are represented as circles).

    im-invpreservesymm.svg
    Figure \(\PageIndex{3}\): Inversion preserves symmetry points: If \(p\) and \(q\) are symmetric with respect to \(D\) and we invert about cline \(C\) then the image points are symmetric with respect to the image of \(D\text{.}\) (Copyright; author via source)

    We may construct two clines \(E\) and \(F\) that go through \(p\) and \(q\text{.}\) In the figure, cline \(E\) is a circle and cline \(F\) is a line. These clines intersect \(D\) at right angles (Theorem \(3.2.3\)). Since inversion preserves clines and angle magnitudes, we know that \(E^*=i_C(E)\) and \(F^*=i_C(F)\) are clines intersecting the cline \(D^*=i_C(D)\) at right angles. Both \(E^*\) and \(F^*\) contain \(p^*=i_C(p)\text{,}\) so they both contain the point symmetric to \(p^*\) with respect to \(D^*\) (Theorem \(3.2.3\)), but the only other point common to both \(E^*\) and \(F^*\) is \(q^* = i_C(q)\text{.}\) Thus, \(p^*\) and \(q^*\) are symmetric with respect to \(D^*\text{.}\)

    We close the section with two applications of inversion.

    Theorem \(\PageIndex{6}\): Apollonian Circles Theorem

    Let \(p,q\) be distinct points in \(\mathbb{C}\text{,}\) and \(k > 0\) a positive real number. Let \(D\) consist of all points \(z\) in \(\mathbb{C}\) such that \(|z-p| = k|z - q|.\) Then \(D\) is a cline.

    Proof

    If \(k = 1\text{,}\) the set \(D\) is a Euclidean line, according to Theorem \(2.4.1\), so we assume \(k \neq 1\text{.}\) Let \(C\) be the circle centered at \(p\) with radius \(1\). Suppose \(z\) is an arbitrary point in the set \(D\text{.}\) Inverting about \(C\text{,}\) let \(z^* = i_C(z)\) and \(q^* = i_C(q)\) as in the following diagram.

    im-apollonian-thm.svg

    Observe first that \(\Delta pz^*q^*\) and \(\Delta pqz\) are similar.

    Indeed, \(|p-z|\cdot|p-z^*|=1=|p-q|\cdot|p-q^*|\) by the definition of the inversion transformation, so we have equal side-length ratios

    \[ \frac{|p-z^*|}{|p-q|}=\frac{|p-q^*|}{|p-z|}\text{,} \]

    and the included angles are equal, \(\angle q^*pz^* = \angle qpz\text{.}\)

    It follows that

    \[ \frac{|z-q|}{|p-q|}=\frac{|z^*-q^*|}{|z^*-p|}\text{,} \]

    from which we derive

    \begin{align*} |z^*-q^*|& =|z^*-p|\cdot\frac{|z-q|}{|p-q|}\\ & =[|z^*-p|\cdot|z-p|]\cdot\frac{|z-q|}{|z-p|}\cdot\frac{1}{|p-q|}\\ & = 1 \cdot \frac{1}{k} \cdot \frac{1}{|p-q|}\text{.} \end{align*}

    Thus, the set \(D\) of all points \(z\) satisfying \(|z-p|=k|z-q|\) has image \(i_C(D)\) under this inversion consisting of all points \(z^*\) on a circle centered at \(q^*\) with radius \((k|p-q|)^{-1}\text{.}\) Since inversion preserves clines and \(p\) is not on \(i_C(D)\text{,}\) it follows that \(D\) itself is a circle.

    As we let \(k\) run through all positive real numbers, we obtain a family of clines, called the circles of Apollonius of the points \(\boldsymbol{p}\) and \(\boldsymbol{q}\). We note that \(p\) and \(q\) are symmetric with respect to each cline in this family (see Exercise \(3.3.2\)).

    im-symmtwoclines.svg
    Figure \(\PageIndex{4}\): Finding two points symmetric with respect to a line and circle. (Copyright; author via source)
    Theorem \(\PageIndex{7}\)

    Suppose we have two clines that do not intersect, and at least one of them is a circle. Then there exist two points, \(p\) and \(q\text{,}\) that are symmetric with respect to both clines.

    Proof

    First, assume one cline is a line \(L\text{,}\) and the other is a circle \(C\) centered at the point \(z_0\) as pictured in Figure \(3.2.4\). Let \(L_1\) be the line through \(z_0\) that is perpendicular to \(L\text{,}\) and let \(z_1\) be the point of intersection of \(L\) and \(L_1\text{.}\) Next, construct the circle \(C_1\) having the diameter \(z_0z_1\text{.}\) Circle \(C_1\) intersects circle \(C\) at some point, which we call \(t\text{.}\) Notice that \(\angle z_0 t z_1\) is right, and so the circle \(C_2\) centered at \(z_1\) through \(t\) is orthogonal to \(C\text{.}\) Furthermore, the center of \(C_2\text{,}\) \(z_1\text{,}\) lies on line \(L\text{,}\) so \(C_2\) is orthogonal to \(L\text{.}\) Let \(p\) and \(q\) be the two points at which \(C_2\) intersects \(L_1\text{.}\) By construction, and by using Theorem \(3.2.3\), \(p\) and \(q\) are symmetric to both \(C\) and \(L\text{.}\)

    Now, suppose \(C_1\) and \(C_2\) are circles that do not intersect. We may first perform an inversion in a circle \(C\) that maps \(C_1\) to a line \(C_1^*\text{,}\) and \(C_2\) to another circle, \(C_2^*\text{,}\) as suggested in Figure \(3.2.5\) (any circle \(C\) centered on a point of \(C_1\) works). Then by reason of the preceeding argument, there exist two points \(p\) and \(q\) that are symmetric with respect to \(C_1^*\) and \(C_2^*\text{.}\) Since inversion preserves symmetry points, \(i_C(p)\) and \(i_C(q)\) are symmetric with respect to both \(i_C(C_1^*)\) and \(i_C(C_2^*)\text{.}\) But \(i_C(C_1^*) = C_1\) and \(i_C(C_2^*) = C_2\) so we're found two points symmetric to both \(C_1\) and \(C_2\text{.}\) (In fact, we have one exception. If \(C_1\) and \(C_2\) are concentric circles, this strategy will produce points \(i_C(p)\) and \(i_C(q)\text{,}\) one of which is the center of \(C\text{,}\) and we have not yet extended the notion of inversion to include the center. We do so in the next section in such a way that the theorem applies to this exceptional case as well.)

    im-symmtwoclines.svg
    Figure \(\PageIndex{5}\): By inversion we may transform two circles to a circle and a line. (Copyright; author via source)

    Exercises

    Exercise \(\PageIndex{1}\)

    Prove the general formula for inversion in a circle \(C\) centered at \(z_0\) with radius \(r\text{.}\) In particular, show in this case that

    \[ i_C(z) = \frac{r^2}{(\overline{z-z_0})} + z_0. \]

    Exercise \(\PageIndex{2}\)

    Constructing the symmetric point to \(z\) when \(z\) is inside the circle of inversion.

    Prove that for a point \(z\) inside the circle \(C\) with center \(z_0\) (Figure \(3.2.6\)(a)), the following construction finds the symmetry point of \(z\text{.}\)

    1. Draw the ray from \(z_0\) through \(z\text{.}\)
    2. Construct the perpendicular to this ray at \(z\text{.}\) Let \(t\) be a point of intersection of this perpendicular and \(C\text{.}\)
    3. Construct the radius \(z_0t\text{.}\)
    4. Construct the perpendicular to this radius at \(t\text{.}\) The symmetric point \(z^*\) is the point of intersection of this perpendicular and ray \(\overrightarrow{z_oz}\text{.}\)
    im-constructsymm.svg
    Figure \(\PageIndex{6}\): Constructing the symmetric point (a) if \(z\) is inside the circle of inversion; (b) if \(z\) is outside the circle of inversion. (Copyright; author via source)
    Exercise \(\PageIndex{3}\)

    Constructing the symmetric point to \(z\) when \(z\) is outside the circle of inversion.

    Prove that for a point \(z\) outside the circle \(C\) with center \(z_0\) (Figure \(3.2.6\)(b)), the following construction finds the symmetry point of \(z\text{.}\)

    1. Construct the circle having diameter \(z_0z\text{.}\) Let \(t\) be a point of intersection of the two circles.
    2. Construct the perpendicular to \(z_0z\) through \(t\text{.}\) Let \(z^*\) be the intersection of this perpendicular with segment \(z_0z\text{.}\)
    Exercise \(\PageIndex{4}\)

    Suppose \(T_1\) is inversion in the circle \(|z| = r_1\text{,}\) and \(T_2\) is inversion in the circle \(|z| = r_2\text{,}\) where \(r_1, r_2 > 0\text{.}\) Prove that \(T_2 \circ T_1\) is a dilation. Conversely, show any dilation is the composition of two inversions.

    Exercise \(\PageIndex{5}\)

    Determine the image of the line \(y = mx + b\) (when \(b \neq 0)\) under inversion in the unit circle. In particular, show that the image is a circle with center \((-\dfrac{m}{2b}, \dfrac{1}{2b})\) and radius \(\sqrt{\dfrac{(m^2 + 1)}{4b^2}}\text{.}\)

    Hint

    Refer to Exercise \(2.4.1\).

    Exercise \(\PageIndex{6}\)

    Determine the image of the line \(L\) given by \(y = 3x + 4\) under inversion in the unit circle. Give a careful plot of the unit circle, the line \(L\text{,}\) and the image of \(L\) under the inversion.

    Exercise \(\PageIndex{7}\)

    Prove that inversion in the unit circle maps the circle \((x-a)^2 + (y-b)^2 = r^2\) to the circle

    \[ \bigg(x-\frac{a}{d}\bigg)^2 + \bigg(y-\frac{b}{d}\bigg)^2 = \bigg(\frac{r}{d}\bigg)^2 \]

    where \(d = a^2+b^2-r^2\text{,}\) provided that \(d \neq 0\text{.}\)

    Exercise \(\PageIndex{8}\)

    Determine in standard form the image of the circle \(C\) given by \((x-1)^2 + y^2 = 4\) under inversion in the unit circle. Give a careful plot of the unit circle, the circle \(C\text{,}\) and the image of \(C\) under the inversion.

    Exercise \(\PageIndex{9}\)

    True or False? If a circle \(C\) gets mapped to another circle under inversion in the unit circle, then the center of \(C\) gets mapped to the center of the image circle, \(i_{\mathbb{S}^1}(C)\text{.}\) If the statement is true, prove it; if it is false, provide a counterexample.

    Exercise \(\PageIndex{10}\)

    Suppose \(C\) and \(D\) are orthogonal circles. Corollary \(3.2.1\) tells us that inversion in \(C\) maps \(D\) to itself. Prove that this inversion also takes the interior of \(D\) to itself.

    Exercise \(\PageIndex{11}\)

    Finish the proof of Theorem \(3.2.4\) by showing that the angle of intersection at \(z^*\) equals the angle of intersection at \(z\) in Figure \(3.2.2\).

    Exercise \(\PageIndex{12}\)

    Suppose \(C\) is the circle \(|z - z_0| = r\) and \(C^\prime\) is the circle \(|z - z_0| = r^\prime\text{.}\) Find the stretch factor \(k\) in the dilation \(S(z) = k(z-z_0) + z_0\) so that \(i_C = S \circ i_{C^\prime}\text{.}\)

    Exercise \(\PageIndex{13}\)

    Complete the proof of Lemma \(3.2.1\) by proving the case in which the line through \(p\) passes through the center of \(C\text{.}\)


    This page titled 3.2: Inversion is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Michael P. Hitchman via source content that was edited to the style and standards of the LibreTexts platform.