THEOREMA EGREGIUM

In differential geometry, the 'Theorema Egregium' ('Remarkable Theorem'), is an important theorem of Carl Friedrich Gauss discovered in 1828 and concerning the Gaussian curvature of surfaces. Informally, the theorem says that the curvature of a surface can be determined entirely by measuring angles and distances on the surface, that is, it does not depend on how the surface might be embedded in (3-dimensional) space. In other words the Gaussian curvature is intrinsic.
Gauss presented the theorem this way (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.
In more modern language the theorem may be stated this way:
:The Gaussian curvature of a surface is invariant under local isometry.
The theorem is remarkable because the definition of Gaussian curvature makes direct use of the embedding of the surface in space. So it is quite surprising that the end result does not depend on the embedding.

Contents

Some simple applications

See also

References

Some simple applications

You can't bend a piece of paper onto a sphere (more formally, the plane and the 2-sphere are not locally isometric). This follows immediately from the fact that the plane has Gaussian curvature 0 (at all points) while no point on a sphere has Gaussian curvature 0. (It is, however, possible to prove this special case more directly.)
A somewhat whimsical application of the Theorema Egregium is seen in a common pizza-eating strategy: A slice of pizza can be seen as a surface with constant Gaussian curvature 0. Gently bending a slice must then roughly maintain this curvature (assuming the bend is roughly a local isometry). If one bends a slice horizontally across a radius, non-zero principal curvatures are created along the bend, dictating that the other principal curvature at these points must be zero. This creates rigidity in the direction perpendicular to the fold, an attribute desirable when eating pizza (since it prevents stuff from falling off and making a mess).
Corresponding points on the catenoid and the helicoid (two very different-looking surfaces) have the same Gaussian curvature. (The two surfaces are locally isometric.)

See also

★ Second fundamental form

★ Gaussian curvature

References

★ Karl Friedrich Gauss, ''General Investigations of Curved Surfaces of 1827 and 1825'', (1902) The Princeton University Library. ''(A translation of Gauss's original paper.)''