Euclidean geometry is the geometry of flat space — the familiar geometry of everyday intuition, where the angles of a triangle always sum to exactly 180°, and parallel lines never meet. Built axiomatically from Euclid's five postulates around 300 BCE, it was believed for over 2,000 years to be the one true, uniquely correct description of physical space — until the 19th-century discovery of equally valid non-Euclidean alternatives revolutionised the philosophical understanding of geometry itself.
When you learned in school that a triangle's three angles always add up to 180°, or that a rectangle has four 90° corners, or that two parallel railway tracks never meet no matter how far they extend — you were learning Euclidean geometry. It's the geometry of flat surfaces and everyday physical intuition, systematised by Euclid around 300 BCE and taught essentially unchanged in schools for well over two thousand years.
For over 2,000 years, mathematicians assumed Euclidean geometry was simply "geometry" — the one true, necessarily correct description of physical space, with no genuine alternative even conceivable. In the 19th century, mathematicians discovered this assumption was mistaken: equally logically consistent geometries exist where triangle angles sum to something other than 180°, revealing that Euclidean geometry is simply one valid possibility among genuinely several.
Euclidean geometry rests on 5 postulates: (1) a line can be drawn between any two points, (2) a line segment can be extended indefinitely, (3) a circle can be drawn with any centre and radius, (4) all right angles are equal, and (5) the parallel postulate — through a point not on a line, exactly one parallel line exists.
Two shapes are congruent if one can be moved (via rotation, reflection, translation) to exactly coincide with the other — same size and shape. Two shapes are similar if one is a scaled version of the other — same shape, possibly different size. Euclidean geometry provides precise criteria (like SAS, ASA, SSS for triangle congruence) for establishing these relationships rigorously.
Unlike the other four postulates, which seem self-evidently obvious, the fifth (parallel) postulate seemed to many ancient and medieval mathematicians like it ought to be provable from the other four, rather than needing to be assumed as a separate, independent starting axiom. Countless mathematicians across many centuries attempted to prove it from the first four postulates alone — all such attempts ultimately failed, since (as later discovered) the parallel postulate genuinely is logically independent of the other four.
Euclidean geometry provides exact formulas for area and volume: a triangle's area is ½ × base × height; a circle's area is πr²; a sphere's volume is (4/3)πr³ (first rigorously established by Archimedes). These formulas depend essentially on the flatness assumption built into Euclidean space — they would not hold in curved, non-Euclidean geometries.
René Descartes (1637) revolutionised the study of Euclidean geometry by introducing coordinates — representing every point as an ordered pair (x,y) of numbers, and geometric shapes as algebraic equations. This "analytic geometry" allows geometric problems to be translated into and solved using algebraic techniques, and vice versa, and was an essential conceptual precursor to the subsequent development of calculus by Newton and Leibniz.
János Bolyai and Nikolai Lobachevsky, working independently around 1830, each showed that replacing Euclid's fifth postulate with a different assumption (that through a point not on a line, more than one parallel line exists) produces an entirely different but equally logically consistent geometry — now called hyperbolic geometry. Carl Friedrich Gauss had reportedly arrived at similar conclusions earlier but, according to his own private correspondence, chose not to publish them, apparently fearing the controversy such a radical claim would provoke within the mathematical community of his era. Bernhard Riemann (1854) later developed elliptic geometry (where no parallel lines exist at all, and triangle angles sum to more than 180°), completing the now-standard three-way classification of constant-curvature geometries: hyperbolic (negative curvature), Euclidean (zero curvature), and elliptic/spherical (positive curvature).
A crucial remaining open question was whether hyperbolic geometry, despite seeming so counterintuitive, was actually logically consistent — or whether it might secretly harbour a hidden contradiction. Eugenio Beltrami (1868) resolved this decisively by constructing an explicit model of hyperbolic geometry using ordinary Euclidean objects (a specific curved surface called the pseudosphere, among other models) — proving that hyperbolic geometry is exactly as logically consistent as Euclidean geometry itself, neither more nor less.
As detailed in the Euclid's Elements entry, David Hilbert's Grundlagen der Geometrie (1899) supplied the additional axioms (covering betweenness, congruence, and continuity) implicitly needed but never explicitly stated by Euclid, making Euclidean geometry fully and rigorously axiomatically complete in the fully modern logical sense.
General relativity (Einstein, 1915) revealed that physical space itself is not actually perfectly Euclidean at all — mass and energy cause spacetime to curve, meaning the true, physically observed geometry of the universe is technically non-Euclidean at a fundamental level. Euclidean geometry remains an outstandingly good and highly practical local approximation at the comparatively small scales of ordinary everyday human experience (where spacetime curvature effects are utterly negligible), but is not, strictly and physically speaking, the ultimately exact geometry of the universe as a whole.
The discovery of internally consistent non-Euclidean alternatives had profound philosophical impact, directly informing the philosophy of mathematics (see that entry) by demonstrating that a geometry's specific axioms are not simply "obviously, necessarily true" self-evident facts about physical space, but are rather one among several possible logically consistent starting assumptions — with the specific question of which actual geometry best correctly describes our own physical universe becoming, at least in principle, an empirical question ultimately answerable by careful scientific observation and experiment, rather than by pure a priori mathematical reasoning alone.