Gauss's remarkable theorem about intrinsic curvature
Gauss's Theorema Egregium (“Remarkable Theorem”) states that Gaussian curvature K is intrinsic — it depends only on the metric (first fundamental form), not on how the surface is embedded in space.
This means a 2D being living on the surface could measure K without knowing about the surrounding 3D space. It also explains why you can't flatten an orange peel!
Bend a flat sheet into a cylinder. The Gaussian curvature stays zerobecause bending doesn't change intrinsic distances. A sphere has K = 1 everywhere — you can't bend paper into a sphere without tearing or stretching!
No matter how you bend a flat sheet, its Gaussian curvature stays zero. You cannot bend paper into a sphere without stretching or tearing — that would change K!
“The Gaussian curvature K of a surface is an intrinsic invariant — it can be computed entirely from the first fundamental form (E, F, G) and its derivatives.”
In other words: K = K(E, F, G, Eu, Ev, Fu, ...) with no reference to the second fundamental form or the normal vector.
This was surprising because K = k1 · k2 involves principal curvatures that seem to depend on the embedding. Gauss proved they cancel out in just the right way!
The Theorema Egregium explains why no flat map of Earth is perfect. The sphere has K = 1, the plane has K = 0. Since K is intrinsic, any map must distort something. The Tissot indicatrix shows what gets distorted.
Simple latitude-longitude grid. Severe distortion near poles.
The Tissot indicatrix shows how the map distorts small circles on the sphere. No flat map can preserve both shape (K changes!) and area everywhere.
A sphere (K = 1) cannot be isometrically mapped to a plane (K = 0). Any flat map of Earth must distort either angles, areas, or distances.
A plane (K = 0) can be bent into a cylinder or cone (also K = 0) without stretching. This is an isometry — distances are preserved.
Why does folding a pizza slice make it stiffer? Bending in one direction forces the other curvature to zero (to keep K = 0), preventing it from drooping.
A 2D being on a surface can measure K using only distances — no need to see the surface from “outside.” This led to Riemann's intrinsic geometry.
Two surfaces are locally isometric if they have the same intrinsic geometry — same distances, same K. Compare pairs of surfaces to see which can be smoothly deformed into each other.
Both have K = 0. You can unroll a cylinder into a plane without stretching!
Gauss proved that K can be expressed purely in terms of E, F, G and their partial derivatives. For orthogonal coordinates (F = 0):
This remarkable formula shows K depends only on the metric tensorand its derivatives — exactly what a 2D being could measure!
Gauss published this theorem in his 1827 work “Disquisitiones generales circa superficies curvas” and reportedly called it “egregium” (remarkable) because even he was surprised by the result.
This work laid the foundation for Riemannian geometry, where Riemann generalized these ideas to spaces of any dimension — eventually leading to Einstein's general relativity.
Congratulations! You've completed the Differential Geometry module.