+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: GEOMETRY (https://mklab.gr/forumdisplay.php?fid=150)
+----- Thread: Theorema Egregium (/showthread.php?tid=1530)
Theorema Egregium - mklabgr - 08-06-2026
Theorema Egregium
Summary
Gauss's Theorema Egregium ("remarkable theorem"), proved in 1827, is a foundational result in differential geometry concerning the curvature of surfaces. It states that the Gaussian curvature of a surface can be computed entirely from measurements of angles and distances made within the surface, without any reference to how that surface sits in 3-dimensional space. This means curvature is an intrinsic invariant — bending a surface without stretching, tearing, or compressing it (a transformation called local isometry) leaves its Gaussian curvature unchanged, even though the embedding in space changes dramatically.
The article illustrates this with concrete examples: a sphere has constant positive curvature while a flat plane has zero curvature, so a sheet of paper can never wrap around a sphere without crumpling — and conversely, no flat map projection of Earth can avoid distortion, since the globe's surface isn't isometric to a plane even locally. The catenoid and helicoid, despite looking completely different, are locally isometric and thus share identical curvature at corresponding points.
A more everyday application is the "pizza slice" trick: folding a flat slice along a radius forces zero curvature in the perpendicular direction, creating rigidity — the same principle behind corrugated cardboard and metal sheeting. The article also sketches Gauss's proof, which expresses curvature via Christoffel symbols and the first fundamental form, showing these quantities depend only on intrinsic measurements.
Key Takeaways
- Curvature isn't just a visual property of how a shape bends in space — it's measurable using only distances and angles on the surface itself.
- This is why cartographers can never produce a perfectly accurate flat map of the Earth; some distortion is mathematically unavoidable.
- Two very differently shaped surfaces (like the catenoid and helicoid) can be geometrically equivalent if one can bend into the other without stretching.
- The pizza-slice-folding trick and corrugated materials both exploit the same curvature-conservation principle for added rigidity.
- The proof rests on showing that the Christoffel symbols and first fundamental form — purely intrinsic quantities — fully determine curvature.
ARTICLE