Sobre una desigualdad isoperimetrica en

supercies de curvatura no negativa

Fsico Juan Olgun Ortiz
Contenido
1 Introduccion 1
1.1 La reina Dido y el problema isoperimetrico . . . . . . . . . . . 2
1.2 Un caso particular de desigualdad
isoperimetrica . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 El teorema de Ptolomeo . . . . . . . . . . . . . . . . . . . . . 5
1.4 Propiedad de los cuadrilateros cclicos . . . . . . . . . . . . . . 7
2 Demostraciones de la desigualdad de Steiner 10
2.1 La demostracion de Hurwitz . . . . . . . . . . . . . . . . . . . 13
2.2 Conjuntos paralelos y la desigualdad de Steiner . . . . . . . . 17
2.3 Una demostracion mas moderna . . . . . . . . . . . . . . . . . 19
3 Preliminares 24
3.1 Elementos del Analisis Matematico . . . . . . . . . . . . . . . 24
3.2 Elementos de la Geometra Diferencial . . . . . . . . . . . . . 27
4 Demostracion del Teorema principal 29
5 Conclusion 42
Referencias 45
i
Captulo 1
Introduccion
En esta parte del trabajo hablaremos sobre la historia del problema isoperi-
metrico clasico en el plano y algunas de sus demostraciones.
El problema isoperimetrico clasico en el plano consiste en encontrar entre
todas las curvas cerradas en el plano de permetro jo, una (si es que la hay)
que maximiza el area de la region que encierra. Los griegos saban que la
respuesta era una circunferencia.
Una respuesta a este problema la da Jackob Steiner, matematico suizo
que demostro el siguiente resultado.
TEOREMA 1.1. (Desigualdad isoperimetrica de Steiner) Para una
curva plana cerrada simple se cumple la siguiente desigualdad
4A L
2
. (1.1)
donde A es el area de la region encerrada por dicha curva y L es su permetro.
La igualdad se alcanza si la region es un crculo.
Uno de los objetivos de esta tesis consistira en generalizar la desigualdad
(1.1) a una mas general a la cual llamaremos la desigualdad isoperimetrica
de Fiala y que mencionamos en el siguiente resultado.
TEOREMA 1.2. Sea una supercie M R
3
y sea K su curvatura gaus-
siana. Entonces, se satisface la desigualdad
L
2
2A
_
2
_ _
D
KdA
_
(1.2)
para toda curva de Jordan recticable encerrando una region simplemente
conexa D.
1
Cap

tulo 1. Introducci

on 2
El resultado principal de este trabajo nos dara una caracterizacion para
que la curvatura de una supercie arbitraria sea no negativa y se menciona
a continuaci on (vease [7]).
TEOREMA 1.3. Sea una supercie M R
3
con la metrica denida en
coordenadas locales conformes y sea K su curvatura gaussiana. Entonces,
K 0 sobre cualquier region R de la supercie M con esas coordenadas, si
y solo si, se satisface la desigualdad de Fiala (1.2) para toda curva de Jordan
recticable encerrando una region D simplemente conexa contenida en R.
OBSERVACI

ON 1.4. Observamos que el resultado menciona una propiedad

global de la supercie que se reere a la curvatura de esta, en terminos de
una propiedad local que se reere a que se cumpla la desigualdad de Fiala
(1.2) alrededor de cada punto con coordenadas conformes.
OBSERVACI

ON 1.5. Existen ejemplos donde la desigualdad de Fiala no

se cumple, a un para el caso de curvatura gaussiana nula.
Por ejemplo, dentro de un cilindro de radio r > 0 y altura h, al considerar
las circunferencias superior e inferior se tiene las igualdades L
2
= 16
2
r
2
para la longitud y para el area A = 2rh. Claramente la desigualdad
isoperimetrica no se cumple si h > 2.
Esto se debe a que el dominio encerrado no es simplemente conexo. En
este caso es necesario condicionar el diametro de la supercie a que este
acotado apropiadamente (vease [6]).
No obstante, para el caso de cilindros mas generales es conocido que en
una variedad general de tipo M = R
n
[0, 1] las supercies isoperimetricas
son cilindros y semiesferas (vease [15]).
Hacemos la aclaracion que en terminos generales, en esta introduccion se
daran los esbozos de las pruebas usando geometra elemental.
1.1 La reina Dido y el problema
isoperimetrico
Los primeros registros que se tienen de este teorema es alrededor de veinti un
siglos atras, gracias a los escritos del poeta Virgilio. En estos, el nos habla
de la reina Dido, quien era la hermana de Pigmaleon, rey de Tiro- una
antigua ciudad de Fenicia-. Este rey estaba en b usqueda de un tesoro que
Cap

tulo 1. Introducci

on 3
solo Dido y su esposo Siqueo saban donde estaba. Pigmaleon convencio a
Dido que le diera la ubicacion del tesoro pero ella le dio una ubcacion falsa.
Al darse cuenta de esto, Pigmaleon manda a matar a Siqueo, mientras Dido
huye de Tiro -porque sabe que ella es la siguiente vctima- con unos cuantos
subordinados, el tesoro y en direccion del norte de

Africa.
Una vez que la reina Dido llego a este lugar, ofrece una fuerte suma de
dinero a los pobladores del lugar -los Libios- a cambio de un trato. Este trato
consistio en que ella matara a un buey y con la piel de este se encargara de
elaborar una na cuerda. Posteriormente con esta cuerda, ella encerrara un
area especicada y el terreno encerrado por la cuerda sera el territorio de
por el que ella pagara la suma de dinero.
Ahora la pregunta es la siguiente. Si suponemos que la longitud de la
cuerda L es constante Que forma debe de tener la cuerda para que el area
encerrada tenga un area maxima? Esta pregunta es lo que en la actualidad
llamamos el problema isoperimetrico. La pregunta no es trivial de responder,
sin embargo los matematicos de aquel entonces ya conocan la respuesta,
saban que la curva que satisfaca esta propiedad era la circunferencia. Este
resultado era conocido por Dido. Para escoger el territorio de tierra con una
porcion de costa lo que hizo fue poner ambos extremos de cuerda sobre la
costa e imagino que la costa formaba una lnea recta. Suponemos que la
longitud de la cuerda es L, as que si lo que nosotros queremos es tener un
area maxima de tal suerte que comparta una porcion de la costa tenemos
que hacer lo que Dido hizo. Dido imagino que tena una cuerda de longitud
2L. Por lo que antes mencionamos, la curva que encierra un area maxima es
la circunferencia, en este caso una circunferencia de area A (vease la Figura
1.1).
Pues bien, como supuso que la costa era una lnea recta, formo dos semi-
circunferencias de permetro L de tal suerte que una parte una de la semicir-
cunferencia queda afuera, mientras que la otra queda adentro del mar. Esto
signica que la parte que esta adentro del mar es la reexion de la parte que
esta afuera del mar con respecto a la costa. As, el area total contenida por
la circunferencia imaginaria de permetro 2L es A = L
2
/, por lo tanto la
mitad de esto es el area contenida en tierra rme.

Esta es el area maxima
que se puede formar con una cuerda de longitud L de tal manera que se tenga
una parte de costa dentro del territorio.
Por cierto, a partir de esta semicircunferencia se construyo la ciudad
de Cartago, y el nombre viene del fenicio Qart-Hadah, la Ciudad Nueva.
Evidentemente lo dicho arriba es una leyenda que narra los orgenes de esta
Cap

tulo 1. Introducci

on 4
Figura 1.1: Crculo de area L
2
/.
ciudad. Hay dos versiones que hablan de la muerte de Dido. Una dice que se
suicido porque el rey Jarbas quera casarse con ella, pero ella al mantenerse
rme al recuerdo de su antiguo marido se dio una pu nalada en el corazon.
En la otra version tambien se dice que se suicido, pero debido a que Eneas
-el heroe de la Eneida de Virgilio- la abandono y por despecho se clava la
espada de Eneas en el estomago mientras se lanza al fuego donde se estaban
quemando las cosas de Eneas.
1.2 Un caso particular de desigualdad
isoperimetrica
De acuerdo con el Teorema 1.1, para toda region en el plano, encerrada por
una curva de clase C
1
, con area interna A y con permetro L, se cumple la
desigualdad (1.1) y la igualdad se da si la region es un crculo.
Un caso particular de este problema que abordaremos con geometra
basica es el siguiente.
Supongan que los cuatro lados de un cuadrilatero tienen medidas a, b, c
y d respectivamente. Que cuadrilatero con estas longitudes maximiza el
area? La respuesta a esta pregunta es el cuadrilatero cclico.
DEFINICI

ON 1.6. Un cuadrilatero cclico es aquel cuyos vertices pueden

ser colocados sobre una circunferencia, es decir, puede inscribirse sobre alg un
crculo.
Cap

tulo 1. Introducci

on 5
OBSERVACI

ON 1.7. Un cuadrilatero cuyas longitudes son cuatro n umeros

dados puede ser construido, mas a un, se puede probar que siempre hay un
cuadrilatero cclico con longitudes a, b c y d. Lo anterior trasciende del
objetivo de la monografa, por lo cual, no sera demostrado en la misma.
1.3 El teorema de Ptolomeo
TEOREMA 1.8. (Desigualdad de Ptolomeo). Sean ABCD cuatro
puntos en el plano, a, b, c y d las longitudes de los lados AB, BC, CD y
DA respectivamente y p, q las medidas de las diagonales AC, BD respecti-
vamente. Entonces se cumple la desigualdad
pq ac + bd. (1.3)
La igualdad se alcanza cuando los cuatro puntos son cclicos o todos son
colineales (vease la Figura 1.2).
Figura 1.2: Desigualdad de Ptolomeo.
Demostracion. Consideraremos dos casos: cuando un punto es distinto a los
otros tres y el caso contrario.
Cap

tulo 1. Introducci

on 6
Comenzaremos con el primer caso. Supongamos que A es distinto a los
otros puntos BCD. Si a los vertices ABCD se le asignan los n umeros comple-
jos 0, z
1
, z
2
y z
3
, con z
i
,= 0, entonces: a = [z
1
[, b = [z
1
z
2
[, c = [z
2
z
3
[,
d = [z
3
[, p = [z
2
[ y q = [z
1
z
3
[. Para las inversiones, consideremos la
desigualdad del triangulo

1
z
1

1
z
3

1
z
1

1
z
2

1
z
2

1
z
3

que equivale a
[z
1
z
3
[
[z
1
[[z
3
[

[z
1
z
2
[
[z
1
[[z
2
[
+
[z
2
z
3
[
[z
2
[[z
3
[
Multiplicando de ambos lados por [z
1
[[z
2
[[z
3
[, obtenemos,
[z
2
[[z
1
z
3
[ [z
3
[[z
1
z
2
[ +[z
3
[[z
2
z
3
[
que es equivalente a (1.3).
La igualdad se obtiene cuando los puntos z
1
1
, z
1
2
, z
1
3
y son colineales
(en ese orden).
Si dicha lnea contiene al origen, entonces ABCD se encuentra en una
lnea que atraviesa el mismo origen. Como z
1
2
se encuentra entre z
1
1
y z
1
3
,
dependiendo de que lado se encuentra el 0 con respecto a los otros puntos,
la gura ABCD tendra la propiedad de que la distancia de uno de los lados
es igual a la suma de los otros tres, a menos que los tres puntos coincidan,
en cuyo caso, no estamos hablando de una gura cclica.
De cualquier forma, si la lnea no pasa por el origen, la inversi on aplica
la lnea en un crculo que pasa por el origen. As que z
1
, z
2
, z
3
y 0 se
encuentran en ese orden en el crculo que contiene al origen. Puede suceder
que dos puntos coincidan (B = C o C = D). La gura que obtenemos en este
caso es un triangulo. Pero, como los puntos se sit uan en orden alrededor del
crculo, B = D implica que B = C = D, es decir, la gura es un segmento
de recta.
El ultimo caso se da cuando todos los puntos coinciden, de lo cual se sigue
que A = B = C = D y junto con (1.3), arroja el resultado 0 = 0.
Finalmente quedan tres subcasos mas: A = B ,= C = D, entonces a = c
y b = d = p = q > 0, de forma que se obtiene la igualdad en (1.3). Si A =
C ,= B = D, entonces p = q = 0 y a = b = c = d > 0 y a = c = p = q > 0,
obteniendose la igualdad en (1.3), lo que termina la prueba.
Cap

tulo 1. Introducci

on 7
1.4 Propiedad de los cuadrilateros cclicos
Mostramos ahora propiedades de los cuadrilateros ciclicos en los siguientes
resultados.
TEOREMA 1.9. (Propiedad Maximizadora de los cuadrilateros
cclicos). Sean ABCD los vertices de un cuadrilatero en el plano con lados
AB, BC, CD, DA y longitudes a, b, c, d respectivamente. Y sea F el area del
cuadrilatero. Entonces:
16F
2
(a + b + c d)(a + b c + d)(a b + c + d)(a + b + c + d) (1.4)
La igualdad se obtiene cuando ABCD es cclico o los vertices son colineales.
Demostracion. Si el cuadrilatero degenera en un segmento de lnea, F se
anula y (1.4) se cumple. Si el lado derecho de la desigualdad tambien es
cero, entonces uno de los terminos es cero y uno de los lados es la suma de
los otros tres.
Si ABCD es un cuadrilatero convexo, tomamos E como la intersecci on de
AC y BD y p
1
, q
1
, p
2
, q
2
las longitudes de EC, ED, EA, EB respectiva-
mente y observamos que = CED = AEB y = DEA = BEC.
Es decir que el area del cuadrilatero es la suma de las areas de los triangulos:
2F = p
1
q
1
sen +p
2
q
1
sen ( ) + p
2
q
2
sen( )
= (p
1
q
1
+p
2
q
1
+ p
2
q
2
+ p
1
q
2
) sen
= (p
1
+p
2
)(q
1
+q
2
) sen
= pq sen
Mediante la ley de los cosenos podemos hallar la distancia de los cuatro
lados:
a
2
= p
2
2
+q
2
2
2p
2
q
2
cos
b
2
= p
2
1
+q
2
2
2p
1
q
2
cos( )
c
2
= p
2
1
+q
2
1
2p
1
q
1
cos
d
2
= p
2
2
+q
2
1
2p
2
q
1
cos( )
De modo que
a
2
b
2
+ c
2
d
2
= 2(p
2
q
2
+p
1
q
2
+ p
1
q
1
+ p
2
q
1
) cos
= 2(p
1
+p
2
)(q
1
+q
2
) cos
= 2pq cos
Cap

tulo 1. Introducci

on 8
Reescribiendo el area en terminos de las ecuaciones anteriores y usando
la desigualdad de Ptolomeo, nalmente obtenemos:
16F
2
= 4p
2
q
2
sen
2

= 4p
2
q
2
4p
2
q
2
cos
2

4(ac + bd)
2
(a
2
b
2
+ c
2
d
2
)
2
= [2ac + 2bd + a
2
b
2
+ c
2
d
2
][2ac + 2bd a
2
+ b
2
c
2
+d
2
]
= [(a + c)
2
(b d)
2
][(b + d)
2
(a c)
2
]
= (a + b + c d)(a b + c + d)(a + b c + d)(a + b + c + d)
En otras palabras, la desigualdad (1.4) se cumple. Si se cumple la igual-
dad en esta, tambien se cumplira en la desigualdad de Ptolomeo, de forma
que los puntos ABCD estaran ordenados en la circunferencia. Esto termina
la prueba.
TEOREMA 1.10. (Formula del cuadrilatero de Brahmagupta).
Para un cuadrilatero PQRS que se encuentra en el plano, cuya magnitud
de cada lado esta dada por a = PQ, b = QR, c = RS y d = SP, orde-
nados alrededor del mismo y cuyos angulos sean = PQR, = QRS,
= RSP y = SPQ, entonces el area A del cuadrilatero esta dada por:
16A
2
= (a+b+cd)(a+bc+d)(ab+c+d)(a+b+c+d)16abcd cos
2
_
+
2
_
En este caso, la igualdad implica que el cuadrilatero es cclico o sus vertices
se encuentran en un segmento rectilneo tal que la distancia de uno de los
lados es la suma de las otras tres distancias.
Brahmagupta fue un matematico de Ujjain, India que vivio en el siglo VII.
Su trabajo giro en torno a la teora de n umeros y a las soluciones integrales
de las ecuaciones. Encontro muchos triangulos integrales y cuadrilateros que
motivaron la generalizacion que hizo de la formula de Heron, la cual asocia el
area de un triangulo con el largo de sus lados, al caso de los cuadrilateros. La
formula que dedujo se aplica a los cuadrilateros cclicos, dando una prueba
trigonometrica. Es facil ajustar esta misma para todos los cuadrilateros en
el plano. Un corolario inmediato de la formula es la propiedad maximizadora
para los cuadrilateros, obtenida por Steiner. De hecho, la formula de Brah-
magupta da una expresion para el termino del error en la desigualdad de
Cap

tulo 1. Introducci

on 9
Steiner. Solo nos queda decir que la anterior es una de las muchas expre-
siones equivalentes de tal formula.
Para concluir esta parte damos otra demostracion del Teorema 1.9, escrito
en forma diferente.
TEOREMA 1.11. Propiedad Maximizadora de los cuadrilateros
cclicos. Sean ABCD los vertices de un cuadrilatero en el plano con lados
AB, BC, CD, DA y longitudes a, b, c, d respectivamente. Y sea A el area del
cuadrilatero. En tal caso la siguiente desigualdad es valida:
16A
2
(a + b + c d)(a + b c + d)(a b +c +d)(a + b + c + d)
La igualdad se da si ABCD es cclico o los vertices son colineales.
Demostracion. Tomemos los angulos como en la formula de Brahmagupta,
como dichos angulos pueden ser tomados 0 + = 2 2, el
maximo ocurre cuando + = , en cuyo caso + = o uno de los lados,
por ejemplo, d = 0. Si un lado mide cero, la gura degenera en un triangulo,
biangulo o punto, todos ellos cuadrilateros cclicos. Si ninguna distancia es
degenerada y uno de los angulos, = 0, digamos, entonces = y S un
punto interior del segmento RP. De esto se sigue que los cuatro puntos son
colineales y a = b + c + d o b = c + d + a. De forma similar, si = ,
= 0 y ya sea que d = a + b + c o c = d + a + b. Si hacemos p = PR, si
0 < < , entonces la cuerda del crculo PR del crculo a traves de PQR
subtiende un angulo del doble de . De igual forma, PR del crculo PQR,
subtiende un angulo 2. Pero como 2+2 = 2, ambos crculos coinciden y
los triangulos PQR y RSP se encuentran en lados opuestos de la cuerda PR,
pues los angulos se encuentran en lados opuestos del crculo. Si = =

2
,
el cuadrilatero es cclico, lo que termina la prueba.
Captulo 2
Demostraciones de la
desigualdad de Steiner
La obra matematica de Steiner se centro en la geometra, que desarrollo en
el campo sintetico, excluyendo totalmente la analitica, que odiaba, y que se
deca consideraba una desgracia para la geometra aun cuando se obtuvieran
iguales o mejores resultados. En su campo, sobrepaso a todos sus contem-
poraneos. Sus investigaciones se distinguen por su generalizacion, la riqueza
de sus fuentes y el rigor de sus demostraciones. Ha sido considerado el mayor
genio de la geometra pura desde Apolonio de Perga.
En su Systematische Entwickelung der Abhngigkeit geometrischer Gestal-
ten von einander, Steiner sento las bases de la geometra moderna pura, donde
presenta las formas geometricas y la correlacion entre ellas, en lo que el mismo
llamo geometra proyectiva, presentando mediante la ayuda de lneas y pun-
tos una nueva generacion de secciones conicas y supercies cuadraticas de
rotacion, que llevan mas directamente que otros metodos anteriores a la na-
turaleza de las conicas y que revelan la conexion con las formas biologicas.
En este tratado, ademas, se analiza por primera vez el principio de dualidad,
como consecuencia de las propiedades fundamentales del plano, la lnea y el
punto.
Parece que Steiner no solo encontro una demostracion de la desigual-
dad isoperimetrica (1.1) enunciada en el teorema 1.1. Algunos dicen que
tena varias demostraciones. Una de ellas consiste en la siguiente, la cual
mostramos por partes.
10
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 11

Parte cero
Basta demostrar el teorema para conjuntos convexos. Un conjunto es convexo
si para cualesquiera dos puntos de este conjunto, la lnea recta que los une
se encuentra dentro del conjunto (vease la Figura 2.1).
Figura 2.1: Conjuntos convexos.
Primera parte
Dado un conjunto con interior no vaco y frontera de longitud L,
encontrar otro de tal manera que este otro tenga un area mayor y que su
frontera tenga la misma longitud. A traves de ciertos metodos que establece
Steiner, es posible aproximarse sucesivamente a la curva que encierra un
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 12

mayor area interna hasta que se alcanza un lmite donde parece ser que la
gura que tiene mayor area interna es la circunferencia.
A pesar de que la anterior demostracion es correcta, el caracter tecnico
de la misma no permite apreciar con claridad algunos elementos geometricos,
los cuales saltan a la vista a partir de la aplicacion de rudimentos basicos de
la geometra. Esta forma moderna de abordar el problema se debe a Lawlor.
Segunda Parte
Figura 2.2:
Haciendolo convexo
Se toma un conjunto convexo y se toman n puntos de su
frontera de tal manera que estos equidisten (que tengan la
misma distancia uno del otro), despues con estos n puntos
se forma un n-agono (un n-agono es un polgono de n
lados) y se compara con otro n-agono regular con el mismo
permetro que el primero. Se demuestra que el area de este
n-agono regular es siempre mayor o igual a la del primer
n-agono. Haciendo tender a innito el n umero n se obtien
el resultado deseado, ya que el n-agono regular tendera a
la circunferencia mientras que el otro tendera al conjunto
convexo original.
Figura 2.3:
Eligiendo la mitad
mas grande
La forma en la que Steiner hace su demostracion es
caracterizando las regiones R que no tienen area maxima
para un permetro dado.
Observo que el area de R se puede aumentar, si no es
convexa. En la gura (2) la region es no convexa debido a
la depresion que presenta. Este pedazo de contorno puede
reejarse a traves de la lnea de soporte, tal como se mues-
tra en dicha gura. Al nal, obtenemos una gura con el
mismo permetro pero con un area mas grande.
Supongamos entonces que R es convexo. Steiner su-
girio dibujar una lnea que partiera a R en dos piezas con el mismo permetro.
De las dos partes, escogemos la de mayor area y volvemos a reejar esa ultima
parte, obteniendo una gura del mismo permetro y mayor area.
Siguiendo este razonamiento, suponemos que R es con-
vexo y que la lnea que divide a R genera dos mitades de
igual area e igual permetro. Sean ademas A y C donde la
frontera de R corta con la lnea divisoria. El Teorema del
angulo periferico nos asegura que R es circular si y solo si
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 13

para cualquier punto B en la frontera de R (ademas de A
y C) ABC =

2
. Supongamos ahora que existe un punto
B tal que ABC ,=

2
. sea a H la region que contiene a
B.
Figura 2.4:
Recticacion
La idea de Steiner consistio en considerar que ABC
tiene dos lados de longitudes jas [AB[ y [BC[, teniendo
el angulo de B libertad de movimiento. Entonces conta-
mos con tres regiones: el triangulo ABC, la region que
subtienden AB y BC, las cuales conforman la region que
hemos llamado H.
Al cambiar el angulo ABC, se modica el area y
la forma del mismo triangulo, no obstante las otras dos
regiones son lsa mismas. Evidentemente, de todos los
triangulos con estas caractersticas, el de area maxima es
el que tiene altura maxima, lo cual ocurre a su vez cuando
ABC =

2
. As que si el angulo no es recto, el area se
puede incrementar haciendo ABC =

2
.
Siendo ya el angulo B =

2
, la nueva gura puede ser re-
ejada nuevamente, obteniendo otra del mismo permetro
con mayor area. Finalmente notamos que para algunas
guras que tienen un angulo ABC mayor a

2
, al ser re-
ducido el angulo, las otras dos regiones pueden cortar a
la lnea bisectriz de R. Este problema se puede zanjar de
distintas formas, el presente escrito no pretende agotar el tema, sin embargo,
dichas soluciones se pueden consultar en [12].
Figura 2.5:
Despues del proceso
Con esta construccion se muestra que si R es no circu-
lar, entonces existe alguna region con el mismo permetro,
pero mayor area. Consecuentemente si existe una region
de area maxima, esta solo puede ser un disco.
La anterior demostracion es muy geometrica y no nece-
sita de matematicas avanzadas.
2.1 La demostracion de Hurwitz
Entre 1751 y 1765 se publica en Francia la primera Enci-
clopedia, de Denis Diderot y Jean Le Rond DAlembert,
que pretenda recoger el pensamiento ilustrado. Queran
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 14

Figura 2.6: Cuerdas y circunferencias.
educar a la sociedad, porque una sociedad culta que piensa por s misma era
la mejor manera de asegurar el n del Antiguo Regimen (el absolutismo y
las dictaduras se basan en la ignorancia del pueblo para dominarlo). En
su redaccion colaboraron otros pensadores ilustrados como Montesquieu,
Rousseau y Voltaire.
Los lderes intelectuales de este movimiento se consideraban a s mismos
como la elite de la sociedad, cuyo principal proposito era liderar al mundo
hacia el progreso, sacandolo del largo periodo de tradiciones, supersticion,
irracionalidad y tirana (periodo que ellos crean iniciado durante la llamada
Edad obscura).
Esta concepcion topo con pared frente a las condiciones objetivas es-
tablecidas en esa epoca: la sociedad en su conjunto a un no era capaz de
generar la suciente produccion como para emanciparse del trabajo mismo.
Haba todava que transitar por un c umulo de conocimientos cientcos y
tecnologicos que permitieran sentar las bases objetivas sobre las cuales el
ser humano pudiera en verdad emanciparse. Lo otro contra lo que chocaron
estos titanes del pensamiento fue una ley historica de oro: La historia no la
hacen los individuos, sino las masas. En esta ocasion, no se encontraban lo
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 15

sucientemente cohesionadas como para hacer frente a los explotadores.
No obstante las ideas del siglo de las luces fueron el abono que sirvio
a la ciencia y la tecnologa para alimentarse y desarrollarse para satisfacer
as las necesidades de produccion que la nueva clase capitalista comenzaba a
demandar.
Antes del siglo XVIII la matematica fue un instrumento de resolucion de
problemas. En el siglo XVIII los fenomenos naturales sirvieron de motivaci on
para nuevos desarrollos analticos, debido a que la Ilustracion trajo una con-
anza ilimitada en que el trinomio razon, smbolos algebraicos y metodos
innitesimales, era capaz de resolver cualquier problema analtico.
Esta conanza en el futuro fue el contexto en el cual Euler, los Bernoulli,
Lambert, McLaurin, Cramer, Clairaut, DAlambert y tambien Hurwitz.
Para demostrar la desigualdad (1.1) mediante el metodo de Hurwitz, us-
aremos los siguientes resultados debidos a Parseval y a Wirtinger.
TEOREMA 2.1. (Teorema de Parseval). Sean V un espacio vectorial
real con un producto interno y
0
,
1
, . . . un sistema ortonormal. Entonces,
este sistema es completo si y solo si, para cada vector f V se cumple
[[f[[
2
=

n=0
[ < f,
n
> [
2
.
TEOREMA 2.2. (Desigualdad de Wirtinger) Sea f() una funcion
de clase C
1
(R) de periodo 2. Si f es el valor promedio de f,
f =
1
2
_
2
0
f() d,
entonces se cumple la desigualdad
_
2
0
(f() f)
2
d
_
2
0
(f())
2
d
La igualdad se alcanza si y solo si, existen dos n umeros reales a y b tales
que:
f() = f + a cos + b sen (2.1)
Demostracion. Toda la idea es expresar a f y f

en series de Fourier. Como

la derivada esta acotada y f es continua, la serie de Fourier converge para
toda ,
f() =
a
0
2
+

k=1
a
k
cos k + b
k
sen k
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 16

Los coecientes de Fourier estan determinados una vez que se multiplica
sen m o cos m e integrando, para obtener las formulas de Euler:
a
m
=
1

_
2
0
f() cos md, b
m
=
1

_
2
0
f() sen md
Notemos que 2f = a
0
. Como la familia cos mt
n
sen mt
n
es un sistema
maximal y ortogonal, la igualdad de Parseval se satisface y entonces
_
2
0
(f f)
2
=

k=1
(a
2
k
+ b
2
k
).
La derivada de la serie esta dada por
f

() =

k=1
ka
k
sen k + kb
k
cos k. (2.2)
Como f

L
2
, la desigualdad de Bessel implica que

k=1
k
2
(a
2
k
+ b
2
k
)
_
2
0
(f

)
2
(2.3)
Ahora podemos deducir la desigualdad de Wirtinger a partir de las rela-
ciones (2.2) y (2.3), debido a la cadena de desigualdades
0
_
2
0
(f

)
2

_
2
0
(f f)
2

k=2
(k
2
1)(a
2
k
+ b
2
k
)
La igualdad implicara que para k 2 se debe cumplir (k
2
1)(a
2
k
+b
2
k
) =
0, de modo que a
k
= b
k
= 0, con lo que f toma la forma (2.1). Esto termina
la prueba.
Para demostrar el teorema de Steiner y por tanto la desigualdad isoperi-
metrica 1.1, se deben considerar las funciones,
f() = x
_
L
2
_
g() = y
_
L
2
_
donde x(t) , y(t) son las ecuaciones parametricas de la curva, A es el area de
la region encerrada por tal y L es su longitud.
Observamos que en esta relacion solo se da la igualdad si y solo si, la
curva considerada es la circunferencia.
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 17

2.2 Conjuntos paralelos y la desigualdad de
Steiner
Como es que Steiner llego a los resultados antes mencionados? Es claro
que el como individuo poco tendra que hacer si quisiera haber acometido
las empresas que logro con tan acentuado exito. Steiner vivio 67 a nos, de
1796 a 1863. Le toco una epoca convulsiva, vino a la vida poco despues de la
primera revoluci on burguesa en Francia, poco antes de la consolidacion del
imperio napoleonico, vivio tambien el meteorico ascenso de un enorme pas
poblado mayoritariamente por exiliados (muchos de ellos, exiliados polticos)
de Gran Breta na. En este ultimo pas descollaba ya como una clase social el
conjunto de los trabajadores.
Entre los mas importantes, los anteriores eventos historicos fueron la base
en la cual la ciencia despunt o como nunca antes lo haba hecho. El siglo XIX
fue la epoca en la que vio la luz El origen de las especies de Darwin, sentando
las bases de la teora de la evoluci on moderna; la cronologa bblica del mundo
se echo por tierra con los descubrimientos en geologa y no se diga acerca de
los avances en la qumica, entre los que destaco la estructuracion de la tabla
periodica que construyo Mendeleiev y que utilizamos hasta nuestros das; en
el terreno de la fsica, se descubran y fundamentaban la ley de Gauss, la ley
de Faraday, la ley de Amp`ere y la de Maxwell, entre muchas otras.
Las Matematicas, como expresion del conocimiento humano y como len-
guaje de esta nueva y boyante Fsica, tambien experimentaron un abundante
desarrollo en todas sus ramas: el Calculo, el

Algebra y tambien la Geometra
se vieron establecidas en un nivel superior al que se encontraban en el siglo
pasado.
As pues, la necesidad de produccion de la nueva sociedad de este siglo
demandaba un conocimiento mas preciso de los fenomenos que la rodeaban,
no solo para comprenderlos, sino sobre todo, para controlarlos.
Los avances en la Fsica permitieron el desarrollo de las Matematicas y
en particular, de la Geometra, desarrollo materializado por geometras como
Monge, Poncelet y Lobachevsky que provieron a la genialidad individual de
Steiner las herramientas necesarias para brindarnos los resultados que fue
capaz de obtener.
Sea R
2
una region acotada por una curva de clase C
1
. Entonces,
para 0, el paralelo -exterior, se dene como:

= B = x E
2
[ d(x, )
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 18

Es decir, es el conjunto de puntos en el plano, cuyas distancias a son
a lo mas , siendo B una bola unitaria cerrada.
TEOREMA 2.3. (Desigualdad de Steiner-Minkowsky). Sea E
2
un conjunto cerrado, acotado por una curva de clase C
1
, cuyo area es A
y cuyo permetro es L y sea 0. Entonces se satisfacen las siguientes
desigualdades:

Area (

) A + L +
2
,
Longitud () L + 2
Si ademas, es un conjunto convexo, se satisfacen las igualdades.
Figura 2.7: Polgonos de n lados.
Demostracion. (Esbozo) Sea P
n
una sucesion de polgonos (convexos,
si lo es) que converge a cuyas curvas de su frontera se aproximan a la
de , de forma que

Area (P
n
) A y longitud (P
n
) L cuando n .
De forma que si el caso general es consecuencia de la desigualdad de Steiner
para polgonos, dicha desigualdad se cumple para los polgonos, por lo que
tambien lo hara para el caso general (vease la Figura 2.7).
La demostracion de Minkowsky del problema isoperimetrico requiere denir
una nueva clase de suma de conjuntos y unos teoremas al respecto que enun-
ciaremos sin demostrar. Sean S y T dos subconjuntos del plano. En tal caso
denimos su suma de Minkowsky como
aS +bT = x + y [x aS, y bT
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 19

donde a, b son n umeros no negativos y aS es la dilatacion de S por un factor
a, esto es,
aS = ax [ x S.
TEOREMA 2.4. (Desigualdad de Brunn). Sean A, B dos subconjuntos
acotados medibles del plano. Entonces
_

Area(A +B)
_

Area(A) +
_

Area(B)
La igualdad se cumple si y solo si,
A = rB + x,
donde r 0 y x R
2
.
Demostracion. Un analisis directo prueba la siguiente cadena de desigual-
dades
A + Lr + r
2

Area(

) =

Area( + B)

_
_
(

Area()) +
_

Area(rB)
_
2

A +r

_
2
= A
2
+ r

4A + r
2
lo que prueba la armacion.
2.3 Una demostracion mas moderna
El siglo XX fue una epoca en la que se han agudizado muchas de las con-
tradicciones del propio sistema imperante. Las dos Guerras Mundiales fueron
consecuencia de dos estancamientos economicos pronunciadsimos. Para salir
de dicho estancamiento, en la medida en la que el capitalismo es un sistema
economico anarquico y tendiente al monopolio, fue necesario destruir a gran
escala.
La Revoluci on Rusa de octubre de 1917 tambien marco un sello al siglo
pasado. Despues de varios intentos, el proletariado fue capaz de hacerse del
poder poltico y economico de un pas. Este triunfo, junto con los constantes
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 20

altibajos a los que se ven sometidos los pases capitalistas fundaron la es-
peranza para millones de desposeidos del mundo occidental. Sin embargo,
la traicion de Stalin a la clase trabajadora del mundo entero termino por
lapidar la oportunidad en este siglo de terminar con la barbarie a la que nos
empujan las condiciones actuales en el mundo entero.
Exacerbadas contradicciones: Bien podramos resumir as al siglo XX.
Mientras la ciencia y la tecnologa llevaban al hombre a la luna y a conquis-
tar el espacio exterior, ingentes cantidades de habitantes en el tercer mundo
moran de hambre, fro o de enfermedades erradicadas haca ya tiempo de los
pases primermundistas. Mientras todos los procesos productivos se mejora-
ban a pasos agigantados, haciendo de la produccion de un conjunto cada vez
mas grande de mercancas una tarea cada vez mas perfeccionada, los ver-
daderos productores, es decir, los trabajadores, sin quienes, sera imposible
entender la existencia de un boton siquiera, vieron una serie de ascensos (no
tan impresionantes) y cadas (tremendamente abruptas) durante el siglo XX,
al nal del cual, en promedio se ha experimentado una regresion a los niveles
de vida que tenan los mismos trabajadores a nales del siglo XVIII.
Esta contradicci on tan aguda entre el desarrollo de la ciencia y las condi-
ciones de vida de la inmensa mayora de los habitantes de este planeta fue el
telon de fondo para el desarrollo de las Matematicas del siglo pasado.
El mpetu y el optimismo con el que los cientcos haban abrazado el
determinismo se haba desvanecido, siendo Godel quien mostro los lmites que
en ese momento y hasta ahora presentan las Matematicas. No es casualidad
que los gigantes del siglo XVIII y XIX no murieran ni sufrieran de depresion
como Godel o Cantor. Todos ellos (y nosotros), al nal de cuentas son
(somos) producto de la epoca historica que les (nos) toco vivir.
No obsante lo anterior, el desarrollo de las Matematicas en el siglo XX
ha sido prolco pues la herencia que dejaron los matematicos de los dos
siglos anteriores exige que sea desarrollada y completada. Una de las ramas
de las Matematicas que siguio oreciendo fue la Geometra, desarrollada al
inicio del mismo siglo XIX por Hilbert, Riemann y despues por Poincare.
La geometra diferencial tambien fue un terreno fertil para el desarrollo de
resultados. Entre ellos se encuentran soluciones al problema isoperimetrico.
A continuacion demostraremos el Teorema 1.1 usando una prueba mas
moderna debida E. Schmidt (1939) para el caso en que la curva frontera es
de clase C
1
.

Esta puede ser encontrada en el texto clasico de DoCarmo [4].
Demostracion. Sean K y K

dos rectas paralelas que no corten a la curva cer-

Cap

tulo 2. Demostraciones de la desigualdad de Steiner 21

rada C. Si las recorremos hasta que toquen por primera vez a C, obtenemos
dos rectas paralelas tangentes E y E

, de tal forma que C esta totalmente

contenida en la franja acotada por E y E

.
Consideremos una circunferencia S
1
tangente a E y E

y que no intersecte
a C. Sea 0 el centro de S
1
y tomemos un sistema de coordenadas con origen
en 0 y cuyo eje x sea perpendicular a E y E

.
Parametricemos C por la longitud de arco, (s) = (x(s), y(s)), de forma
que quede orientada positivamente y los puntos de tangencia con E y E

sean
s = 0 y s = s
1
, respectivamente.
Podemos suponer que la ecuacion de S
1
es
(s) = (x(s), y(s)) = (x(s), y(s))
con 0 s l = 2r y donde l = 2r es la distancia entre las lneas E y E

(vease la Figura 2.8).

El area de la regiones encerradas por cada curva respectiva estan dadas
por
a =
_
l
0
xy

ds
A = r
2
=
_
l
0
yx

ds
siendo A el area de la region acotada por S
1
.
En consecuencia,
A +r
2
=
l
_
0
(xy

yx

)ds
l
_
0
_
(xy

yx

)
2
ds

l
_
0
_
(x
2
+ y
2
)((x

)
2
+ (y

)
2
)ds =
l
_
0
_
x
2
+ y
2
= lr
(2.4)
Es bien conocido quee la media geometrica de dos n umeros positivos es
menor o igual que su media aritmetica y la igualdad se da si y solo si los
n umeros son iguales. Esto implica que

Ar
2

1
2
_
A +r
2
_

1
2
lr (2.5)
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 22

Figura 2.8: Lneas paralelas E y E

.
Por consiguiente, 4Ar
2
l
2
r
2
lo cual implica la desigualdad (1.1).
Supongamos ahora que en la en la desigualdad isoperimetrica (1.1) se
alcanza la igualdad. Entonces se debe cumplir tambien en las desigualdades
(2.4) y (2.5). La igualdad en la relacion (2.5) implica que A = r
2
. As,
l = 2r y r no dependen de la eleccion de la direccion de E.
Ademas, la igualdad en la relacion 2.4 implica que
(xy

yx

)
2
= (x
2
+ y
2
)((x

)
2
+ (y

)
2
)
o
(xx

+ yy

)
2
= 0.
Cap

tulo 2. Demostraciones de la desigualdad de Steiner 23

Esto es,
x
y

=
y
x

=
_
x
2
+ y
2
_
(y

)
2
+ (x

)
2
= r
As, x = ry

. Como r no depende de la eleccion de la direccion de E,

podemos intercambiar x y y en la ultima relacion para obtener y = rx

.
Consecuentemente, se tiene la relacion
x
2
+ y
2
= r
2
((x

)
2
+ (y

)
2
) = r
2
y por tanto C es una circunferencia.
Captulo 3
Preliminares
En este captulo nos concentraremos en establecer deniciones y enunciar teo-
remas sin demostracion los cuales utilizaremos a lo largo de la demostracion
de nuestro teorema principal 1.3.
3.1 Elementos del Analisis Matematico
DEFINICI

ON 3.1. Sea R un subconjunto abierto de R. Una funcion de

Green para el conjunto R es una funcion G : R R R con las siguientes
propiedades:
i. Se cumple que,
G
R
(x, .) = u
x
+ h
x
para toda x R con h
x
funcion armonica en R.
ii. Para toda x R,
G(x, .) 0
iii. Si para x R, v
x
es una funcion sobrearmonica no negativa y es la
suma de u
x
y una funcion s uper armonica
entonces.
v
x
G(x, .).
TEOREMA 3.2. La funcion de Green G, si existe, es unica en R.
24
Cap

tulo 3. Preliminares 25
DEFINICI

ON 3.3. Si u es una funcion suprayectiva y armonica en el

conjunto abierto R, h una funcion armonica en R y h u en R, entonces h
es llamada un minorante armonico de u (mayorante armonico de u si h u).
La funcion h se llama mayor minorante armonico de u si es un armonico
minorante y h v para cualquier v armonico minorante (si h es un mayorante
armonico y h v para cualquier v armonico mayorante).
Necesitaremos tambien el siguiente resultado.
TEOREMA 3.4. (Teorema de descomposici on de Riesz). Sea R un
subconjunto en R
n
abierto con funcion de Green G y u una funcion s uper
armonica sobre R. Entonces existe una unica medida en R tal que si W
es un subconjunto de R abierto con cerradura compacta en R entonces
u(x) =
_
W
G(x, y)d(y) + h
w
(x),
donde h
w
es el mayor de los minorantes armonicos de u en W
Es bien conocido que si, : [a, b] C es una curva suave, f : R C C
es una funcion analtica denida en el conjunto abierto R y R, entonces
se tiene que
_

(z) dz = f((1)) f((0)).

esto implica que tal integral depende apenas de los puntos extremos de una
curva que los une y no de la curva misma.
Un resultado mas general y que ocuparemos es el siguiente, el cual nos
garantiza la existencia de antiderivadas complejas en un dominio simplemete
conexo.
TEOREMA 3.5. (Independencia de las integrales respecto a la
trayectoria). Supongamos que f es una funcion continua denida en un
conjunto abierto simplemente conexo R. Entonces las siguientes proposi-
ciones son equivalentes:
i. Las integrales son independientes de la trayectoria: si z
0
y z
1
son dos
puntos distintos cualesquiera en R y
0
y
1
son trayectorias en R de
z
0
a z
1
entonces,
_

0
f(z) dz =
_

1
f(z) dz.
Cap

tulo 3. Preliminares 26
ii. Las integrales a lo largo de curvas cerradas son iguales a 0: Si es
una curva cerrada contenida en R, entonces,
_

f(z) dz = 0.
iii. Existe una antiderivada global de f en R. Esto es, existe una funcion
F denida y analtica en todo R tal que
F

(z) = f(z)
para toda z en R.
TEOREMA 3.6. Sea h una funcion de valores reales con segundas derivadas
continuas en una vecindad de radio r del origen, V
r
(0) y h C
2
Vr(0)
. La
funcion
h

(x
1
, y
1
) = c +
_
y
1
y
0
h
x
(x
1
, y) dy +
h
y
(x, y
0
) dx
dene una funcion armonica para h en B(0).
DEFINICI

ON 3.7. Problema de Dirichlet. Sea R

2
un conjunto
abierto y f : R. El problema de Dirichlet consiste en encontrar una
funcion continua u : R, tal que satisface.
i. u es continua en .
ii. u es armonica en .
iii. u = f en (condiciones de frontera).
TEOREMA 3.8. (Desigualdad de Holder). Sean, una medida en
R, f y g funciones positivas en R -integrables en el sentido de Lebesgue y
sean p y q dos n umeros que satisfacen
1
p
+
1
q
= 1. En tal caso se satisface la
siguiente desigualdad,
_
R
fg d
__
R
f
p
d
_1
p
__
R
g
q
d
_1
q
.
Cap

tulo 3. Preliminares 27
3.2 Elementos de la Geometra Diferencial
Mencionamos algunos elementos de la Geometra Diferencial necesarios para
nuestros propositos.
Sea (t) = (u(t), v(t)) una curva sobre una supercie M R
3
parametrizada
por r : D R
2
R
3
,
r(u, v) = (x(u, v), y(u, v), z(u, v))
La longitud de tal curva se dene como
L =
_
b
a
_
x
2
+ y
2
+ z
2
dt
donde,
x
2
+ y
2
+ z
2
= E u
2
+ 2F u v + G v
2
= g
ij
x
i
x
j
y donde se ha escrito E = g
11
, F = g
12
= g
21
, G = g
22
, u = x
1
, v = x
2
siendo
g
ij
= r
x
i , r
x
j ) la metrica de M.
DEFINICI

ON 3.9. Llamaremos primera forma fundamental o metrica rie-

manniana de la supercie M a la siguiente cantidad
g
ij
dx
i
dx
j
= Edu
2
+ 2Fdudv + Gdv
2
DEFINICI

ON 3.10. Sean, M una supercie en R

3
con parametrizacion
r = r(u, v) y U un subconjunto de M. Denimos el area de U de la siguiente
manera:
(U) =
_ _
U

g dudv
con
g = det(g
ij
) = g
11
g
22
(g
12
)
2
= EGF
2
.
La forma mas simple de estudiar a una supercie en R
3
es mediante las co-
ordenadas conformes. El siguiente resultado debido a Bers y Beltrami (vease
[11]) nos asegura que siempre es posible conseguir este tipo de coordenadas
para toda supercie suave.
TEOREMA 3.11. (Bers-Beltrami) Sean E, F, G funciones analticas de
las variables reales (p, q). Se pueden denir entonces en la supercie nuevas
Cap

tulo 3. Preliminares 28
coordenadas locales (reales) u y v en las cuales la metrica ds
2
se expresa en
la forma conforme
ds
2
= f(u, v)(du
2
+ dv
2
)
Debido a este teorema, si
1
y
2
son las curvaturas principales de M,
podemos reescribir la curvatura de Gauss K(u, v) =
1

2
de la supercie de
la siguiente manera.
TEOREMA 3.12. La curvatura de Gauss K de una supercie en R
3
con
metrica conforme tiene por expresion,
K(u, v) =
1
2f(u, v)
ln f(u, v),
donde
=

2
u
2
+

2
v
2
es el operador de Laplace.
Captulo 4
Demostracion del Teorema
principal
Para demostrar el Teorema principal 1.3, requeriremos demostrar una de-
sigualdad muy importante.
TEOREMA 4.1. Sean, V
1
(0) = z C; [z[ 1 C con z = x+iy = re
i
y U : V
1
(0) R la diferencia de dos funciones subarmonicas U
1
, U
2
: V
1
(0)
R. Esto es,
U(z) = U
1
(z) U
2
(z).
Entonces se sumple la desigualdad
__
2
0
e
U(e
i
)
d
_
2
4(1 )
_ _
|z|<1
e
2U(x,y)
dxdy (4.1)
donde
=
_
||<1
d
2
(e

)
y donde
2
(e

) es la distribucion de masas asociada a U

2
(z).
La igualdad se alcanza si y solo si, U es de la forma
U(z) = ln [F

(z)[ + g(z, c/

d), (0 1)
donde F es una funcion racional
F(z) =
az +b
cz + d
29
Cap

tulo 4. Demostraci

on del Teorema principal 30

en la vecindad V
1
(0) y donde g denota la funcion de Green para ese conjunto.
La demostracion de esta desigualdad es muy tecnica y la realizamos me-
diante la construccion de varios resultados.
Si 1 la armacion es obvia. Por lo tanto, se considera solo el caso
cuando [0, 1).
Por el Teorema de descomposicion de Riesz, podemos escribir a U
1
y U
2
como
U
1
(z) = h
1
(z)
_
||<1
g(z, )d
1
(e

)
U
2
(z) = h
2
(z)
_
||<1
g(z, )d
2
(e

)
donde h
1
(z)y h
2
(z) son los mejores mayorantes armonicos en V
1
(0), siendo

1
(e

) y
2
(e

) las distribuciones de masa asociadas a U

1
y U
2
respectiva-
mente.
Denamos
h(z) = h
1
(z) h
2
(z)
La anterior denicion nos permite acotar a U de la siguiente manera,
U(z) = U
1
(z) U
2
(z) = h
1
(z) h
2
(z)
_
||<1
g(z, )d
1
+
_
||<1
g(z, )d
2
h
1
h
2
+
_
||<1
g(z, )d
2
En virtud de que la funcion exponencial es creciente y la integral es
monotona, deducimos la desigualdad:
_ _
|z|<1
e
2U(z)
df
z

_ _
|z|<1
e
2h(z)+2

||<1
g(z,)d
2
(e

)
df
z
donde df
z
es el elemento de area en el z-plano. Sea h

(z) la funcion armonica

conjugada de h(z). De esta manera, la funcion z
1
denida por
z
1
=
_
z
0
e
h()+ih

()
d
Cap

tulo 4. Demostraci

on del Teorema principal 31

es una aplicacion conforme de V
1
(0) a una supercie de Riemann simplemente
conexa G
1
. Notese que df
z
1
= [
dz
1
dz
[
2
df
z
= e
2h(z)
df
z
, debido a que el jacobiano
de z
1
es [
dz
1
dz
[
2
y por el teorema fundamental del calculo
dz
1
dz
= e
h(z)
.
Haciendo un cambio de variable tenemos
_ _
|z|<1
e
2h(z)+2

||<1
g(z,)d
2
(e

)
df
z
=
_ _
G
1
e
2h(z)
e
2

G
1
g(z,)d
2
(e

)
e
2h(z)
df
z
1
=
_ _
G
1
e
2

||<1
g(z,)d
2
(e

)
df
z
1
.
Aqu g
1
denota la funcion de Green para G
1
y la distribucion de masas

2
(e

1
) es denida por la condicion
2
(e

) =
2
(e

1
) para los conjuntos e

1
y
e

correspondientes a traves de la aplicacion.

En particular se tiene que =
_
||<1
d
2
(e

) =
_
G
1
d
2
(e

1
).
Para la prueba del Teorema 4.1 necesitaremos ademas el siguiente resul-
tado.
LEMA 4.2. Con la notacion anterior, para todo

1
G
1
tenemos la de-
sigualdad
_ _
G
1
e
2g
1
(z,

1
)
df
z
1

1
1
_ _
|z|<1
e
2h(z)
df
z
(4.2)
Demostracion. Consideremos una funcion analtica : G
1
V
R
(0) C
z
2
,
C
z
2
= Z
2
, con la propiedad de que aplica curvas de nivel del domino en
curvas de nivel del codomino. En este caso, Z
2
es un plano que satisface que
(

1
) = 0.
Ahora escojamos R tal que V
R
(0) y G
1
tengan la misma area, es decir,
R
2
=
_ _
|z|<1
e
2h(z)
df
z
Sea una constante positiva. La curva de nivel g
1
(z
1
,

1
) = es trans-
formada en g
2
(z
2
, 0) = , la cual es un crculo concentrico a (V
R
(0)). De-
notemos por A
1
() y A
2
() las respectivas areas encerradas por las curvas
de nivel. De esta manera tenemos: A
1
() A
2
().
Cap

tulo 4. Demostraci

on del Teorema principal 32

As, para todo n umero positivo tenemos,
A
1
() =
_ _
G
1
e
2g
1
(z
1
,

1
)
df
z
1
A
2
() =
_ _
V
R
(0)
e
2g
2
(z
2
,0)
df
z
2
=
_
2
0
_
R
0
e
2(ln Rln)
d d =
R
2
1
=
1
1
_ _
|z1<1
e
2h(z)
df
z
De esta manera, concluimos que:
_ _
G
1
e
2g
1
(z,

1
)
df
z
1

1
1
_ _
|z1<1
e
2h(z)
df
z
lo que prueba la armacion.
Ahora consideremos la cantidad
J
N
=
_ _
G
1
e
2

G
1
g
N
1
(z
1
,
1
)d
2
(e

1
)
df
z
1
donde g
N
1
(z
1
,
1
) = min[N, g
1
(z
1
,
1
)], N R
+
Primero resolveremos el caso especial en que
2
(e

1
) es un n umero nito
de masas concentradas, p
1
en
1
1
, p
2
en
2
1
, . . . , p
n
en
n
1
con

n
i=1
p
i
= 1
y p
i
0, (i = 1, . . . , n).
Usando la desigualdad de Holder y las propiedades de la exponencial se
tiene la cadena de relaciones,
_ _
G
1
e
2

n
i=1
p
i
g
N
1
(z
1
,
i
1
)
df
z
1
=
_ _
G
1
n

i=1
_
e
2g
N
1
(z
1
,
i
1
)
_
p
i
df
z
1

i=1
__ _
G
1
_
e
2g
N
1
(z
1
,
i
1
)
_
df
z
1
_
p
i

i=1
__ _
G
1
_
e
2g
1
(z
1
,
i
1
)
_
df
z
1
_
p
i

1
1
n

i=1
__ _
|z1<1
e
2h(z)
df
z
_
p
i
=
1
1
_ _
|z|<1
e
2h(z)
df
z
Cap

tulo 4. Demostraci

on del Teorema principal 33

Esto implica que
J
N

1
1
_ _
|z|<1
e
2h(z)
df
z
Sabemos ademas que podemos obtener J
N
sustituyendo
2
(e

1
) por un
n umero nito de masas concentradas con un peso total igual a . Cuando
N en la anterior desigualdad, obtenemos la desigualdad (4.2) que
queriamos demostrar.
Ahora demostraremos la siguiente desigualdad:
4
_ _
|z|<1
e
2h(z)
df
z

__
2
0
e
U(e
i
)
d
_
2
(4.3)
y para deducirla enunciaremos, sin prueba, otra desigualdad encontrada por
T. Carleman (vease [3]).
LEMA 4.3. Sean, F : V
1
(0) C, F(z) =
az+b
cz+d
y f = F

. Entonces se
cumple la desigualdad
__
2
0
[f(e
i
)[d
_
2
4
_ _
|z|<1
[f(re
i
)[
2
rdr d (4.4)
La desigualdad (4.3) es consecuencia de la desigualdad de Carleman (4.4)
aplicada a la funcion f(z) = e
h(z)+ih

(z)
, siendo h

(z) funcion conjugada

armonica de h(z).
De lo anterior se concluye que
[f(z)[ = [e
h(z)+ih

(z)
[ = [e
h(z)
e
ih

(z)
[ = [e
h(z)
[ = e
h(z)
.
TEOREMA 4.4. Armamos lo siguiente,
i) La integral
_
2
0
[f(re
i
)[d
esta acotada para r 1.
ii) El modulo de f cumple la igualdad
[f(e
i
)[ = e
U(i)
en casi todo punto de [0, 2].
Cap

tulo 4. Demostraci

on del Teorema principal 34

Demostracion. i) Consideremos dos sucesiones monotonas de funciones
continuas U
1n
(e
i
) y U
2m
(e
i
) tal que U
1n
U
1
y U
2m
U
2
cuando
n, m .
Tambien, sean h
1n
(z) y h
2m
(z) las soluciones del problema de Dirichlet
para [z[ < 1 con valores de frontera U
1n
(e
i
) y U
2m
(e
i
).
Como e
h
1
n(z)h
2
m(z)
son subarmonicas, tenemos la desigualdad,
_
2
0
e
h
1
n(z)h
2
m(z)
d
_
2
0
e
U
1
n(e
i
)U
2
m(e
i
)
d
y en el lmite cuando n, m se tiene
_
2
0
[f(re
i
)[d =
_
2
0
e
h(re
i
)
d
_
2
0
e
U(e
i
)
d
ii Se sigue de las igualdades
[f(e
i
)[ = lim
r1
[f(re
i
)[ = lim
r1
e
h(re
i
)
= e
lim
r1
h(re
i
)
= e
U(e
i
)
De la teora basica del analisis complejo se tiene que h(z) puede escrita
como,
h(re
i
) =
1
2
_
2
0
U(e
i
)(1 r
2
)
1 2r cos( ) + r
2
d.
Ademas de que
lim
r1
h(re
i
) = U(e
i
)
en casi todo punto de [0, 2]. Esto termina la prueba.
En este momento utilizaremos todo lo anterior para demostrar la desigual-
dad (4.1).
Cap

tulo 4. Demostraci

on del Teorema principal 35

Demostracion. De los resultados obtenidos, se sigue la cadena de relaciones
_ _
|z|<1
e
2U(z)
df
z

_ _
|z|<1
e
2h(z)+2

||<1
g(z,)d
2
(e

)
df
z
=
_ _
G
1
e
2

G
1
g
1
(z
1
,
1
)d
2
(e

1
)
df
z
1

1
1
_ _
|z|<1
e
2h(z)
df
z

1
4
1
1
__
2
0
e
U(e
i
)
d
_
2
la cual implica la desigualdad
4(1 )
_ _
|z|<1
e
2U(x,y)
dxdy
__
2
0
e
U(e
i
)
d
_
2
que prueba nalmente el Teorema 4.1.
TEOREMA 4.5. Sean, una curva recticable de Jordan en el plano y
la region que encierra. Si U(x, y) es continua en + y es de clase C
2
en
. Entonces se cumple la desigualdad,
__

e
U
[dz[
_
2
2
_
2
_ _

Udxdy
__ _

e
2U
dxdy
donde

U = max[U, 0]. Ademas, la igualdad se satisface si y solo si

U = ln [F

(z)[ donde F(z) es una funcion analtica que transforma en un

crculo.
Demostracion. Sea K el crculo unitario centrado en el origen de radio 1 en
el plano z

(z

= x

+ iy

= re
i
) y sea : K una funcion conforme.
Sabemos que

(re
i
) tiene un lmite radial casi donde sea en [0, 2] (vease
[12]). En tal caso, se calcula mediante la longitud de .
=
_
2
0
[

(re
i
)[d .
De hecho, la funcion
(
1
,
2
) =
_

2

1
[

(re
i
)[d
Cap

tulo 4. Demostraci

on del Teorema principal 36

Figura 4.1: Longitud del segmento de .
denota la longitud del segmento de que va de [
1
,
2
] en [z

[ = 1 pues (z

)
es continua en la frontera.
Podemos representar a U de la siguiente manera,
U(z) = d(z) s
1
(z) + s
2
(z)
con
s
1
(z) =
1
2
_ _

g(z, )
+
U()df

,
s
2
(z) =
1
2
_ _

g(z, )

U()df

,
donde

U = max[U, 0] y
+
U = max[U, 0] y g es la solucion del
problema de Dirichlet para con valores en la frontera iguales a U. Ahora
denimos las siguientes funciones que van del plano z

al conjunto R,

U(z

) = U((z

))
s(z

) = s((z

))
s
1
(z

) = s
1
((z

))
s
2
(z

) = s
2
((z

))

d(z

) = d((z

))
y
w(z

) =

U(z

) + v(z

)
con v(z

) = ln[

(z

)[ Cuando desarrollamos la funcion w encontramos

w(z

) =

U(z

) + v(z

) =

U(z

) + ln[

(z

)[ =

d(z

) s
1
+ s
2
+ v(z

).
Cap

tulo 4. Demostraci

on del Teorema principal 37

Si denimos w
1
=

d + v s
1
y w
2
= s
2
, entonces
w = w
1
w
2
.
Esto signica que w es la diferencia de dos funciones subarmonicas. La
distribucion de masa total asociada a w
2
es,
=
1
2
_ _
K

Udx

dy

=
1
2
_ _

Udx dy (4.5)
con

=

2
(x)
2
+

2
(y)
2
.
La igualdad (4.5) es consecuencia del teorema de cambio de variable con
jacobiano [

(z

)[
2
= 1. Notemos que
_ _

e
2U
dx dy =
_ _
K
e
2

U
[

(z

)[
2
dx

dy

en virtud del teorema de cambio de variables. Ademas

_ _
K
e
2

U
[

(z

)[
2
dx

dy

=
_ _
K
e
2w
dx

dy

debido a que,
e
2w
= e
2 u+2ln|

(z

)|
= [

(z

)[
2
e
2

U
.
Usando de nuevo el teorema de cambio de variable llegamos a la igualdad
_

e
U
[dz[ =
_
2
0
e

U
[

(e
i
)[d =
_
2
0
e
w(e
i
)
d
pues w =

U +v y por lo tanto,
_
2
0
e

U+v
d =
_
2
0
e

U(e
i
)
[

(e
i
)[d .
Sustituyendo lo anterior en la desigualdad (4.1), llegamos a la desigualdad
requerida
__

e
U
[dz[
_
2
2
_
2
_ _

Udx dy
__ _

e
2U
dxdy.
Cap

tulo 4. Demostraci

on del Teorema principal 38

Damos ahora nalmente la prueba del Teorema principal 1.3 mediante la
siguiente metodologa.
Sea M R
3
una supercie diferenciable y sea R M una region de tal
manera que la metrica en R se escriba en forma conforme,
ds
2
= E(x, y)(dx
2
+ dy
2
) = E[dz[
2
siendo la funcion de conformidad E 0 de clase C
2
en M.
La curvatura gaussiana K en estas coordenadas conformes esta dada por
K(x, y) =
1
2E
ln E(x, y).
Denamos
U(x, y) =
1
2
ln E(x, y).
Esto implica que
E = e
2U
y por lo tanto

1
2
ln E = U.
Consecuentemente,
K =
U
e
2U
y
ds = e
U
[dz[.
Consideremos una curva recticable de Jordan C contenida en R con
longitud L encerrando una region conexa y simplemente conexa D contenida
en R con area A.
Tenemos, para el permetro de C,
L =
_
e
U
[dz[ =
_

ds
y para el area mencionada,
A =
_ _

e
2U
dxdy =
_ _

E
2
dxdy.
Cap

tulo 4. Demostraci

on del Teorema principal 39

Denamos los valores
J
+
=
_ _
D
K
+
df
y
J

=
_ _
D
K

df
con K
+
= max[K, 0] y K

= max[K, 0], siendo df el elemento de area de

la supercie.
Entonces se tiene que
J
+
=
_ _
D

+
U dxdy
y
J

=
_ _
D

U dxdy
donde
+
U = max[U, 0] y

U = max[U, 0].
TEOREMA 4.6. Sea C una curva recticable de longitud L en R que
encierra un dominio simplemente conexo D de area A. Entonces se cumple
la desigualdad
L
2
2A(2 J
+
) (4.6)
La igualdad se alcanza si K = 0 en D y C es un crculo geodesico.
Demostracion. Por el Teorema de Bers-Beltrami 3.11, podemos dar una
parametrizacion de R mediante coordenadas conformes (x, y) (o z en el caso
complejo). Por el Teorema de invarianza de dominio, cualquier region sim-
plemente conexa contenida en R es la imagen bajo la parametrizacion de
alguna region simplemente conexa en el plano R
2
(o en C), preservandose los
interiores y las fronteras correspondientes.
Ya que todas las medidas realizadas en S se hacen, bajo la parametrizacion,
en el plano R
2
(o en C), es suciente con demostrar la desigualdad (4.6) en
este ultimo.
Para ello, es sucente con sustituir en el Teorema 4.5 las cantidades dadas.
La igualdad se da si y solo si U = ln[F

(z)[ con z

= x

+ y

y z

= F(z)
una funcion analtica F : K donde K es un crculo.
Como [dz

[ = [F

(z)[[dz[ = e
U
[dz[ = ds, obtenemos una aplicacion
isometrica de D sobre un crculo en un plano euclidiano. Si la funcion U
es superarmonica entonces U < 0, U 0 y por lo tanto

U = U.
Cap

tulo 4. Demostraci

on del Teorema principal 40

De esta manera, podemos reescribir la desigualdad del teorema 4.5 de la
siguiente manera,
__

e
U
[dz[
_
2
2
_
2
_ _

Udx dy
__ _

e
2U
dxdy 0 (4.7)
lo que concluye la demostracion.
Damos ahora la demostracion del Teorema 1.2.
Demostracion. (del Teorema 1.2). Utilizando el potencial con expresion
U(x, y) =
1
2
ln E(x, y) y sustituyendo en la desigualdad (4.6) del Teorema 4.6
se sigue la armacion.
LEMA 4.7. Sean, y regiones en el plano complejo tales que la cerradura
de este contenida en . Entonces una funcion es superarmonica en si
y solo si satisface (4.7) en .
Demostracion. Antes de la demostracion, deniremos la notacion operativa
de comparacion de o peque na y O grande.
DEFINICI

ON 4.8. Sean f : R R y g : R R dos funciones denidas

en un subconjunto de los reales, entonces diremos que f es:
O(g(x)) (O grande de g(x)) cuando x , si y solo si,
x
0
, M > 0 tal que [f(x)[ M[g(x)[ para x > x
0
.
o(g(x)) (o peque na de g(x)) cuando x , si y solo si,
lim
x
f(x)
g(x)
0
Volviendo a la prueba del Lema 4.7, si U es superarmonica, entonces satis-
face la desigualdad del Teorema 4.6 para toda curva de Jordan recticable,
en particular para los crculos. Esto prueba la primera parte.
Recprocamente, si U no es superarmonica entonces existe un punto
(x, y) y una vecindad de dicho punto contenida en donde U 0.
Sin perdida de generalidad digamos que (x
0
, y
0
) = (0, 0). Expandiendo
e
U
en serie de Taylor se tiene que
e
U(x,y)
= e
U
0
+p
0
x + q
0
y +
1
2
(r
0
x
2
+ 2s
0
xy + t
0
y
2
) + o(x
2
+ y
2
)
Cap

tulo 4. Demostraci

on del Teorema principal 41

de lo cual se deducen las siguientes igualdades,
L =
_
|z|=
e
U
[dz[ = 2
_
e
U
0
+
1
4

2
(r
0
+ t
0
) + O(
2
)
_
__
|z|=
e
U
[dz[
_
2
= 4
2

2
_
e
2U
0
+
1
2

2
e
U
0
(r
0
+ t
0
) + O(
2
)
_
2
_ _
|z|
e
2U
0
dxdy =
2
_
e
2U
0
+
1
4

2
[(p
2
0
+ q
2
0
) + e
U
0
(r
0
+ t
0
) + O(
2
)]
_
_ _
|z|
Udx dy =
2
[U
0
+ O(1)]
donde
U
0
= e
U
0
(r
0
+ t
0
) e
2U
0
(p
2
0
+ q
2
0
).
Sustituyendo todas estas igualdades en la desigualdad (4.7) conseguimos
la expresion

2
e
2U
0
U
0
+ O(
4
). (4.8)
en el lado izquierdo.
Con lo anterior culminamos la prueba, pues (4.8) es negativo, cuando
0 1 debido a que U
0
0. Por lo tanto la desigualdad no se satisface
para peque nas, es decir, la desigualdad no se cumple para crculos peque nos
[z[ = . Esto demuestra totalmente la armacion.
Damos nalmente la prueba de teorema principal 1.3.
Demostracion. (del Teorema 1.3) Sea R M una region provista de coor-
denadas conformes y sea C una curva de Jordan contenida en R y encerrando
una region conexa y simplemente conexa D de area A. Del Lema 4.7 y del
teorema 4.5 se sigue la armacion al utilizar en este caso nuevamente la
expresion U(x, y) =
1
2
ln E(x, y). Esto concluye la prueba.
Captulo 5
Conclusion
En este trabajo de tesis solo se abordo el problema isoperimetrico clasico en
el plano. Realmente el problema no acaba aqu. Actualmente los cientcos
estan buscando resolver generalizaciones de este problema en espacios de
dimension mayor a dos.
Como se mostro, el problema isoperimetrico puede ser llevado a espacios
geometricos (supercies de dimension mas grande, de curvatura no constante,
negativa o no negativa) y para su estudio se requiere de elementos cada vez
mas sosticados. Por ejemplo, en vez de un espacio Euclidiano, se plantea el
problema en una variedad que tenga una metrica (Variedad Riemanniana)
y que no necesariamente esta encajada en un espacio real n-dimensional. El
analogo de la curva en el plano o en la supercie, sera una hypersupercie
cerrada encerrando una regon del espacio ambiente. Las tecnicas de estudio
del problema, seguramente seran diferentes en cada caso y requeriran de
elementos matematicos mas avanzados. Como otro ejemplo, la expresion en
el Teorema 1.3 invitara directamente a hacer una generalizacion utilizando
las formulas ya no tan clasicas de Gauss-Bonnet-Chern y de la teora de las
clases de Chern. Tales generalizaciones muestran que las partes geometrico-
algebraico-topologica convergen de una manera que ya no es tan natural
como el pensamiento inicial de la reina Dido.
Materia, espacio, tiempo y movimiento jamas se encuentran separados el
uno del otro. La evoluci on del problema isoperimetrico no es la excepcion.
La manera en como este problema ha evolucionado en el tiempo tiene por
fuerza que estar ligada al desarrollo de la sociedad humana.
El problema isoperimetrico no es la excepcion, sino que es un ejemplo
ntido de que la produccion de las ideas, las representaciones y la conciencia
42
Cap

tulo 5. Conclusi

on 43
aparece, al principio, directamente entrelazada con la actividad material y
el trato de los hombres, como el lenguaje de la vida real. La formacion de
las ideas, el pensamiento, el trato espiritual de los hombres se presenta aqu
todava como emanacion directa de su comportamiento material.
Y lo mismo ocurre con la produccion espiritual, tal y como se maniesta
en el lenguaje de la poltica, de las leyes, de la moral, de la religion, de
la metafsica, etc., de un pueblo. Los hombres son los productores de sus
representaciones, de sus ideas, etc., pero se trata de hombres reales y activos,
condicionados por un determinado desarrollo de sus fuerzas productivas y por
el trato que a este corresponde, hasta llegar a sus formas mas lejanas. La
conciencia jamas puede ser otra cosa que el ser consciente, y el ser de los
hombres es su proceso de vida real. Y si en toda la ideologa, los hombres y
sus relaciones aparecen invertidos como en la camara oscura, este fenomeno
proviene igualmente de su proceso historico de vida, como la inversion de
los objetos al proyectarse sobre la retina provienen de su proceso de vida
directamente fsico.
El problema isoperimetrico no nace de la nada, es un problema que tiene
bases materiales bien concretas, es decir, pasa totalmente al contrario de lo
que ocurre en algunos cuentos de hadas, en donde estos personajes descienden
del cielo sobre la tierra. Aqu, se asciende de la tierra al cielo. Es decir,
no se parte de lo que los hombres dicen, se representan o se imaginan, ni
tampoco del hombre predicado, pensado, representado o imaginado, para
llegar, arrancando de aqu, al hombre de carne y hueso; se parte del hombre
que realmente act ua y, comenzando por el desarrollo de su vida real, se
expone tambien el desarrollo de los reejos ideologicos y de los ecos de este
proceso.
Tambien las formaciones nebulosas que se condensan en el cerebro de los
hombres son sublimaciones necesarias de su proceso material de vida, proceso
empricamente registrable y ligado a condiciones materiales. La moral, la
religion, la metafsica y cualquier otra ideologa y las formas de conciencia
que a ellos correspondan, pierden as la apariencia de su propia sustantividad.
No tienen su propia historia ni su propio desarrollo, sino que los hombres que
desarrollan su produccion material y su trato material cambian tambien, al
cambiar esta realidad, su pensamiento y los productos de su pensamiento.
No es la conciencia la que determina la vida, sino la vida la que determina
la conciencia. Desde el primer punto de vista, se parte de la conciencia como
si fuera un individuo viviente; desde el segundo punto de vista, que es el que
corresponde a la vida real, se parte del mismo individuo real viviente y se
Cap

tulo 5. Conclusi

on 44
considera la conciencia solamente como su conciencia.
Por otro lado hay que aclarar que la evoluci on de las ideas, en particular
del problema isoperimetrico, no es lineal y ni siquiera suave y es claro que esto
se puede ver en el momento en que hay un cambio de orden social. Todo nuevo
orden social no se apropia de la herencia cultural del pasado en su totalidad,
sino seg un su propia estructura. As, la sociedad medieval, encorsetada por el
cristianismo, recogio muchos elementos de la losofa clasica y ciencia, pero
subordinandolos a las necesidades del regimen feudal y convirtiendolos en
escolastica, esa criada de la teologa.
De manera similar, la sociedad burguesa tomo el cristianismo como parte
de la herencia de la Edad Media, pero lo sometio a la Reforma o a la Contrar-
reforma. Durante la epoca burguesa el cristianismo fue barrido en la medida
en que lo necesitaba la investigaci on cientca, por lo menos dentro de los
lmites que requera el desarrollo de las fuerzas productivas. La necesidad
de conocer la naturaleza viene impuesta a los hombres por la necesidad de
subordinar la naturaleza a s mismos. Cualquier desviacion en este terreno
de las relaciones objetivas, determinadas por las propiedades de la materia
misma, las corrige la experimentacion practica.
Solo esto libra seriamente a las ciencias naturales, a la investigacion
qumica en particular, de las distorsiones intencionadas, no intencionadas y
semideliberadas, y contra las falsas interpretaciones y falsicaciones. Mien-
tras la ciencia en su conjunto se mantuvo como una criada de la teologa,
solo subrepticiamente poda producir resultados valiosos. este fue el caso en
la Edad Media. Como quedo se nalado, fue durante el regimen burgues cuando
las ciencias naturales disfrutaron de la posibilidad de un amplio desarrollo.
Pero la ciencia social se mantuvo como criada del capitalismo. Tambien es
verdad, en gran proporcion, por lo que ata ne a la psicologa, que une las
ciencias sociales con las ciencias naturales; y a la losofa, que sistematiza
las conclusiones generalizadas de todas las ciencias.
Se comenta todo lo anterior sobre la ciencia porque las matematicas for-
man parte de ella y como consecuencia el problema isoperimetrico.

Esta es la construccion de este trabajo de tesis. No solo consistio en

integrar el trabajo de varias fuentes y verter sus contenidos, tambien fue el
de contextualizar y dar una interpretacion historica a los momentos en que
aparecieron estos resultados matematicos.
Bibliografa
[1] Arnold V. I. Mathematical methods of classical mechanics. Springer Ver-
lag. 2
a
ed. 1989. USA.
[2] Arnold V. I. Ordinary dierential Equations. MIT Press. 2
a
ed. 1980.
USA.
[3] Carleman T. Zur theorie der Minimalachen. Math. Zeit.,9 (1921) 154-
160.
[4] Do Carmo M. Geometra diferencial de curvas e supercies. Sociedade
Brasileira de Matematica. Brasil. 2005.
[5] Fomenko A.T., Novikov S.P., Dubrovin B., Geometra moderna,
metodos y aplicaciones. URSS vol 1,2 y 3. Mosc u. 4
a
ed. Rusia. 2000.
[6] Garca Leon, J., Cheegers constant in balls and isoperimetric inequality
on Riemannian manifolds. Proced. AMS. Vol. 136. No. 12. 4445-4452.
2008.
[7] Huber A. On the isoperimetric inequality on surfaces of variable gaussian
curvature. Annals of Mathematics. EUA. septiembre 1954.
[8] Kreysszig E. Dierential Geometry. Dover. 1959. USA.
[9] Landau L. Mecanica. Reverte. 2
a
ed. Espa na. 2002.
[10] Mishchenko A.T., Fomenko A. A course of dierential geometry and
topology. Mir. 1
a
ed. URSS. 1988.
[11] Reyes J., Palmas O. Curso de Geometra diferencial. Las Prensas de
Ciencias. Mexico. 2005.
45
Bibliograf

a 46
[12] Siegel A A Historical Review of the Isoperimetric Theorem in 2-D, and
its place in Elementary Plane Geometry. Preprint. Courant Institute of
Mathematical Sciences. New York University Press. 2004. USA.
[13] Tibor R. The isoperimetric inequality on the sphere. American Journal
of Mathematics. Vol 57. No. 54. 1935. USA.
[14] Treibergs A. Inequalities that Imply the Isoperimetric Inequality.
Preprint. University of Utah. USA. 2002.
[15] Vazquez, R., El problema isoperimetrico: enfoques y soluciones.. Tesis
de Maestra. Fac. de Ciencias. UNAM. 2008. Mexico.