Desigualdades Isoperimetricas

Levent Arturo Chaves Moreno, David Herrera Carrasco

Facultad de Ciencias Fsico Matematicas-BUAP

Resumen
En e ste texto mostramos algunos ejemplos y resultados concernientes a las desigualdades
isoperimetricas. Buscamos condiciones para que la desigualdad isoperimetrica clasica
se cumpla en el plano y damos una demostracion, luego buscamos condiciones para algunas superficies en las que tambien se cumpla la desigualdad isoperimetrica clasica y
enunciamos los teoremas principales y hacemos algunas observaciones pertinentes.

1. Introduccion
El problema isoperimetrico se puede enunciar como sigue: De todas las curvas cerradas con
permetro fijo Cual tiene la mayor a rea? De acuerdo con Do Carmo [Carmo(1993)], e ste es quizas
el teorema global de Geometra Diferencial mas antiguo. Los griegos ya saban [Blasjo(2005)] que
la solucion de dicho problema era el crculo, pero la demostracion formal de este hecho tardo en
aparecer. Weierstrass mostro que el principal problema era que muchos problemas semejantes
no tenan solucion y dio una prueba de la existencia de la solucion al problema isoperimetrico.
Despues se fueron encontrando pruebas mas directas.
Para dar una primera idea al lector sobre el sabor de este tipo de problemas, presentamos la
siguiente proposicion que nos ayudara a resolver un ejemplo.
Teorema 1.1. (Desigualdad Geometrico-Aritmetica) Si a1 , . . . , an son numeros reales no negati
n
vos y ademas tenemos que Gn = n a1 . . . an y An = a1 +...+a
, entonces
n
Gn An
donde la igualdad se da si y solo si a1 = . . . = an .
La prueba del teorema 1.1 puede encontrarse en [Sampedro and Montiel(1999)].
Ahora un problema isoperimetrico.
Ejemplo. Considerando todos los paralelogramos con permetro p, cual es el que tiene mayor
a rea?
Consideremos un paralelogramo arbitrario tal que la longitud de sus lados sea x y y. Sabemos
entonces que el permetro del paralelogramo es L = 2(x + y) y el a rea del paralelogramo es
menor o igual a xy.
Del teorema 1.1 tenemos entonces que
(
)2 ( )2
x+y
L
xy
=
2
4
Ademas, sabemos
el mismo teorema 1.1) que la igualdad se da si y solo si x = y y esto
( L )(por
2
2
implica que x = 4 , entonces x = y = L4 , es decir, el paralelogramo de mayor a rea es el
cuadrado de lado L4 .
1

Observacion 1.2. Notese que la desigualdad Geometrico-Aritmetica nos permitio caracterizar al

paralelogramo de mayor a rea gracias a que dicha desigualdad nos da un criterio para la igualdad.
Estos criterios resultan muy importantes en la solucion de problemas isoperimetricos.

2. Desigualdad isoperimetrica clasica

En esta seccion demostraremos que la curva con permetro fijo que encierra un a rea mayor
es el crculo. Damos a continuacion algunas definiciones y resultados para a continuacion poder
probar la Desigualdad Isoperimetrica Clasica.
Definicion 2.1. Si : [a, b] R2 es una curva cerrada y continuamente diferenciable, entonces
su longitud de arco L se define como

b ( )2 ( )2
dx
dy
L =
+
dt,
dt
dt
a
donde x, y : R R son las funciones coordenadas de , i.e., (t) = (x(t), y(t)).
Definicion 2.2. Sea : [0, 1] R2 tal que (0) = (1) y es inyectiva en [0, 1). Se dice entonces
que es una curva cerrada simple.
Ahora, enunciamos el famoso teorema de Jordan. La prueba de este teorema puede encontrarse
en [Tverberg(1980)].
Teorema 2.3. (De Jordan). Sea una curva cerrada simple. Entonces R2 \ ([0, 1]) consiste de
dos conjuntos conexos de los cuales uno es acotado y el otro no. El conjunto ([0, 1]) es la frontera
de cada componente.
Ahora enunciaremos el teorema de Green. La prueba de este teorema puede encontrarse en
[Apostol(1969)].
Teorema 2.4. (De Green) Sea una curva cerrada que es C a trozos1 y con orientacion positiva
en un plano y A R2 una region acotada por . Si P y Q son funciones de A a R2 con P , Q
funciones cuya derivada es continua, entonces
)

(
Q P
P dx + Qdy =

x
y

A
Observacion 2.5. En particular si aplicamos el teorema 2.4 a la curva con A como la region
acotada por y P (x, y) = 0 y Q(x, y) = x, entonces tenemos que

xdy =
dxdy = M (A)

Ahora, enunciamos un lema que nos permitira probar la desigualdad isoperimetrica clasica.
La prueba puede encontrarse en [Pressley(2010)].
1

es decir, que tiene derivadas de todos los o rdenes salvo en quizas un numero finito de puntos

Lema 2.6. Desigualdad de Wirtinger. Sea F : [0, ] R una funcion que tiene derivadas de
todos los o rdenes y tal que F (0) = F () = 0. Entonces

dF
dt

)2

dt

F (t)2 dt,
0

con igualdad si y solo si F (t) = Asen(t) para todo t [0, ] y A es una constante.
Teorema 2.7. Desigualdad Isoperimetrica Clasica Sea una curva cerrada simple de longitud L
y A el a rea de la region acotada por . Entonces se cumple que
L2 4A
y ademas se da la igualdad si y solo si es un crculo.
Prueba. Notese primero que la longitud de la curva dada por L y el a rea A de la region
acotada por es independiente de la parametrizacion de , entonces podemos escoger por conveniencia un parametro t tal que el periodo de es . Luego ponemos t = s
, donde s es el
L
parametro de longitud de arco de , es decir
( )2 ( )2
dx
dy

|| (s)|| =
+
=1
(1)
ds
ds
y donde bajo s se tiene que tiene periodo L. Notese que si s aumenta L entonces t aumenta .
Tambien podemos suponer que (0) = (0, 0) porque tanto L como A son invariantes bajo
traslaciones, en particular si hacemos la traslacion (t) (t) (0).
Observese ademas que
dt

=
ds
L
y as

ds
dt

)2
=

L2
2

(2)

Ahora, poniendo x = rcos() y y = rsen() donde r y son funciones del tiempo, tenemos
que

dx
dt

)2

(
+

y ademas

(
x

dy
dt

dy
dt

)2

(
=

(
y

Entonces, de (1), (2) y (3) tenemos que

dr
dt

dx
dt

)2

(
+r

)
= r2

d
.
dt

d
dt

)2
(3)

(4)

L
=
2

ds
dt

)2 [(

)2

dx
dy
+
ds
ds
( )2 ( )2
dy
dx
=
+
dt
dt
( )2
( )2
dr
d
2
=
+r
dt
dt

)2 ]

.
De aqu, integrando de 0 a y dividiendo entre 4 tenemos que
( )2 ]
[( )2
L2
1
dr
d
=
+ r2
dt
4
4 0
dt
dt

(5)

.
Por otro lado, de (4) se sigue que
( )]
[ ( )
dy
dx
1
x
y
dt
A=
2 0
dt
dt
( )

1 2 d
=
r
dt.
2 0
dt

(6)

de (5) y (6) tenemos que

L2
1
A=
4
4

[(

dr
dt

)2

(
+r

d
dt

)2 ]

1
dt
2

d
dt

1
= I
4
donde

dt
(7)

I=

[(

dr
dt

)2

(
+ r2

d
dt

)2

(
2r2

d
dt

)]
dt.

Pero reordenando terminos tenemos que

]
]2
[( )2
[( )
dr
d
1 dt +
r2 dt.
I=
r2
dt
dt
0
0
Notemos aqu que el primer termino de la suma es no negativo por ser un producto de cuadrados,
y dado que r(0) = 0 (porque estamos suponiendo que (0) = 0) por el lema de Wirtinger, se tiene
que el segundo termino tambien es no negativo.
As tenemos que I 0 y de (7) esto implica que
L2 4A.
4

(8)

Pero ademas, observemos que I = 0 si y solo si ambas integrales son cero, pero la primer
integral es cero si y solo si d
= 1, y por la desigualdad de Wirtinger la segunda integral es cero
dt
si y solo si r(t) = Asen(t). As, tenemos que = t + , donde es una constante y esto implica
que r = Asen( ) y esta es la ecuacion polar de un crculo de radio A (ver Figura 1).

Figura 1: Ecuacion polar de un crculo de radio A.

Observacion. La prueba anterior no usa la hipotesis de que es una curva cerrada simple.
Mas aun, la desigualdad mostrada en (8) es verdadera para cualquier curva C que sea cerrada.

3. Desigualdad isoperimetrica en superficies.

En esta seccion, mostraremos un tratamiento al problema isoperimetrico para superficies. El
lector notara que el caso que tratamos en la seccion Desigualdad Isoperimetrica Clasica es para
curvas en R2 . Ahora consideraremos curvas sobre una superficie general y buscaremos condiciones para que se cumpla la desigualdad isoperimetrica clasica.
Definicion 3.1. . Se dice que un conjunto A es convexo si dados dos puntos x, y A se cumple
que el segmento de recta entre x y y esta contenido en A.
Consideremos por ejemplo el caso en el que la superficie es una esfera. Tenemos un resultado
demostrado en 1905 por F. Bernstein cuya prueba original puede encontrarse en [Bernstein(1905)]
-cuya cita al ingles aparece en [Osserman(1978)]- y que a continuacion enunciamos.
Teorema 3.2. Si es una curva cerrada simple de longitud L en una esfera de radio R, y la region
acotada por es convexa, entonces
L2 4A +

A2
(2Rg(R))2 (2 + g(R)2 ),
R2

d
donde g(R) = sen[ 4(1+2)R
] y d es la longitud mnima del anillo circular en la esfera que contiene
a la curva.

Observacion 3.3. Notese que como el lado derecho de la desigualdad del teorema 3.2 es no
negativo, se sigue que
A2
L2 4A 2 .
R
Y por otro lado, si R entonces del teorema 3.2 obtenemos la desigualdad isoperimetrica
clasica. Esto se puede interpretar como que dado que las esferas de radio mas grande tienden a
parecerse mas al plano, entonces las curvas en dichas esferas tienden a cumplir con la desigualdad isoperimetrica clasica.
Observe que para la esfera, se tiene que su curvatura Gaussiana2 esta dada por K = R12 . Y
para el plano, se tiene que su curvatura Gaussiana es 0. La pregunta natural es, que ocurre si la
curvatura de una superficie es constante y negativa? Tenemos entonces el siguiente resultado que
se encuentra en [Garca-Leon(2014)].
Teorema 3.4. Sea S una superficie con curvatura Gaussiana constante K distinta de cero. Entonces cualquier subconjunto abierto, precompacto3 , conexo y con frontera suave4 satisface
L2 4A KA2 .
Observacion 3.5. Note que si K < 0 entonces se consigue la desigualdad isoperimetrica clasica.
Note ademas que el teorema 2.10. generaliza la observacion 3.3.
Ahora, continuando con la busqueda de encontrar superficies donde se cumpla la desigualdad
isoperimetrica clasica, hay que mencionar el trabajo que realizaron Beckenbach y Rado en 1933
y que sin mas enunciamos.
Teorema 3.6. (De Beckenbach y Rado) Sea S una superficie con curvatura Gaussiana K. Para
todos los dominios simplemente conexos en S se tiene que L2 4A 0 si y solo si K 0 en
todo S.
La prueba de e ste teorema puede encontrarse en [Beckenbach and Rado(1933)].
Observacion 3.7. De acuerdo con Osserman [Osserman(1978)], aunque parece que el teorema de
Beckenbach y Rado resuelve el problema de encontrar superficies donde se cumple la desigualdad
isoperimetrica, la realidad es que no es as. El detalle es que no se consideran superficies con
singularidades -subconjuntos de las superficies donde no este definida la curvatura, como en el
caso de los vertices y aristas de un poliedro-.
Un problema mas serio es la restriccion a dominios simplemente conexos. Por ejemplo, uno
quisiera saber que sucede en el caso en el que es una curva cerrada simple que acota5 a una
banda de Mobius. En este caso podemos tomar una curva que sea transversal a la banda de
Mobius y ciertamente no podemos contraerla a un solo punto de tal manera que el punto quede en
2

Intuitivamente, la curvatura Gaussiana es una forma de medir que tan diferente es una superficie de un plano.
Se dice que un conjunto es precompacto si su clausura es compacto.
4
Se dice que un conjunto tiene frontera suave si la curva que acota al conjunto tiene derivadas de todos los o rdenes
5
Entendemos que una curva acota a una superficie si la curva es una parametrizacion de la frontera de dicha
superficie, intuitivamente, en este ejemplo nos referimos a como la curva parametrizada que describe el borde de
una banda de Mobius.
3

la banda de Mobius, entonces la banda de Mobius no es simplemente conexa. As que el teorema

de Beckenbach y Rado no es valido en este caso.
Observacion 3.8. Note que si en el teorema de Beckenbach y Rado omitimos la restriccion a
dominios simplemente conexos, entonces no se cumple la desigualdad isoperimetrica clasica.
Considere un cilindro no acotado de radio r, y considere la superficie acotada por dos crculos
en el cilindro, i.e., un cilindro mas pequeno acotado en el cilindro original. Note que la curvatura
Gaussiana del cilindro K es igual a 0, pues existe una isometra6 entre el plano y el cilindro y
por teorema egregio de Gauss (cuyo enunciado y prueba puede encontrarse en [Carmo(1993)]),
se sigue que deben de compartir la misma curvatura.
Ahora, como la longitud de los dos crculos que acotan al cilindro mas pequeno es 2r, tenemos que la longitud que acota al cilindro acotado es L = 4r. Por otro lado, el a rea A de
dicho cilindro acotado es A = 2rh, donde h es la altura entre los dos crculos. Note entonces
que el a rea A puede hacerse tan grande como uno quiera; basta tomar un valor h suficientemente
grande.
As, en el cilindro no se cumple la desigualdad isoperimetrica clasica para dominios que no
son simplemente conexos.

4. Conclusiones
Mostramos que la desigualdad isoperimetrica clasica es un problema antiguo y no trivial. Mostramos que para el caso del plano, la igualdad se da en un crculo justo como lo sospechaban los
griegos.
A continuacion, al analizar el caso en el que las superficies fueran distintas al plano, encontramos que la curvatura de las superficies y el tipo de conjuntos a considerar, eran los aspectos
mas relevantes a la hora de ver si se cumpla la desigualdad isoperimetrica clasica. Exhibimos
una desigualdad isoperimetrica distinta a la clasica que dependa de la curvatura de la superficie. Tambien, mostramos las limitaciones del teorema de Beckenbach y Rado. Cabe mencionar
que hay muchas preguntas abiertas respecto a la desigualdad isoperimetrica y un buen lugar para
comenzar a investigarla a profundidad es [Osserman(1978)].

5. Agradecimientos
Al Doctor David Herrera Carrasco por darme la oportunidad de realizar este proyecto bajo su
tutela, y a la Vicerrectora de Investigacion y Estudios de Posgrado por permitirme participar en
el programa Jovenes Investigadores.
6

Una isometra es una transformacion que conserva distancias, i.e., si es una isometra entonces d(a, b) =
d((a), (b)) donde d es una metrica.

Referencias
[Apostol(1969)] Tom M Apostol. Calculus, vol. ii. Ed Reverte, 1969.
[Beckenbach and Rado(1933)] Edwin F Beckenbach and Tibor Rado. Subharmonic functions and
surfaces of negative curvature. Transactions of the American Mathematical Society, 35(3):
662674, 1933.

[Bernstein(1905)] Felix Bernstein. Uber

die isoperimetrische eigenschaft des kreises auf der kugeloberflache und in der ebene. Mathematische Annalen, 60(1):117136, 1905.
[Blasjo(2005)] Viktor Blasjo. The isoperimetric problem. The American Mathematical Monthly,
112(6):526566, 2005.
[Carmo(1993)] MP do Carmo. Differential geometry of curves and surfaces. 1976. Prentice-Hall,
Englewood Cliffs, New Jersey). Rehsteiner, F. and Rewker, HJ Collision free five axis milling
of twisted ruled surface. Ann. CIRP, 42(1):457461, 1993.
[Garca-Leon(2014)] Joel Garca-Leon. La constante de cheeger. Miscelanea Mat, 2014.
[Osserman(1978)] Robert Osserman. The isoperimetric inequality. Bulletin of the American
Mathematical Society, 84(6):11821238, 1978.
[Pressley(2010)] Andrew N Pressley. Elementary differential geometry. Springer Science & Business Media, 2010.
[Sampedro and Montiel(1999)] J Cruz Sampedro and M Tetlalmatzi Montiel. Una demostracion
inductiva directa de la desigualdad media geometrica media aritmetica. Miscelanea Mat,
28:1115, 1999.
[Tverberg(1980)] Helge Tverberg. A proof of the jordan curve theorem. Bull. London Math. Soc,
12(1):3438, 1980.