The following result has been known since Ancient Greek times if not earlier, yet it was not until the 19th century that it was rigorously proven.

Among all regions in the plane with fixed perimeter, the circle encloses the greatest area.

I recently came across a solution to a special case of the isoperimetric inequality (smooth curves) using Fourier series which I shall outline here. This is based largely on reference [1] with support from [2-5]. Let the plane curve C be parametrised in the complex plane by , . We assume the curve is smooth, meaning its derivative exists and is continuous. Also assume the curve is simple (z(t) is one-one on ) and closed (so that ). The length of the curve is given by

and the area is

(These formulas for perimeter and area are beautiful in their own right! Feel free to pause to admire them if you have not seen them before. đŸ™‚ )

Since we know that scaling the coordinates of the curve by increases the arc length by and its area enclosed by , we may assume that the perimeter is normalised to and the curve is parametrised by arc length, so that . Writing z(t) in terms of its Fourier series gives .

By translating the curve by if necessary (not changing the length or area enclosed) we may assume and so

Differentiating (1) term by term gives

(true by the smoothness assumption of z'(t)), and so

The interchange of summation and integration above is justified by the uniform convergence of the series. By Parseval’s relation on (2), we can write

where the second equality follows from our assumption of z being parametrised by arc length. Using the elementary inequality for from (3) and then (4) we have

.

Since n is strictly less than unless n is 0 or 1, equality above holds if for all, in which case has the Fourier series representation

Since this means , so z(t) is the unit circle as expected.

By scaling by a factor of , if z(t) has length P and encloses an area A, then . This is the isoperimetric inequality.

#### References

[1] Alberto Candel, Notes on Fourier Series, available at http://www.csun.edu/~ac53971/courses/math650/fourier.pdf

[2] http://cornellmath.wordpress.com/2008/05/16/two-cute-proofs-of-the-isoperimetric-inequality/

[3] http://www.cut-the-knot.org/do_you_know/isoperimetric.shtml

[4] Andrejs Treibergs, Inequalities that Imply the Isoperimetric Inequality, available at http://www.math.utah.edu/~treiberg/isoperim/isop.pdf

[5] Alan Siegel, A Historical Review of the Isoperimetric Theorem in 2-D, and its place in Elementary Plane Geometry, available at http://www.cs.nyu.edu/faculty/siegel/SCIAM.pdf

## Leave a Reply