You are on page 1of 9

Una prueba de la Desigualdad Isoperimetrica

Diego Armentano
24 de Mayo 2006
Resumen
La idea de estas notas es dar una demostracion de la desigualdad isoperimetrica. El
enunciado es el siguiente:
...de todas las curvas cerradas de longitud dada, la que encierra mayor
area es la
circunferencia.
Este es un problema clasico del C
alculo en Variaciones, pues es un problema de maximizar (o minimizar) una funcion parametrizada en una familia de funciones (que en
este caso es la familia de curvas rectificables de longitud constante dada).

1.

Parte I

La primera parte de la demostraci


on consiste en probar que podemos reducir el problema
a estudiar solo curvas convexas (es decir, que el area encerrada sea un convexo).
Sea : [0, 1] R2 una curva rectificable (para as poder hablar de longitud) de longitud
dada l. Notemos por C a la imagen de , y C a las componentes conexas acotadas de R2 C
(puede haber mas de una en caso de autointersecciones).
Sea KC la envolvente convexa de C . Es claro que el area de KC es mayor al area de C
por estar C incluido en KC , y ademas es facil ver que la longitud del borde de KC (KC )es
menor a la longitud de C 1 . Veamos esto en detalle:
Si KC C ya esta.
En caso contrario existe x KC que no pertenece a C . Observar que en este caso, el
borde de KC es localmente en x un segmento que lo contiene. Sea Ix dicho segmento.
Sean a y b los puntos mas proximos a x en Ix que pertenecen a C . Es claro que
C {a, b} son dos componentes conexas de la curva y tienen longitud mayor que la
longitud de Ix . Por tanto haciendo este procedimiento en los puntos x que esten en
KC y no esten en C obtenemos que
X
L (C ) = L (KC C ) + L (KCc C ) L (KC C ) +
L (Ix )
1

Observar que esta bien definida la longitud del borde pues KC es un convexo

donde la suma se entiende como la suma de las longitudes de los intervalos definidos
anteriormente.

2.

Parte II

La segunda parte de la demostraci


on consiste en probar que podemos reducir el problema
a estudiar solo curvas poligonales convexas.
Supongamos que tenemos el resultado para curvas poligonales convexas. Por la parte I
podemos suponer que C es una curva convexa. Por ser rectificable, dado > 0 existe una
poligonal P de lontigud l que la aproxima (por el interior de la KC ). Por la desigualdad

isoperimetrica para poligonales convexas la circunferencia de perimetro l ( D 0, l


)
2
tiene mayor area que la encerrada por P . Ahora, como el area encerrada por P tiende al
area encerrada por C 2 , y las circunferencias de permetro l tienden a la circunferencia
de permetro l, se tiene:

l
l
D 0,
= lm D 0,
lm (KP ) = (KC )
0
0
2
2
donde es la medida de area en el plano.

3.

Parte III

La tercer parte de la demostraci


on consiste en probar la desigualdad para las curvas
poligonales convexas.
Trasladando la poligonal, podemos suponer que 0 pertenece al interior de esta. De esta
manera podemos describir la poligonal por medio de coordenadas polares (para cada
[0, 2), f () es el radio de la curva3 ).
Antes de empezar con la demostracion, es necesario hacer algunas notaciones para facilitar
el desarrollo de la demostracion.
Notaremos por:
(,l) [f (0 ), f (1 )] al triangulo con angulo y lados adyacentes de longitud f (0 ) e
f (1 ), y la longitud del lado opuesto es l ( ver figura).
2
Esto es consecuencia de que la diferencias de areas se puede hacer tan chica como se desee. Para eso
basta tomar un entorno tubular de C de radio 0 y tomar una poligonal dentro de ese entorno tubular. Las
diferencias de areas en ese caso es menor que l0 .
3
Observar que por ser convexa la curva, esta funcion esta bien definida.

f (1 )
l
(,l) [f (0 ), f (1 )]

f (0 )

S(,l) al sector de circunferencia de angulo y permetro l (ver figura).

Lo primero que vamos a mostrar, es que el area de (,l) [f (0 ), f (1 )] es menor al area


de S(,l) , es decir

(,l) [f (0 ), f (1 )] S(,l) .
Mas precisamente:
Afirmaci
on 3.1. Sea < . La diferencia de areas entre (,l) y S(,l) es:

S(,l) (,l) [f (0 ), f (1 )] =
f (0 )2 + f (1 )2 f (0 ) f (1 ) (2 cos + sen )
2
y esta acotada inferiormente por

sen

l2
1

2
2
1 cos

(1)

que es el caso en que f (0 ) = f (1 ).


No es difcil ver que 2 cos + sen 2. Veamos esto antes de empezar la demostracion.
Sea f () = 2 cos + sen , entonces f (0) = 2 y f (/2) = /2. Ademas f 0 () = cos
sen = cos ( tg ), pero como tg > 4 se tiene que f 0 () < 0 si 0 < < /2, y
f 0 (0) = 0. Por lo tanto f () es decreciente en (0, /2) y toma su maximo en 0 y es igual a 2.
4

Para esto basta ver que tg0 (x) = 1 + (tg x)2 ) y por lo tanto integrando se obtiene tg x > x si x > 0.

f (1 )

f (0 )
Demostraci
on. Es facil ver que si escribimos l en funcion de f (0 ), f (1 ) y se tiene:
l2 = f (0 )2 + f (1 )2 2 f (0 ) f (1 ) (2 cos ).
El area de S(,l) es:

l2
f (0 )2 + f (1 )2 2 f (0 ) f (1 ) (2 cos )
S(,l) =
=
2
2
y el area de (,l) [f (0 ), f (1 )] es igual a

(,l) [f (0 ), f (1 )] = f (0 ) f (1 ) cos ,
y si restamos ambas obtenemos el resultado.
Veamos que esta acotada inferiormente. Para eso basta ver que la diferencia se minimiza
cuando f (0 ) = f (1 ). Es decir, debemos probar que el area de un triangulo (,l) [x, y] es
maxima cuando x = y. Basta maximizar la funcion F (x, y) = l2 x y cos restringido a
la condicion subsidiaria g(x, y) = x2 + y 2 2 x y cos l2 . Aplicando multiplicadores de
Lagrange tenemos:
y cos = (2x 2 y cos )
x cos = (2y 2 x cos )
g(x, y) = 0, x > 0, y > 0
de donde x, y deben verificar x2 = y 2 e g(x, y) = 0, por lo tanto se obtiene un maximo
cuando x = y.
Afirmaci
on 3.2. Sean los sectores S(,l1 ) y S(,l2 ) como en la figura, y el sector S(+,l1 +l2 ) .
Entonces la diferencia de areas:

(r1 r2 )2
S(+,l1 +l2 ) S(,l1 ) + S(,l2 ) =

2
+
donde r1 y r2 son los radios de S(,l1 ) y S(,l2 ) respectivamente. S

l1 + l2

l2

l1

Demostraci
on. Simplemente computemos cada termino:

(l1 + l2 )2
S(+,l1 +l2 ) =
2( + )
(r1 + r2 )2
=
2( + )
2 2
r + r22 2 + 2r1 r2
= 1
.
2( + )
y

r2 r2
S(,l1 ) + S(,l2 ) = 1 + 2
2
2
entonces

S(+,l1 +l2 ) S(,l1 ) + S(,l2 )


r2 2 + r22 2 + 2r1 r2 r12 r22
= 1

+
2 ( + )
2
2
2 2
2 2
r + r2 + 2r1 r2 ( + )(r12 + r22 )
= 1
2( + )
2
2
2r1 r2 (r1 + r2 )
=
2( + )
(r1 r2 )2
=

2
+

Con estos calculos previos estamos en condiciones de probar que el area de la union de
(,l) [f (0 ), f (1 )] y (,l) [f (1 ), f (2 )] es menor o igual al area del sector S(2,l1 +l2 ) (ver
figura mas abajo).
Lemma 1. Sean y constantes positivas menores que una constante universal (a precisar en la demostraci
on) y sean los sectores S(,l1 ) y S(,l2 ) tales que
|r1 r2 | <

mn(r1 , r2 )
2
5

donde r1 = l1 y r2 = l2 , entonces se tiene

S(+,l1 +l2 ) (,l1 ) [f (0 ), f (1 )] + (,l2 ) [f (1 , f (2 )] 0


donde 1 = 0 + y 2 = 1 + .
f (2 )
l1
f (1 )

l2

f (0 )
Demostraci
on. Para facilitar la notacion, notaremos:
1 = (,l1 ) [f (0 , f (1 )] y 2 = (,l2 ) [f (1 , f (2 )]

Para probar la desigualdad, basta sumar y restar S(,l1 ) + S(,l2 ) a la diferencia y usar
la cota (1), es decir:

S(+,l1 +l2 ) S(,l1 ) + S(,l2 )


S(,l1 ) (1 ) + S(,l2 ) (2 )

(r1 r2 )2
r12
sen

r22
sen

+
1

+ 1

2
+
2
2
1 cos
2
2
1 cos

sen

sen

mn(r1 , r2 )2
mn(r1 , r2 )2 1

+ 1

2
1 cos
2
1 cos
4
+

2
sen

sen

mn(r1 , r2 )
mn(r1 , r2 )2 1

+ 1

2
1 cos
2
1 cos
4

3 sen

sen

2
mn(r1 , r2 )

+ 1

>0
4
2
1 cos
2
1 cos

si y son chicos (pues

sen
2

1cos

tiende a 1/2 cuando tiende a 0).

Ahora probaremos la desigualdad isoperimetrica para el caso de poligonales:


Proposition 1 (Desigualdad Isoperimetrica para poligonales convexas). Dada C una poligonal convexa de permetro l. Entonces la circunferencia de ese permetro encierra mayor
area que la poligonal.

Demostraci
on. Como C divide al plano en dos componentes conexas abiertas (una acotada y
la otra no), existe un punto p y un n
umero C tal que el disco D(p, C ) = {z R2 : kz pk <
C } esta incluido totalmente en la componente conexa acotada de R2 C .
Parametrizamos la curva en polares, y unimos segmentos desde p a cada vertice de la
poligonal (donde cada vertice tiene angulo i con i = 1 . . . k).
Si es necesario subdividimos en mas puntos de la poligonal de forma tal que:
los angulos determinados sean todos menores que la constante tal que < se
tiene:
sen

1
1

> ,
2
1 cos
4
y tal que max(|f (i ) f (i+1 )|) < C (mas adelante lo veremos).5
Sean 1 , . . . , k los angulos determinados (es decir i = i+1 i), y los vertices de los triangulos determinados son: (f (1 ), 1 ), . . . , (f (k ), k )) en notacion polar6 , y sea li la longitud
del lado correspondiente a (f (i ), f (i+1 )). De esta manera la poligonal queda determinada
por los triangulos (i ,li ) [f (i , f (i+1 )] on i = 1 . . . k.
Llamemos = 2 max(|f (i ) f (i+1 )|). Observar que maxj=0...k (|rj+1 rj |) < /2 donde
rj = lj /j con j = 1 . . . k (pues rj siempre esta comprendido entre el mnimo y el maximo
de f (j ) y f (j+1 )).
Sea i el triangulo (i ,li ) [f (i ), f (i+1 )].
Procederemos de la siguiente manera:
Primero cambiamos los triangulos i por los sectores S(i ,li ) .
Luego vamos cambiando S(1 ,l1 ) S(2 ,l2 ) por el sector S(1 +2 ,l1 +l2 ) .
Analogamente, cambiamos S(1 +2 ,l1 +l2 ) S(3 ,l3 ) por S(1 +2 +3 ,l1 +l2 +l3 ) .
Proseguimos de igual manera, hasta llegar a cambiar k1
i=1 S(i ,li ) S(k ,lk ) por S(1 ++k ,l1 ++lk ) .
Definimos por r12...h al radio del sector S(1 ++h ,l1 ++lh ) , que se construye de la siguiente
manera:
r1 + r2
r12 =
2
r1 +r2
+ r3
r12 + r2
r123 = 2
=
2
2
..
.
y en general

r1 +r2
+r3
2

r12...h =

...

r12...(h1) + rh
2

Observar que esto es posible pues si la diferncia de angulos tiende a cero, entonces la diferencia de los
lados respectivos tambien tienden a cero.
6
El par (r, ) indica el punto del plano de angulo respecto al eje real y de radio r.

Ahora lo que hacemos es ir haciendo las transformaciones y estudiar como se van modificando
las areas. Como se observo en los lemas anteriores, el area crece cuando cambiamos los
triangulos i por los sectores S(i ,li ) y decrece cuando promediamos sectores. Haciendo el
procedimiento anterior obtenemos que la diferencia de area de la circunferencia con permetro
l1 + . . . + lk y del area encerrada por la poligonal es:
k
!
o
Xn

S(1 ++k ,l1 ++lk )


(i )

k
X
i=1

ri2
i
2

i=1

sen i
i
1

2
1 cos i

(r1 r2 )2 1 2
(r12 r3 )2 (1 + 2 ) 3
+
+
2
1 + 2
2
(1 + 2 ) + 3

(r12...(k1) rk )2 (1 + + k1 ) k
+
2
(1 + + k1 ) + k

Podriamos seguir con este argumento pero mejor ataquemoslo por otro lado. Primero es
facil observar que basta probar la desigualdad no solo para poligonales convexas si no para
poligonales convexas en que los angulos de los triangulos i sean todos iguales. Esto es
consecuencia de que nada nos impide tomar como aproximacion de la curva convexa poligonales donde los angulos sean todos iguales. Es decir que podemos considerar por ejemplo que
j = e2 j/k para j = 1 . . . k y por tanto j = 2/k (que llamaremos ). Bajo estas nuevas
hipotesis es facil ver que |r12...(l1) rl | < :
r12 = (r1 + r2 )/2 y por tanto
|r12 r3 | |r12 r2 | + |r2 r3 |

|r1 r2 |
+ |r2 r3 | < .
2

De igual manera trabajando por induccion obtenemos:


|r12...l rl+1 | |r12...l rl | + |rl rl+1 |

r12...(l1) + rl


rl + |rl rl+1 |
2
|r12...(l1) rl |
+ |rl rl+1 |

2
< .

Entonces volviendo a la cuenta tenemos:


k
!
o
Xn

S(k,l1 ++lk )
(i )
i=1

k
X

ri2
sen

2
2
1 cos

i=1

(r12 r3 )2 (1 + 2 ) 3
(r1 r2 )2 1 2
+
+
2
1 + 2
2
(1 + 2 ) + 3

(r12...(k1) rk )2 (1 + + k1 ) k
+
2
(1 + + k1 ) + k

k
X
sen

2 2 2
2 (k 1)
ri2

+
+ +
2
2
1 cos
2 2
2 3
2
k
i=1

>
>

sen

2 z}|{
1

k
2
2
1 cos
2

k
X
r2
i

i=1
k
X
i=1

ri2
2
8

y si tomamos < C /2 (como habiamos pedido) se tiene

k
X
r2
i

i=1

2 >

X 2 C2 2
r

8 i=1 i
4
2
k

X 2 C2 k
r

8 i=1 i
4
2
k
!
k
X
X

2
2
=

ri
C
8
i=1
i=1

>

> 0.
Con esto damos por finalizada la demostracion de la Desigualdad Isoperimetrica. Todavia
nos falta algo por probar, falta ver que la desigualdad es optima en el sentido de que si
una curva de longitud l encierra igual area que la circunferencia de ese permetro entonces
esa curva es la circunferencia. Pero por ahora nos limitamos a lo anterior. Por ahora este
problema queda planteado.

You might also like