Differential geometry of surfaces | Surfaces | Differential geometry | Theorems in geometry | Riemannian geometry
Theorema Egregium
Gauss's Theorema Egregium (Latin for "Remarkable Theorem") is a major result of differential geometry, proved by Carl Friedrich Gauss in 1827, that concerns the curvature of surfaces. The theorem says that Gaussian curvature can be determined entirely by measuring angles, distances and their rates on a surface, without reference to the particular manner in which the surface is embedded in the ambient 3-dimensional Euclidean space. In other words, the Gaussian curvature of a surface does not change if one bends the surface without stretching it. Thus the Gaussian curvature is an intrinsic invariant of a surface. Gauss presented the theorem in this manner (translated from Latin): Thus the formula of the preceding article leads itself to the remarkable Theorem. If a curved surface is developed upon any other surface whatever, the measure of curvature in each point remains unchanged. The theorem is "remarkable" because the starting definition of Gaussian curvature makes direct use of position of the surface in space. So it is quite surprising that the result does not depend on its embedding in spite of all bending and twisting deformations undergone. In modern mathematical terminology, the theorem may be stated as follows: The Gaussian curvature of a surface is invariant under local isometry. (Wikipedia).
