This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Theorema Egregium" – news ·newspapers ·books ·scholar ·JSTOR(December 2019) (Learn how and when to remove this message)

A consequence of the Theorema Egregium is that the Earth cannot be displayed on amap without distortion.

TheMercator projectionpreserves angles but fails to preserve area, hence the massive distortion ofAntarctica.

Cylindrical equal-area projections such as theBehrmann projection instead preserve area but not angles.

Each orange spot is aTissot's indicatrix showing how identical infinitesimal circles are distorted at each point.

Gauss'sTheorema Egregium (Latin for "remarkable theorem") is a major result ofdifferential geometry, proved byCarl Friedrich Gauss in 1827, that concerns thecurvature of surfaces. The theorem says thatGaussian curvature can be determined entirely by measuring angles, distances and their rates of change on a surface, without reference to the particular manner in which the surface isembedded in the ambient 3-dimensionalEuclidean space. In other words, the Gaussian curvature of asurface does not change if one bends the surface without stretching it. Thus the Gaussian curvature is anintrinsicinvariant 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 definition of Gaussian curvature makes ample reference to the specific way the surface is embedded in 3-dimensional space, and it is quite surprising that the result doesnot depend on its embedding.

In modern mathematical terminology, the theorem may be stated as follows:

TheGaussian curvature of a surface is invariant under localisometry.^[1]

Asphere of radiusR has constant Gaussian curvature which is equal to 1/R². At the same time, a plane has zero Gaussian curvature. As a corollary of Theorema Egregium, a piece of paper cannot be bent onto a sphere without crumpling. Conversely, the surface of a sphere cannot be unfolded onto a flat plane without distorting the distances. If one were to step on an empty egg shell, its edges have to split in expansion before being flattened. Mathematically, a sphere and a plane are notisometric, even locally. This fact is significant forcartography: it implies that no planar (flat) map of Earth can be perfect, even for a portion of the Earth's surface. Thus everycartographic projection necessarily distorts at least some distances.^[2]

Thecatenoid and thehelicoid are two very different-looking surfaces. Nevertheless, each of them can be continuously bent into the other: they are locally isometric. It follows from Theorema Egregium that under this bending the Gaussian curvature at any two corresponding points of the catenoid and helicoid is always the same. Thus isometry is simply bending and twisting of a surface without internal crumpling or tearing, in other words without extra tension, compression, or shear.

An application of the theorem is seen when a flat object is somewhat folded or bent along a line, creating rigidity in the perpendicular direction. This is of practical use in construction, as well as in a commonpizza-eating strategy: A flat 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 along a radius, non-zeroprincipal 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 for eating pizza, as it holds its shape long enough to be consumed without a mess. This same principle is used for strengthening incorrugated materials, most familiarly withcorrugated fiberboard andcorrugated galvanised iron,^[3] and in some forms ofpotato chips as well.

Following Do Carmo^[4] we can express the second derivative of a parametrisation of a surface, in terms of thefirst fundamental form,second fundamental form andChristoffel symbols, then find equations linking the Christoffel symbols to the coefficients of the first fundamental form and their derivatives, showing that these are Christoffel symbols are invariant under isometries. Finally, an equation linking Gaussian curvature to Christoffel symbols shows that it is also invariant under isometries.

Let${\displaystyle S,\tilde{S}}$ beregular surfaces, and let${\displaystyle \mathbf{r}=\mathbf{r}(u,v)}$ be a parametrisation of a patch of the surface${\displaystyle S}$, with unit normal${\displaystyle \mathbf{N}}$. Denote the first derivatives of${\displaystyle \mathbf{r}}$ with respect to${\displaystyle u}$ and${\displaystyle v}$ by${\displaystyle {\mathbf{r}}_u}$ and${\displaystyle {\mathbf{r}}_v}$ and the second derivatives by${\displaystyle {\mathbf{r}}_{uu},{\mathbf{r}}_{uv},{\mathbf{r}}_{vv}}$. (As our surface is regular,${\displaystyle {\mathbf{r}}_{vu}={\mathbf{r}}_{uv}}$.)

Definition:

A diffeomorphism${\displaystyle \varphi :S\to \tilde{S}}$ is anisometry if for all${\displaystyle p\in S}$ andall pairs${\displaystyle {\mathbf{w}}_1,{\mathbf{w}}_2\in T_p(S)}$ thetangent space to${\displaystyle S}$ we have$${\displaystyle ⟨{\mathbf{w}}_1,{\mathbf{w}}_2{⟩}_p=⟨d{\varphi }_p({\mathbf{w}}_1),d{\varphi }_p({\mathbf{w}}_1){⟩}_{\varphi (p)}.}$$In other words, the differential map between tangent spaces,${\displaystyle d{\varphi }_p:T_p(S)\to T_{\varphi (p)}(\tilde{S})}$ preserves the inner product.

This definition of isometry applies to the whole surface, for the theorem we only need a weaker definition, defined for small neighbourhoods.

Definition:

A map${\displaystyle \varphi :V\to \tilde{S}}$ of a neighbourhood of${\displaystyle V}$ of${\displaystyle p\in S}$is alocal isometry if there a neighbourhood${\displaystyle \tilde{V}}$ of${\displaystyle \varphi (p)\in \tilde{S}}$such that${\displaystyle \varphi :V\to \tilde{V}}$ is an isometry.

If there exists local isometries for each${\displaystyle p\in S}$ then${\displaystyle S}$ and${\displaystyle \tilde{S}}$are said to belocally isometric.

An immediate consequence is if${\displaystyle \mathbf{x}(u,v)}$ is a parametrisation of${\displaystyle V\subset S}$ and${\displaystyle \varphi \circ \mathbf{x}(u,v)}$ is a parametrisation of${\displaystyle \tilde{V}\subset \tilde{S}}$ then the coefficientsof the first fundamental form for both surfaces agree:Furthermore, as${\displaystyle E-\tilde{E}=0}$ for all point${\displaystyle (u,v)\in {\mathbf{x}}^{-1}(V)}$ in theparameter space the derivatives are equal${\displaystyle E_u-{\tilde{E}}_u=0}$, etc., as are all higher derivatives.

Now consider the second derivatives of a parametrisation${\displaystyle \mathbf{r}=\mathbf{r}(u,v)}$,these can be expressed in terms of the basis${\displaystyle {\mathbf{r}}_u,{\mathbf{r}}_v,\mathbf{N}}$ and Christoffel symbols${\displaystyle {\mathrm{\Gamma }}_{ij}^k}$,

1

Taking thedot product of each equation with${\displaystyle \mathbf{N}}$ shows that the coefficients${\displaystyle L,M,N}$ are the coefficients of the second fundamental form,${\displaystyle L=\mathrm{I}\mathrm{I}(u,u),M=\mathrm{I}\mathrm{I}(u,v),N=\mathrm{I}\mathrm{I}(v,v)}$.

Let${\displaystyle E,F,G}$ be the coefficients of the first fundamental form${\displaystyle E=\mathrm{I}(u,u)={\mathbf{r}}_u\cdot {\mathbf{r}}_u}$,${\displaystyle F=\mathrm{I}(u,v)={\mathbf{r}}_u\cdot {\mathbf{r}}_v}$,${\displaystyle G=\mathrm{I}(v,v)={\mathbf{r}}_v\cdot {\mathbf{r}}_v}$.Their derivatives with respect to${\displaystyle u,v}$ areNow take dot products of the second derivatives of the surface with${\displaystyle {\mathbf{r}}_u}$ and${\displaystyle {\mathbf{r}}_v}$ to obtain expressions for the Christoffel symbols.Each pair of equations can be written as a matrix, for the first twoand for non-singular surfaces the matrix is invertible with determinant${\displaystyle EG-F^2\ne 0}$, showing the Christoffel symbolscan be expressed in terms of the coefficient of first fundamental form and their derivatives. This is a key result showing all geometric concepts and properties expressed in terms of the Christoffel symmetriesare invariant under local isometries. We now show the Gaussian curvature can be expressed in this way.

The derivatives of the unit normal can be written as${\displaystyle {\mathbf{N}}_u=a_{11}{\mathbf{r}}_u+a_{21}{\mathbf{r}}_v,{\mathbf{N}}_v=a_{12}{\mathbf{r}}_u+a_{22}{\mathbf{r}}_v}$and equations for these coefficients can be expressed in terms of the coefficient of the firstand second fundamental forms,^[5]$${\displaystyle a_{11}=\frac{MF-LG}{EG-F^2},a_{12}=\frac{NF-MG}{EG-F^2},a_{21}=\frac{LF-ME}{EG-F^2},a_{22}=\frac{MF-NE}{EG-F^2},}$$

The third derivatives of our parameterisation${\displaystyle {\mathbf{r}}_{uuv}}$ can beexpressed as either${\displaystyle ({\mathbf{r}}_{uu}{)}_v}$ or${\displaystyle ({\mathbf{r}}_{uv}{)}_u}$ differentiating the two equations for1 and equating these gives

Substitution in expressions from1 and equating coefficients of${\displaystyle {\mathbf{r}}_v}$gives$${\displaystyle {\mathrm{\Gamma }}_{11}^1{\mathrm{\Gamma }}_{12}^2+{\mathrm{\Gamma }}_{11}^2{\mathrm{\Gamma }}_{22}^2+L{a}_{22}+({\mathrm{\Gamma }}_{11}^2{)}_v={\mathrm{\Gamma }}_{12}^1{\mathrm{\Gamma }}_{11}^2+{\mathrm{\Gamma }}_{12}^2{\mathrm{\Gamma }}_{12}^2+M{a}_{21}+({\mathrm{\Gamma }}_{12}^2{)}_u}$$Rearranging givesGiving the required expression for the Gaussian Curvature${\displaystyle K}$ in terms of coefficients ofthe first fundamental form and its derivatives, so it is invariant by local isometries.

• Second fundamental form
• Gaussian curvature
• Differential geometry of surfaces
• Carl Friedrich Gauss#Differential geometry
• Gauss–Codazzi equations

• Gauss, C. F. (2005). Pesic, Peter (ed.).General Investigations of Curved Surfaces (Paperback ed.).Dover Publications.ISBN 0-486-44645-X.
• O'Neill, Barrett (1966).Elementary Differential Geometry. New York: Academic Press. pp. 271–275.
• Stoker, J. J. (1969). "The Partial Differential Equations of Surface Theory".Differential Geometry. New York: Wiley. pp. 133–150.ISBN 0-471-82825-4.

• Theorema Egregium on Mathworld
• Dominic Vella :Some wrinkles in Gauss' Theoreme : Mathematics of everday objects from Pizza to Umbrellas and Parachutes (G. I. Taylor Lecture) on YouTube, 30 January 2023

• Differential geometry of surfaces
• Riemannian geometry
• Surfaces
• Theorems in differential geometry
• Carl Friedrich Gauss

• Articles with short description
• Short description is different from Wikidata
• Use mdy dates from December 2019
• Articles needing additional references from December 2019
• All articles needing additional references