Skip to main content
Mathematics LibreTexts

10.6: Angles after inversion

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

    Proposition \(\PageIndex{1}\)

    In the inversive plane, the inverse of an arc is an arc.


    Consider four distinct points \(A, B, C\), and \(D\); let \(A', B', C'\), and \(D'\) be their inverses. We need to show that \(D\) lies on the arc \(ABC\) if and only if \(D'\) lies on the arc \(A'B'C'\). According to Proposition 9.5.1, the latter is equivalent to the following:

    \(\measuredangle ADC = \measuredangle ABC \Leftrightarrow \measuredangle A'D'C' = \measuredangle A'B'C'.\)

    The latter follows from Theorem 10.2.1b.

    The following theorem states that the angle between arcs changes only its sign after the inversion.

    Theorem \(\PageIndex{1}\)

    Let \(AB_1C_1\), \(AB_2C_2\) be two arcs in the inversive plane, and the arcs \(A'B_1'C_1'\), \(A'B_2'C_2'\) be their inverses. Let \([AX_1)\) and \([AX_2)\) be the half-lines tangent to \(AB_1C_1\) and \(AB_2C_2\) at \(A\), and \([A'Y_1)\) and \([A'Y_2)\) be the half-lines tangent to \(A'B_1'C_1'\) and \(A'B_2'C_2'\) at \(A'\). Then

    \(\measuredangle X_1AX_2 \equiv -\measuredangle Y_1A'Y_2\).

    截屏2021-02-22 下午3.22.46.png


    Applying to Proposition 9.6.1,

    \(\begin{array} {rcl} {\measuredangle X_1AX_2} & \equiv & {\measuredangle X_1AC_1 + \measuredangle C_1AC_2 + \measuredangle C_2AX_2 \equiv} \\ {} & \equiv & {(\pi - \measuredangle C_1B_1A) + \measuredangle C_1AC_2 + (\pi - \measuredangle AB_2C_2) \equiv} \\ {} & \equiv & {-(\measuredangle C_1B_1A + \measuredangle AB_2C_2 + \measuredangle C_2AC_1) \equiv} \\ {} & \equiv & {-(\measuredangle C_1B_1A + \measuredangle AB_2C_1) -(\measuredangle C_1B_2C_2 + \measuredangle C_2AC_1).} \end{array}\)

    The same way we get that

    \(\measuredangle Y_1A'Y_2 \equiv -(\measuredangle C_1'B_1'A' + \measuredangle A'B_2'C_1') - (\measuredangle C_1'B_2'C_2' + \measuredangle C_2'A'C_1').\)

    By Theorem 10.2.1b,

    \(\begin{array} {rcl} {\measuredangle C_1B_1A + \measuredangle AB_2C_1} & \equiv & {-(\measuredangle C_1'B_1'A' + \measuredangle A'B_2'C_1'),} \\ {\measuredangle C_1B_2C_2 + \measuredangle C_2AC_1} & \equiv & {-(\measuredangle C_1'B_2'C_2' + \measuredangle C_2'A'C_1')} \end{array}\).

    and hence the result.

    The angle between arcs can be defined as the angle between its tangent half-lines at the common endpoint. Therefore under inversion, the angles between arcs are preserved up to sign.

    From Exercise 5.7.4, it follows that the angle between arcs with common endpoint A is the limit of \(\measuredangle P_1AP_2\) where \(P_1\) and \(P_2\) are points approaching \(A\) along the corresponding arcs. This observation can be used to define the angle between a pair of curves emerging from one point. It turns out that under inversion, angles between curves are also preserved up to sign.

    截屏2021-02-22 下午3.25.52.png

    Corollary \(\PageIndex{1}\)

    Let \(P\) be the inverse of point \(Q\) in a circle \(\Gamma\). Assume that \(P'\), \(Q'\), and \(\Gamma'\) are the inverses of \(P, Q\), and \(\Gamma\) in another circle \(\Omega\). Then \(P'\) is the inverse of \(Q'\) in \(\Gamma'\).


    截屏2021-02-22 下午3.38.51.png

    If \(P = Q\), then \(P'=Q' \in \Gamma'\). Therefore, \(P'\) is the inverse of \(Q'\) in \(\Gamma'\).

    It remains to consider the case \(P \ne Q\). Let \(\Delta_2\) and \(\Delta_2\) be two distinct circles that intersect at \(P\) and \(Q\). According to Corollary 10.5.2, \(\Delta_1 \perp \Gamma\) and \(\Delta_2 \perp \Gamma\).

    Let \(\Delta_1'\) and \(\Delta_2'\) denote the inverses of \(\Delta_1\) and \(\Delta_2\) in \(Omega\). Clearly, \(\Delta_1'\) meets \(\Delta_2'\) at \(P'\) and \(Q'\).

    By Theorem \(\PageIndex{1}\), \(\Delta_1' \perp \Gamma'\) and \(\Delta_2' \perp \Gamma'\). By Corollary 10.5.1, \(P'\) is the inverse of \(Q'\) in \(\Gamma'\).

    This page titled 10.6: Angles after inversion is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.