Gauss's remarkable theorem about intrinsic curvature
Why can't you flatten an orange peel, yet you can roll paper into a tube? Gauss's “remarkable theorem” says a surface's curvature K can be measured from the inside, so bending can never change it.
Drag the bend slider to roll a flat sheet into a cylinder and watch K stay at zero. Then compare the sphere, where K = 1 everywhere: no amount of bending gets paper there.
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!
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!
“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!
Switch projections and watch the Tissot circles: identical circles on the globe that stretch, grow, or shrink on the map. Every flat map of Earth distorts something.
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.
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.
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.
Pick a pair of surfaces and see whether one can be bent into the other without stretching. They can only if their Gaussian curvatures match.
Both have K = 0. You can unroll a cylinder into a plane without stretching!
Two surfaces are locally isometric if they have the same intrinsic geometry — same distances, same K.
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.
Spot a mistake or have an idea?