Énoncé de la géométrie euclidienne plane affirmant que pour toute région bornée de périmètre P et d'aire A on a 4πA ≤ P², avec égalité si et seulement si la région est un disque ; autrement dit, parmi les régions de périmètre fixé le cercle enclose l'aire maximale.

Principe

Un compromis entre longueur de frontière et aire intérieure : fixer l'une de ces grandeurs impose, par arguments de symétrisation ou variationnels, une forme extrémale (le cercle) pour l'autre.

Démonstration

Comparer un cercle unité (P = 2π, A = π) qui vérifie 4πA = P², et un carré de périmètre 2π (côté π/2) dont l'aire π²/4 est strictement inférieure à π, illustrant l'inégalité stricte pour une forme non circulaire.

Mauvaise application

Appliquer la formule plane euclidienne sans modification sur des espaces courbes, dans des dimensions supérieures ou pour des frontières très irrégulières (fractales) sans adapter les constantes ou les hypothèses.

Conséquence

Fournit une comparaison isopérimétrique fondamentale employée pour déterminer des formes optimales en problèmes variationnels, pour des bornes analytiques (par ex. valeurs propres) et pour relier taille et régularité de la frontière.

Inversion

Point de vue inverse équivalent : pour une aire fixée A, le cercle minimise le périmètre P, donc toute région de même aire a un périmètre au moins égal à celui du cercle.

Limite

Valable pour des sous-ensembles bornés de plan euclidien raisonnablement réguliers (aire mesurable, périmètre rectifiable) ; les généralisations nécessitent des constantes adaptées ou des formulations différentes en dimension supérieure ou en géométrie non euclidienne.

Tension sémantique

Concurrence avec des inégalités proches (isodiamétrique, inégalité de Cheeger, Sobolev) qui relient d'autres mesures de taille ; le terme « isopérimétrique » peut désigner l'inégalité elle‑même ou la classe plus large de problèmes d'optimisation périmètre–aire.

Synthèse

L'inégalité isopérimétrique formalise le principe géométrique selon lequel, parmi les formes planes, le cercle est la configuration extrémale reliant longueur de frontière et aire : elle est à la fois une inégalité algébrique concrète et le prototype des problèmes d'optimisation du périmètre.