Mathematics and Its History pp 359-381 | Cite as

# Non-Euclidean Geometry

## 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## Preview

Unable to display preview. Download preview PDF.

## References

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