Aussage der euklidischen Ebene, dass für jede beschränkte Fläche mit Umfang P und Fläche A gilt: 4πA ≤ P², mit Gleichheit genau für Kreisscheiben; äquivalent: Unter Gebieten mit gegebenem Umfang hat der Kreis die maximale Fläche.

Prinzip

Ein Zusammenhang zwischen Randlänge und eingeschlossener Fläche: Fixiert man eine Größe, so ergibt sich durch Symmetrisierung oder Variationsprinzipien eine optimale Gestalt (der Kreis) für die andere.

Demonstration

Vergleich des Einheitskreises (P = 2π, A = π), der 4πA = P² erfüllt, mit einem Quadrat desselben Umfangs 2π (Seitenlänge π/2), dessen Fläche π²/4 < π ist und damit die strikte Ungleichheit bei nichtkreisförmigen Gestalten zeigt.

Fehlanwendung

Das planare euklidische Resultat unverändert auf gekrümmte Räume, höhere Dimensionen oder hochgradig unregelmäßige (fraktale) Ränder anwenden, ohne Konstanten oder Voraussetzungen anzupassen.

Konsequenz

Dient als grundlegende Vergleichsungleichung zur Bestimmung optimaler Formen in Variationsproblemen, liefert Schranken in der Analysis (etwa zu Eigenwerten) und verbindet Größe mit Randregularität.

Umkehrung

Umgekehrte, aber äquivalente Formulierung: Bei gegebener Fläche A minimiert der Kreis den Umfang P; jede Figur mit derselben Fläche hat einen Umfang mindestens so groß wie der Kreis.

Abgrenzung

Gilt für hinreichend reguläre beschränkte Teilmengen der euklidischen Ebene (messbare Fläche, rectifizierbarer Umfang); Verallgemeinerungen erfordern angepasste Konstanten oder andere Formulierungen in höheren Dimensionen oder nicht‑euklidischen Geometrien.

Semantische Spannung

Steht im Wettbewerb mit verwandten Ungleichungen (isodiametrisch, Cheeger, Sobolev), die andere Maßgrößen koppeln; ‚isoperimetrisch‘ kann die einzelne Ungleichung oder die Klasse von Extremalproblemen bezeichnen.

Synthese

Die isoperimetrische Ungleichung fasst das geometrische Prinzip zusammen, dass der Kreis die extremale Form ist, die Randlänge und eingeschlossene Fläche verknüpft; sie ist sowohl konkrete algebraische Ungleichung als auch Modell für Rand‑Flächen‑Optimierung.