On the Principles of Geometry
Drop Euclid's parallel postulate, and a whole new geometry stands up — consistent, and curved.
For 2,000 years one rule of geometry looked too obvious to question. Lobachevsky questioned it — and discovered a second geometry, just as logical as Euclid's, in which parallel lines behave nothing like you'd expect.
The big idea
Euclid built all of geometry on five starting rules. Four feel obvious. The fifth — about parallel lines — always felt clumsier, like something that ought to be provable from the others. For two millennia, the best mathematicians tried to prove it. They all failed.
Lobachevsky asked a daring question: what if the fifth rule is simply false? What if, through a point beside a line, you can draw not one parallel but many lines that never touch it? Instead of nonsense, out tumbled a complete, self-consistent geometry — one where triangles have less than 180°, where bigger triangles bend more, and where the rules of Euclid return only when the shapes are very small. Space, he realised, doesn't have to obey Euclid. There is more than one possible geometry, and which one the real world follows is a question for measurement, not for pure reason.
How it came about
Nikolai Lobachevsky spent almost his whole life at the University of Kazan, far from Europe's mathematical centres, where he rose to become rector. He first presented his strange geometry to the faculty in 1826, then published it in the local Kazan Messenger across 1829 and 1830 — in Russian, in an obscure journal. Almost no one read it, and those who did mostly scoffed.
He was not entirely alone. In Hungary, János Bolyai reached the very same geometry independently and published it in 1832. And the towering Carl Friedrich Gauss had worked out similar ideas in private years earlier — but, afraid of the controversy, never dared publish. So the credit is genuinely shared: Lobachevsky was first into print, Bolyai an independent co-discoverer, Gauss a silent forerunner. Recognition for Lobachevsky came mostly after his death.
Why it mattered
This broke a 2,000-year assumption: that Euclid's geometry was the one true geometry, baked into the universe. Once mathematicians saw that other consistent geometries exist, they were freed to invent and study any system that doesn't contradict itself — which is much of what modern mathematics does. And when Einstein later needed to describe gravity, the curved, non-Euclidean geometry that Lobachevsky helped open up was waiting, ready to become the shape of spacetime itself.
A way to picture it
Think of drawing on a flat sheet of paper versus drawing on the inside of a saddle or a ruffled lettuce leaf. On the flat sheet, Euclid rules: parallel lines stay the same distance apart forever. On the saddle's curving surface, lines that start out 'parallel' spread apart, and a triangle's corners add up to less than 180°. Lobachevsky's geometry is the geometry of that endlessly curving, saddle-like surface — perfectly logical, just not flat.
Where it sits
Lobachevsky's break opened a door. Through it walked Bernhard Riemann, who in 1854 generalised geometry to curved spaces of any dimension, and then Albert Einstein, whose general relativity makes the shape of spacetime the cause of gravity — the universe's geometry decided by what's in it. The leap from 'geometry is fixed and obvious' to 'geometry is one choice among many, to be tested against the world' starts here, with a provincial Russian professor daring to deny Euclid.
The gap in the theory of parallels
Cutting and not-cutting lines (§16)
All straight lines which in a plane go out from a point can, with reference to a given straight line in the same plane, be divided into two classes — into cutting and not-cutting.
How the parallel angle behaves (§23)
The equation of the angle (§36)
tan ½ Π(x) = e^{−x}