Curvature you
can feel
An ant on a huge sphere can't see that its world is round — there's no "outside" to look in from. Yet with nothing but a tape measure it can prove the curvature. Walk out a distance r in every direction, pace around the rim, and the circle comes up short of 2πr. Draw a big triangle and its angles add to more than 180°. That shortfall, that excess — that's not measurement error. It's the curvature itself, and you can hold it in your hands.
Grow a circle. Watch it fall short.
Here's a luminous world with one glowing point marked as home. Drag the slider to walk straight out from home a distance r in every direction at once — the spokes are geodesics, the straightest paths the surface allows — and trace the circle where they all end. On a flat floor that rim would measure exactly 2πr. Watch the readout: on the sphere it always comes up short.
Why? The surface curves the spokes gently toward each other as they go, so the rim never gets as far around as a flat plane would let it. The little dial in the corner makes the shortfall literal: slice the cap along one spoke and press it flat, and a wedge is missing. The wider you walk, the bigger the missing wedge. That gap is something you can feel with a ruler, from strictly inside the surface.
Spin the world by dragging it. Shrink the circle toward tiny and the ratio creeps back to 1.00 — up close, every smooth surface looks flat. Grow it toward wide and the shortfall yawns open: at the equator (r = π/2) the rim is a full great circle, C = 2π, while a flat plane would have demanded π²≈9.87.
One number, hiding in the shortfall.
Let's pin down what you just watched. On a sphere of radius R, walking a surface-distance r from home lands you on a circle whose true (3-D) radius is only R·sin(r/R) — the spokes have tipped inward. So its circumference is
Read that backwards and it becomes a recipe for curvature — Bertrand and Puiseux's formula. Measure how much a small circle falls short of 2πr, and you've measured K without ever leaving the surface:
Every quantity here — r, the circumference, the area — is something the ant measures with a tape along the surface. None of it needs an outside view. So curvature defined this way survives any bending that preserves distances: it's the same K that refused to be flattened. The shortfall and the unflattenable orange peel are the same theorem wearing two costumes.
Angles that add to more than 180°.
Circles aren't the only snitch. Drag the three corners of this triangle around the world; each edge stays a geodesic — a great-circle arc, the straightest line between its endpoints. On flat paper the inside angles always sum to exactly 180°. Here they overshoot, and the overshoot is painted into the glowing interior. That extra is called the angular excess.
And it isn't just more than 180° — it's more by a precise amount. Girard's theorem: on a unit sphere, the excess of a geodesic triangle equals its area, exactly. A tiny triangle has a tiny excess; a triangle covering an eighth of the sphere (three right angles, 270°) overshoots by 90° — and 90° in radians, π/2, is precisely the area of one octant.
Curvature is a beat you can hear.
Here is the trick that makes it audible. Sound two pure tones at once. The first rides the flat expectation — the circumference a plane would demand, 2πr. The second rides the true circumference the curved surface actually delivers, C(r). When the surface is flat the two are identical: one steady, glassy unison, no wavering at all.
But on the sphere the true circumference falls short, so the second tone drifts flat of the first — and two close tones don't just coexist, they beat, throbbing in and out at a rate equal to their difference. Grow the circle and the shortfall grows, the detuning grows, and the throb speeds up. That wobble is the curvature, delivered straight to your ear. A flat world is silent; a curved one pulses.
Geometer: the ratio C/2πr = sin(r)/r sinks below 1 as the patch grows — pure intrinsic curvature. Surveyor: that's the closure error in a triangulation that tells you the Earth is round. Musician: two tones a hair apart make a beat whose rate is their frequency gap. The shortfall, the survey error, and the throb are one number.
From a wedge of paper to the shape of space.
You've now met curvature three ways — a circumference that runs short, a triangle that runs over, a tone that beats — and they're all the same intrinsic number K. That's the foundation the rest of the subject stands on. Add this local excess up over a whole closed surface and the patchwork of curvature locks into a single rigid integer: that's Gauss–Bonnet. Watch the rim's shortfall turn a vector instead of shrinking it and you have holonomy.
And there's a mirror world coming. Everything here had K > 0 — circles short, triangles fat. Flip the sign and a surface curves the other way: on a saddle or a trumpet-shaped pseudosphere, circles run long, triangles go thin, and the beat detunes sharp instead of flat. That negatively-curved world — hyperbolic geometry — is the next act, The Metric, where the same ruler you used here uncovers a whole alternative universe of space.
After Tristan Needham, Visual Differential Geometry and Forms (Princeton, 2021), Act I, Ch. 1–2. A lesson in the Manifold wing of Reverbs.