Teorı́a Global de Curvas Planas

Jimmy Espinoza Palacios, Diego Yupanqui Huamán,

Kevin Fernando Delgado Santos, Roberto Mera Altamirano,
Waldir Pomiano, Jhon Aguilar Romero
18 de Junio del 2019

1. Introducción:
En este trabajo vamos a presentar y demostrar los principales teoremas clásicos sobre la geo-
metrı́a global de curvas planas, como son la Desigualdad Isoperimétrica, el Teorema de los Cuatro
Vértices o el Teormea de Rotacı́on de Tangentes. Dedicaremos una sección a cada uno de estos
resultados. Previamente, incluiremos también algunos preliminares sobre curvas planas.

Definición 1.1 Una aplicación α : [a, b] → R2 . Se dice que α es una curva paramétrica regular,
si cumple que:

1. α es diferenciable y continua para cualquier orden.

2. α0 (t) 6= 0 para todo t ∈ (a, b)

Definición 1.2 Una curva paramétrica regular α : [a, b] → R2 se dice cerrada de clase C k si
α(r) (a) = α(r) (b) para todo r = 1, . . . , k. Si k = ∞ diremos que la curva es cerrada.

Definición 1.3 Sea α : [a, b] → R2 una curva cerrada. Se dice simple si para todo t1 , t2 ∈ (a, b)
tales que t1 6= t2 , se cumple que α(t1 ) 6= α(t2 ).

Teorema 1.1 (Teorema de la curva de Jordan) Si α[a, b] → R2 es una curva cerrada simple,
entonces el conjunto R2 \ α([a, b]) tiene dos componentes conexas, cuya frontera en común es la
traza de α.

1
Teorema 1.2 (Teorema de Green) Sea C una curva cerrada simple regular a trozos, positiva-
mente orientada en el plano R2 , y sea D la unión de la región interior a C con la propia curva C.
Sea F = (P, Q) : D → R2 un campo vectorial de clase C 1 . Entonces se tiene que:
Z ZZ
∂Q ∂P
P (x)dx + Q(y)dy = ( − )dxdy (1)
C D ∂x ∂y

2. Desigualdad Isoperimétrica:
En esta sección hallaremos una cota para el área que puede encerrar una curva plana cerrada
simple en función de su longitud. Para eso, primero vamos a enunciar una fórmula para hallar el
área que encierra esta curva plana cerrada simple a partir de la función que la define:

Lema 2.1 El área A de una región limitada por una curva cerrada plana simple y orientada
positivamente α(t) = (x(t), y(t)) donde t ∈ [a, b] está dada por:
Z b Z b Z b
0 0 1
A=− y(t)x (t)dt = x(t)y (t)dt = (x(t)y 0 (t) − y(t)x0 (t))dt. (2)
a a 2 a

Demostración 2.1 Sea C la traza de la α([a, b]), por ser α cerrada y simple es una curva de
Jordan, y ası́, tenemos que se cumple el teorema de Green:
Z ZZ
∂Q ∂P
P (x)dx + Q(y)dy = ( − )dxdy (3)
C int(C) ∂x ∂y

para funciones P (x) y Q(y) que posean derivadas parciales continuas en int(C).
Si tomamos las funciones P (x, y) = 0 y Q(x, y) = x, es inmediato comprobar que sus derivadas
parciales son continuas en int(C) por lo que es válido el teorema de Green; aplicándolo obtenemos:
ZZ Z
dxdy = xdy (4)
int(C) C

2
la parte izquierda de esta igualdad es por definición el área encerrada por C, y si expresamos el
lado derecho en función del parámetro t obtenemos:
Z b
A= x(t)y 0 (t)dt (5)
a
Ahora, notemos que:
Z b Z b Z b
0 0
x(t)y (t)dt = (x(t)y(t)) dt − x0 (t)y(t)dt
a a a
Z b Z b Z b
0 0
x(t)y (t)dt = [x(b)y(b) − x(a)y(a)] − x (t)y(t)dt = − x0 (t)y(t)dt
a a a
por lo que resulta:
Z b Z b
1 b
Z
0 0
A=− y(t)x (t)dt = x(t)y (t)dt = (x(t)y 0 (t) − y(t)x0 (t))dt.
a a 2 a
donde la tercera fórmula se obtiene sumando y dividiendo entre 2 las dos primeras.

Veamos ahora la cota mencionada al inicio de la sección en el siguiente teorema.

Teorema 2.1 (Desigualdad Isoperimétrica) Sea α(t) = (x(t), y(t)) una curva C 1 donde t ∈
[a, b], una curva plana, simple y cerrada con longitud L, y sea A el área de la región acotada por
α, entonces se cumple que:
L2 − 4πA ≥ 0
y la igualdad se da si y solo si α es un cı́rculo.

Demostración 2.2 Sea α(t) = (x(t), y(t)), tomemos x0 = ı́nf x(t), dado que se trata el ı́nfimo
t∈[a,b]
de una función continua en un compacto, este ı́nfimo será alcanzado en el compacto, y ası́ tenemos
que existe t0 tal que x0 = x(t0 ); de la misma manera, definiendo x1 = sup x(t), existirá t1 tal que
t∈[a,b]
x1 = x(t1 ). Notemos que las rectas L0 = {(x, y)/x = x0 } y L1 = {(x, y)/x = x1 } (rectas verticales)
son tangentes a la curva α y que además la enciarran.

Consideremos a una circunferencia S 1 que sea tangente a las rectas L0 y L1 y que además no tenga
intersección con α. Tomemos un nuevo sistema de referencia en el centro de esta circunferencia,

3
con el eje x perpendicular a L0 y L1 . Por simplificar la notación, nos referiremos también a este
nuevo sistema de referencia como (x, y) y no habrá confusión ya que no volveremos al sistema de
referencia inicial.

...............

Parametrizamos α por longitud de arco, esto es, α(s) = (x(s), y(s)) donde s ∈ [0, L], y además, lo
hacemos de tal forma que los puntos de tangencia con L0 y L1 se dan en s = 0 y s = s1 respecti-
vamente, y la curva es positivamente orientada.

Podemos asumir que S 1 está parametrizada por β(s) = (xβ (s), yβ (s)) con s ∈ [0, L], positivamente
orientada. Sea 2r la distancia entre L0 y L1 , denotando A0 el área encerrada por β, tenemos,
usando la ecuación (2):
Z L Z L
0 0
A= 2
x(s)y (s)ds, A = πr = − yβ (s)x0β (s)ds
0 0

Notamos que, debido a que usamos la parametrización de α para parametrizar S 1 , se tiene x(s) =
xβ (s), por lo que :
Z L
0 2
A = πr = − yβ (s)x0 (s)ds
0
Ahora, sumando obtenemos:

Z L Z L Z L
0 0 0
A + A = A + πr = 2
x(s)y (s)ds − yβ (s)x (s)ds = [x(s)y 0 (s) − yβ (s)x0 (s)]ds
0 0 0
Z L q
≤ [x(s)y 0 (s) − yβ (s)x0 (s)]2 ds
0
Por la desigualdad de Cauchy-Schwarz se tiene:

[x(s)y 0 (s) − yβ (s)x0 (s)]2 ≤ (x(s)2 + yβ (s)2 )(y 0 (s)2 + x0 (s)2 ).

4
 Z L s Z L q
=⇒ A + πr ≤ 2
(x(s)2 + yβ (s)2 )(y 0 (s)2 0 2
+ x (s) )ds = xβ (s)2 + yβ (s)2 ds
0 | {z } 0
1

ya que la curva α(s) está parametrizada por longitud de arco. Pero como S 1 tiene radio r entonces:
q Z L
2
xβ (s)2 + yβ (s)2 = r =⇒ A + πr ≤ r ds = Lr.
0

Por la desigualdad de las medias aritmética y geométrica tenemos que:

√
2 Aπr2 ≤ A + πr2 ≤ Lr =⇒ 4Aπr2 ≤ L2 r2

4Aπ ≤ L2 .
Para que se pueda cumplir que 4Aπ = L2 , en primer lugar debe cumplirse que:
√
2 Aπr2 = A + πr2 =⇒ A = πr2 =⇒ L = 2πr.

Esto impica que, en este caso, la elección de r no depende de la dirección de las rectas L0 y L1 .
También se deberı́a cumplir la igualdad en la desigualdad de Cauchy-Schwarz:

[x(s)y 0 (s) − yβ (s)x0 (s)]2 = (x(s)2 + yβ (s)2 )(y 0 (s)2 + x0 (s)2 )

p
x(s) yβ (s) x(s)2 + yβ (s)2
=⇒ − 0 = 0 =p = ±r
y (s) x (s) x0 (s)2 + y 0 (s)2
=⇒ x(s)2 = r2 y 0 (s)2
Como la elección de r no depende de la dirección de las rectas L0 y L1 , podemos tomar ahora a L0
y L1 como rectas horizontales y análogamente obtendremos que: y(s)2 = r2 x0 (s)2 . Por lo tanto:

x(s)2 + y(s)2 = r2 (y 0 (s)2 + x0 (s)2 ) = r2

Por lo tanto, la curva α(s) = (x(s), y(s)) es un cı́rculo.

3. Teorema de los 4 Vértices:

Una curva cerrada simple γ es llamada convexa si su interior int(γ) es convexo, en el sentido
de que el segmento recto que une dos puntos cualesquiera de int(γ) esta contenido totalmente en
int(γ).

Definición: Un vértice de una curva γ en R2 es un punto donde la curvatura, κs , tiene un

mı́nimo o un máximo, es decir, dκs /dt = 0

Puesto la curvatura no depende de la parametrización dada para la curva, tenemos que tampoco
lo hacen los vértices.

Ejemplo: La curvatura de la elipse γ(t) = (pcos(t), qsen(t)) donde p y q son constantes positivas
esta dada por:

5
 pq
κs (t) =
(p2 sen2 (t) + q 2 cos2 (t))( 3/2)
Ası́,

dκs 3pq(q 2 − p2 )sen(t)cos(t)

= 2
dt (p sen2 (t) + q 2 cos2 (t))( 5/2)
se anula para los puntos t = 0, π/2, π, 3π/2, los cuales son los puntos en los que la elipse se inter-
secta con sus ejes.

Como pasamos a probar, este es el menor número de vértices que una curva simple cerrada puede
tener.

Teorema: Toda curva convexa simple cerrada en R2 tiene al menos cuatro vértices.

Demostración: Sea γ una parametrización de una curva convexa cerrada simple en R2 y sea
l su longitud. Procedemos por contradicción, supongamos que γ tiene menos de cuatro vértices.
Primero mostraremos que existe una lı́nea recta L que divide a γ en dos segmentos, en uno de los
cuales κ̇s > 0, y en el otro κ̇s ≤ 0 (o posiblemente κ̇s ≥ 0 en uno mientras que en el otro κ̇s < 0).
De hecho, κs alcanza todos sus valores en el intervalo [0, l], por lo que κs debe alcanzar su máximo
y mı́nimo en algunos puntos p y q de γ.
Podemos asumir que p 6= q, ya que de lo contrario κs serı́a constante, de donde γ serı́a un cı́rculo,
y cada punto de γ serı́a un vértice.
Si p y q fueran los únicos vértices de γ, tendrı́amos que κ̇s > 0 en uno de los segmentos en los
que la lı́nea que pasa por p y q divide γ y κ̇s < 0 en el otro. Supongamos ahora que exista un
único vértice más, llamémosle r. Entonces p, q y r dividen a γ en tres segmentos, en los que o bien
κ̇s > 0 o bien κ̇s < 0. De donde se tendrán dos segmentos adyacentes en los que κ̇s > 0 o dos en
los que κ̇s < 0 (excepto en los puntos en los que los dos segmentos se unen). Esto prueba nuestra
afirmación.
Sea a un vector unitario perpendicular a L, tal que γ ȧ > 0 en un lado de L y γ ȧ < 0 en el otro.
Entonces, la cantidad κ̇s (γ ȧ) es siempre positiva o siempre negativa, excepto en los puntos en los
que L intersecta a la curva. Luego:
Z 0
κ̇s (γ ȧ) 6= 0
l
pues esta integral definitivamente > 0 en el primer caso y < 0 en el segundo caso. Pero usando la
ecuación Ṅs = −κs t tenemos que:

κ̇s γ = (κs γ). − κs dotγ = (κs γ + Ns ). ,

Por lo que el integrando de la integral de arriba es la derivada de (κs γ + Ns )ȧ, llamemos λ.
Como γ posee periodo l:

γ(t + l) = γ(t), ∀t,

diferenciando con respecto a t se tiene que el vector tangente T de γ posee también periodo l:

T (t + l) = γ̇(t + l) = γ̇(t) = T (t)

6
Rotando π/2 , tenemos:

Ns (t + l) = Ns (t),
y por lo tanto κs (t + l) = κs (t). Por lo que λ(t + l) = λ(t) para todo t, de donde la integral de
arriba es igual a:
Z l
λ̇(t)dt = λ(l) − λ(0) = 0.
0
Esta contradicción prueba que γ debe tener al menos cuatro vértices.

La conclusión de este teorema en realidad se mantiene sin el supuesto de convexidad, pero la

prueba es más difı́cil de la que acabamos de dar.

4. Teorema de Rotación de Tangentes enfocado en Curvas

Planas Convexas
Definición 4.1 Una curva se dice que es convexa si la recta tangente en cada punto deja a la
curva completamente a uno de los lados que determina dicha recta.

Observemos que la curva debe ser regular para que existan rectas tangentes. Aclaramos un poco el
concepto de curva convexa. Sea α : I → R2 una curva regular y denotamos por ls la recta tangente
en s, es decir, es la recta que pasa por el punto α(s) y tiene vector director α0 (s). El concepto
de recta tangent no depende de la reparametrización de la curva y por tanto, pdemos suponer, a
partir de ahora, que la curva está parametrizada por el arco. Si T (s), N (s) es el diedro de Frenet
en cada punto s, entonces la ecuación de ls es

(x, y) ∈ ls ⇐⇒ h(x, y) − α(s), N (s)i = 0

Sean los semiplanos cerrados que determina ls en R2 :

ls+ = (x, y) ∈ R2 ; h(x, y) − α(s), N (s)i ≥ 0



ls− = (x, y) ∈ R2 ; h(x, y) − α(s), N (s)i ≤ 0 .



Entonces, decir que la curva es convexa es lo mismo que decir que para cada s ∈ I,

α(R) ⊂ ls+ o α(R) ⊂ ls−

Se deduce pues, que la intersección de la recta tangente en cada punto con α(R) puede ser más de
un punto.

Proposición 4.1 Sea α una curva cerrada convexa parametrizada por el arco. Entonces es una
curva simple.

7
Demostración 4.1 Supongamos que la curva no es simple. Probamos primero que si s1 , s2 ∈
[0, L) distintos tales que α(s1 ) = α(s2 ) entonces ls1 = ls2 . Después de un movimiento rı́gido,
podemos suponer que α(s1 ) = α(s2 ) = (0, 0) y que ls1 es el eje de abscisas. Ya que la curva es
convexa, la traza de la curva está contenida en uno de los dos semiespacios que determina ls .
Podemos suponer que α(R) está contenida en el semiplano superior.
Se define f : R → R como f (s) = hα(s), (0, 1)i. Ya que f (s) ≥ 0 y f (s2 ) es un mı́nimo absoluto,
0 0 0
f (s2 ) = hα (s2 ), (0, 1)i = 0 y por tanto α (s2 ) está contenido en ls1 y ls1 = ls2 .
Veamos ahora que entornos de s1 y s2 en α coinciden y donde el parámetro cambia salvo una
translación. La curva α, en entornos de s1 y s2 , es un grafo de una función diferenciables f, g :
(−, ) → R, verificando:
0 0
f (0) = g(0) = 0, f (0) = g (0) = 0
G(f ) = α(s1 − δ, s2 + δ)
G(g) = α(s2 − η, s2 + η)
Exactamente, existen difeomorfismos φ : (−, ) → (s1 − δ, s1 + δ) y ψ : (−, ) → (s2 − η, s1 + η),
0 0
φ , ψ > 0 tales que φ(0) = s1 , ψ(0) = s2 y

α(φ(t)) = (t, f (t))

α(ψ(t)) = (t, g(t))

Sea Rk la recta paralela al eje de abscisas que pasa por el punto (0, k). Afirmamos que existe r > 0
tal que si 0 < k < r, la recta Rk interseca a α en dos puntos, es decir, f = g en (−, ). Si no fuera
ası́, existe una sucesión de números positivos rn → 0 tal que para cada n ∈ N, Rrn interseca a α en
tres puntos al menos. Sea rn < rm y p1 , p2 , p3 ∈ Rr2 ∩ α(R), siendo p2 el punto que se encuentra
entre los otros dos. Como α es una curva convexa, Rr2 es la recta tangente a α en p2 . Pero dicha
recta deja puntos de la curva a ambos lados, llegando a una contradicción.
0 0 0 0
Ya que f = g, φ (t)2 = 1 + f (t)2 = 1 + g (t)2 = ψ (t)2 luego existe λ ∈ R tal que φ(t) = ψ(t) + λ.
En t = 0, se deduce que λ = s1 − s2 y por tanto, ∀t ∈ (s1 − δ, s1 + δ),

α(s) = α(s + s1 − s2 )

Se define el siguiente subconjunto de [0, L) :

A = {s ∈ [0, L); α(s) = α(s + s1 − s2 )}

Este conjunto no es vacı́o, pues s2 ∈ A. Además es evidente que A es un conjunto cerrado. Veamos
0
ahora que A es abierto. Sea s ∈ A. Haciendo un razonamiento análogo al que se ha hecho antes
0 0
para s2 , se deduce que existe δ > 0 tal que ∀s ∈ (s − δ, s + δ),
0 0
α(s) = α(s + (s + s1 − s2 ) − s ) = α(s + s1 − s2 )

Por conexión, A = [0, L), es decir, λ = s1 − s2 serı́a un periodo de α, pero entonces tenemos una
contradicción, pues | s1 − s2 |< L.

Proposición 4.2 Sea α una curva cerrada y convexa y l una recta del plano.
1. Si l corta a la curva en un punto, entonces l es la recta tangente a α en dicho punto.

8
 2. Si l es la recta tangente a la curva en dos puntos, entonces el segmento de l que une dichos
puntos, está incluido en la traza de la curva.

3. Si l interseca en tres puntos a la curva, entonces el segmento de l que une dichos puntos,
está incluido en la traza de la curva.

Demostración 4.2 1. Supongamos que l es el eje de las abscisas y que s0 ∈ (0, L) es un punto
verificando que α([0, L)) ∩ l = {α(s0 )}.
Demostramos que la curva se encuentra a uno de los lados que determina l. Si no fuera ası́,
existirı́an puntos p = α(s1 ), q = α(s2 ) de la curva a ambos lados de l(s1 < s2 y s1 , s2 ∈ [0, L]).
Se considera el arco α([s1 , s2 ]). Por conexión, este arco debe intersecar a l en un punto y por
tanto, dicho punto es justamente α(s0 ). De aquı́ se deduce que s1 < s0 < s2 . Por otra parte,
el arco α([s2 , L] ∪ [0, s1 ]) = α([s2 , s1 + L]) debe intersecar de nuevo a l y por tanto, existe
s∗ ∈ [0, s1 ] ∪ (s2 , L) tal que α(s∗ ) = α(s0 ). Como la curva es simple, | s∗ − s0 |= L, lo cual
es falso.

2. Sea l una recta tangente a α en s1 , s2 ∈ [0, L). Como la curva es convexa, la curva se
encuentra a un lado de l. Supongamos que el segmento de l que une α(s1 ) con α(s2 ) no
se encuentra contenido en la traza de la curva. Después de un movimiento rı́gido, podemos
suponer que l es el eje de abscisas, la curva se encuentra por encima de l, que el origen (0, 0)
no pertenece a la traza de α y que este punto se encuentra en medio de α(s1 ) y α(s2 ).
Se define f (s) =| α(s) |2 . Entonces f es positiva y ya que f (R) = f ([0, L]), alcanza un
mı́nimo absoluto. Sea s0 dicho mı́nimo. Entonces
0 0
f (s0 ) = hα(s0 ), α (s0 )i = 0

es decir, el vector de posición de α en s0 . Entonces es evidente que dicha recta interseca a

α(r) exactamente en el punto α(s0 ) (esta recta no puede ser el eje de abscisas, pues entonces
s0 = s1 o s2 ) y por tanto, por el apartado anterior, r serı́a tangente a la curva en s0 , lo cual
es falso.

3. Supongamos que p, q, r son tres puntos de la curva contenidos en la recta l y supongamos que
r se encuentra en medio de los otros dos. Afirmamos que l es la recta tangente a α en dicho
punto; en caso contrario, la recta tangente serı́a transversal a l y por tanto, dejarı́a a p y a
q a ambos lados de la recta tangente, lo cual es falso por convexidad

Por tanto, l es la recta tangente a α en r y por convexidad, la curva se encuentra a un lado de l.

Probamos que l también es la recta tangente a la curva α en p y en q. Para ello, sea p = α(s1 ), q
= α(s2 ) y después de un movimiento rı́gido, podemos suponer que l es el eje de abscisas y que la
curva se encuentra por encima de éste. Entonces la función f (s) = hα(s), (0, 1)i alcanza en s1 , s2
mı́nimos relativos, luego
0
hα (si ), (0, 1)i = 0, i = 1, 2
0
es decir, α (si ) ⊂ l. Por el apartado anterior, el segmento de l que une p con q se encuentra
contenido en la curva.

Corolario 4.1 Sea α una curva cerrada convexa y l una recta del plano. Entonces caben las
siguientes posibilidades:
1. l no interseca a la curva, o

9
 2. l interseca a la curva en exactamente un punto y, por tanto, es la recta tangente a la curva
en dicho punto, o

3. l interseca a la curva en exactamente dos puntos y la recta es transversal a la curva, o

4. l interseca a la curva en un único segmento de recta.

Proposición 4.3 Sea α una curva cerrada parametrizada por el arco, de periodo L, s0 ∈ R tal
0
que α (s0 ) = (1, 0). Entonces existe una función θ : R → R, que es C ∞ , θ(s0 ) = 0 y

T (s) = (cosθ(s), senθ(s)), s∈R

Teorema 4.1 El ı́ndice de rotación de una curva cerrada simple es ±1, es decir,
Z L
k(s)ds = ±2π.
0

Además, si la curva está positivamente orientada, el ı́ndice es 1.

Referencias
[1] López Camino, R. Curvas Planas Convexas. Material docente para el alumno de la asignatura
de Geometrı́a Diferencial 1995-1996. Departamento de Geometrı́a y Topologı́a. Universidad
de Granada.

[2] Pressley, Andrew. Elementary Differential Geometry. London, 2010, Springer-Verlag.

[3] Manfredo P. Do Carmo. Differential Geometry of Curves and Surfaces. Pretince Hall, 1976.

10