Theorema Egregium

The Theorema Egregium ('Remarkable Theorem') is an important theorem of Carl Friedrich Gauss concerning the 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 imbedded in (3-dimensional) space. 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 isometries.
The theorem is remarkable because the definition of Gaussian curvature makes direct use of the imbedding of the surface in space. So it is quite surprising that the end result does not depend on the imbedding.

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 always 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.)

 

<< PreviousWord BrowserNext >>
hamilton (town), new york
madison (village), new york
madison (town), new york
brighton (cdp), new york
greece (cdp), new york
greece (town), new york
pittsford (village), new york
pittsford (town), new york
webster (village), new york
webster (town), new york
amsterdam (town), new york
amsterdam (city), new york
canajoharie (village), new york
canajoharie (town), new york
st. johnsville (village), new york
st. johnsville (town), new york
hempstead (village), new york
george wallace
hempstead (town), new york
oyster bay (cdp), new york
oyster bay (town), new york
liu bei
lewiston (village), new york
lewiston (town), new york
lockport (town), new york
lockport (city), new york
newfane (cdp), new york
newfane (town), new york
wilson (village), new york
wilson (town), new york
boonville (village), new york
boonville (town), new york
bridgewater (village), new york
bridgewater (town), new york
camden (village), new york
camden (town), new york
new hartford (village), new york
new hartford (town), new york
remsen (village), new york
remsen (town), new york
vernon (village), new york
vernon (town), new york
camillus (village), new york
camillus (town), new york