The Pythagorean theorem is surely the most famous of all mathematical theorems. The simplicity of its statement (that a right triangle with sides of length and and hypotenuse of length satisfies ) and the multiplicity of beautiful proofs (like the one shown at right from Byrne’s edition of Euclid’s Elements) contribute to its memorability.
The fame of Pythagoras’ theorem in Euclidean geometry makes it natural to ask if it holds in other geometries. For instance, is the Pythagorean theorem true in hyperbolic geometry, that radical challenger to Euclid’s throne?
The naive answer is “No, the Pythagorean theorem does not hold in hyperbolic geometry”, as it is logically equivalent to Euclid’s 5th postulate (which is the defining difference between Euclidean and hyperbolic geometry). However, there is a theorem in hyperbolic geometry which is analogous to Pythagoras theorem:
As in the figure at left, the edges of the triangle are hyperbolic geodesics (we’ll review what those are below), with the sides of length and adjacent to the right angle and the hypotenuse (of length ) is the edge across from the right angle. The function is hyperbolic cosine.
The hyperbolic plane
The hyperbolic plane was discovered by Bolyai and Lobachevsky when they investigated the effect of replacing Euclid’s parallel postulate with an alternative. They operated purely deductively: they had no graphical representation of hyperbolic geometry to work with. Later mathematicians, such as Klein and Poincaré, discovered ways of representing hyperbolic geometry inside of Euclidean geometry by giving new meanings to terms such as “line”. Using calculus, we can give a succinct description (called the Poincaré disc model) of the hyperbolic plane as follows.
The entirety of hyperbolic geometry will take place inside the open unit disc (the blue disc at left) in the plane . The unit circle (the boundary of the disc) is not part of the world in which we do hyperbolic geometry. We refer to it as the infinity circle. A path for in the disc has length defined by an integral similar to the integral defining path length in euclidean geometry. The length of in euclidean geometry is given by , where denotes the magnitude of the vector . The length of in hyperbolic geometry on the other hand is given by the integral . A path between points and is a geodesic if it has length no greater than the length of any other path between and . Geodesics in hyperbolic geometry are the analogue of straight lines in euclidean geometry. If there were light in the hyperbolic plane, it would travel along geodesics.
In the Poincaré disc model of hyperbolic geometry it turns out that the geodesics are segments of diameters of the disc and portions of circles in which intersect the infinity circle at right angles. If three geodesics intersect in three points, not all lying on the same geodesic, then the three geodesics define a triangle. The image on the right shows our triangle arising from three geodesics. It may seem as though the triangle we’ve drawn is somewhat special in that two of the sides lie on diameters of the disc. However using hyperbolic isometries (the analogue of euclidean translations, rotations, and reflections) we may move (without changing lengths or angles) any hyperbolic triangle so that two of its sides lie on diameters, as we have indicated.
Proving the hyperbolic Pythagorean theorem
Here is a sketch of the proof of the hyperbolic Pythagorean theorem. It is an abbreviated version of the proof given by Martin Greenberg in his excellent text Euclidean and non-Euclidean Geometries.
Let be a right triangle in the hyperbolic plane with the right angle. Without loss of generality, we may assume that the vertex is the origin and that two of the edges, one of which is the hypotenuse, are portions of diameters, as in our picture. Let be the hyperbolic distance from point to point and the euclidean distance.
We have already defined the hyperbolic cosine function . The hyperbolic sine function is defined similarly: and the hyperbolic tangent function is simply .
Using our path length formula, it is straightforward to verify that and .
We begin by showing:
Once we have those equations, the hyperbolic Pythagorean theorem can be derived from the equality by applying identities for and analogous to the identities involving and . We leave it as a pleasant challenge to the reader to work out those details.
We now set about proving the Lemma, by considering the image in at right. Extend the geodesics making up the sides of into . This means that the geodesic is now part of a circle centered at a point .
The circle intersects the infinity circle in two points. Join those two points by a line (drawn in red in the figure) and let and be the points where that line intersects the extensions of the other two edges of , as in the picture. (The points and have a special relationship to the points and : they are the images of and under the conversion from the Poincaré disc model of the hyperbolic plane, to the Klein model of the hyperbolic plane. But that is a story for a different day.)
The key to the whole business is to apply the definition of cosine to the euclidean triangle . Doing so, we obtain: . Converting to hyperbolic distances, we arrive at
Let be the point, other than , where the line intersects the circle . The point is the result of applying the inversion to the point . This implies that . Hence,
Recalling that , we have . Letting be the other intersection point between the line and the circle , we also have .
Finally, as in the figure at left, let be the orthogonal projection of , the center of onto the line . Some rather easy arithmetic, using the fact that the angles of a euclidean triangle sum to , shows that the angle is equal to the angle . Combining this fact with (*) and (**), we conclude that . Interchanging the roles of and in the preceding argument, concludes the proof of the lemma.
The euclidean and hyperbolic planes are certainly the most important of the two-dimensional geometries. The third most important geometry is spherical geometry. There is also a version of the Pythagorean theorem for triangles on the sphere. Thurston, in his famous book Three-dimensional Geometry and Topology, sketches a strategy for giving a combined proof of the law of cosines in the hyperbolic plane and in the sphere. The corresponding Pythagorean theorems follow from that. For the hyperbolic law of cosines, Thurston uses the hyperboloid model of the hyperbolic plane, which gives a unification of the Poincaré disc model and the Klein model alluded to earlier.
Finally, many of the beautiful proofs of the Pythagorean theorem make use of dissections of a square and the fact that is the area of a square with sides of length . Is there a dissection proof of the hyperbolic Pythagorean theorem?