The Gaussian curvature (the product of the principal curvatures) of a regular surface in Euclidean space remains unchanged when the surface is isometrically deformed. ( "Regularity" here means -smooth immersion.) Gauss' theorem follows from the fact that the Gaussian curvature of a surface at a point can be expressed in terms of the coefficients of the first fundamental form of the surface,
and their first and second derivatives at that point. Such an expression for is called the Gauss equation, which may be written down in several forms . The Gauss equation simplifies in special coordinates. Thus, in isothermal coordinates (, ):
in semi-geodesic coordinates (, ):
The Gauss equation and the Peterson–Codazzi equations form the conditions for the integrability of the system to which the problem of the reconstruction of a surface from its first and second fundamental forms may be reduced. It follows from Gauss' theorem and from the Gauss–Bonnet theorem that the difference between the sum of the angles of a geodesic triangle on a regular surface and is equal to the oriented area of the spherical image of this triangle .
Gauss' theorem was established by C.F. Gauss  and it is the first and most important result in the study of the relations between the intrinsic and the extrinsic geometry of surfaces.
where , are the sectional curvatures of, respectively, and in the two-dimensional direction defined by the tangent vectors to at the point under consideration, and is the second fundamental form of with respect to the -th normal of an orthonormal set of normals at this point. It follows from (*) that, for a hypersurface in , all even elementary symmetric functions of the principal curvatures
, are defined by the first fundamental form of . In an even-dimensional space , , a hypersurface is uniquely defined by its first fundamental form and by the Gauss–Kronecker curvature
on the condition that the latter is non-zero .
For large classes of two-dimensional irregular surfaces in it is possible to define an "external curvatureexternal curvature" as a Borel measure connected with the spherical mapping and an "intrinsic curvatureintrinsic curvature" as a measure connected with the difference between the sum of the angles of a triangle and . A generalization of Gauss' theorem is the statement that the external and the internal curvatures coincide. Such a generalization of Gauss' theorem was obtained for general convex surfaces  and for -smooth surfaces of bounded external curvature .
|||C.F. Gauss, "Allgemeine Flächentheorie" , W. Engelmann , Leipzig (1900) (Translated from Latin)|
|||W. Blaschke, "Einführung in die Differentialgeometrie" , Springer (1950)|
|||D. Gromoll, W. Klingenberg, W. Meyer, "Riemannsche Geometrie im Grossen" , Springer (1968)|
|||L.P. Eisenhart, "Riemannian geometry" , Princeton Univ. Press (1949)|
|||S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964)|
|||A.D. Aleksandrov, "Die innere Geometrie der konvexen Flächen" , Akademie Verlag (1955) (Translated from Russian)|
|||A.V. Pogorelov, "Extrinsic geometry of convex surfaces" , Amer. Math. Soc. (1972) (Translated from Russian)|
The Peterson–Codazzi equations are better known as the Mainardi–Codazzi equations.
|[a1]||M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French)|
|[a2]||P. Dombrowski, "150 years after Gauss" Astérisque , 62 (1979)|
|[a3]||M.P. Do Carmo, "Differential geometry of curves and surfaces" , Prentice-Hall (1976) pp. 145|
|[a4]||S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 2 , Interscience (1969)|
|[a5]||M. Spivak, "A comprehensive introduction to differential geometry" , 1979 , Publish or Perish pp. 1–5|
Gauss theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gauss_theorem&oldid=15763