Mathematics
Curvature and the Theorema Egregium for Surfaces
Quick fact
The Theorema Egregium, proved by Carl Friedrich Gauss in 1827, states that the Gaussian curvature of a surface is invariant under isometries—meaning it can be measured without ever leaving the surface itself. This is why a flat piece of paper cannot be bent into a sphere without stretching, but can be rolled into a cylinder without altering its intrinsic geometry.
Why this is interesting
Imagine a world where the shape of an ant's universe is determined entirely by the ant, not by the space around it. What if bending a surface without stretching could change its curvature?
Read the full explanation
Understanding Curvature and the Theorema Egregium for Surfaces
Picture a flat sheet of paper. If you roll it into a cylinder, the paper bends in three-dimensional space, but if you were an ant living on that paper, you could still measure distances and angles just as you did when it was flat. The cylinder is said to have zero Gaussian curvature because the ant would find that circles have the same circumference as on a flat plane. Now imagine a sphere, like a globe. If you tried to flatten a piece of the sphere onto a table, you'd have to stretch it or cut it—there's no way to do it without distortion. An ant on a sphere would notice that the circumference of a circle is smaller than 2π times its radius, which tells it the surface is curved. This kind of curvature, which the ant can detect without leaving the surface, is called intrinsic curvature. Gaussian curvature is the product of the two principal curvatures at a point: one measures the maximum bending in one direction, and the other measures the minimum bending perpendicular to that. On a sphere, both principal curvatures are positive, so the product is positive. On a saddle shape, one curves upward and the other downward, giving a negative product. The amazing discovery of the Theorema Egregium is that this product—the Gaussian curvature—is an intrinsic property. It can be computed from measurements of angles, distances, and areas made entirely within the surface, without any knowledge of how the surface is embedded in 3D space.
A deeper explanation
Gauss's Theorema Egregium (Latin for 'remarkable theorem') reveals a deep principle: the Gaussian curvature of a surface is determined solely by its intrinsic metric—the way distances are measured within the surface. This was surprising because curvature is intuitively connected to how a surface bends in space, which seems to depend on the outside. Why does this matter? Because it tells us that bending a surface without stretching, tearing, or gluing (called an isometry) leaves Gaussian curvature unchanged. For example, a piece of paper can be rolled into a cylinder, and its Gaussian curvature remains zero. But you cannot wrap a piece of paper around a sphere without stretching or cutting it, because the sphere has positive Gaussian curvature while the paper has zero. The theorem has profound implications. It means that features like the angles of triangles or the sum of their angles on a surface are governed by the surface's intrinsic curvature. On a sphere, a triangle drawn with geodesics (the shortest paths) has angles that sum to more than 180 degrees, whereas on a saddle-shaped surface it sums to less. This insight laid the groundwork for modern differential geometry and is a cornerstone of general relativity, where gravity is described as the intrinsic curvature of spacetime itself. The Theorema Egregium shows that curvature is not just a property of how a surface sits in space but a property of the surface's internal geometry—a remarkable shift in perspective that still influences physics and geometry today.