5. Hyperbolic GeometryHyperbolic geometry is the geometry you get by assuming all the postulates of Euclid, except the fifth one, which is replaced by its negation. In hyperbolic geometry there exist a line and a point not on such that at least two distinct lines parallel to pass through . It is more difficult to imagine, but have in mind the following image (and imagine that the lines never meet ):
The first property that we get from this axiom is the following lemma (we omit the proof, which is a bit technical):
Lemma 1
Rectangles don't exist in hyperbolic geometry.
Using this lemma, we can prove the following Universal Hyperbolic Theorem:
Theorem 1
In hyperbolic geometry, for every line and every point not on there pass through at least two distinct parallels through . Moreover there are infinitely many parallels to through .
PROOF. Drop the perpendicular to and erect a line through perpendicular to , like in the figure below. Let be another point on , erect perpendicular to through and drop perpendicular to . Now is parallel to , since both are perpendicular to . Assume that and are the same line (so ). This would mean that is a rectangle, which contradicts the lemma above. Hence there are two distinct parallels to through . By varying , we get infinitely many parallels.
Theorem 2
In hyperbolic geometry, all triangles have angle sum
. (From this it follows immediately that all convex quadrilaterals have angle sum less than
).
Theorem 3
In hyperbolic geometry if two triangles are similar, they are congruent.
Note: This is totally different than in the Euclidean case. It tells us that it is impossible to magnify or shrink a triangle without distortion.
Assume the contrary: there are triangles and that are similar (they have the same angles), but are not congruent. The no corresponding sides are congruent (otherwise, they would be congruent, using the principle ). We may assume, without loss of generality, that and .
Then, by definition of there exists a point on and a point on such that and . Then, since the angles are the same, by , . Hence and . But we also have that and , so and . This implies that the lines and are parallel, hence the quadrilateral is convex, and the sum of its angles is exactly , which contradicts the theorem above. Hence similar triangles are congruent.
An amazing consequence of this theorem is that in hyperbolic geometry a segment can be determined with the aid of an angle. This is stated more dramatically by saying that hyperbolic geometry has an absolute unit of length!
Defect and area of a triangleThere is also the concept of the defect of a triangle, which is defined to be the quantity that is missing for the sum of the angles to add up to 180 degrees. And in fact the area of a triangle in hyperbolic geometry is proportional to its defect D. So we have that A=kD, where k is a positive number.Two triangles have the same area if and only if they have the same anglesum.
Now that you have experienced a flavour of proofs in hyperbolic geometry, Try some exercises!
ExercisesThe following are exercises in hyperbolic geometry. You are to assume the hyperbolic axiom and the theorems above.
Back to EscherM. C. Escher created four patterns using hyperbolic geometry: Circle Limit I, Circle Limit III, Circle Limit III and Circle Limit IV. What Escher used for his drawings is the Poincaré model for hyperbolic geometry. What does it mean a model? By a model, we mean a choice of an underlying space, together with a choice of how to represent basic geometric objects, such as points and lines, in this underlying space. The need to have models for the hyperbolic plane (or better said, the hyperbolic geometry of the plane) is that it is very difficult to work with an Euclidean representation, but do nonEuclidean geometry. As you saw above, it is difficult to picture the notions that we work with, even if the proofs follow logically from our assumptions. There are two more popular models for the hyperbolic plane: the upper halfplane model and the Poincaré plane model. We will analyse both of them in the following sections. 

