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.
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. 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.
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. 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.
A parallel ruler can be used to draw a line through a given point A and parallel to a given ray a. 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.
A few notes on the uses of rulers are:
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. 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.
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'.Case 2: ᗉ IAI' > /2 radians
This case is further broken down into three sub-cases:
We consider the problem of finding a line parallel to two given lines, a and a'
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'.
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'.
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'
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'
Case 1: a is perpendicular to a
In this case, we already have the line perpendicular to a through A.
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.
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'. 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.
For the purposes of the following definitions, the following assumptions will be made, which usually cannot be made in hyperbolic geometry
A quadrilateral is cyclic if the two opposite vertices add up to pi radians or 180 degrees. Also, if a quadrilateral is inscribed in a circle in a way that all of its vertexes lie on the circle, it is cyclic.[4]
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. The pseudoaltitude would then be the line segment AX.
Let dE(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 dE(A,B) is the length of this segment in Euclidean geometry.
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 dE(A,P') = k·dE(A,P).
Consider the three circles ω1, ω2, and ω3 in a common plane. Let P1 be the intersection of the two external tangent lines of ω2 and ω3. Let P2 and P3 be found the same way. The Three Dunce Caps Theorem then says that P1, P2, and P3 all lie on the same line.
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 P1, P2, and P3. These points are also the centers of homothety for the circles that they were derived from.
Algebraically, hyperbolic and spherical geometry have the same structure.[5] This allows us to apply concepts and theorems to one geometry to the other. 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.