Non-Euclidean Geometry
Consistent geometries that reject or modify Euclid's parallel postulate: hyperbolic and elliptic geometry.
Euclidean geometry rests on five postulates. The fifth — the parallel postulate — says that through a point not on a line, exactly one line can be drawn parallel to the given line. For two millennia mathematicians tried to prove it from the other axioms; every attempt failed. In the nineteenth century Gauss, Bolyai, and Lobachevsky independently realized that replacing it with an alternative produces consistent, complete geometries: non-Euclidean geometry was born.
Two alternatives are standard. Hyperbolic geometry has negative curvature: through a point not on a line, infinitely many parallels can be drawn, and the angles of a triangle sum to less than 180°. Elliptic (spherical) geometry has positive curvature: there are no parallels at all, and triangle angles sum to more than 180°, with the excess proportional to the triangle's area. Both satisfy all of Euclid's other axioms.
Concrete models make the abstract definitions visible. The Poincaré disk and the upper half-plane model realize hyperbolic geometry; the surface of a sphere realizes elliptic geometry, where the "lines" are great circles. On a sphere, a triangle with one vertex at the north pole and two on the equator 90 degrees apart has three right angles, summing to 270°.
Non-Euclidean geometry began as a mathematical curiosity and became physics: general relativity models spacetime as a curved four-dimensional manifold, and the large-scale geometry of the universe — flat, spherical, or hyperbolic — depends on its matter and energy density. The Pythagorean theorem, familiar in its Euclidean form, has precise analogues in each geometry, and the discovery of consistent alternatives reshaped the philosophy of mathematics itself.
Tags
axioms geometry hyperbolic geometry mathematics