The Geometry of
Surfaces.

In 1827, Carl Friedrich Gauss proved something startling: the curvature K of a surface — how it bends — can be detected entirely from inside the surface. No higher dimension required. No view from above.

An ant on a sphere never sees the sphere. But if it draws a triangle and the angles sum to more than 180°, it knows its world is curved. The deviation is the curvature.

He called this his Theorema Egregium — his "remarkable theorem." It is the reason no flat map of the Earth preserves all distances. It is why a folded pizza slice stays rigid. And it is the seed from which Riemann grew the geometry of n-dimensional curved space — which Einstein, sixty years later, would use to describe the universe itself.

∫∫ K dA = (Σ α_i) − π

The Gauss–Bonnet theorem: the integral of curvature over a triangle equals the angle excess. Geometry, written into the fabric of the surface itself.

The hyperbolic case is rendered as the Poincaré disk model — an infinite negatively-curved plane compressed into a unit circle, where geodesics appear as arcs perpendicular to the boundary. The model is conformal: angles in the picture equal angles in the geometry.