Hyperbolic Geometry: The Poincaré Disk and Infinite Tilings

Q: Why does a hyperbolic triangle's angle sum differ from 180°?

In hyperbolic geometry the angle sum of any triangle is strictly less than π (180°), and the deficit π − (α+β+γ) equals the triangle's area in units where K = −1. Larger triangles have a bigger angle deficit; an ideal triangle with all vertices on the boundary has angle sum 0 and area π.

Euclid's fifth postulate and its collapse

Euclid's fifth postulate says that through any point not on a line, exactly one parallel line exists. For two thousand years mathematicians tried to prove it from the other four and failed — until János Bolyai and Nikolai Lobachevsky, working independently in the 1820s, showed that denying it produces a perfectly consistent geometry. The key parameter is Gaussian curvature K: K > 0 gives spherical geometry (parallels converge), K = 0 gives Euclidean geometry (exactly one parallel), and K < 0 gives hyperbolic geometry, where infinitely many lines through an external point never meet the given line.

The Poincaré disk model

Henri Poincaré's disk model (1882) represents the entire hyperbolic plane as the open unit disk |z| < 1; the boundary circle is not part of the space — it lies infinitely far away.

ds² = 4(dx²+dy²) / (1−x²−y²)²
d(0,r) = 2·arctanh(r)  → ∞ as r → 1  (boundary is infinitely far)
Geodesics: diameters, or circular arcs meeting the boundary at 90°

The model is conformal — angles between curves are preserved exactly — which is why Escher's fish and angels look locally correct in shape even as they shrink toward the boundary. Its symmetries are Möbius transformations preserving the disk, forming the group PSL(2,ℝ).

live demo · tiles shrinking toward an infinitely distant boundary● LIVE

Escher's Circle Limit and the {p,q} tilings

After seeing H.S.M. Coxeter's diagrams of the Poincaré disk, M.C. Escher produced the Circle Limit woodcuts (1958–1960): regular tessellations that fill the disk, each tile perfectly congruent hyperbolically despite shrinking near the boundary. A Schläfli symbol {p,q} denotes p-gons with q meeting at each vertex; comparing angle sum p·(2π/q) to (p−2)π sorts tilings by geometry: (p−2)(q−2) = 4 is Euclidean (only 3 exist: {3,6}, {4,4}, {6,3}), < 4 is spherical (5 exist, the Platonic solids), and > 4 is hyperbolic — with infinitely many valid (p,q) pairs, one tiling for every combination. Circle Limit IV uses {6,4}; Circle Limit III approximates {8,3}.

Circles in hyperbolic space also grow exponentially rather than linearly: circumference C = 2π·sinh(r) and area A = 2π(cosh(r)−1), so for large r both scale as ~πeʳ. This exponential capacity is exactly why hyperbolic embeddings are used to compress hierarchical data — from internet routing graphs to WordNet — into far fewer dimensions than Euclidean space needs.

Frequently asked questions

What is hyperbolic geometry in simple terms?

Hyperbolic geometry is a non-Euclidean geometry where Euclid's parallel postulate fails: through any point not on a given line, infinitely many lines pass that never meet the original line. The space has constant negative curvature K = −1, curving away from itself like a saddle at every point.

What is the Poincaré disk model?

The Poincaré disk represents the entire infinite hyperbolic plane inside the unit disk |z| < 1. Distances grow exponentially near the boundary, which lies infinitely far away. Geodesics appear as circular arcs meeting the boundary at right angles, and the model is conformal — it preserves angles exactly.

Why does a hyperbolic triangle's angle sum differ from 180°?

In hyperbolic geometry the angle sum of any triangle is strictly less than π (180°), and the deficit π − (α+β+γ) equals the triangle's area in units where K = −1. Larger triangles have a bigger angle deficit; an ideal triangle with all vertices on the boundary has angle sum 0 and area π.

Try it live

Everything above runs in your browser — open Hyperbolic Geometry Tiling and tessellate the Poincaré disk with {p,q} regular tilings of your choice. Nothing is installed, nothing is uploaded.

▶ Open Hyperbolic Geometry Tiling simulation