appletmagic.com Thayer Watkins Silicon Valley & Tornado Alley USA 


The GaussBonnet Formula for curves states that the integral of the curvature around a closed curve in a plane plus the sum of the turning angles at corner points is equal to 2π. The proof of this theorem in the standard sources is tedious and involved. What is given below is a marvelously simple proof that corrects an error in the usual statement of the formula.
Curvature is defined at points where the curve is smooth in terms of the rate of turning of the unit tangent vector to a curve; i.e.,
where T(s) is the unit tangent vector as a function of the path length parameter s, N(s) is the unit normal vector and κ(s) is the curvature.
The unit tangent vector T(s) for a plane curve is most succinctly given in terms of it direction angle α(s); i.e.,
Since
A curvature function κ*(s) could be defined as the generalized function which is the derivative of α(s) but this is usually not what is done. The important thing is that the line integral of the curvature is equal to the function α(s); i.e.,
where {ε_{i}} is the set of the turning angles of the curve at its corner points.
If L is the end value of the curve parameter s then
Obviously the correct form of the GaussBonnet Formula for the path integral of curvature is
A plane curve could equally well be represented by the angle function β(s) for its unit normal vectors N(s), where β(s) is at a right angle to α(s); i.e.,
This analysis in terms of unit normals is given because the analysis of curvature for a surface has to be expressed in terms of normals rather than tangents. It is helpful to see the analysis for the simpler case of curves as a preparation for the more difficult case of surfaces.
The unit normal vector function is given in terms of β(s) as:
Since dN/ds = κ(s)T(s) and
Thus the line integral of curvature could be expressed as
where {ε_{i}} is the set of the turning angles of the normals to the curve at its corner points, which are the same as the turning angles of the tangents to the curve at those points.