Geometry · Concept hubDeep story

Non-Euclidean Geometry

1829 CEFrom the ancient Greek postulate through Islamicate and European proof attempts to 19th-century public systems in Kazan and Transylvania, alongside Gauss's private investigations

If one rule about parallel lines changes, does the shape of the universe change too?

Where two intuitions collide

When an apparently obvious postulate resisted proof, multiple consistent geometric worlds opened.

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

Understand it in one breath

"Euclid's fifth postulate — that parallel lines never meet — may simply be wrong." Discovered independently in the 19th century by Gauss, Lobachevsky, and Bolyai. Sixty years later it became real physics when general relativity revealed that the universe itself is curved. On a sphere (positive curvature), triangle angles sum to more than 180°.

At a glance

Space

Curvature

Sum of a triangle’s angles

Parallel lines through a point

Physical model

Euclidean (flat)

0

= 180°

Exactly 1

A desktop

Spherical (elliptic)

+

> 180°

0 (all lines meet)

Earth’s surface

Hyperbolic (Lobachevskian)

< 180°

Infinitely many

A saddle shape

The curvature of the universe as a whole is close to zero, yet space is locally curved near massive objects according to general relativity.

Concept

Centuries of failed attempts to prove Euclid's fifth postulate revealed that changing it can produce consistent alternative geometries, opening hyperbolic, elliptic, and more general curved spaces.

Key formula

α+β+γπ(curved space)\alpha + \beta + \gamma \neq \pi \quad \text{(curved space)}

Ports in time

This concept was not invented in one instant

Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.

1
BC 300Scene 1 / 6Continue through the world of this year

Euclid’s fifth postulate

The original postulate says that two lines meet on the side where a transversal makes interior angles totaling less than two right angles. “Exactly one parallel through an external point” is Playfair’s later equivalent form.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
2
AD 1077Scene 2 / 6Continue through the world of this year

Khayyam — alternatives inside a proof attempt

Khayyam analyzed a quadrilateral with two perpendicular sides in an effort to rebuild the fifth postulate from a more evident assumption. This exposed the role of competing assumptions without yet producing a complete hyperbolic geometry.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
3
AD 1829Scene 3 / 6Continue through the world of this year

Lobachevsky and Bolyai — independent public systems

Lobachevsky published his geometry in Kazan in 1829–1830, and Bolyai published an independent treatment in Transylvania in 1832. Gauss’s related investigations remained chiefly in private notes and correspondence.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
4
AD 1854Scene 4 / 6Continue through the world of this year

Riemann — rethinking dimension, metric, and curvature

Riemann’s Göttingen lecture proposed a general framework in which the rule for measuring length and the curvature of space can vary. The lecture was delivered in 1854 and published posthumously in 1868.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
5
AD 1868Scene 5 / 6Continue through the world of this year

Beltrami — models and relative consistency

Beltrami interpreted hyperbolic geometry through models built within Euclidean mathematics, opening the route to a relative result: if the Euclidean framework is consistent, so is the modeled geometry.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
6
AD 1915Scene 6 / 6Continue through the world of this year

Einstein — spacetime geometry and gravitation

General relativity connects matter and energy with the curvature of pseudo-Riemannian spacetime. It did not prove that every non-Euclidean space is physically real or settle the universe’s global shape once and for all.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year

Modern applications

Pseudo-Riemannian spacetime in general relativity, spatial-curvature models in cosmology, geodesy on curved surfaces, and hyperbolic embeddings for hierarchical data and networks. GPS applies special- and general-relativistic timing corrections; it is not powered by one “hyperbolic geometry device.”

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Current port

Non-Euclidean Geometry

Concepts opened from here

Only direct editorial links are shown; this is not a complete learning order or historical influence line.