The other
curvature
Last time the sphere pulled circles short and pushed triangles over. Now flip the sign. On a surface that curves the opposite way — a saddle everywhere at once — there is suddenly too much room: circles run long, triangles come up short, and parallel lines fan apart instead of meeting. This is hyperbolic space, the mirror-world of the sphere, and you can hold all of its infinity inside a single glowing disc.
The straight line is a curve.
Here is the Poincaré disc — a perfect map of an entire infinite hyperbolic plane, squeezed inside a circle. The rim is infinitely far away: as you walk toward it, every step covers less and less of the picture, so you never arrive. Drag the two lit points. The glowing path between them is a geodesic — the genuinely straightest, shortest route — and notice it bows, always bending away from the rim. A "straight line" here is a circular arc that meets the boundary at right angles.
Now grow the circle in the middle with the slider. On flat paper its rim would be 2πr; here it comes out longer, and the gap widens fast — see the equal-radius rings of the web bunch up toward the edge, each step opening more room than the last. That surplus is negative curvature, and you're watching it directly.
Drag a point toward the rim and watch the hyperbolic distance shoot up even as it barely moves on screen — the edge is infinitely far. Drag both points near the boundary and their geodesic hugs the rim in a tight bow. Shrink the circle toward tiny and C/2πr falls back to 1.00: up close, even this world looks flat.
A real surface with this geometry.
Is this just a clever drawing, or does negative curvature live somewhere you could touch? It does. Spin this glowing horn — the pseudosphere, the surface you get by revolving a tractrix (the curve a reluctant dog traces, dragged on a leash). Every single point of it has constant curvature K = −1: the exact opposite of a unit sphere's K = +1. It is, quite literally, a sphere of imaginary radius.
An ant on this horn lives in the hyperbolic plane — and the Poincaré disc is just its map, the way a Mercator sheet maps the globe. The reason the disc is so faithful about angles (a right angle in the world is a right angle on the map) is that its metric scales every direction equally at each point:
Angles that add to less than 180°.
Drag the three corners. Each side is a hyperbolic geodesic — an arc bowing toward the centre — so the triangle looks pinched, its sides caving inward. Add up the inside angles and they come to less than 180°. The shortfall is the angular defect, and it's the mirror image of the sphere's excess.
Same law, opposite sign. By Gauss–Bonnet the defect equals |K| times the area, so on this K = −1 world defect = area, exactly. Push the corners all the way out to the rim — to infinity — and all three angles close to 0°: an ideal triangle, three lines mutually parallel, with the largest area any hyperbolic triangle can have (precisely π). Unlike flat triangles, you cannot scale this one up; in hyperbolic space, area is capped by angle.
The beat, detuned the other way.
On the sphere we sounded two tones — the flat expectation 2πr and the true circumference — and the surface's shortfall dragged the second tone flat, so it beat below. Here everything mirrors. The hyperbolic circle runs long, so the true tone now drifts sharp, beating from above. Same throb, opposite lean: a curved world always pulses, and the direction of the detune tells you the sign of the curvature.
Slide from flat to curved and listen. Near the centre the two tones lock into a glassy unison — locally, the plane is flat. Push outward and the surplus opens up, the true tone climbs above its flat twin, and the beat quickens. Your ear is now a curvature meter that even reads the sign.
Geometer: C/2πr = sinh(r)/r climbs above 1 — the surplus of negative curvature. Relativist: the velocity-space of special relativity is exactly this hyperbolic disc; adding speeds is moving along its geodesics. Musician: the sphere detuned flat, the saddle detunes sharp — pitch direction carries the sign of K. The surplus, the rapidity, and the rising beat are one number.
The geometry Euclid couldn't rule out.
For two thousand years geometers tried to prove Euclid's parallel postulate — that through a point off a line runs exactly one parallel — and failed, because it isn't provable. This disc is the failure made visible: through the point run infinitely many lines that never meet the original. Beltrami's pseudosphere showed this whole alternate universe is as logically sound as the plane, by building it inside ordinary geometry. The map you just dragged is a self-consistent world.
And it's everywhere now. Special relativity's velocities live in this hyperbolic disc; Escher's Circle Limit woodcuts are its tilings; modern machine learning embeds trees and hierarchies into hyperbolic space precisely because it has the room. You met it through one ruler test — circles that run long — the exact mirror of curvature you can feel. Next in this act, The shape of distance: why the disc is so honest about angles, and how the same metric, read as a conformal map, lets the sphere and the plane finally speak.
After Tristan Needham, Visual Differential Geometry and Forms (Princeton, 2021), Act II, Ch. 4–5. A lesson in the Manifold wing of Reverbs.