
Descartes's Lost Theorem
The polyhedral GaussBonnet Theorem
The GaussBonnet Theorem states that for any smooth surface S the integral of the Gaussian curvature is equal to 2 times the Euler characteristic of S. (This theorem is an elementary consequence of Gauss's local integral formula.)
For example, the sphere of radius R has constant Gaussian curvature 1/R^{2} and area 4 R^{2}; the integral of the Gaussian curvature is 4 ,which is 2 times the Euler characteristic 2.
This theorem has a polyhedral version: For any polyhedral surface, the sum of the polyhedral curvatures is equal to 2 times the Euler characteristic.
For a convex polyhedron with Euler characteristic 2, this is just another statement of Descartes's Lost Theorem, but it can be applied more generally, for example, to a toroidal surface:
It is not clear what appeal such a calculation would have had for Descartes. Even though tesselated tori were well known as mazzochi in Italian art of the fifteenth century, the classical subjects of interest to geometers remained convex polygons and convex polyhedra. Moreover, negative curvature would not have seemed a natural concept, since at the beginning of his career (he was twentyfour in 1620) he was reluctant to consider negative numbers at all. Finally, for Descartes the distinction between a vertex and the measure of the (planar or solid) angle at that vertex was not explicit; the lack of this distinction probably kept him from the combinatorial version of his theorem that Euler derived. Nevertheless, his Lost Theorem, now recovered, remains as indelible evidence of the geometrical power of this intellectual giant.
Back to previous Descartes page.
Back to first Descartes page.
