5N CURSO DE 'EOMETR|A $IFERENCIAL

1.4.2. La desigualdad isoperimétrica

Uno de los problemas más antiguos de la Geometrı́a es el conocido PROBLEMA ISO

PERIM|ETRICO. Su origen es legendario, y se vincula a la fundación de la ciudad de
Carthago (llamada por los fenicios Kart-Hadasht) en el siglo VIII a.C.
Según el historiador griego Timaeus (356-260 a.C.), Carthago fue fundada en el
año 814 a.C. por una expedición de fenicios de Tiro (Lı́bano) encabezados por una
tal Elyssa quienes, tras desembarcar en Chipre (otra colonia fenicia) ponen rumbo al
norte de África, llegando a las costas de la actual Túnez. Sin embargo, la historia se
confunde con la tradición y la leyenda, siendo la más conocida la romana, de la que
tenemos conocimiento gracias a la %NEIDA de Virgilio:

 (IS COMMOTA FUGAM $IDO SOCIOSQUE PARABAT ... Dido preparaba su fuga y reunı́a los
CONVENIUNT QUIBUS AUT ODIUM CRUDELE TYRANNI que habı́an de acompañarla, señalados entre los
AUT METUS ACER ERAT NAVIS QUAE FORTE PARATAE que más detestaban o temı́an al cruel tirano;
CORRIPIUNT ONERANTQUE AURO PORTANTUR AVARI apodéranse de unas naves que por dicha estaban
0YGMALIONIS OPES PELAGO DUX FEMINA FACTI aparejadas, y las cargan de oro; las riquezas del
avaro Pigmalión van por el mar, y una mujer ca-
pitanea la empresa.

$EVENERE LOCOS UBI NUNC INGENTIA CERNIS Llegaron los fugitivos a estos sitios, donde
-OENIA SURGENTEMQUE NORAE #ARTHAGINIS ARCEM ahora ves las altas murallas y el alcázar, ya co-
-ERCATIQUE SOLUM FACTI DE NOMINE "URSAM menzado a levantar, de la nueva Carthago, y com-
4AURINO QUANTUM POSSENT CIRCUMDARE TERGO praron una porción de terreno, tal que pudiera to-
da ella cercarse con la piel de un toro, de donde
le vino el nombre de Byrsa...

Virgilius, #GPGKF +, 360-368

Ésta nos dice que tras una guerra civil en la ciudad fenicia de Tiro, el rey Pigma-
lión (personaje histórico que gobernó dicha ciudad cerca de un siglo) vence dando

50
 #URVAS EN EL PLANO Y EN EL ESPACIO

muerte al sumo sacerdote Acerbas (Siqueo, en la leyenda), apoderándose ası́ de sus

enormes riquezas. Es entonces cuando la reina Elyssa (Dido, en la leyenda), her-
mana de Pigmalión y esposa de Acerbas, huye con sus partidarios y encabeza una
expedición que atraviesa el Mediterráneo hasta llegar a las costas tunecinas, donde
deciden establecerse, fundando ası́ la que fue capital del gran imperio cartaginés.
Elyssa-Dido negocia con el rey de la tribu local libia la adquisición de tierras para
fundar una ciudad, y éste, reacio a la intrusión, les concede la porción de terreno
que pudiesen abarcar con una piel de toro. La reina, haciendo gala de un gran inge-
nio, corta la piel en finı́simas tiras y forma una cinta de gran longitud (una curva),
con la que consigue delimitar una extensa porción de tierra; para ello, tiene en cuen-
ta además la privilegiada situación de la ciudad: su ubicación junto a las costas del
Mediterráneo. ¿Qué curva dibujó Dido con la cinta de que disponı́a para abarcar un
recinto de área máxima, considerando además que se encontraban junto a las costas
del Mediterráneo?
Los griegos ya conocı́an el hecho de que, en el plano, la curva que encierra área
máxima entre todas las que tienen una longitud fija es la circunferencia, aunque no
nos ha llegado a nosotros ninguna demostración de esa época. Esta afirmación es
equivalente a decir que si α es una curva cerrada en el plano con área ! y longitud ,,
entonces ,2 ≥ 4π !, dándose la igualdad si, y sólo si, α es una circunferencia. Esta
relación se conoce como la DESIGUALDAD ISOPERIM|ETRICA CL|ASICA.
Si volvemos al problema de la fundación de Carthago, la solución da-
da por la reina Dido a la pregunta anterior fue una semicircunferencia
con la costa africana como base, a la que corta ortogonalmente. Es-
te tipo de problemas, en los que se fija una curva como parte de la
frontera, se conocen como PROBLEMAS DE TIPO $IDO.
Figura 1.13: El problema clásico
de Dido. A mediados del siglo XIX, Jakob Steiner dio diversas demostraciones de la desi-
gualdad isoperimétrica, aunque no eran rigurosas pues no resolvı́an el problema en
su totalidad; lo que en realidad probaba era que, en caso de existir una curva óptima,
debı́a ser una circunferencia. Weierstrass apuntó la necesidad de demostrar también
la existencia de una solución óptima, lo que no está siempre asegurado; de hecho, si
se presupone siempre la existencia, se puede incurrir en contradicciones.
La prueba que presentamos resuelve el problema isoperimétrico en el plano (la
desigualdad tiene su análogo en dimensión arbitraria), y fue obtenida por Schmidt en
1939 (véase [37]). Obsérvese que no es necesario que la curva sea convexa.

7HRUHPD  /D GHVLJXDOGDG LVRSHULPHWULFD %NTRE TODAS LAS CURVAS SIMPLES Y

CERRADAS DE LONGITUD DADA , LA QUE ENCIERRA MAYOR A| REA ES LA CIRCUNFERENCIA %N
OTRAS PALABRAS SI ! ES EL A| REA DE LA REGI|ON ACOTADA POR UNA CURVA SIMPLE Y CERRADA
α DE LONGITUD , ENTONCES
,2 ≥ 4π !,
ALCANZ|ANDOSE LA IGUALDAD SI Y S|OLO SI α ES UNA CIRCUNFERENCIA

51
 5N CURSO DE 'EOMETR|A $IFERENCIAL

En su demostración, vamos a utilizar la siguiente fórmula6 para el área ! acotada

por una curva cerrada, simple y positivamente orientada α (T) = (X1 (T), X2 (T)), donde
T ∈ [A, B] es un parámetro arbitrario:
Z B£ Z B Z B
1
!= X1 (T)X2′ (T) − X2 (T)X1′ (T) DT = X1 (T)X2′ (T) DT = − X2 (T)X1′ (T) DT. (1.22)
¤
2 A A A

ℓ1 α ℓ2
'HPRVWUDFLRQ Sean E1 y E2 dos rectas paralelas que no intersecan a la curva α . Mo-
P0 vemos estas rectas en la dirección ortogonal a las mismas, hasta que sean tangentes
P a α en dos puntos P0 y P; llamamos ℓ1 y ℓ2 , respectivamente, a tales rectas (véase la
figura 1.14). Sea además γ una circunferencia que no corta a α y que es tangente a ℓ1
y ℓ2 en los puntos P0 y P, respectivamente. Representaremos por R el radio de dicha
✻Y
circunferencia y por  su centro.
γ Tomamos  como el origen de coordenadas de un sistema de referencia XY, para
el cual el eje X es ortogonal a las rectas ℓ1 y ℓ2 . Suponemos además que α está orien-
P0 P
✲ tada en el sentido de las agujas del reloj, y parametrizada por la longitud de arco,
 X
digamos α (S) = X(S), Y(S) , de forma que α (0) = α (,) = P (la curva es cerrada) y
¡ ¢

α (S0 ) = P0 para un cierto valor del parámetro S0 ∈ (0, ,). Entonces, parametrizamos
la circunferencia γ de la siguiente forma: γ (S) = Z(S), ω (S) , donde
¡ ¢
Figura 1.14: Demostración de ( p
la desigualdad isoperimétrica. − R2 − X(S)2 si 0 ≤ S ≤ S0
Z(S) = X(S), ω (S) = p
R2 − X(S)2 si S0 ≤ S ≤ ,.
El área encerrada por la circunferencia γ es, claramente, π R2 . Utilizando dos de las
expresiones que aparecen en la fórmula (1.22), obtenemos que las áreas de las curvas
α y γ se pueden escribir, respectivamente, de la forma
Z , Z , Z ,
!= X(S)Y′ (S) DS, π R2 = − ω (S)Z′ (S) DS = − ω (S)X′ (S) DS.
0 0 0
Por lo tanto,
Z ,¡ Z ,¯
! + π R2 = X(S)Y′ (S) − ω (S)X′ (S) DS ≤ ¯X(S)Y′ (S) − ω (S)X′ (S)¯ DS
¢ ¯
(1.23)
0 0
Z , ¯D¡ ¢E¯¯
¯ X′ (S), Y′ (S) , −ω (S), X(S) ¯ DS
¢¡
=
¯
0
Z , ¯¡ ¢¯¯¯¯¡ ¢¯¯
¯ ′
≤ ¯ X (S), Y′ (S) ¯¯ −ω (S), X(S) ¯ DS (1.24)
0
Z ,q q
= X′ (S)2 + Y′ (S)2 X(S)2 + ω (S)2 DS.
0

Como la curva α está p.p.a., se tiene que X′ (S)2 + Y′ (S)2 = 1, y en consecuencia,

Z ,q q Z ,q
2
! + πR ≤ X (S) + Y (S)
′ 2 ′ 2 X(S) + ω (S) DS =
2 2 X(S)2 + ω (S)2 DS = R,.
0 0

6La primera igualdad se obtiene usando la fórmula de Green en el plano (véase el teorema 6.1.8).
¢′
Las siguientes son consecuencia inmediata de que X1 (T)X2 (T) = X1′ (T)X2 (T) + X1 (T)X2′ (T), y de que la
¡

curva es cerrada.

52
#URVAS EN EL PLANO Y EN EL ESPACIO

Utilizando ahora la desigualdad existente entre las medias geométrica y aritméti-

ca de dos números positivos cualesquiera (la primera es menor o igual que la segunda,
dándose la igualdad si, y sólo si, ambos números son iguales), tenemos que
√ ! + π R2 R,
! π R2 ≤ ≤ . (1.25)
2 2
Si elevamos al cuadrado los dos miembros de la relación anterior, se obtiene de forma
inmediata la desigualdad isoperimétrica: !π R2 ≤ R2 ,2 /4, esto es, ,2 ≥ 4π !.
Para concluir la demostración es necesario probar que la igualdad se alcanza si, y
sólo si, α es una circunferencia de longitud ,. Supongamos que se verifica ,2 = 4π !.
Entonces, todas las desigualdades que aparecen en la demostración, esto es, (1.23),
(1.24) y (1.25), deben ser igualdades.

La igualdad en (1.25) implica que ! = π R2 , en cuyo caso, ,2 = 4π 2 R2 . Esto

es, , = 2π R, lo que prueba que el radio R es constante, no dependiendo de la
elección de las rectas ℓ1 y ℓ2 .
La igualdad en la desigualdad de Cauchy-Schwarz (1.24) se tiene si, y sólo
si, los dos vectores son proporcionales. Luego existe una constante C tal que
−ω (S), X(S) = C X′ (S), Y′ (S) , de donde se deduce, tomando módulos, la re-
¡ ¢ ¡ ¢

lación ¯ −ω (S), X(S) ¯ = |C| ¯ X (S), Y′ (S) ¯. En consecuencia, la constante C (su

¯¡ ¢¯ ¯¡ ′ ¢¯

valor absoluto) es q
|C| = ω (S)2 + X(S)2 = R.
Por otro lado,
¢¯2
X(S)Y′ (S) − ω (S)X′ (S) = −ω (S), X(S) , X′ (S), Y′ (S) = C¯ X′ (S), Y′ (S) ¯
­¡ ¢¡ ¢® ¯¡

= C = ±R.

La igualdad en (1.23) implica que X(S)Y′ (S)− ω (S)X′ (S) > 0, y en consecuencia,
por el apartado anterior, que C = R.

En particular se tiene que X(S) = RY′ (S). Finalmente, debido a que R es constante y
no depende de las rectas ℓ1 y ℓ2 , será también independiente de la elección de los
ejes coordenados. Podemos por tanto intercambiar X(S) e Y(S) en la última relación,
obteniéndose ası́ que Y(S) = RX′ (S). En consecuencia,

X(S)2 + Y(S)2 = R2 X′ (S)2 + Y′ (S)2 = R2 ,

¡ ¢

lo que prueba que α (S) = X(S), Y(S) es una circunferencia. Esto concluye la demos-
¡ ¢

tración de la desigualdad isoperimétrica.

Un excelente SURVEY sobre el problema isoperimétrico puede encontrarse en [33].

La DESIGUALDAD ISODIAM|ETRICA (o TEOREMA DE "IEBERBACH) se puede obtener como
una sencilla consecuencia de la desigualdad isoperimétrica y del teorema 1.4.6 de
Rosenthal y Szasz previamente demostrado:

53
5N CURSO DE 'EOMETR|A $IFERENCIAL

&RURODULR  7HRUHPD GH %LHEHUEDFK 3I ! ES EL A| REA DE LA REGI|ON ENCERRADA

POR UNA CURVA CONVEXA Y CERRADA α DE DI|AMETRO $ ENTONCES

4! ≤ π $2 ,

ALCANZ|ANDOSE LA IGUALDAD SI Y S|OLO SI α ES UNA CIRCUNFERENCIA

'HPRVWUDFLRQ El teorema 1.4.6 nos asegura que π $ ≥ ,. Elevando ambos lados de

la desigualdad al cuadrado y uniendo la relación resultante a la desigualdad isope-
rimétrica, obtenemos que π 2 $2 ≥ ,2 ≥ 4π !, es decir, π $2 ≥ 4!. Para que se alcance
la igualdad, ésta debe darse en las dos desigualdades que entran en juego; por tanto,
sólo para la circunferencia.

54