# Non-Euclidean Geometry

• John Stillwell
Chapter
Part of the Undergraduate Texts in Mathematics book series (UTM)

## Preview

Surprisingly, the geometry of curved surfaces throws light on the geometry of the plane. More than 2000 years after Euclid formulated axioms for plane geometry, differential geometry showed that the parallel axiom does not follow from the other axioms of Euclid. It had long been hoped that the parallel axiom followed from the others, but no proof had ever been found. In particular, no contradiction had been derived from the contrary hypothesis, P 2, that there is more than one parallel to a given line through a given point. In the 1820s, Bolyai and Lobachevsky proposed that the consequences of P 2 be accepted as a new kind of geometry—non-Euclidean geometry. To prove that no contradiction follows from P 2, however, one needs to find a model for P 2 and the other axioms of Euclid. One seeks a mathematical structure, containing objects called “points” and “lines,” that satisfies Euclid’s axioms with P 2 in place of the parallel axiom. Such a structure was first found by Beltrami (1868a), in the form of a surface of constant negative curvature with geodesics as its “lines.” By various mappings of this surface, Beltrami found other models, including a projective model in which “lines” are line segments in the unit disk, and conformal models in which “angles” are ordinary angles. Finally, Poincaré (1882) showed that Beltrami’s conformal models arise naturally in complex analysis. Papers had already been published with pictures of patterns of non-Euclidean “lines,” most notably Schwarz (1872). Thus, non-Euclidean geometry was actually a part of existing mathematics, but a part whose geometric nature had not previously been understood.

## Keywords

Hyperbolic Plane Hyperbolic Geometry Conformal Model Constant Negative Curvature Asymptotic Line
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

1. Gauss, C. F. (1819). Die Kugel. Werke 8: 351–356.Google Scholar
2. Gauss, C. F. (1831). Letter to Schumacher, 12 July 1831. Werke 8: 215–218.Google Scholar
3. Klein, F. (1928). Vorlesungen über Nicht-Euklidische Geometrie. Berlin: Springer.
4. Liouville, J. (1850). Note IV to Monge’s Application de l’analyse à la géometrie, 5th ed. Bachelier, Paris.Google Scholar
5. Minding, F. (1840). Beiträge zur Theorie der kürzesten Linien auf krummen Flächen. J. reine und angew. Math. 20, 323–327.