Non-Euclidean geometry

Euclidean geometry is the familiar geometry of flat planes. One way to express its parallel postulate is: given a line and a point not on it, exactly one line through the point does not meet the given line. For centuries, mathematicians tried to prove this rule from Euclid’s other assumptions. In the nineteenth century, they instead explored what followed when the parallel rule was changed while the other basic rules of plane geometry were retained. Non-Euclidean geometry is therefore not a single alternative system, but a broad name for geometries that depart from Euclidean assumptions, especially the parallel postulate.

The two classical alternatives differ in how many parallel lines can pass through a point outside a given line. In hyperbolic geometry, there is more than one such line (in the hyperbolic plane, infinitely many); its curvature is negative, and the angles of a triangle add to less than 180 degrees. In elliptic geometry there are no parallel lines, its curvature is positive, and triangle angles add to more than 180 degrees. Spherical geometry offers a useful related example: its geodesics—the closest counterpart to straight lines—are great-circle routes, and spherical triangles can have angle sums greater than 180 degrees. A standard elliptic model identifies each point on a sphere with its antipodal opposite, so elliptic and ordinary spherical geometry are closely related but not always interchangeable terms.

Carl Friedrich Gauss investigated alternatives to the parallel postulate privately. Nikolai Lobachevsky and János Bolyai independently developed hyperbolic geometry in the early nineteenth century, treating it as a coherent system rather than as a failed attempt to prove Euclid’s rule. Bernhard Riemann later broadened the study of geometry by considering spaces whose properties, including curvature, could vary. These developments changed the idea that Euclidean geometry was the only mathematically possible account of space.

A model gives an abstract geometry concrete points and lines while preserving its rules. In 1868, Eugenio Beltrami described a model of hyperbolic geometry within a Euclidean framework. This established a relative consistency result: if Euclidean geometry is consistent, then hyperbolic geometry is consistent as well. It did not prove Euclidean geometry consistent from nothing; instead, it showed that the new geometry was not self-contradictory unless the Euclidean framework used to model it was also contradictory. Such models helped mathematicians accept multiple geometries as legitimate mathematical systems.

Non-Euclidean geometry broadened the foundations of mathematics and helped develop the modern study of curved spaces. Its ideas also became relevant to physics: general relativity describes gravity through the curvature of spacetime, using geometric methods that extend beyond flat Euclidean space. This does not mean every non-Euclidean model describes the physical universe; each geometry is first a mathematical system, and its use in science depends on whether it appropriately models a particular problem.