| Table of contents |
|
2 Generalisations to Other Spaces 3 Extensions and Applications of the Problem 4 External links |
The classical isoperimetric problem dates back to antiquity. The problem can be stated as follows: Among all closed curves in the plane of fixed perimeter, which curve (if any) maximizes the area of its enclosed region? This question can be shown to be equivalent to the following problem: Among all closed curves in the plane enclosing a fixed area, which curve (if any) minimizes the perimeter?
Although the circle appears to be an obvious solution to the problem, proving this fact is rather difficult. The first progress toward the solution was made by J. Steiner in 1838, using a geometric method later named Steiner symmetrisation. Steiner showed that if a solution existed, then it must be the circle. Steiner's proof was completed later by several other mathematicians.
The theorem is usually stated in the form of an inequality that relates the perimeter and area of a closed curve in the plane. If P is the perimeter of the curve and A is the area of the region enclosed by the curve, then the inequality states that
4πA ≤ P2
For the case of a circle of radius r, we have A = πr2 and P = 2πr, and substituting these into the inequality shows that the circle does indeed maximize the area among all curves of fixed perimeter. In fact, the circle is the only curve that maximizes the area.
There are dozens of proofs of this classic inequality. Several of these are discussed in the Treiberg paper below. In 1901, Hurwitz gave a purely analytic proof of the classical isoperimetric inequality based on Fourier series and Green's theorem.
The isoperimetric theorem generalises to higher dimensional spaces and non-Euclidean spaces.
The isoperimetric problem has been generalised to many different setting in advanced mathematics, and has generated new areas of current research.
See also:
The Isoperimetric Problem in the Plane
Generalisations to Other Spaces
Extensions and Applications of the Problem
External links