In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem.
Let C be a positively oriented, piecewise smooth, simple closed curve in a plane, and let D be the region bounded by C. If L and M are functions of (x, y) defined on an open region containing D and have continuous partial derivatives there, then
where the path of integration along C is anticlockwise.
In physics, Green's theorem finds many applications. One is solving two-dimensional flow integrals, stating that the sum of fluid outflowing from a volume is equal to the total outflow summed about an enclosing area. In plane geometry, and in particular, area surveying, Green's theorem can be used to determine the area and centroid of plane figures solely by integrating over the perimeter.
The following is a proof of half of the theorem for the simplified area D, a type I region where C1 and C3 are curves connected by vertical lines (possibly of zero length). A similar proof exists for the other half of the theorem when D is a type II region where C2 and C4 are curves connected by horizontal lines (again, possibly of zero length). Putting these two parts together, the theorem is thus proven for regions of type III (defined as regions which are both type I and type II). The general case can then be deduced from this special case by decomposing D into a set of type III regions.
If it can be shown that
and
are true, then Green's theorem follows immediately for the region D. We can prove () easily for regions of type I, and () for regions of type II. Green's theorem then follows for regions of type III.
Assume region D is a type I region and can thus be characterized, as pictured on the right, by
where g1 and g2 are continuous functions on . Compute the double integral in ():
Now compute the line integral in (). C can be rewritten as the union of four curves: C1, C2, C3, C4.
With C1, use the parametric equations: x = x, y = g1(x), a ≤ x ≤ b.