Search

Isoperimetry

(Redirected from Isoperimetric theorem)

Isoperimetry literally means "having an equal perimeter". In mathematics, isoperimetry is the general study of geometric figures having equal boundaries.

The isoperimetric problem in the plane

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?

This problem is conceptually related to the Principle of least action in physics, in that it can restated: what is the principle of action which encloses the greatest area, with the greatest economy of effort? The 15th Century philosopher and scientist, Cardinal Nicholas of Cusa, considered rotational action, the process by which a circle is generated, to be the most direct reflection, in the realm of sensory impressions, of the process by which the universe is created. Johannes Kepler invoked the isoperimetric principle in discussing the morphology of the solar system, in Mysterium Cosmographicum.

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 Jakob 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.

Steiner begins with some geometric constructions which are easily understood; for example, it can be shown that any closed curve that is not fully convex, can be modified to enclose more area, by "flipping" the concave areas so that they become convex. It can further be shown that any closed curve which is not fully symmetrical can be "tilted" so that it encloses more area. The one shape that is perfectly convex and symmetrical is the circle, although this, in itself, does not represent a rigorous proof of the isoperimetic theorem (see external links).

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\pi A \le P^2.$

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: the domain with volume 1 with the minimal surface area is always a ball.