MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to find out more about geometry of surfaces and, in particular, Gaussian curvature. I understand that it can be defined in terms of the principal curvatures (extrinsically) and also intrinsically, and that the result that it can be equivalently defined in these two ways was a significant result. Does anyone know where I can find a nice, clear proof of the equivalence of these definitions and perhaps some historical/background information on their importance? Thanks in advance.

share|cite|improve this question
Thanks so much for all of your suggestions-I'll definitely check out the books you all recommended. Thanks again for your help! – Lea M Apr 24 '10 at 18:45
Gauss apparently defined curvature, as repeated by Riemann in his paper translated in Spivak, as (the angle sum minus 2π)/area for an infinitesimal triangle centered at the point. This occurs in a nice article about Descartes' anticipation of Euler's theorem: Another nice elementary discussion is in chapter 7 of Experiencing Geometry, 2nd edition, by David Henderson. see also: post #29, my paragraph on parallel transport: – roy smith Mar 22 '12 at 16:57
up vote 5 down vote accepted

I like the presentation of the Theorema Egregium in A Comprehensive Introduction to Differential Geometry (Volume 2) by Michael Spivak. A translation of the original paper by Gauss and the historical background can be found in General investigations of curved surfaces of 1827 and 1825 by James Caddall Morehead and Adam Miller Hiltebeitel (the 2005 Dover edition).

share|cite|improve this answer

I guess you could have a look to the marvelous book A panoramic view of riemannian geometry by Marcel Berger. I do not have it there right now, but I am pretty sure it contains a discussion of the Theorema egregium, and it contains a lot of connections between the various subjects of Riemannian geometry.

share|cite|improve this answer
+1 for reminding people of Berger's book. It's fantastic! – Joel Fine Apr 24 '10 at 7:50

It seems to me that the most difficult step is learning and understanding the intrinsic definition of Gauss curvature. The wikipedia page,, provides a few different versions.

My favorite way to describe the extrinsic definition is the following: To calculate the Gauss curvature at a point $p$ on the surface: Move the surface so that $p$ is at the origin. Rotate the surface so that the $xy$-plane is tangent to the surface at the origin. The surface near the origin is now given as a graph $z = f(x,y)$, where the partials $ \partial_x f $ and $\partial_y f$ vanish at the origin. The second fundamental form of the surface at $p$ is given by the Hessian $\partial^2 f(0)$, and the Gauss curvature at $p$ is the determinant of the Hessian.

Proving the theorem egregium is now pretty straightforward, especially if you remember that you don't need exact formulas for anything but only second order approximations at the origin.

share|cite|improve this answer

Chapter 3 ("The Geometry of the Gauss Map") of Do Carmo's "Differential Geometry of Curves and Surfaces" has a very nice discussion along these lines, though I don't remember much historical background being present. For that, you might try Struik's "Lectures on Classical Differential Geomtry", which includes historical remarks on most of the main results.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.