Isoperimetric Problems

One-line statement: Among all closed plane curves of a fixed perimeter, the circle encloses the maximum area; equivalently, for a fixed area the circle has the least perimeter. Key result in words: The isoperimetric inequality states

L^{2} \geq 4 π A

for any simple closed curve of length

L

enclosing area

A

, with equality if and only if the curve is a circle. Where it applies: Geometry, calculus of variations, optimization, physics (surface tension, minimal energy), and as a foundational example in variational problems with constraints. Who/when: Posed in antiquity (Dido's problem, ~800 BC); rigorous proofs from Steiner (1838), Weierstrass, Schwarz, and Hurwitz (1901).

An isoperimetric problem asks for the curve (or surface) that extremizes one geometric quantity while holding another fixed — classically, maximizing enclosed area subject to a fixed boundary length. The central result, the isoperimetric inequality, asserts that no plane region of given perimeter can have larger area than a disk, and that the circle uniquely achieves the optimum. This matters because it is the archetype of a constrained variational problem: optimize a functional subject to an integral constraint, solved by the method of Lagrange multipliers in function space. A surprising fact is that early "proofs" (notably Steiner's elegant symmetrization argument) assumed an optimizer exists — an assumption that is logically necessary and was only later justified, showing how subtle existence questions are in the calculus of variations.

The Core Insight

Optimizing one geometric quantity subject to a constraint on another forces a balance condition: at the optimum, the boundary has constant curvature. In the plane the only closed curve of constant curvature is the circle. Algebraically, the constraint introduces a Lagrange multiplier $λ$ , and the Euler–Lagrange equation reduces to "curvature = constant = $1/ λ$ ." Geometry (symmetrization) and analysis (variational calculus, Fourier series) give two completely different routes to the same conclusion.

Formal Statement

Simple Closed Curve, Perimeter, Enclosed Area

A simple closed curve in $R^{2}$ is a continuous map $γ : [0, L] \to R^{2}$ with $γ (0) = γ (L)$ and no other self-intersections (a non-self-crossing loop). Parametrize by arc length $s$ , so $γ (s) = (x (s), y (s))$ with $\overset{x}{˙}^{2} + \overset{y}{˙}^{2} = 1$ .

Perimeter (length):

L = \int_{0}^{L} d s = \int_{0}^{L} \overset{x}{˙} (s)^{2} + \overset{y}{˙} (s)^{2} d s .

⟳arc length is the integral of the speed

∥ γ^{'} ∥

; with arc-length parametrization the integrand is identically

1

Enclosed area (Green's theorem):

A = \frac{1}{2} \oint_{γ} (x d y - y d x) = \frac{1}{2} \int_{0}^{L} (x \overset{y}{˙} - y \overset{x}{˙}) d s .

⟳apply Green's theorem to

P = - y /2, Q = x /2

, giving

\iint_{D} (Q_{x} - P_{y}) d A = \iint_{D} 1 d A = A

Isoperimetric Inequality

For every simple closed curve in the plane with perimeter $L$ enclosing area $A$ ,

L^{2} \geq 4 π A,

with equality if and only if the curve is a circle.

⟳rearranges from "area maximized at fixed

L

"; for a circle of radius

r

L = 2 π r

and

A = π r^{2}

, so

L^{2} = 4 π^{2} r^{2} = 4 π A

, achieving equality.

Dual Form

Equivalently, among all regions of fixed area $A$ , the disk minimizes perimeter:

L \geq 4 π A = 2 π A .

⟳take the square root of [3]; both inequalities are scale-invariant under

(x, y) \mapsto (c x, cy)

, since

L \mapsto c L

and

A \mapsto c^{2} A

, so the ratio

L^{2} / A

is dimensionless.

Why It Holds / Derivation

Hurwitz's Fourier-Series Proof of the Isoperimetric Inequality

This is the cleanest analytic proof, due to Hurwitz (1901).

Step 1 — Normalize. By scaling, assume the perimeter is

L = 2 π

. Reparametrize by a parameter

t \in [0, 2 π]

proportional to arc length, so that

t = 2 π s / L = s

. Then

x (t), y (t)

are

2 π

-periodic, and the unit-speed condition gives

\overset{x}{˙}^{2} + \overset{y}{˙}^{2} = 1 ⟹ \int_{0}^{2 π} (\overset{x}{˙}^{2} + \overset{y}{˙}^{2}) d t = 2 π .

⟳integrate the constant integrand

1

over

[0, 2 π]

Step 2 — Fourier expand. Write

x (t) = \frac{a _{0}}{2} + n \geq 1 \sum (a_{n} cos n t + b_{n} sin n t), \overset{x}{˙} (t) = n \geq 1 \sum n (- a_{n} sin n t + b_{n} cos n t),

and similarly for

y

with coefficients

c_{n}, d_{n}

⟳differentiate term-by-term; the constant

a_{0} /2

vanishes upon differentiation.

Step 3 — Parseval. By Parseval's identity,

\int_{0}^{2 π} (\overset{x}{˙}^{2} + \overset{y}{˙}^{2}) d t = π n \geq 1 \sum n^{2} (a_{n}^{2} + b_{n}^{2} + c_{n}^{2} + d_{n}^{2}) = 2 π,

and the area from [2] becomes

A = \frac{1}{2} \int_{0}^{2 π} (x \overset{y}{˙} - y \overset{x}{˙}) d t = π n \geq 1 \sum n (a_{n} d_{n} - b_{n} c_{n}) .

⟳Parseval converts integrals of products of trig series into sums of coefficient products; cross terms vanish by orthogonality of

{cos n t, sin n t}

Step 4 — Compare. Subtract twice [8] from [7]:

2 π - 2 A = π n \geq 1 \sum [n^{2} (a_{n}^{2} + b_{n}^{2} + c_{n}^{2} + d_{n}^{2}) - 2 n (a_{n} d_{n} - b_{n} c_{n})] \geq 0.

⟳each summand equals

π [(n a_{n} - d_{n})^{2} + (n b_{n} + c_{n})^{2} + (n^{2} - n) (c_{n}^{2} + d_{n}^{2})] \geq 0

since

n \geq 1

makes

n^{2} - n \geq 0

Step 5 — Conclude. Thus

A \leq π

. Since

L = 2 π

, this reads

A \leq L^{2} / (4 π)

, i.e.

L^{2} \geq 4 π A

. Equality forces every term to vanish:

n^{2} - n = 0

kills all

n \geq 2

terms, leaving

a_{1} = d_{1}, b_{1} = - c_{1}

for

n = 1

. Then

x = \frac{a _{0}}{2} + a_{1} cos t + b_{1} sin t, y = \frac{c _{0}}{2} - b_{1} cos t + a_{1} sin t,

which traces a circle.

■

⟳eliminate

t

from [10] to get

(x - a_{0} /2)^{2} + (y - c_{0} /2)^{2} = a_{1}^{2} + b_{1}^{2}

, a circle.

Variational Derivation: Constant Curvature

Maximize $A$ (eq. [2]) subject to fixed $L$ (eq. [1]) via a Lagrange multiplier $λ$ . Form

J = A - λ L = \int_{0}^{L} [\frac{1}{2} (x \overset{y}{˙} - y \overset{x}{˙}) - λ \overset{x}{˙}^{2} + \overset{y}{˙}^{2}] d s .

⟳the constrained extremum of

A

subject to

L = const

is an unconstrained extremum of

A - λ L

The Euler–Lagrange equations for $x$ and $y$ , after using arc-length parametrization, yield

\overset{y}{˙} = λ \overset{x}{¨}, - \overset{x}{˙} = λ \overset{y}{¨} ⟹ κ = \frac{x ˙ y ¨ - y ˙ x ¨}{( x ˙ ^{2} + y ˙ ^{2} ) ^{3/2}} = \frac{1}{λ} = const .

⟳the signed curvature

κ

collapses to the constant

1/ λ

; the only simple closed plane curve with constant curvature is a circle of radius

∣ λ ∣

Jakob Steiner | 1796–1863

A self-taught Swiss geometer who became professor at Berlin, Steiner championed synthetic (coordinate-free) geometry and disdained analysis. His 1838 attack on the isoperimetric problem introduced symmetrization: given any non-circular region, one constructs a region of the same perimeter and larger area by reflecting across a chord, proving the circle is optimal — provided an optimum exists. Weierstrass famously pointed out this existence gap, which Steiner's argument could not fill. Steiner's symmetrization nonetheless became one of the most powerful tools in geometric analysis, later refined to prove the inequality rigorously and generalized to higher dimensions.

Building Intuition

Think of a fixed-length elastic loop laid on a table. To enclose the most area you push it outward uniformly until it is taut everywhere equally — no dents, no bulges. A dent (concave spot) wastes perimeter while losing area, and a sharp corner concentrates "turning" inefficiently. The fully efficient shape distributes its turning uniformly: equal curvature at every point. That is exactly a circle. Soap films and bubbles "discover" this automatically because surface tension minimizes boundary energy at fixed enclosed volume — the physical analog of the dual form [4].

A non-circular loop (low area for its length) versus the optimal circle of equal perimeter

Worked Examples

Comparing a Square and a Circle of Equal Perimeter

Given: A wire of length

L = 40 cm

. Square: side

a = L /4 = 10 cm

, area

A_{□} = a^{2} = 100 cm^{2}

. Circle: circumference

L = 2 π r \Rightarrow r = \frac{40}{2 π} = \frac{20}{π} \approx 6.366 cm

A_{\circ} = π r^{2} = π (\frac{20}{π})^{2} = \frac{400}{π} \approx 127.3 cm^{2} .

⟳substitute

r = L / (2 π)

into

A = π r^{2}

to get

A = L^{2} / (4 π)

Check the inequality for the square:

L^{2} = 1600

4 π A_{□} = 4 π (100) \approx 1256.6

. Indeed

1600 \geq 1256.6

. For the circle:

4 π A_{\circ} = 4 π (400/ π) = 1600 = L^{2}

(equality). Boxed answer: The circle encloses

\approx 127.3 cm^{2}

versus the square's

100 cm^{2}

— about 27% more area for the same wire.

The Isoperimetric Quotient

Define the dimensionless isoperimetric quotient $Q = \frac{4 π A}{L ^{2}} \in (0, 1]$ , with $Q = 1$ only for the circle.

Q = \frac{4 π A}{L ^{2}} .

⟳dividing inequality [3] by

L^{2}

gives

4 π A / L^{2} \leq 1

; the ratio is scale-invariant.

Equilateral triangle, side $a$ :

L = 3 a

A = \frac{3}{4} a^{2}

Q_{△} = \frac{4 π \cdot \frac{3}{4} a ^{2}}{9 a ^{2}} = \frac{π 3}{9} \approx 0.6046.

⟳cancel

a^{2}

; the area of an equilateral triangle is

(3 /4) a^{2}

Square:

Q_{□} = \frac{4 π a ^{2}}{( 4 a ) ^{2}} = \frac{4 π}{16} = \frac{π}{4} \approx 0.7854.

Regular $n$ -gon:

Q_{n} = \frac{π}{n} cot \frac{π}{n} \to 1

n \to \infty

. Boxed answer: Triangle

Q \approx 0.605

, square

0.785

, hexagon

\approx 0.907

, circle

1

— quotient rises monotonically toward the circle.

Common Misconceptions

The inequality requires a simple closed curve. If self-intersections are allowed, "area" must be interpreted with signed multiplicity (winding number), and

L^{2} \geq 4 π A

can fail or become vacuous. A figure-eight, for example, has cancelling signed areas. Always assume a non-self-intersecting rectifiable Jordan curve. Steiner's symmetrization proves only conditional optimality. It shows: if a maximizer exists, it must be the circle. It does not prove existence. The existence of an optimal curve must be established separately (via compactness in a suitable function space, or by the constructive Fourier proof above). Conflating "the circle beats every competitor we can build" with "the circle is the unique global max" is the classic logical gap Weierstrass exposed.

Why "Constant Curvature" Alone Is Not Enough in Higher Dimensions

In the plane, constant curvature forces a circle. One might guess "constant mean curvature (CMC) closed surface ⇒ sphere" in $R^{3}$ . Alexandrov's theorem confirms this for embedded surfaces — but if embeddedness is dropped, Wente tori (1986) are immersed CMC tori that are not spheres. Thus the naïve "constant curvature ⇒ optimum" intuition needs the topological/embeddedness hypothesis to hold up beyond two dimensions.

Connections

The isoperimetric problem is the prototypical constrained optimization in the Calculus of Variations: maximize a functional ( $A$ ) subject to an integral constraint ( $L$ ), solved by Lagrange Multipliers generalized to function space (the multiplier $λ$ in [11]). The equality condition "constant curvature" links it to Differential Geometry of Curves via the curvature $κ$ . The dual minimization form connects to Minimal Surfaces and soap-film problems, while Hurwitz's proof showcases Fourier Series and Parseval's identity as a tool in geometry. The higher-dimensional generalization belongs to Geometric Measure Theory.

Real-World Applications

Soap bubbles and surface tension: A free bubble minimizes surface area at fixed volume, so it is a sphere — the 3D dual isoperimetric solution; surface tension supplies the "constant curvature" via the Young–Laplace law $Δ p = 2 σ / r$ .
Biological cells and vesicles: Lipid membranes minimize bending/surface energy under volume constraints, driving near-spherical resting shapes; deviations encode mechanical stress.
Engineering pressure vessels: Spherical and cylindrical tanks minimize material (surface) for a given contained volume, directly exploiting the dual inequality [4].
Dido's land allocation / fencing problems: Maximizing enclosed area for a fixed length of fence (or, with a straight coastline, a semicircle) — the original applied form of the problem.
Image processing — active contours ("snakes"): Segmentation algorithms include isoperimetric-type penalties to favor smooth, compact region boundaries.
Crystallography (Wulff shapes): Anisotropic surface energies generalize the isoperimetric principle to predict equilibrium crystal facets.
Network and spectral theory (Cheeger inequality): Graph "isoperimetric constants" bound spectral gaps, governing mixing times of random walks and clustering quality.

Historical Development

~800 BC (legend): Dido's problem — Queen Dido of Carthage is granted as much land as an oxhide can encircle; cutting it into a thin strip, she encloses a semicircle (a circle against the coastline), the folkloric origin of the problem.
~150 BC: Zenodorus writes On Isometric Figures, proving (rigorously by Greek standards) that the circle exceeds any polygon of equal perimeter in area, and the sphere any solid of equal surface.
1700s: The Bernoullis and Euler formalize the calculus of variations; isoperimetric constraints give the field its very name ("isoperimetric problems").
1744: Euler systematizes constrained variational problems, the technical ancestor of the Lagrange-multiplier treatment.
1838: Jakob Steiner publishes the symmetrization proof — elegant but assuming existence of a maximizer.
~1870s: Karl Weierstrass identifies the existence gap and develops rigorous foundations for the calculus of variations.
1884: Hermann Schwarz proves the 3D isoperimetric inequality (sphere minimizes surface for fixed volume).
1901: Adolf Hurwitz gives the definitive Fourier-series proof (eq. [5]–[10]), clean and rigorous.
20th c.: De Giorgi, Federer, Fleming (1950s–60s) establish the inequality in $R^{n}$ within geometric measure theory; Alexandrov (1958) proves embedded CMC surfaces are spheres.

Subtleties & Limits

While the planar and Euclidean $n$ -dimensional cases are fully resolved, many relatives remain hard. The isoperimetric inequality on general Riemannian manifolds is known only in special cases; sharp constants depend on curvature bounds. The Cartan–Hadamard conjecture — that the Euclidean isoperimetric inequality holds in every simply connected manifold of nonpositive curvature — is proven only in dimensions $\leq 4$ (and open in general). The double-bubble problem (least-area surface enclosing and separating two given volumes) was proven for equal volumes only in 2002 (Hutchings–Morgan–Ritoré–Ros); the analogous triple-bubble and higher cases are largely open. Discrete and graph isoperimetric constants (Cheeger constants) are NP-hard to compute exactly, fueling ongoing work in spectral graph theory.