Skip to main content
Mathematics LibreTexts

5.2: Figures of Hyperbolic Geometry

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

    The Euclidean transformation group, \(\cal E\text{,}\) consisting of all (Euclidean) rotations and translations, is generated by reflections about Euclidean lines. Similarly, the transformations in \({\cal H}\) are generated by hyperbolic reflections, which are inversions about clines that intersect the unit circle at right angles. This suggests that these clines ought to be the lines of hyperbolic geometry.

    Definition: Hyperbolic Line, Ideal Point, and Parallel

    A hyperbolic line in \((\mathbb{D},{\cal H})\) is the portion of a cline inside \(\mathbb{D}\) that is orthogonal to the circle at infinity \(\mathbb{S}^1_\infty\text{.}\) A point on \(\mathbb{S}^1_\infty\) is called an ideal point. Two hyperbolic lines are parallel if they share one ideal point.

    im-hyplines.svg
    Figure \(\PageIndex{1}\): A few hyperbolic lines in the Poincaré disk model. (Copyright; author via source)
    Theorem \(\PageIndex{1}\)

    There exists a unique hyperbolic line through any two distinct points in the hyperbolic plane.

    Proof

    Let \(p\) and \(q\) be arbitrary points in \(\mathbb{D}\text{.}\) Construct the point \(p^*\) symmetric to \(p\) with respect to the unit circle, \(\mathbb{S}^1_\infty\text{.}\) Then there exists a cline through \(p, q\) and \(p^*\text{,}\) and this cline will be orthogonal to \(\mathbb{S}^1_\infty\text{,}\) so it gives a hyperbolic line through \(p\) and \(q\text{.}\) Since there is just one cline through \(p, q\) and \(p^*\text{,}\) this hyperbolic line is unique.

    Which hyperbolic lines happen to be portions of Euclidean lines (instead of Euclidean circles)? A Euclidean line intersects a circle at right angles if and only if it goes through the center of the circle. Thus, the only hyperbolic lines that also happen to be Euclidean lines are those that go through the origin.

    One may also use a symmetric points argument to arrive at this last fact. Any Euclidean line goes through \(\infty\text{.}\) To be a hyperbolic line (i.e., to be orthogonal to \(\mathbb{S}^1_\infty\)), the line must also pass through the point symmetric to \(\infty\) with respect to the unit circle. This point is \(0\). Thus, to be a hyperbolic line in \((\mathbb{D},{\cal H})\text{,}\) a Euclidean line must go through the origin.

    Theorem \(\PageIndex{2}\)

    Any two hyperbolic lines are congruent in hyperbolic geometry.

    Proof

    We first show that any given hyperbolic line \(L\) is congruent to the hyperbolic line on the real axis. Suppose \(p\) is a point on \(L\text{,}\) and \(v\) is one of its ideal points. By Lemma \(5.1.1\) there is a transformation \(T\) in \({\cal H}\) that maps \(p\) to \(0\), \(v\) to \(1\), and \(p^*\) to \(\infty\text{.}\) Thus \(T(L)\) is the portion of the real axis inside \(\mathbb{D}\text{,}\) and \(L\) is congruent to the hyperbolic line on the real axis. Since any hyperbolic line is congruent to the hyperbolic line on the real axis, the group nature of \(\cal H\) ensures that any two hyperbolic lines are congruent.

    im-hyplinescong.svg
    Figure \(\PageIndex{2}\): Any hyperbolic line is congruent to the hyperbolic line on the real axis. (Copyright; author via source)
    Theorem \(\PageIndex{3}\)

    Given a point \(z_0\) and a hyperbolic line \(L\) not through \(z_0\text{,}\) there exist two distinct hyperbolic lines through \(z_0\) that are parallel to \(L\text{.}\)

    Proof

    Consider the case where \(z_0\) is at the origin. The line \(L\) has two ideal points, call them \(u\) and \(v\text{,}\) as in Figure \(5.2.3\). Moreover, since \(L\) does not go through the origin, Euclidean segment \(uv\) is not a diameter of the unit circle. Construct one Euclidean line through \(0\) and \(u\text{,}\) and a second Euclidean line through \(0\) and \(v\text{.}\) (These lines will be distinct because \(uv\) is not a diameter of the unit circle.) Each of these lines is a hyperbolic line through \(0\), and each shares exactly one ideal point with \(L\text{.}\) Thus, each is parallel to \(L\text{.}\) The fact that the result holds for general \(z_0\) is left as an exercise.

    im-hypparallel.svg
    Figure \(\PageIndex{3}\): Through a point not on a given hyperbolic line \(L\) there exist two hyperbolic lines parallel to \(L\text{.}\) (Copyright; author via source)

    Figure \(5.2.3\) illustrates an unusual feature of parallel lines in hyperbolic geometry: there is no notion of transitivity. In Euclidean geometry we know that if line \(L\) is parallel to line \(M\text{,}\) and line \(M\) is parallel to line \(N\text{,}\) then line \(L\) is parallel to line \(N\text{.}\) This is not the case in hyperbolic geometry.

    Example \(\PageIndex{1}\): Hyperbolic Triangles

    Three points in the hyperbolic plane \(\mathbb{D}\) that are not all on a single hyperbolic line determine a hyperbolic triangle. The hyperbolic triangle \(\Delta pqr\) is pictured below. The sides of the triangle are portions of hyperbolic lines.

    Are all hyperbolic triangles congruent? No. Since transformations in \(\cal H\) are Möbius transformations they preserve angles, so triangles with different angles are not congruent.

    im-hyptri.svg

    The next section develops a distance function for the hyperbolic plane. As in Euclidean geometry, we want to be able to compute the distance between two points, the length of a path, the area of a region, and so on. Moreover, the distance function should be an invariant; the distance between points should not change under a transformation in \({\cal H}\text{.}\) With this in mind, consider again a hyperbolic rotation about a point \(p\text{,}\) as in Figure \(5.1.3\)(a). It fixes the point \(p\) and moves points around type II clines of \(p\) and \(p^*\text{.}\) If the distance between points is unchanged under transformations in \({\cal H}\text{,}\) then all points on a given type II cline of \(p\) and \(p^*\) will be the same distance away from \(p\text{.}\) This leads us to define a hyperbolic circle as follows.

    Definition: Hyperbolic Circle

    Suppose \(p\) is any point in \(\mathbb{D}\text{,}\) and \(p^*\) is the point symmetric to \(p\) with respect to the unit circle. A hyperbolic circle centered at \(\boldsymbol{p}\) is a Euclidean circle \(C\) inside \(\mathbb{D}\) that is a type II circle of \(p\) and \(p^*\text{.}\)

    im-hypcircledef.svg
    Figure \(\PageIndex{4}\): A hyperbolic circle centered at \(p\) through \(q\text{.}\) (Copyright; author via source)

    Figure \(5.2.4\) shows a typical hyperbolic circle. This circle is centered at point \(p\) and contains point \(q\text{.}\) Construction of such a circle may be achieved with compass and ruler as in Exercise \(5.2.5\).

    Theorem \(\PageIndex{4}\)

    Given any points \(p\) and \(q\) in \(\mathbb{D}\text{,}\) there exists a hyperbolic circle centered at \(p\) through \(q\text{.}\)

    Proof

    Given \(p, q \in \mathbb{D}\text{,}\) construct \(p^*\text{,}\) the point symmetric to \(p\) with respect to \(\mathbb{S}^1_\infty\text{.}\) Then by Exercise \(3.5.15\) there exists a type II cline of \(p\) and \(p^*\) that goes through \(q\text{.}\) This type II cline lives within \(\mathbb{D}\) because \(\mathbb{S}^1_\infty\) is also a type II cline of \(p\) and \(p^*\text{,}\) and distinct type II clines cannot intersect. This type II cline is the hyperbolic circle centered at \(p\) through \(q\text{.}\)

    Exercises

    Exercise \(\PageIndex{1}\)

    Suppose \(C\) is a hyperbolic circle centered at \(z_0\) through point \(p\text{.}\) Show that there exists a hyperbolic line \(L\) tangent to \(C\) at \(p\text{,}\) and that \(L\) is perpendicular to hyperbolic segment \(z_0p\text{.}\)

    Exercise \(\PageIndex{2}\)

    Constructing a hyperbolic line through two given points.

    1. Given a point \(p\) in \(\mathbb{D}\text{,}\) construct the point \(p^*\) symmetric to \(p\) with respect to the unit circle (see Figure \(3.2.6\)).
    2. Suppose \(q\) is a second point in \(\mathbb{D}\text{.}\) Construct the cline through \(p\text{,}\) \(q\text{,}\) and \(p^*\text{.}\) Call this cline \(C\text{.}\) Explain why \(C\) intersects the unit circle at right angles.
    3. Consider the portion of cline \(C\) you constructed in part (b) that lies in \(\mathbb{D}\text{.}\) This is the unique hyperbolic line through \(p\) and \(q\text{.}\) Mark the ideal points of this hyperbolic line.
    Exercise \(\PageIndex{3}\)

    Can two distinct hyperbolic lines be tangent at some point in \(\mathbb{D}\text{?}\) Explain.

    Exercise \(\PageIndex{4}\)

    Suppose \(L\) is a hyperbolic line that is part of a circle \(C\text{.}\) Can the origin of the complex plane be in the interior of \(C\text{?}\) Explain.

    Exercise \(\PageIndex{5}\)

    Constructing a hyperbolic circle centered at a point \(p\) through a point \(q\).

    Suppose \(p\) and \(q\) are two points in \(\mathbb{D}\text{,}\) and that \(q\) is not on the line through \(p\) and \(p^*\) - the point symmetric to \(p\) with respect to the unit circle.

    1. Find the center of the Euclidean circle through \(p\text{,}\) \(p^*\text{,}\) and \(q\text{.}\) Call the center point \(o\text{.}\)
    2. Construct the segment \(oq\text{.}\)
    3. Construct the perpendicular to \(oq\) at \(q\text{.}\) This perpendicular intersects the Euclidean line through \(p\) and \(p^*\text{.}\) Call the intersection point \(o^\prime\text{.}\)
    4. Construct the Euclidean circle centered at \(o^\prime\) through \(q\text{.}\)
    5. Prove that this circle is the hyperbolic circle through \(q\) centered at \(p\text{.}\)
    Exercise \(\PageIndex{6}\)

    Explain why Theorem \(5.2.3\) applies in the general case, when \(z_0\) is not at the origin.

    Exercise \(\PageIndex{7}\)

    Given a point and a hyperbolic line not passing through it, prove that there is a hyperbolic line through the point that is perpendicular to the given line. Is this perpendicular unique?


    This page titled 5.2: Figures of Hyperbolic Geometry 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.