Chapter 8: Non-Euclidean Geometry
1826–1868
The Parallel Postulate Problem
For 2,000 years, mathematicians tried to prove Euclid's fifth postulate from the other four. The parallel postulate states: given a line and a point not on it, exactly one parallel line passes through that point. It seemed obviously true, yet defied proof.
Saccheri (1733), Lambert (1766), and Legendre (1794) all tried proof by contradiction — assuming the postulate false and seeking an absurdity. They found strange geometries but no contradiction. The reason: non-Euclidean geometry is consistent.
Three Discoverers
Between 1826 and 1832, three mathematicians independently realized that the parallel postulate could be negated to produce a perfectly consistent geometry:
Lobachevsky (1829)
Russian mathematician. Published first, called it “imaginary geometry.” Through any external point, infinitely many parallels exist.
Bolyai (1832)
Hungarian mathematician. Wrote to his father: “I have created a new, different world out of nothing.” His father's friend Gauss was unimpressed, claiming priority.
Gauss (unpublished)
Had discovered it years earlier but never published, fearing the “clamor of the Boeotians.” His notebooks confirm the discovery.
Three Geometries
The three classical geometries differ in a single number: the curvature \(K\).
| Geometry | Curvature | Parallels | Triangle Angles | Model |
|---|---|---|---|---|
| Euclidean | \(K = 0\) | Exactly one | \(= 180°\) | Flat plane |
| Hyperbolic | \(K < 0\) | Infinitely many | \(< 180°\) | Saddle surface |
| Spherical | \(K > 0\) | None | \(> 180°\) | Sphere |
Gauss's Theorema Egregium
Carl Friedrich Gauss proved a stunning result (1827): the curvature of a surface is anintrinsic property — it can be measured by inhabitants of the surface without reference to any higher-dimensional space. The “Remarkable Theorem”:
\( K = \frac{R_{1212}}{g_{11}g_{22} - g_{12}^2} \)
Gaussian curvature depends only on the metric tensor and its derivatives
Bridge to General Relativity
Gauss's intrinsic geometry is the conceptual foundation of general relativity. We don't need to embed spacetime in a higher-dimensional flat space — curvature is measurable fromwithin spacetime. Einstein's field equations are a direct generalization of Gauss's ideas to four dimensions.
Beltrami's Models (1868)
Eugenio Beltrami proved in 1868 that hyperbolic geometry is consistent if and only if Euclidean geometry is consistent. He did this by constructing a model: the pseudosphere (a surface of revolution with constant negative curvature) realizes Lobachevsky's geometry.
This meant that the parallel postulate is independent of the other four axioms — it can be neither proved nor disproved from them. Geometry was no longer a single truth about space; it was a choice. The question “which geometry does the universe have?” became an empirical question — one that Einstein would answer: it depends on the distribution of matter and energy.