Afirmación en la geometría euclidiana del plano de que para cualquier región acotada de perímetro P y área A se cumple 4πA ≤ P², con igualdad exactamente para discos; equivalentemente, entre regiones con perímetro dado el círculo abarca el área máxima.

Principio

Un compromiso entre longitud de contorno y área encerrada: fijar una de estas cantidades determina, mediante simetrización o argumentos variacionales, una forma extremal (el círculo) para la otra.

Demostración

Comparar el círculo unidad (P = 2π, A = π), que satisface 4πA = P², con un cuadrado de perímetro 2π (lado π/2) cuya área π²/4 es menor que π, mostrando la desigualdad estricta para formas no circulares.

Aplicación incorrecta

Aplicar la fórmula plana euclidiana sin cambios a espacios curvos, cuerpos de dimensión superior o fronteras muy irregulares (fractalizadas) sin ajustar constantes o hipótesis.

Consecuencia

Proporciona una comparación isoperimétrica fundamental usada para hallar formas óptimas en problemas variacionales, acota cantidades en análisis (por ejemplo valores propios) y relaciona tamaño con regularidad de frontera.

Inversión

Vista inversa equivalente: para área fija A, el círculo minimiza el perímetro P, por lo que cualquier región con la misma área tiene un perímetro al menos igual al del círculo.

Límite

Se cumple para subconjuntos acotados del plano euclidiano con regularidad razonable (área medible, perímetro rectificable); las extensiones requieren constantes adaptadas o formulaciones distintas en dimensiones superiores o geometrías no euclidianas.

Tensión semántica

Compite con desigualdades relacionadas (isodiamétrica, de Cheeger, Sobolev) que enlazan otras medidas; ‘isoperimétrica’ puede referirse a la desigualdad concreta o a la familia de problemas extremos perímetro–área.

Síntesis

La desigualdad isoperimétrica resume el principio de que, entre figuras planas, el círculo es la forma extremal que relaciona longitud de contorno y área encerrada; es simultáneamente una desigualdad algebraica concreta y el arquetipo de optimización del perímetro.