# 5.3: Measurement in Hyperbolic Geometry

$$\newcommand{\vecs}{\overset { \rightharpoonup} {\mathbf{#1}} }$$ $$\newcommand{\vecd}{\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 \|}$$ $$\newcommand{\inner}{\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 \|}$$ $$\newcommand{\inner}{\langle #1, #2 \rangle}$$ $$\newcommand{\Span}{\mathrm{span}}$$$$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

In this section, we develop a notion of distance in the hyperbolic plane. If someone is standing at point $$p$$ and wants to get to point $$q\text{,}$$ he or she should be able to say how far it is to get there, whatever the route taken.

The distance formula is derived following the approach given in Section $$30$$ of Boas' text . We first list features our distance function ought to have, and use the notation that $$d_H(p,q)$$ represents the hyperbolic distance from $$p$$ to $$q$$ in the hyperbolic plane $$\mathbb{D}\text{.}$$

1. The distance between $$2$$ distinct points should be positive.
2. The shortest path between $$2$$ points should be on the hyperbolic line connecting them.
3. If $$p,q\text{,}$$ and $$r$$ are three points on a hyperbolic line with $$q$$ between the other two then $$d_H(p,q) + d_H(q,r) = d_H(p,r)\text{.}$$
4. Distance should be preserved by transformations in $$\cal H\text{.}$$ (A lunch pail shouldn't shrink if it is moved to another table.) In other words, the distance formula should satisfy $d_H(p,q) = d_H(T(p),T(q))$ for any points $$p$$ and $$q$$ in $$\mathbb{D}\text{,}$$ and any transformation $$T$$ in $${\cal H}\text{.}$$
5. In the limit for small distances, hyperbolic distance should be proportional to Euclidean distance.

Perhaps the least obvious of the features listed is the last one. One theme of this text is that locally, on small scales, non-Euclidean geometry behaves much like Euclidean geometry. A small segment in the hyperbolic plane is approximated to the first order by a Euclidean segment. Small hyperbolic triangles look like Euclidean triangles and hyperbolic angles correspond to Euclidean angles; the hyperbolic distance formula will fit with this theme.

To find the distance function, start with a point's distance from the origin. Given a point $$z$$ in $$\mathbb{D}\text{,}$$ rotate about $$0$$ so that $$z$$ gets sent to the point $$x = |z|$$ on the positive real axis.

We may find a hyperbolic line $$L$$ about which $$x$$ gets reflected to the origin. Such a hyperbolic line is constructed in the proof of Theorem $$5.1.1$$. Recall, the line $$L$$ is on the circle centered at $$x^*$$ (the point symmetric to $$x$$ with respect to to $$\mathbb{S}^1_\infty$$) that goes through the points at which $$\mathbb{S}^1_\infty$$ intersects the circle with diameter $$0x^*\text{.}$$ Let $$x + h$$ be a point near $$x$$ on the positive real axis, and suppose $$x + h$$ gets inverted to the point $$w\text{,}$$ as depicted in Figure $$5.3.1$$. One can show (in Exercise $$5.3.1$$) that

$w = \frac{-h}{1 - x^2 - hx}\text{.}$ Figure $$\PageIndex{1}$$: Reflection of the hyperbolic plane sending $$x$$ to $$0$$ and $$x+h$$ to $$w\text{.}$$ (Copyright; author via source)

If distance is to be preserved by transformations in $${\cal H}\text{,}$$

$d_H(x,x+h) = d_H(0,w) \tag{1}\text{.}$

Also, $$0, x\text{,}$$ and $$x+h$$ are all on the same hyperbolic line (the real axis), so assuming $$h > 0$$

$d_H(0,x)+d_H(x,x+h) = d_H(0,x+h) \tag{2}\text{.}$

For $$x \in \mathbb{R}$$ define the function $$d(x) = d_H(0,x)$$ which is the hyperbolic distance of $$x$$ to the origin. Then (2) and (1) may be combined to give

$d(x+h)-d(x)=d(w)\text{.}$

Divide both sides by $$h$$ to get

$\frac{d(x+h)-d(x)}{h}=\frac{d(w)}{h}\text{.}$

As $$h \to 0$$ we obtain

$d^\prime(x) = \lim_{h \to 0} \frac{d(w)}{h}\text{.}$

We now interrupt this derivation with an important point. In the limit for small $$w\text{,}$$ the hyperbolic distance of $$w$$ from $$0$$, $$d(w)\text{,}$$ is proportional to the Euclidean distance $$|w - 0| = |w|\text{.}$$ Since $$w$$ is the image of $$x+h$$ under the inversion and $$x$$ gets inverted to $$0$$, it follows that $$w \to 0$$ as $$h \to 0\text{.}$$ So, we assume that

$\lim_{h \to 0} \frac{d(w)}{|w|} = k$

for some constant $$k\text{.}$$ Following convention, we set the constant of proportionality to $$k = 2\text{,}$$ as this makes length and area formulas look very nice later on. Now, back to the derivation.

\begin{align*} d^\prime(x) & = \lim_{h \to 0} \frac{d(w)}{h}\\ & = \lim_{h \to 0} \frac{d(w)}{|w|}\frac{|w|}{h}\\ & = \lim_{h \to 0} \bigg[ 2 \cdot \frac{h}{(1-x^2-hx)h} \bigg]\\ & = \frac{2}{1-x^2}\text{.} \end{align*}

To get back to the distance function $$d(x)$$ we integrate:

\begin{align*} \int \frac{2}{1-x^2} ~dx & = \int \bigg( \frac{1}{1-x} + \frac{1}{1+x}\bigg)~dx \tag{partial~fractions}\\ & = -\ln(1-x) + \ln(1+x)\\ d(x) & = \ln\left(\frac{1+x}{1-x}\right)\text{,} \end{align*}

so we arrive at the following distance formula.

##### The Hyperbolic Distance From $$0$$ to $$z$$.

The hyperbolic distance from $$0$$ to a point $$z$$ in $$\mathbb{D}$$ is

$d_H(0,z) = \ln\left(\frac{1+|z|}{1-|z|}\right)\text{.}$

Notice that if $$z$$ inches its way in $$\mathbb{D}$$ out toward the circle at infinity (i.e., $$|z| \to 1$$), the hyperbolic distance from $$0$$ to $$z$$ approaches $$\infty\text{.}$$ This is a good thing. Thinking of Euclid's postulates, this notion of distance satisfies one of our fundamental requirements: One can produce a hyperbolic segment to any finite length.

To arrive at a general distance formula $$d_H(p,q)\text{,}$$ observe something curious. The hyperbolic line through $$0$$ and $$x$$ has ideal points $$-1$$ and $$1$$. Furthermore, the expression $$\dfrac{(1+x)}{(1-x)}$$ corresponds to the cross ratio of the points $$0\text{,}$$ $$x\text{,}$$ $$1$$, and $$-1$$. In particular,

$(0,x;1,-1) = \frac{0 - 1}{0 + 1}\cdot \frac{x + 1}{x - 1} = \frac{1 + x}{1 - x}\text{.}$

Thus,

$d_H(0,x) = \ln((0,x;1,-1))\text{.}$

We can now derive a general distance formula, assuming the invariance of distance under transformations in $${\cal H}\text{.}$$ There is a transformation $$T$$ in $${\cal H}$$ that takes $$p$$ to the origin and $$q$$ to some spot on the positive real-axis, call this spot $$x$$ (see Figure $$5.3.2$$). Thus,

\begin{align*} d_H(p,q) & = d_H(T(p),T(q)) \tag{invariance of distance}\\ & = d_H(0,x)\\ & = \ln((0,x;1,-1))\\ & = \ln((p,q;u,v))\tag{invariance of cross ratio}\text{,} \end{align*}

where $$u$$ and $$v$$ are the ideal points of the hyperbolic line through $$p$$ and $$q\text{.}$$ To be precise, $$u$$ is the ideal point you would head toward as you went from $$p$$ to $$q\text{,}$$ and $$v$$ is the ideal point you would head toward as you went from $$q$$ to $$p\text{.}$$ Figure $$\PageIndex{2}$$: To find the distance between $$p$$ and $$q\text{,}$$ we may first transform $$p$$ to $$0$$ and $$q$$ to the positive real axis. (Copyright; author via source)

## SubsectionA: Working Formula for $$\mathbf{d_H(p,q)}$$

One may compute the hyperbolic distance between $$p$$ and $$q$$ by first finding the ideal points $$u$$ and $$v$$ of the hyperbolic line through $$p$$ and $$q$$ and then using the formula $$d_H(p,q)=\ln((p,q;u,v))\text{.}$$ In practice, finding coordinates for these ideal points can be a difficult task, and it is often simpler to compute the distance between points by first moving one of them to the origin. (This simpler approach uses the fact that hyperbolic distance is preserved under transformations in $$\cal H\text{.}$$ This fact will be proved shortly.)

One transformation in $${\cal H}$$ that sends $$p$$ to $$0$$ has the form

$T(z) = \frac{z-p}{1-\overline{p}z}\text{.}$

The map $$T$$ sends $$q$$ to some other point, $$T(q)\text{,}$$ in $$\mathbb{D}\text{.}$$ Assuming again that $$T$$ preserves distance, it follows that $$d_H(p,q) = d_H(0,T(q))\text{,}$$ and

$d_H(p,q) = \ln\left(\frac{1+|T(q)|}{1-|T(q)|}\right)\text{.}$

Making the substitution $$\displaystyle T(q) = \frac{q-p}{1-\overline{p}q}$$ provides us with the following working formula for the hyperbolic distance between two points.

##### Theorem $$\PageIndex{1}$$

Given two points $$p$$ and $$q$$ in $$\mathbb{D}\text{,}$$ the hyperbolic distance between them is

$d_H(p,q) = \ln\left[\frac{|1-\overline{p}q|+|q-p|}{|1-\overline{p}q|-|q-p|}\right]\text{.}$

##### Example $$\PageIndex{1}$$: The Distance Between Two Points

For instance, suppose $$p = \dfrac{1}{2}i\text{,}$$ $$q = \dfrac{1}{2} + \dfrac{1}{2}i\text{,}$$ $$z = .95e^{i5\pi/6}$$ and $$w=-.95\text{.}$$ Then $$d_H(p,q) \approx 1.49$$ units, while $$d_H(z,w) \approx 4.64$$ units. ### The Arc-Length Differential

Now that we can compute the distance between two points in the hyperbolic plane, we turn our attention to measuring the length of any path that takes us from $$p$$ to $$q\text{.}$$

##### Definition: Smooth Curve

A smooth curve is a differentiable map from an interval of real numbers to the plane

$\boldsymbol{r}: [a,b] \to \mathbb{C}$

such that $$\boldsymbol{r}^\prime(t)$$ exists for all $$t$$ and never equals $$0\text{.}$$

In the spirit of this text, we write $$\boldsymbol{r}(t) = x(t) + i y(t)\text{,}$$ in which case $$\boldsymbol{r}^\prime(t) = x^\prime(t) + iy^\prime(t)\text{.}$$

Recall that in calculus we first approximate the Euclidean length of a given smooth curve $$\boldsymbol{r}(t) = x(t) + iy(t)$$ by summing the contributions of small straight line segments having Euclidean length

\begin{align*} \Delta s & = |\boldsymbol{r}(t+\Delta t) - \boldsymbol{r}(t)|\\ & = \sqrt{[x(t + \Delta t) - x(t)]^2 + [y(t + \Delta t) - y(t)]^2}\\ & = \sqrt{\bigg[ \frac{x(t + \Delta t) - x(t)}{\Delta t}\bigg]^2 + \bigg[ \frac{y(t + \Delta t) - y(t)}{\Delta t}\bigg]^2} |\Delta t|\text{.} \end{align*}  As $$\Delta t \to 0$$ we obtain the Euclidean arc-length differential

$ds = \sqrt{(dx/dt)^2 + (dy/dt)^2}~dt\text{,}$

which may be expressed as

$ds = |\boldsymbol{r}^\prime(t)|~dt\text{.}$

For instance, we may compute the (Euclidean) circumference of a circle with radius $$a$$ as follows. Consider $$\boldsymbol{r}: [0, 2\pi] \to \mathbb{C}$$ by $$\boldsymbol{r}(t) = a \cos(t) + i a \sin(t)\text{.}$$ This map traces a circle of radius $$a$$ centered at the origin. To find the length of this curve, which we denote as $${\cal L}(\boldsymbol{r})\text{,}$$ compute the integral

\begin{align*} {\cal L}(\boldsymbol{r}) & = \int_0^{2\pi} |\boldsymbol{r}^\prime(t)|~dt\\ & = \int_0^{2\pi} |-a\sin(t) + i a \cos(t)|~dt\\ & = \int_0^{2\pi}\sqrt{a^2 \sin^2(t) + a^2 \cos^2(t)}~dt\\ & = \int_0^{2\pi} a ~dt\\ & = 2\pi a\text{.} \end{align*}

In the hyperbolic plane, we may deduce the arc-length differential by a similar argument. Suppose $$\boldsymbol{r}$$ is a smooth curve in $$\mathbb{D}$$ given by $$\boldsymbol{r}(t) = x(t) + iy(t)\text{,}$$ for $$a \leq t \leq b\text{.}$$ One may approximate the length of a tiny portion of the curve, say from $$\boldsymbol{r}(t)$$ to $$\boldsymbol{r}(t + \Delta t)\text{,}$$ by the hyperbolic distance between these two points, $$d_H(\boldsymbol{r}(t), \boldsymbol{r}(t + \Delta t))\text{.}$$ To compute this distance, we first send the point $$\boldsymbol{r}(t)$$ to 0 by the transformation

$T(z) = \dfrac{z-\boldsymbol{r}(t)}{1-\overline{\boldsymbol{r}(t)}z}\text{,}$

so that

$d_H(\boldsymbol{r}(t),\boldsymbol{r}(t+\Delta t)) = \ln[1 + |T(\boldsymbol{r}(t+\Delta t))|]-\ln[1 - |T(\boldsymbol{r}(t+\Delta t))|]\text{.}$

To arrive at an arc-length differential, we want to let $$\Delta t$$ approach $$0$$. As this happens, $$T(\boldsymbol{r}(t+\Delta t))$$ approaches $$T(\boldsymbol{r}(t))\text{,}$$ which is 0. From calculus we also know that $$\ln(1+x) \approx x$$ for $$x$$ very close to 0. Thus, for small $$\Delta t\text{,}$$ we have

\begin{align*} d_H(\boldsymbol{r}(t),\boldsymbol{r}(t+\Delta t)) & \approx |T(\boldsymbol{r}(t+\Delta t))| + |T(\boldsymbol{r}(t+\Delta t))|\\ & =2\cdot \left| \frac{\boldsymbol{r}(t+\Delta t) - \boldsymbol{r}(t)}{1 - \overline{\boldsymbol{r}(t)}\boldsymbol{r}(t+\Delta t)}\right|\\ & =2\cdot \frac{\left|\frac{\boldsymbol{r}(t+\Delta t) - \boldsymbol{r}(t)}{\Delta t}\right|}{|1 - \overline{\boldsymbol{r}(t)}\boldsymbol{r}(t+\Delta t)|}\cdot | \Delta t |\text{.} \end{align*}

Now, as $$\Delta t \to 0\text{,}$$ the numerator in the above quotient goes to $$|\boldsymbol{r}^\prime(t)|$$ and the denominator goes to $$1 - |\boldsymbol{r}(t)|^2\text{,}$$ and we arrive at the following hyperbolic arc-length differential.

##### Definition: Length of $$r$$

If $$\boldsymbol{r}: [a,b] \to \mathbb{D}$$ is a smooth curve in the hyperbolic plane, define the length of $$\boldsymbol{r}$$, denoted $${\cal L}(\boldsymbol{r})\text{,}$$ to be

${\cal L}(\boldsymbol{r}) = \int_a^b \frac{2}{1 - |\boldsymbol{r}(t)|^2}~|\boldsymbol{r}^\prime(t)|dt\text{.}$

One can immediately check that the hyperbolic distance between two points in $$\mathbb{D}$$ corresponds to the length of the hyperbolic line segment connecting them.

##### Theorem $$\PageIndex{2}$$

The arc-length defined above is an invariant of hyperbolic geometry. That is, if $$\boldsymbol{r}$$ is a smooth curve in $$\mathbb{D}\text{,}$$ and $$T$$ is any transformation in $$\cal H\text{,}$$ then $${\cal L}(\boldsymbol{r}) = {\cal L}(T(\boldsymbol{r}))\text{.}$$

The proof of this theorem is left as an exercise. One can prove that hyperbolic reflections preserve arc-length as well. This should come as no surprise, given the construction of the distance formula at the start of this section. Still, one can prove this fact from our definition of arc-length (Exercise $$5.3.6$$). Thus, all hyperbolic reflections and all transformations in $$\cal H$$ are hyperbolic isometries: they preserve the hyperbolic distance between points in $$\mathbb{D}\text{.}$$

Another consequence of the invariance of distance, when applied to hyperbolic rotations, is the following:

##### Corollary $$\PageIndex{1}$$

All points on a hyperbolic circle centered at $$p$$ are equidistant from $$p\text{.}$$

Proof

Suppose $$u$$ and $$v$$ are on the same hyperbolic circle centered at $$p\text{.}$$ That is, these points are on the same type II cline with respect to $$p$$ and $$p^*\text{,}$$ so there exists a hyperbolic rotation that fixes $$p$$ and maps $$u$$ to $$v\text{.}$$ Thus, $$d_H(p,u) = d_H(T(p),T(u)) = d_H(p,v)\text{.}$$ It follows that any two points on the hyperbolic circle centered at $$p$$ are equidistant from $$p\text{.}$$

We are now in a position to argue that in the hyperbolic plane, the shortest path (geodesic) connecting two points $$p$$ and $$q$$ is along the hyperbolic line through them.

##### Theorem $$\PageIndex{3}$$

Hyperbolic lines are geodesics; that is, the shortest path between two points in $$(\mathbb{D},{\cal H})$$ is along the hyperbolic segment between them.

Proof Sketch

We first argue that the geodesic from $$0$$ to a point $$c$$ on the positive real axis is the real axis itself.

Suppose $$\boldsymbol{r}(t) = x(t) + iy(t)$$ for $$a \leq t \leq b\text{,}$$ is an arbitrary smooth curve from $$0$$ to $$c$$ (so $$\boldsymbol{r}(a) = 0$$ and $$\boldsymbol{r}(b) = c$$).

Suppose further that $$x(t)$$ is nondecreasing (if our path backtracks in the $$x$$ direction, we claim the path cannot possibly be a geodesic). Then

${\cal L}(\boldsymbol{r}) = \int_a^b\frac{2}{1-[(x(t))^2 + (y(t))^2]}\sqrt{(x^\prime(t))^2 + (y^\prime(t))^2}~dt.$

The hyperbolic line segment from $$0$$ to $$c$$ can be parameterized by $$\boldsymbol{r}_0(t) = x(t) + 0i$$ for $$a \leq t \leq b\text{,}$$ which has length

${\cal L}(\boldsymbol{r}_0) = \int_a^b\frac{2}{1-[x(t)]^2}\sqrt{(x^\prime(t))^2}~dt\text{.}$

The curve $$\boldsymbol{r}_0$$ is essentially the shadow of $$\boldsymbol{r}$$ on the real axis.

One can compare the integrands directly to see that $${\cal L}(\boldsymbol{r}) \geq {\cal L}(\boldsymbol{r}_0)\text{.}$$

Since transformations in $${\cal H}$$ preserve arc-length and hyperbolic lines, it follows that the shortest path between any two points in $$\mathbb{D}$$ is along the hyperbolic line through them.

##### Corollary $$\PageIndex{2}$$

The hyperbolic distance function is a metric on the hyperbolic plane. In particular, for any points $$p,q,u$$ in $$\mathbb{D}$$

1. $$d_H(p,q) \geq 0\text{,}$$ and $$d_H(p,q)=0$$ if and only if $$p = q\text{;}$$
2. $$d_H(p,q) = d_H(q,p)\text{;}$$ and
3. $$d_H(p,q)+d_H(q,u) \geq d_H(p,u)\text{.}$$
Proof

Recall our formula for the hyperbolic distance between two points in Theorem $$5.3.1$$:

$d_H(p,q) = \ln\left[\frac{|1-\overline{p}q|+|q-p|}{|1-\overline{p}q|-|q-p|}\right].$

This expression is always non-negative because the quotient inside the natural log is always greater than or equal to $$1$$. In fact, the expression equals $$1$$ (so that the distance equals $$0$$) if and only if $$p = q\text{.}$$

Note further that this formula is symmetric. Interchanging $$p$$ and $$q$$ leaves the distance unchanged.

Finally, the hyperbolic distance formula satisfies the triangle inequality because hyperbolic lines are geodesics.  In Euclidean geometry, one uses perpendicular bisectors to construct the circle through three noncollinear points. This construction can break down in hyperbolic geometry. Consider the three points $$p, q\text{,}$$ and $$r$$ in Figure $$5.3.3$$. The corresponding perpendicular bisectors do not intersect. There is no point in $$\mathbb{D}$$ hyperbolic equidistant from all three of these points. In particular, in hyperbolic geometry, there need not be a hyperbolic circle through three noncollinear points. Figure $$\PageIndex{3}$$: Three noncollinear points need not determine a circle in hyperbolic geometry. (Copyright; author via source)

## Exercises

##### Exercise $$\PageIndex{1}$$

Suppose $$0\lt x \lt 1$$ and $$L$$ is a hyperbolic line about which $$x$$ gets inverted to the origin. (Such an inversion was constructed in Theorem $$5.1.1$$.) For a real number $$h\text{,}$$ let $$w$$ be the image of $$x+h$$ under this inversion. Prove that $$w = \dfrac{-h}{1-x^2-hx}\text{.}$$

##### Exercise $$\PageIndex{2}$$

Determine a point in $$\mathbb{D}$$ whose hyperbolic distance from the origin is $$2,003,007.4$$ units.

##### Exercise $$\PageIndex{3}$$

Suppose $$L$$ is any hyperbolic line, and $$C$$ is any cline through the ideal points of $$L\text{.}$$ For any point $$z$$ on $$L\text{,}$$ its perpendicular distance to $$C$$ is the length of the hyperbolic segment from $$z$$ to $$C$$ that meets $$C$$ at right angles. Prove that the perpendicular distance from $$C$$ to $$L$$ is the same at every point of $$L\text{.}$$ Hint: Use the fact that distance is an invariant of hyperbolic geometry.

##### Exercise $$\PageIndex{4}$$

Determine the hyperbolic distance from the point $$p = 0.5$$ to the point $$q = 0.25 + 0.5i\text{.}$$

##### Exercise $$\PageIndex{5}$$

Prove Theorem $$5.3.2$$.

##### Exercise $$\PageIndex{6}$$

Hyperbolic reflections preserve distance in $$(\mathbb{D},{\cal H})$$

1. Use the definition of arc-length to prove that hyperbolic reflection about the real axis preserves arc-length.
2. Use part (a) and Theorem $$5.3.2$$ to argue that hyperbolic reflection about any hyperbolic line preserves arc-length in $$(\mathbb{D}, {\cal H})\text{.}$$
##### Exercise $$\PageIndex{7}$$

Suppose $$z_0$$ is in the hyperbolic plane and $$r > 0\text{.}$$ Prove that the set $$C$$ consisting of all points $$z$$ in $$\mathbb{D}$$ such that $$d_H(z,z_0) = r$$ is a Euclidean circle.

This page titled 5.3: Measurement in 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; a detailed edit history is available upon request.