Tangent circles in the hyperbolic disk Rose- Hulman

advertisement
RoseHulman
Undergraduate
Mathematics
Journal
Tangent circles in the
hyperbolic disk
Megan Ternesa
Volume 14, No. 1, Spring 2013
Sponsored by
Rose-Hulman Institute of Technology
Department of Mathematics
Terre Haute, IN 47803
Email: mathjournal@rose-hulman.edu
http://www.rose-hulman.edu/mathjournal
a Aquinas
College
Rose-Hulman Undergraduate Mathematics Journal
Volume 14, No. 1, Spring 2013
Tangent circles in the hyperbolic disk
Megan Ternes
Abstract. Constructions of tangent circles in the hyperbolic disk, interpreted in
Euclidean geometry, give us examples of four mutually tangent circles. These are
shown to satisfy Descartes’s Theorem for tangent circles. We also show that the
Archimedes twin circles in the hyperbolic arbelos are usually not hyperbolic congruent, even though they are Euclidean congruent. We include a few construction
instructions because all items under consideration require surprisingly few steps.
Acknowledgements: We would like to thank those who sponsored the Mohler-Thompson
Summer Research Grant for making this research experience possible. I would also like to
thank Dr. Elizabeth Jensen and Dr. Chad Gunnoe for organizing the free on-campus
housing for the summer’s student researchers, Dr. Michael McDaniel for including me in
this project and giving me this opportunity, the referee who reviewed this paper, and David
Rader, editor of the Rose-Hulman Undergraduate Mathematics Journal.
PAGE 14
1
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Introduction
In this quick trip to the Poincaré disk model of hyperbolic geometry, we use compass and
straightedge to create unusual combinations of tangent circles, circles that touch at a single point,
where if you take the tangent line of that point for each circle, they will be the exact same line,
and use nifty shortcuts to keep the creation processes brief. We prove the short-cuts and their
applications, including a proof that the Archimedes Twin Circles are not congruent in hyperbolic
geometry. Our work uses constructions to create our examples and support our proofs. We invite
the reader to make her or his own versions using compass and straightedge or dynamic geometry
software.
2
Background
Among the axioms underlying Euclidean geometry, there are five that get special attention.
Other geometries use some of these same axioms, but they may not use all of them. Axioms are
statements that are universally accepted as true without requiring a proof. Hyperbolic geometry
follows the first four of these axioms, but not the fifth axiom, the Parallel Postulate.
One negation of the Parallel Postulate says, “Through a point not on a line, there are
many lines parallel to the given line.” The only way for Euclidean-mode creatures like us to see
such lines is to let them appear bent. The geometry for this bent space is called hyperbolic
geometry. Henri Poincaré defined a disk model of hyperbolic geometry in which Euclidean
axioms, like two points determine a line, are true, along with the negation of the Parallel
Postulate mentioned above.
The Poincaré disk is made of the Euclidean points inside a unit disk, not including the
boundary. These points have no size of their own, they just mark locations within the disk. The
hyperbolic lines are diameters of the disk and arcs of circles orthogonal to the boundary of the
disk, that is, the angles at the points where the disk and hyperbolic line meet are π /2 radians. The
center of the disk is called O. In hyperbolic geometry, the angle sum of a triangle can be
anything between 0 and π radians. Hyperbolic distance is not the same as Euclidean distance
because the length of a segment depends on its location in the disk relative to the boundary. A
small segment near O is much shorter than a segment of the same Euclidean size near the
boundary. A hyperbolic circle looks Euclidean, but the position of its hyperbolic center depends
on the circle’s location. That means any hyperbolic circle whose center is not O has two centers:
one Euclidean and one hyperbolic, E and H in Figure 1 respectively.
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 15
Figure 1: Hyperbolic circle with Euclidean and hyperbolic centers.
The first axiom states that two points determine a line. Suppose you have two points A
and B inside the disk. When the two points are collinear with the center O, the hyperbolic line is
simply the diameter of the disk. When the two points are not collinear with O, it can be
confirmed that we really have a hyperbolic line by making sure that the line goes through a point
and that point’s inverse, which is outside of the hyperbolic space. If A is the point we are starting
with, then let the inversion of A across the boundary be called
. All hyperbolic lines that pass
through A are also going to pass through
. Point B can be anywhere else inside the disk. We
then have three points and can make a Euclidean circle that will be orthogonal to the disk and
will therefore be a hyperbolic line. Drawing the circle simply requires finding the intersection of
the perpendicular bisectors of two segments made from our three points.
Euclid’s second axiom is that lines extend indefinitely. Although this appears not to be
the case in hyperbolic geometry, hyperbolic lines only have finite Euclidean length. The
hyperbolic distance formula where A and B are points inside the space and C and D are where the
hyperbolic line through A and B intersects the boundary is the absolute value of ln(
),
with complex coordinates.
That circles exist is the third axiom. Hyperbolic circles are Euclidean circles, but their
hyperbolic centers are not the same as the Euclidean centers unless the hyperbolic circle is
centered at O. The Euclidean center of a hyperbolic circle has no hyperbolic significance, but it
is useful in constructing hyperbolic circles or finding hyperbolic centers.
The fourth axiom says that all right angles are equal. Angles in hyperbolic geometry are
measured by their tangent lines, and of course right angles are always π /2 radians.
Euclid’s fifth axiom, the Parallel Postulate, states that through a point not on a line, there
is exactly one line through that point which is parallel to the original line. Due to the curvature of
hyperbolic space though, there are many hyperbolic lines that can pass through a point not on a
given line which are parallel to that line. Figure 2 depicts a few hyperbolic lines through a point
P not on the given red hyperbolic line, which never touch the red hyperbolic line and are
therefore parallel to that hyperbolic line.
PAGE 16
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Figure 2: Hyperbolic parallel lines.
Constructions in the hyperbolic disk employ inversion of points across the boundary
̅̅̅̅
circle. For a point P in the disk, there exists a point
on ray ⃗⃗⃗⃗⃗ such that
̅̅̅̅̅̅̅. We will not need the construction of inversion [Goodman-Strauss], but we do need its
properties: any circle through a point and its inverse is orthogonal to the boundary circle. This is
a handy way to make sure a circle we construct actually contains a hyperbolic line. We may use
points like
on ray ⃗⃗⃗⃗⃗ outside the disk because we are using Euclidean construction tools to
make our hyperbolic objects.
3
Our Hyperbolic Toolbox
There are some excellent tricks for constructing hyperbolic objects and geometers have probably
known many moves without publishing them [Goodman-Strauss]. Certainly constructions for the
hyperbolic midpoint, angle bisector, and other basics have been known quite a while [Ross],
[McDaniel]. Here are construction steps for a few structures that are quick and easy to do, and
we prove why these shortcut steps work.
Let’s start by making a simple hyperbolic line so we have something to work with. All
we need to build a hyperbolic line is two tangent lines. Specifically, for two points A and B on
the boundary, their tangents meet at the center, C, of a circle orthogonal to circle O, through A
and B.
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 17
Figure 3: Simple hyperbolic line construction.
Proposition 1: Given hyperbolic segment ̅̅̅̅ , construct the hyperbolic midpoint M by first
constructing E, the intersection of the tangents at A and B. The intersection of ⃗⃗⃗⃗⃗ and ̅̅̅̅ is M.
Figure 4: The hyperbolic midpoint construction.
Proof: The ray ⃗⃗⃗⃗⃗ is orthogonal to circle E since E is the Euclidean center. Then the ray ⃗⃗⃗⃗⃗
contains the hyperbolic center of circle E. The segment ̅̅̅̅ is also a diameter of circle E since it
is part of the given hyperbolic line and we built circle E orthogonal to this line. Therefore, their
intersection, M, is the hyperbolic center of circle E. This makes ̅̅̅̅̅ and ̅̅̅̅̅ hyperbolic radii of
the same circle, having the same hyperbolic length.
■
Proposition 2: Given a hyperbolic isosceles triangle with vertex O, the incircle may be
constructed as follows. The Euclidean line perpendicular to ⃗⃗⃗⃗⃗ through D, the Euclidean center
of the base of the isosceles triangle, intersects the Euclidean circle containing the base at the
point F on the other side of D from ray ⃗⃗⃗⃗⃗ . The point C is the Euclidean and hyperbolic
midpoint of the base, easily found by drawing the Euclidean segment ̅̅̅̅ , intersecting ̅̅̅̅ at C.
The Euclidean ray ⃗⃗⃗⃗⃗ intersects ⃗⃗⃗⃗⃗ at Y, a point of tangency for the desired incircle. The
Euclidean line perpendicular to ⃗⃗⃗⃗⃗ at Y intersects ⃗⃗⃗⃗⃗ at the incenter I.
PAGE 18
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Figure 5: A point of tangency.
Proof: Given an isosceles hyperbolic triangle with a vertex at O, it can be proved that line ⃡⃗⃗ is
perpendicular to hyperbolic segment ̅̅̅̅, and thus that Y is the point of tangency on ̅̅̅̅ of the
incircle. The ray ⃗⃗⃗⃗⃗ is the angle bisector of ∠AOB, so the Euclidean incenter lies somewhere
along that ray between O and C. Point F is the center of the hyperbolic angle bisector of ∠OBA.
To see that this is so, we modify Figure 5 and draw the perpendiculars which go with the
tangents in question.
Figure 6: Point F is center of hyperbolic angle bisector.
The following angle sums are all 90 degrees:
∠LBF + ∠FBN = ∠KBL + ∠LBF and ∠OBK + ∠FBN + ∠NBM = ∠NFB + ∠FBN + ∠NBM. The
Euclidean isosceles triangle FBN gives us ∠NFB = ∠FBN. These equations imply ∠OBK =
∠KBL. The remainder of the proof uses Figure 5.
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 19
Thus, C is the intersection of hyperbolic line ⃡⃗⃗⃗⃗ and ∠AOB’s angle bisector. Point Y is the
intersection of Euclidean line ⃡⃗⃗⃗ and hyperbolic segment ̅̅̅̅, so points F, C, and Y are collinear.
Segments ̅̅̅̅ and ̅̅̅̅ are radii of circle D and are therefore the same Euclidean length. Segment
̅̅̅̅ is then the third side of isosceles triangle CDF, meaning ∠FCD and ∠CFD are equal. Lines
⃡⃗⃗⃗⃗ and ⃡⃗⃗⃗ intersect at point C, making ∠FCD and ∠YCI vertical angles. Since Y and C are both
points on the circle with center I, ̅̅̅ and ̅̅̅ are Euclidean radii and the same Euclidean length.
Segment ̅̅̅̅ is then the third side of a second isosceles triangle, and since ∠YCI was shown to be
the same as ∠FCD and ∠CFD, then ∠CYI must also be the same size. The angles formed by
lines ⃡⃗⃗ , ⃡⃗⃗⃗ , and ⃡⃗⃗⃗⃗ show that the lines are an example of alternate interior angles, and that ⃡⃗⃗
is therefore parallel to line ⃡⃗⃗⃗⃗ . Line ⃡⃗⃗ must be perpendicular to ⃡⃗⃗⃗⃗ then, because line ⃡⃗⃗⃗⃗ is the
perpendicular bisector of ̅̅̅̅̅̅̅ which is on line ⃡⃗⃗⃗⃗ .
■
4
Descartes’s Theorem in the Hyperbolic Disk
In this section we find mutually tangent circles where three of the circles are also hyperbolic
lines. Our first excursion into the tangent circles which we find in hyperbolic geometry will be
an example of Descartes’s Theorem for mutually tangent circles [Wells]. The theorem says if
four circles are mutually tangent then the curvatures k1, k2, k3, and k4 satisfy the equation
(1)
Any reader handy with constructions is urged to construct four mutually tangent circles:
some planning is required. All the construction marks for our example are in the figure below: a
remarkably economic use of a few circles and lines in order to get four circles, each one of which
is tangent to the other three. These are circles centered at A, B, G and C. (There are other ways to
arrange four mutually tangent circles besides one circle containing the other three.)
PAGE 20
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Figure 7: Four tangent circles A, C, G, B.
The construction starts with circle O and a pair of perpendicular radii. Finishing the
square gives us G, the center of a circle orthogonal to circle O and with the same size Euclidean
radius as circle O. The position of point A can be anywhere along that side of the square and the
construction holds. The choice of A decides the tangent at T used to find point B, giving two
hyperbolic lines, circles A and B.
Proposition 3: For this arrangement of hyperbolic lines in a quadrant of the hyperbolic disk, the
radical axis of circle O and the hyperbolic line the same Euclidean size as circle O intersects
these two interior hyperbolic lines at the points of tangency of a fourth circle, which is also
tangent to the first hyperbolic line.
Proof. Let’s assign the radii a and b to circles A and B, respectively. We will set the radius of the
hyperbolic disk, which has the same radius of the first hyperbolic line, to 1. The Pythagorean
Theorem applied to the right triangle ABC gives us
(2)
Equation (2) simplifies to
(3)
Our construction uses the meeting of the Euclidean lines ⃡⃗⃗⃗⃗ and ⃡⃗⃗⃗ to give the center C
of a circle tangent to circles A and B. The dimensions of rectangle AGBC show the radius of the
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 21
fourth circle is also
! We built circle C tangent to circles A and B; we will now verify it
is tangent to the outer circle.
We can show that circle C contains the intersection
of the line ⃡⃗⃗⃗ and circle G.
The equations
( )
and
combined with
give us
and
is ab from point C.
The square of the distance is
. All we have to do now is establish this ordered pair
(
)
(
(
(
(
(
)
)
(
)
(
)
(
)
)
)
)
(
)
■
There is another circle we can construct tangent to three hyperbolic lines in this figure,
with very little work. Since any diameter of the disk is a hyperbolic line, we could send two more
hyperbolic lines through O which intersect the known points of tangency J and K. This allows us
to apply our toolbox shortcut for the incircle of an isosceles hyperbolic triangle with a vertex at
O. Our new circle has center W in Figure 8. Since inversion preserves incidence, we know circle
W is tangent to the circles G, B and A.
Knowing they are mutually tangent means we can use Descartes’s Theorem to calculate
the radius of circle W. Recall the theorem says that the curvatures k1, k2, k3, and k4 of four
mutually tangent circles satisfy the equation (1). There is one more little hassle: when one of the
mutual tangent circles contains the other three, its curvature takes a negative sign in the equation.
Some authors call this signed curvature the bend.
PAGE 22
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Figure 8: Another example of Descartes’s theorem.
The radius of circle W turns out to be
; the interested reader may find this value
by letting the unknown radius be x in Descartes’s theorem and rewriting the theorem as a
quadratic, (the other root of the quadratic is the radius of the first circle, ab, because we are using
the same three circles to find the fourth.) So, starting with circles A, B, and G, Descartes’s
theorem allows two possible sizes and we found a circle of each size.
We can apply Proposition 2 to this same drawing to place another tangent circle in this
same figure. Our construction steps are all in Euclidean terminology. Reflecting ̅̅̅̅ across ̅̅̅̅
creates the isosceles triangle OPN. The newer marks in purple show the steps to the incircle of
triangle OPN: ⃡⃗⃗⃗⃗ perpendicular to ⃗⃗⃗⃗⃗⃗ to find F, ⃗⃗⃗⃗⃗ intersects ⃗⃗⃗⃗⃗⃗ at the point of tangency M,
and the perpendicular to ̅̅̅̅̅ at M finds the Euclidean center L of our desired circle. Figure 9
contains this new tangent circle.
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 23
Figure 9: Application of Proposition 2.
Geometers might recognize the string of circles in Figure 8 as the start of a Pappus chain.
A Pappus chain is a set of tangent circles arranged inside one big circle around one inner, small
circle, so that each member of the chain is tangent to its neighbors [Boas]. The Pappus chain is
meant to be inside an arbelos, the topic of our next section.
5
The Hyperbolic Arbelos
Our last source of tangent circles is the hyperbolic arbelos. Here we will look at the hyperbolic
version of Archimedes twin circles, but before we look at the arbelos in the disk, let’s recall the
much more famous Euclidean version.
The boundary of a Euclidean arbelos is formed by three semicircles. The diameters of
each circle all lie along the same line. The ends of each circle’s diameter are the points of
tangency for one of the other two circles. The arbelos has many properties, but the one we are
concerned with is the twin circles. For the twin circles, there is a line perpendicular to the
semicircles diameters at the point where the two smaller semicircles are tangent to each other.
One twin circle is on either side of this line, tangent to it as well as the semicircle above and
below it. It has been proved that these two circles are congruent.
PAGE 24
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
Euclidean arbelos
Archimedes twin circles
Figure 10: The arbelos and the twin circles.
The arbelos popped up on mathematicians’ radar recently when Harold Boas published
an article on the arbelos in the American Mathematical Monthly, March 2006. With references in
Greek, Japanese, German, French, and English and a title with a math pun, Reflections on the
Arbelos is a truly outstanding read. Boas won the 2009 Lester R. Ford writing award from the
MAA for the article [Boas].
The construction of the twin circles pictured in the figure above is not our own
construction, so we did not include the construction marks. Each twin is tangent to two of the
three circles in the arbelos. They are called twins because they are congruent [Boas].
The hyperbolic version of the arbelos actually results in two different looking arbeloi
from the same construction. A hyperbolic line contains the hyperbolic centers and the points of
tangency for the hyperbolic circles that make the boundaries of the arbeloi. One arbelos falls on
each side of the hyperbolic line. In this case, each of the twin circles is tangent to the hyperbolic
line perpendicular to the hyperbolic line containing the diameters. Figure 11 below uses just a
few construction lines to create the hyperbolic arbelos on a hyperbolic line which is not a
diameter. Points A, B, and C are chosen on the given hyperbolic line and tangent lines are
constructed at each point. The intersections of the tangents, D, E, and F, are the Euclidean
centers of the circles in the hyperbolic arbelos and the hyperbolic centers are where rays ⃗⃗⃗⃗⃗⃗ , ⃗⃗⃗⃗⃗ ,
and ⃗⃗⃗⃗⃗ would intersect the hyperbolic line. Someone new to the hyperbolic disk might think the
arbelos with the Euclidean centers inside is different from the other arbelos. But remember: the
Euclidean centers are merely construction aids. They have no special status as hyperbolic points.
The arbelos closest to O is congruent to the other arbelos, just as in the Euclidean case.
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
PAGE 25
Figure 11: The hyperbolic arbelos.
We will continue thinking about the Euclidean and hyperbolic arbelos figures to prove
our last claim.
Proposition 4: The Archimedes twin circles in a hyperbolic arbelos are congruent in the
hyperbolic metric if and only if the inner circles of the arbelos are congruent in that metric.
Proof: Any hyperbolic arbelos may be translated so that the point of intersection between the
two inner circles becomes O. Now the Euclidean picture of the arbelos matches the hyperbolic.
Moreover, the Euclidean construction of the Archimedes twins works the same, producing the
picture of the twins in Figure 10. The Euclidean rays from O through each twin’s center must
contain their respective hyperbolic centers. This gives us a way to compare the hyperbolic length
of their diameters. These diameters are Euclidean congruent. The only way they can be
hyperbolic congruent is if these diameters are the same Euclidean distance from O. That only
happens when the inner circles of the arbelos are congruent.
■
PAGE 26
RHIT UNDERGRAD. MATH. J., VOL. 14, NO. 1
References
Boas, Harold P. “Reflections on the Arbelos.” The American Mathematical Monthly. 113 (2006):
236-249.
Goodman-Strauss, Chaim. “Compass and Straightedge in the Poincaré Disk.” The American
Mathematical Monthly. 108 (2001): 38-49.
McDaniel, Michael. ”The Hyperbolic Tourist.” Math Horizons. 14.1 (2006): 18-21.
Ross, Skyler. Non-Euclidean Geometry, M.A. Thesis, University of Maine, 2000.
Wells, David. The Penguin Dictionary of Curious and Interesting Geometry, Penguin, 1992.
Download