Constructions in hyperbolic geometry

Hyperbolic geometry is a non-Euclidean geometry where the first four axioms of Euclidean geometry are kept but the fifth axiom, the parallel postulate, is changed. The fifth axiom of hyperbolic geometry says that given a line L and a point P not on that line, there are at least two lines passing through P that are parallel to L.^[1] As in Euclidean geometry, where ancient Greek mathematicians used a compass and idealized ruler for constructions of lengths, angles, and other geometric figures, constructions can also be made in hyperbolic geometry.

Models of hyperbolic geometry

There are a couple of models for hyperbolic geometry, which can make performing and visualizing constructions easier. Portions of the hyperbolic plane can be placed onto a pseudosphere and maintain angles and hyperbolic distances, as well as be bent around the pseudosphere and still keep its properties.^[2] However, not the entire hyperbolic plane can be placed onto the pseudosphere as a model, only a portion of the hyperbolic plane.^[2]

The entire hyperbolic plane can also be placed on a Poincaré disk and maintain its angles. However, the lines will turn into circular arcs, which warps them.^[2]

Tools

In hyperbolic geometry, one can use the standard ruler and compass that is often used in Euclidean plane geometry. However, there are a variety of compasses and rulers developed for hyperbolic constructions.

A hypercompass can be used to construct a hypercycle given the central line and radius.^[3] A horocompass can be used to construct a horocycle through a specific point if the diameter and direction are also provided. Both of these also require a straight edge, like the standard ruler.^[3] When doing constructions in hyperbolic geometry, as long as you are using the proper ruler for the construction, the three compasses (meaning the horocompass, hypercompass, and the standard compass) can all perform the same constructions.^[3]

A parallel ruler can be used to draw a line through a given point A and parallel to a given ray a^[3]. For any two lines, a hyperbolic ruler can be used to construct a line that is parallel to the first line and perpendicular to the second.^[3]

A few notes on the uses of rulers are:

A parallel ruler can be used to construct anything that a standard ruler and the three compasses can also construct^[3]
A parallel ruler can act as a ruler in Euclidean geometry^[3]
A hyperbolic ruler cannot perform Euclidean geometry constructions^[3]
In hyperbolic geometry, constructions that can be done using any one of the three compasses listed above and the parallel ruler can also be done using the hyperbolic ruler^[3]

Simple constructions

Angle bisector

Consider a given angle ᗉ IAI' ≠ $π$ /2 radians whose angle bisector is sought. This results in two different cases: either ᗉ IAI' < $π$ /2 radians or ᗉ IAI' > $π$ /2 radians.^[3] For both cases a hyperbolic ruler is needed to construct a line BI' where BI' is perpendicular to AI and parallel to AI'. Also, construct a line B'I where B'I is perpendicular to AI' and parallel to AI.^[3]

Case 1: ᗉ IAI'< $π$ /2 radians

Let C be the intersection of BI' and B'I. The result of this is that the line AC bisects ᗉ IAI'.^[3]

Case 2: ᗉ IAI' > $π$ /2 radians

This case is further broken down into three sub-cases:

Case 2a: IB' intersects I'B
- Let A' be the intersection of IB' and I'B. Then AA' is the angle bisector of ᗉ IAI'.^[3]
Case 2b: IB' is parallel to I'B
- Construct the line segment BB' and using a hyperbolic ruler, construct the line OI" such that OI" is perpendicular to BB' and parallel to B'I". Then, line OA is the angle bisector for ᗉ IAI'.^[3]
Case 2c: IB' is ultraparallel to I'B.
- Using the ultraparallel theorem, construct the common perpendicular of IB' and I'B, CC'. Let the intersection of CB" and BC' be D. As a result, AD will be the angle bisector of ᗉ BDB'. We then find that the line through OD is also the angle bisector of ᗉ IAI'.^[3]

Common parallel line to two lines

We consider the problem of finding a line parallel to two given lines, a and a'. There are three cases: a and a' intersect at a point O, a and a' are parallel to each other, and a and a' are ultraparallel to each other.^[3]

Case 1: a and a' intersect at a point O,

Bisect one of the angles made by these two lines and name the angle bisector b. Using a hyperbolic ruler, construct a line c such that c is perpendicular to b and parallel to a. As a result, c is also parallel to a', making c the common parallel to lines a and a'.^[3]

Case 2: a and a' are parallel to each other

Using a hyperbolic ruler, construct AI' such that AI' is parallel to a' and perpendicular to a. Construct another line A'I such that A'I is parallel to a and perpendicular to a'. Let the intersection of AI' and A'I be B. Because ᗉ IBI' > $π$ /2 radians, the case now plays out like case 1, allowing construction of the common parallel to BI and BI'.^[3]

Case 3: a and a' are ultraparallel to each other

Using a hyperbolic ruler, construct BI' such that BI' is perpendicular to a and parallel to a' and construct a line B'I such that B'I is perpendicular to a' and parallel to a in a way that puts BI' and B'I on the same side of the common perpendicular to a and a' , which can be found using the ultraparallel theorem. Let the intersection of BI' and B'I be C. Then ᗉ ICI' ≠ $π$ /2 radians, which allows you to finish the construction like the other two cases.^[3]

Line perpendicular to another line at a point

Suppose you have a line a and a point A on that line, and you want to construct a line perpendicular to a and through A. Then let a' be a line through A where a and a' are two distinct lines. Then you will have one of two cases.^[3]

Case 1: a is perpendicular to a'

In this case, we already have the line perpendicular to a through A.^[3]

Case 2: a and a' are not perpendicular to each other

Using a hyperbolic ruler, construct a line BI such that BI is perpendicular to a and parallel to a'. Also, construct a line CI' such that CI' is perpendicular to a and parallel to a' but in the opposite direction of BI. Now draw a line II" so that II" is the common parallel to BI and I'C. The ultraparallel theorem now allows us to create the common perpendicular to II" and a because these two lines are ultraparallel. This common perpendicular is now the line perpendicular to a and through A.^[3]

Midpoint of a line segment

Suppose you are trying to find the midpoint of a line segment AB. Then construct the line AI such that AI is through A and perpendicular to AB. Also, construct a line BI' such that BI' intersects AB at B and is perpendicular to AB. Now construct the line II' such that II' is the common parallel to AI and BI'.^[3] Construct the common perpendicular to II' and AB, which can be done using the ultraparallel theorem because II' and AB are ultraparallel to each other. Name this line CC'. C now ends up being the midpoint of AB.^[3]

Definitions for complex constructions

For the purposes of the following definitions, the following assumptions will be made, which usually cannot be made in hyperbolic geometry

Three distinct points create a unique circle^[4]
Given any two lines, they meet at a unique point^[4] (normally, this would contradict the parallel axiom of hyperbolic geometry, since there can be many different lines parallel to the same line^[1])
Angle measures have signs. Here, they will be defined in the following way: Consider a triangle XYZ. The sign of angle ᗉ XYZ is positive if and only if the direction of the path along the shortest arc from side XY to side YZ is counterclockwise. The picture of the triangle on the right describes this. To make a comparison, when working with the unit circle, the angle measure is positive when going counterclockwise and negative when going clockwise.^[4]

Cyclic quadrilaterals

A quadrilateral is cyclic if the two opposite vertices add up to pi radians or 180 degrees.^[4] Also, if a quadrilateral is inscribed in a circle in a way that all of its vertexes lie on the circle, it is cyclic.^[5]

Pseudoaltitudes

Consider triangle ABC where the points are labeled in a clockwise manner so all angles are positive. Let X be a point moving along BC from B to C. As X moves closer to C, angle ᗉAXB will decrease and angle ᗉ AXC will increase. When X is close enough to B, ᗉ AXB > ᗉ AXC. When X is close enough to C, ᗉ AXB < ᗉ AXC. This means that at some point, X will be in a position where ᗉ AXB = ᗉ AXC. When X is in this position, it is defined as the foot of the pseudoaltitude from vertex A.^[4] The pseudoaltitude would then be the line segment AX.^[4]

Pseudolengths

Let d_E(A,B) denote the pseudolength for a given hyperbolic line segment AB. Let a transformation move A to the center of a Poincaré disk with a radius equalling 1. The pseudolength d_E(A,B) is the length of this segment in Euclidean geometry.^[4]

Homothety

Given a point P, a point A where A is the center of the homothety, and a number k that represents the ratio of the homothety, a homothety is a transformation that will move P to a point P' where P' is on the ray AP and d_E(A,P') = k·d_E(A,P).^[4]

Three dunce cap theorem

Consider the three circles ω₁, ω₂, and ω₃ in a common plane. Let P₁ be the intersection of the two external tangent lines of ω₂ and ω₃. Let P₂ and P₃ be found the same way. The Three Dunce Caps Theorem then says that P₁, P₂, and P₃ all lie on the same line.^[4]

Proof: Construct a sphere on top of each circle and then construct a plane tangent to these three spheres. The plane intersects the plane that the circles lies on at a straight line containing P₁, P₂, and P₃. These points are also the centers of homothety for the circles that they were derived from.^[4]

Applying to spherical geometry

Algebraically, hyperbolic and spherical geometry have the same structure.^[4] This allows us to apply concepts and theorems to one geometry to the other.^[4] Applying hyperbolic geometry to spherical geometry can make it easier to understand because spheres are much more concrete, which then makes spherical geometry easier to conceptualize.

References

^ Jump up to: ^a ^b Cannon, James W.; Floyd, William J.; Kenyon, Richard; Perry, Walter R. (1997). "Hyperbolic Geometry" (PDF). library.msri.org. Retrieved 2018-12-13.
^ Jump up to: ^a ^b ^c Rothe, Franz (2006-09-07). "Hyperbolic Geometry and the Pseudo-sphere" (PDF). math2.uncc.edu. Archived from the original (PDF) on 2018-01-09. Retrieved 2018-12-13.
^ Jump up to: ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m ⁿ ^o ^p ^q ^r ^s ^t ^u ^v ^w ^x Al-Dhahir, M. W. (1962). "An Instrument in Hyperbolic Geometry". Proceedings of the American Mathematical Society. 13 (2): 298–304. doi:10.1090/S0002-9939-1962-0138036-7. JSTOR 2034487.
^ Jump up to: ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l Akopyan, Arseniy V. (2011-05-11). "On some classical constructions extended to hyperbolic geometry". arXiv:1105.2153 [math.MG].
^ Leonard, I. Ed; Lewis, J. E.; Liu, A. C. F.; Tokarsky, G. W. (2014-06-04). Classical geometry : Euclidean, transformational, inversive, and projective. Hoboken, NJ. ISBN 9781118839430. OCLC 861966488.{{cite book}}: CS1 maint: location missing publisher (link)

[:3-1] Jump up to: ^a ^b Cannon, James W.; Floyd, William J.; Kenyon, Richard; Perry, Walter R. (1997). "Hyperbolic Geometry" (PDF). library.msri.org. Retrieved 2018-12-13.

[:2-2] Jump up to: ^a ^b ^c Rothe, Franz (2006-09-07). "Hyperbolic Geometry and the Pseudo-sphere" (PDF). math2.uncc.edu. Archived from the original (PDF) on 2018-01-09. Retrieved 2018-12-13.

[:0-3] Jump up to: ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l ^m ⁿ ^o ^p ^q ^r ^s ^t ^u ^v ^w ^x Al-Dhahir, M. W. (1962). "An Instrument in Hyperbolic Geometry". Proceedings of the American Mathematical Society. 13 (2): 298–304. doi:10.1090/S0002-9939-1962-0138036-7. JSTOR 2034487.

[:1-4] Jump up to: ^a ^b ^c ^d ^e ^f ^g ^h ⁱ ^j ^k ^l Akopyan, Arseniy V. (2011-05-11). "On some classical constructions extended to hyperbolic geometry". arXiv:1105.2153 [math.MG].

[5] Leonard, I. Ed; Lewis, J. E.; Liu, A. C. F.; Tokarsky, G. W. (2014-06-04). Classical geometry : Euclidean, transformational, inversive, and projective. Hoboken, NJ. ISBN 9781118839430. OCLC 861966488.{{cite book}}: CS1 maint: location missing publisher (link)

[1]

[2]

[3]

[4]

[5]