Euclid's Parallel Postulate
The parallel postulate states: given a line and a point not on it, exactly one line passes through the point parallel to the given line. This seems obvious. But unlike Euclid's other postulates, it's not self-evidently necessary. For 2,000 years, mathematicians assumed it could be derived from the others. It can't.
Lobachevsky's Hyperbolic Geometry
Lobachevsky (1829) and Bolyai (1832) independently showed that if you assume infinitely many parallel lines pass through the point, you get a consistent geometry — hyperbolic geometry. In hyperbolic space, the angles of a triangle sum to less than 180°, and the geometry is negatively curved (like a saddle surface).
Riemann's Extension
Bernhard Riemann (1854) generalized further: you can also have zero parallel lines (spherical geometry, where great circles always intersect). And geometry need not be flat even in three dimensions — space itself can curve. This became the mathematical framework Einstein used for general relativity 60 years later.
Rejection and Vindication
Lobachevsky published his results in 1829; they were ridiculed and ignored. Bolyai's father sent the work to Gauss, who replied he had thought of all this years before (likely true, but he never published). Lobachevsky died without seeing his work accepted. Vindication came with Riemann's generalization and ultimately with Einstein's confirmation that space is genuinely curved.
Frequently Asked Questions
What is non-Euclidean geometry?
Non-Euclidean geometry is any geometry that rejects Euclid's parallel postulate. In hyperbolic geometry (Lobachevsky, Bolyai), multiple parallel lines pass through a given point; in spherical geometry (Riemann), none do. Both are internally consistent and describe actual physical spaces.
Who invented non-Euclidean geometry?
Nikolai Lobachevsky (Russia, 1829) and János Bolyai (Hungary, 1832) independently discovered hyperbolic non-Euclidean geometry. Gauss later claimed he had discovered it independently but never published. Riemann generalized all of them in 1854.
How does non-Euclidean geometry relate to Einstein?
Einstein's general relativity (1915) uses Riemannian geometry to describe gravity as the curvature of four-dimensional spacetime. Massive objects curve the geometry of space; what we experience as gravitational attraction is motion along curved geodesics. Without non-Euclidean geometry, general relativity would have no mathematical language.