Escolar Documentos
Profissional Documentos
Cultura Documentos
das
Curvas Planas
5
6
1 Curvas Planas 11
1.1 Curvas Suaves . . . . . . . . . . . . . . . . . . . . 26
1.2 Vetor Tangente - Reta Tangente . . . . . . . . . . 27
1.3 Reparametrizacao . . . . . . . . . . . . . . . . . . 31
1.4 Comprimento de Arco . . . . . . . . . . . . . . . 32
1.5 Campo de Vetores ao Longo de Curvas . . . . . . 37
1.6 Curvatura e Formulas de Frenet . . . . . . . . . . 40
1.7 Curvas no Plano Complexo . . . . . . . . . . . . . 49
1.8 Teorema Fundamental das Curvas Planas . . . . . 55
1.9 Forma Canonica Local . . . . . . . . . . . . . . . 58
1.10 Evolutas e Involutas . . . . . . . . . . . . . . . . 59
1.11 Exerccios . . . . . . . . . . . . . . . . . . . . . . 66
9
10
Refer
encias Bibliogr
aficas 249
Indice Remissivo 252
Captulo 1
Curvas Planas
11
12 Curvas Planas
F (x, y) = 0.
ax + by + c = 0 y f (x) = 0 x2 + y 2 = 1
y x2 = 0 4x2 (x2 1) + y 2 = 0 x3 y 2 = 0
2. Hiperbole
A hiperbole de focos P1 e P2 e o conjunto de pontos (x, y)
IR2 cuja diferenca das distancias aos pontos P1 e P2 e, em
valor absoluto, uma constante. Se escolhemos o sistema de
coordenadas de IR2 , tal que P1 = (c, 0) e P2 = (c, 0) com
c > 0, entao a hiperbole (veja figura a seguir) e descrita
pela equacao
x2 y 2
2 = 1,
a2 b
onde a e b sao n
umeros reais e positivos.
18 Curvas Planas
3. Parabola de Neill
A parabola de Neill, veja figura abaixo, e o conjunto de
pontos (x, y) IR2 , tal que x3 y 2 = 0. Seja (x, y) 6= (0, 0)
e considere t o angulo que o vetor com ponto inicial na
origem e ponto final (x, y) faz com o semi-eixo Ox positivo.
Assim podemos parametrizar a parabola de Neill pelo traco
da curva : IR2 IR2 , definida por
(t) = (t2 , t3 ).
4. Graficos
Seja f : I IR uma funcao de classe C k . O conjunto
G = {(x, y) I IR|y = f (x)} IR2
Curvas Planas 19
5. Lemniscata
A lemniscata, veja figura abaixo, e o conjunto de pontos
(x, y) IR2 , tal que y 2 = 4x2 (1 x2 ). Agora consideremos
t o angulo entre um vetor de IR2 , com ponto final (x, y), e
o eixo Ox. Podemos, portanto, parametrizar a lemniscata
pelo traco da curva : [0, 2] IR2 , dada por
6. Curvas de Lissajous
Vamos descrever apenas uma classe especial dessas curvas,
as quais aparecem na Mecanica, quando duas oscilacoes
elasticas ocorrem simultaneamente em planos ortogonais,
por exemplo, os pendulos duplos. A curva de Lissajous e
o traco da curva : IR IR2 , definida por
7. Cicloide
A cicloide e a trajetoria descrita por um ponto P = (x, y)
de IR2 , localizado no crculo de raio r e centro O0 , que
gira ao longo do eixo Ox, sem escorregar e com aceleracao
escalar constante. Seja u o vetor com ponto inicial em O0
e ponto final em P , e seja t o angulo descrito pelo vetor u,
supondo que P coincida com a origem O, quando t = 0,
conforme a figura abaixo.
22 Curvas Planas
_
Entao o arco QP tem o mesmo comprimento que o seg-
mento com ponto inicial na origem O e ponto final Q,
onde Q e o ponto de intersecao entre o crculo e o eixo
Ox. Conclumos que rt e r sao abscissa e ordenada, res-
pectivamente, de O0 e, conseq
uentemente,
3
x = rt r cos t = rt r sen t
2 (1.1)
3
y = r r sen t = r r cos t
2
sao as coordenadas de P . Logo podemos descrever a ciclo-
ide, como sendo o traco da curva parametrizada : IR
IR2 , dada por
(t) = (rt r sen t, r r cos t).
Notamos que e possvel eliminar t nas equacoes (1.1). De
y
fato, usando essas equacoes, cos t = 1 e, portanto,
r
y
t = arccos 1 . Assim
r
p
(2r y)y
sen t = 1 cos2 t =
r
e obtemos a equacao cartesiana da cicloide, dada por
y p
x = r arccos 1 (2r y)y.
r
8. Espirais
A espiral de Arquimedes, veja figura a seguir, e o conjunto
de pontos (x, y) de IR2 , tal que
p !
x2 + y 2
x tan = y, a > 0.
a
Curvas Planas 23
Definic
ao 1.2 Uma curva parametrizada suave ou um caminho
no plano IR2 e uma aplicac
ao suave
: I IR2 ,
ao : IR IR2 dada
Exemplo 1.1 (Curva constante)A aplicac
por
(t) = (a, b)
e uma curva parametrizada cujo traco se reduz ao ponto (a, b).
Curvas Planas 27
A aplicac
ao tambem e uma curva parametrizada cujo traco e
a reta que passa por P e Q. Observemos que e possuem o
mesmo traco. A diferenca entre essas curvas esta na velocidade
que seu traco e percorrido.
onde u IR.
Veremos mais adiante que a reta rt0 (u) e a melhor apro-
ximacao linear de em t0 .
Curvas Planas 29
1.3 Reparametrizac
ao
Seja : I IR2 uma curva parametrizada, definida por
(t) = (x(t), y(t)), e seja h : J I uma funcao de classe C .
Podemos entao considerar uma nova curva : J IR2 , definida
por
(t) = ( h)(t) = (h(t)).
A curva e, portanto, uma curva parametrizada de classe C .
Dizemos que a curva e uma reparametrizac
ao de . Pela regra
da cadeia, temos que
0 (t) = (x0 (h(t))h0 (t), y 0 (h(t))h0 (t)),
ou ainda,
0 (t) = ( h)0 (t) = 0 (h(t))h0 (t).
A velocidade escalar de e dada por
k 0 (t)k = k0 (h(t))k|h0 (t)|.
Vamos considerar apenas reparametrizacoes onde a funcao h
e estritamente monotona. Nesse caso, h0 (t) 6= 0 e, portanto, se
for uma curva regular em I, sua reparametrizacao = h
tambem sera regular em J. Se h e estritamente crescente, dize-
mos que a reparametrizacao = h e uma reparametrizacao
positiva ou propria, ou que preserva a orientacao de . No caso
em que h e estritamente decrescente, a reparametrizacao e dita
negativa ou que reverte a orientacao de .
32 Curvas Planas
Entao
Z t Z t Z te0
f (t) =
L (t) L 0
k ()k d 0
k ()k d = k0 ()k d.
t0 te0 t0
Defini
cao 1.4 Dizemos que uma curva : I IR2 est a pa-
rametrizada pelo comprimento de arco, se o par
ametro t e, a
menos de constante, igual a L (t), isto e,
L (t) = t + C.
k0 (t)k 1.
Observa c
ao 1.1 Se I = [a, b], entao o comprimento de existe
e e dado por
L() = L (b) L (a).
Dizemos que uma poligonal P = P0 P1 ... Pn1 Pn esta inscrita
possvel
em uma curva de traco C se P C = {P0 , ..., Pn }. E
provar, usando as ideias do Calculo Diferencial, que L e dado
por
Temos Z tp
L (t) = a2 sen 2 + b2 cos2 d,
0
que nao pode ser expressa em termos de func
oes elementares.
Vejamos que o comprimento de uma curva pode ser finito,
mesmo que o seu intervalo de definicao tenha comprimento infi-
nito.
Exemplo 1.7 A espiral (t) = ( et cos t, et sen t), definida
em IR e tal que
Z t
L (t) = k0 ()k d = 2(1 et ).
0
Em particular, L(|[0,+) ) = lim L (t) = 2 e L(|(,0] ) e
t
infinito.
O proximo resultado nos mostra que toda curva regular ad-
mite uma reparametrizacao pelo comprimento de arco.
Teorema 1.1 Toda curva regular : I IR2 pode ser repa-
rametrizada pelo comprimento de arco. De forma mais precisa,
ao h : J I de classe C defi-
fixado t0 I, existe uma bijec
nida em um intervalo J sobre I, com 0 J e h(0) = t0 , de modo
que a curva : J IR2 , dada por (s) = ( h)(s), satisfaz
k 0 (s)k = 1.
Prova. Visto que e regular, a funcao comprimento de arco,
por (1.3), satisfaz
h : J I.
1 1
h0 (s) = = .
L0 (h(s)) k0 (h(s))k
Logo
0 (s) = [ h(s)]0 = 0 (h(s)) h0 (s).
Portanto
Em particular,
s
L1
(s) = ln 1 .
2
1.6 Curvatura e F
ormulas de Frenet
Vamos considerar nesta secao curvas : I IR2 parame-
trizadas pelo comprimento de arco. Observe que por hipotese,
0 (s) 6= 0. Dessa forma esta bem definido um campo T de vetores
tangentes e unitarios ao longo de dado por
T (s) = 0 (s).
Definic
ao 1.7 A func
ao k, definida pela equac
ao (1.6), e cha-
mada curvatura de em s I.
Curvas Planas 41
e
dT d2 1
(s(t)) = 2 (s(t)) = 0 [00 (t) s00 (t)T (s(t))]
ds ds (s (t))2
1
= [(x00 (t), y 00 (t)) s00 (t)T (s(t))] .
(x0 (t))2 + (y 0 (t))2
Por definicao do campo normal,
1
N (s(t)) = p (y 0 (t), x0 (t)).
(x0 )2 + (y 0 )2
A equacao (1.6) nos diz que
dT
k(s(t)) = (s(t)), N (s(t)) .
ds
44 Curvas Planas
dT
Substituindo as expressoes de e N na equacao acima e usando
ds
o fato de que T e N sao ortogonais, obtemos o resultado desejado.
Em muitas situacoes, uma curva pode ter uma expressao mais
simples, se ao inves de descreve-la em relacao ao sistema de co-
ordenadas cartesianas, usarmos coordenadas polares. O proximo
resultado nos dara a expressao para a curvatura em coordenadas
polares.
Proposic
ao 1.7 Seja r = r () uma curva regular, definida por
uma equac
ao polar. Entao sua curvatura k() e dada por
Logo
e, conseq
uentemente,
y 0 (s)
Prova. Suponha que (s) = arctan , isto e, em pontos com
x0 (s)
claro que
x0 (s) 6= 0. E
Interpreta
cao Geom
etrica
1. Do sinal de k:
Se k(t0 ) > 0, entao, para todo t suficientemente proximo de t0 ,
(t) esta no semi-plano determinado pela reta tangente `a curva
em (t0 ) para o qual aponta N (t0 ). De fato, basta verificar
que a funcao
f (t) = h(t) (t0 ), N (t0 )i
Curvas Planas 47
2. Do valor de k:
Suponha que k(t0 ) > 0. Para cada > 0, sejam P = (t0 ) +
N (t0 ) e C o crculo de centro em P e raio . Entao, para t
suficientemente pequeno, (t) esta contido no interior de C , se
< k(t10 ) e esta contido no exterior de C , se > k(t10 ) .
48 Curvas Planas
1
0 = , 0 < 1 < 0 < 2
k(t0 )
g(t) = k(t) P k2 2
n
umeros complexos corresponde geometricamente a uma
facil ver que z = z.
reflexao em relacao ao eixo Ox. E
Modulo e argumento:
O
p modulo de um n umero complexo z = x + iy e |z| =
2 2
x + y . Observe que o modulo do n umero complexo
x + iy e igual ao modulo do vetor (x, y). Se z 6= 0, o
argumento de z, arg(z), e o angulo que z faz com o eixo
Ox, no sentido anti-horario. Note que, se e o argumento
de z, entao podemos escrever z como
2. Crculo
Considere z : [0, 2] C uma aplicacao definida por
z(t) = r eit , onde r IR, r > 0. A curva z e regular e
seu traco e um crculo de raio r e centro na origem.
3. Espiral de Arquimedes
Seja z : [0, ) C uma aplicacao, dada por z(t) = at eit ,
onde a IR. A curva z e regular e seu traco e denominado
espiral de Arquimedes.
Suponha que z : I C e uma curva parametrizada pelo
comprimento de arco. Definimos os campos tangente e normal,
T e N , respectivamente, por
T (t) = z 0 (t)
e
N (t) = iz 0 (t) = iT (t).
Curvas Planas 53
uma conseq
Prova. E uencia direta da Equacao de Frenet para
uma reparametrizacao de z, pelo comprimento de arco.
Para obtermos uma expressao para k, em funcao de z(t),
vamos lembrar que, se r = x + iy e w = u + iv, entao
rw = xu + yv + i(yu xv).
hr, wi = Re(rw).
claro que hr, iwi = Im(rw) e hr, iwi = hir, wi. Podemos
E
agora calcular a funcao curvatura de z.
Proposicao 1.10 Seja z : I C uma curva regular. Entao a
Im(z 0 (t)z 00 (t))
curvatura de z e dada por k(t) = .
|z 0 (t)|3
Prova. Considere T o campo tangente de z, que e dado por
z 0 (t)
T (t) = 0 . Pela Proposicao 1.9,
|z (t)|
0
d z (t)
0
= ik(t)z 0 (t) = k(t)|z 0 (t)|N (t). (1.13)
dt |z (t)|
Visto que
d z 0 (t) d 1 1
= z 0 (t) + z 00 (t),
dt |z 0 (t)| dt 0
|z (t)| |z 0 (t)|
temos:
d 1 1
0
z 0 (t) + z 00 (t) = k(t)|z 0 (t)|N (t).
dt |z (t)| |z 0 (t)|
Curvas Planas 55
Portanto
d 1 1
0
|z 0 (t)|T (t) + 0 z 00 (t) = k(t)|z 0 (t)|N (t).
dt |z (t)| |z (t)|
Fazendo o produto interno de ambos os membros da equacao
acima por N (t) e usando o fato que T (t) e N (t) sao ortonormais,
obtemos
1
k(t) = 0 2 hz 00 (t), N (t)i. (1.14)
|z (t)|
z 0 (t)
Observe que N (t) = i 0 . Portanto a equacao (1.14) implica
|z (t)|
que
1 00 z 0 (t) 1
k(t) = 0 2
hz (t), i 0
i = 0 3 hz 00 (t), iz 0 (t)i.
|z (t)| |z (t)| |z (t)|
Como hz 00 (t), iz 0 (t)i = Im(z 00 (t)z 0 (t)) = Im(z 00 (t)z 0 (t)), con-
clumos que
Im(z 00 (t)z 0 (t))
k(t) = ,
|z 0 (t)|3
o que termina a prova.
E facil verificar que a curva dada por (s) = (x(s), y(s)) satisfaz
`as condicoes do teorema.
Vamos provar agora a unicidade de tal curva. Suponhamos
que existam duas curvas, definidas por (s) = (x(s), y(s)) e
(s) = (u(s), v(s)) nas condicoes do teorema. As Equacoes de
Curvas Planas 57
1
e (t) = (t) + N (t),
k(t)
k 0 (t) 6= 0.
a2 sen 2 t + b2 cos2 t
e (t) = (a cos t, b sen t) + (b cos t, a sen t)
ab
2
a b2 3 b2 a2 3
= cos t, sen t .
a b
O traco da evoluta da elipse e descrito pelo astroide (ax)2/3 +
(by)2/3 = (a2 b2 )2/3 , que nao e regular nos pontos e (t), com
3
t = 0, , e .
2 2
Evoluta da cicl
oide
(i )e (t) = (t).
1.11 Exerccios
1. Calcule as curvaturas das curvas, dadas por:
e
() = (a cos(n) cos , a cos(n) sen ),
sao parametrizacoes da rosacea;
(b) Esboce o traco de com n = 3;
(c) Esboce o traco de com n = 4.
Curvas Planas 69
15. A
curva x3 + xy2 = y 2 pode ser parametrizada por (t) =
2
t t3
, . Mostre que a equacao de sua evoluta e
1 + t2 1 + t2
512x + 288y 2 + 27y 4 = 0.
N
umero de Rotac
ao de
uma Curva Fechada
2.1
Angulo Orientado
Sejam v e w dois vetores nao-nulos em IR2 . A medida do
angulo entre v e w, ^(v, w), e dado de modo unico por ^(v, w)
[0, ] com
hv, wi v w
cos ^(v, w) = = , .
kvkkwk kvk kwk
73
74 N
umero de Rotacao de uma Curva Fechada
v = (v2 , v1 ), (2.1)
Proposic
ao 2.2 Temos as seguintes equac
oes:
hv, wi hv , wi
cos ^ (v, w) = , sen ^ (v, w) = .
kvkkwk kvkkwk
e
lim sen ^ (v, wn ) = sen ^ (v, w).
n
N
umero de Rotacao de uma Curva Fechada 77
hv, wn i hv, wi
lim cos ^ (v, wn ) = lim = =
n n kvk kwn k kvk kwk
hv , wn i hv , wi
lim sen ^ (v, wn ) = lim = =
n n kvk kwn k kvk kwk
Corol ario 2.1 Seja : I IR2 uma curva contnua, cujo traco
ao passa pela origem (0, 0). Seja a IR2 , com a 6= (0, 0), tal
n
que ^(a, (t)) 6= , para todo t I. Entao a func
ao f : I IR,
definida por
f (t) = ^ (a, (t)),
e uma func
ao contnua.
Como o traco de n
ao intersecta a semi-reta OB, f (t) = ^ (a, (t)) e
uma funcao contnua.
78 N
umero de Rotacao de uma Curva Fechada
x y mod 2,
xy
se a diferenca xy e um m
ultiplo inteiro de 2, isto e, Z.
2
Observe que as relacoes
e
sen ( ^ (u, v) + ^ (v, w)) = sen ^ (u, w). (2.5)
Usando a expressao do cosseno da soma de dois angulos, temos
que
cos( ^ (u, v) + ^ (v, w)) =
= cos ^ (u, v) cos ^ (v, w) sen ^ (u, v) sen ^ (v, w)
u v v w u v v w
= , , , ,
kuk kvk kvk kwk kuk kvk kvk kwk
N
umero de Rotacao de uma Curva Fechada 79
u v v w u v v w
= , , + , ,
kuk kvk kvk kwk kuk kvk kvk kwk
u w
= , = cos ^ (u, w),
kuk kwk
para todo t [a, b]. Alem disso, se e uma outra func ao como
acima, entao e diferem por um m ultiplo de 2, isto e,
o que implica
Definic
ao 2.2 A func
ao , dada pelo Teorema 2.1, tal que (a)
= 0, depende do ponto P0 . Vamos denomina-la funcao angular
de com respeito a P0 .
= ^ ((a) P0 , ((c)) P0 )+
+ ^ (((c)) P0 , ((s)) P0 )
e uma func
ao angular da curva , com relac
ao a P0 .
N
umero de Rotacao de uma Curva Fechada 85
e
h (a), (t)i = h(a), (t)i.
Portanto,
h0 (t), (t)i,
que conclui a prova.
Estamos prontos para definir o n umero de rotac
ao de uma
curva fechada no plano em relacao a um ponto P0 , nao perten-
cente ao seu traco.
Seja : [a, b] IR2 , (a) = (b), uma curva fechada e
contnua e seja P0 um ponto fora do traco de . Seja a funcao
angular de com relacao a P0 , com (a) = 0. Como (a) = (b),
temos que
Definic
ao 2.3 O n
umero
1
W (, P0 ) = (b) Z
2
e chamado de n
umero de rotac
ao de em relac
ao a P0 .
N
umero de Rotacao de uma Curva Fechada 87
Pela equac
ao (2.9),
Z t
h(R sen n, R cos n), (nR sen n, nR cos n)i
(t) = d.
0 R2
W (n , P0 ) = n.
W (0 , P1 ) = 0,
se P1 6= P0 .
88 N
umero de Rotacao de uma Curva Fechada
2.3 Propriedades do N
umero de Rota-
c
ao
A primeira propriedade do n umero de rotacao de uma curva
que iremos provar diz que, em relacao a pontos suficientemente
distantes, o n
umero de rotacao de e nulo.
Proposic ao 2.6 Seja : [a, b] IR2 uma curva fechada e
contnua. Entao existe R > 0, tal que, para todo P IR2 com
kP k R,
W (, P ) = 0.
Logo
(b) = 0,
e, conseq
uentemente,
W (, P ) = 0,
o que conclui a prova.
(t)
e = ((t)) ((c)) = ((t)).
Logo (c)
e = 0 e, portanto,
1 1
W (, P ) = W ( , P ) = (d)
e = (b) = W (, P ).
2 2
Observa c
ao 2.3 Se revertea orientac
ao de , isto e, se
(c) = b e (d) = a, entao
W (, P ) = W ( , P ) = W (, P ).
De fato,
(t)
e = ((t)) ((c)) = ((t)) (b),
e (c)
e = 0. Portanto
1 1
W (, P ) = [(d)
e (c)]
e = [((d)) (b)] =
2 2
1
(b) = W (, P ).
2
N
umero de Rotacao de uma Curva Fechada 91
s (t) = (t + s a).
W (, P ) = W (s , P ).
Em particular, W (, P ) n
ao depende do ponto inicial/final de .
92 N
umero de Rotacao de uma Curva Fechada
= W (1 , P ) + W (2 , P ).
W (2 1 , P ) = W (2 , P ) + W (1 , P ) = W (1 2 , P ),
os seus n
umeros de rotacao 1 2 e 2 1 coincidem.
(t) = (b + a t).
W ( , P ) = W (, P )+W ( , P ) = W (, P )W (, P ) = 0.
H(0, t) = (t), t I.
1
|n 0 | < , n IN,
n
98 N
umero de Rotacao de uma Curva Fechada
1
|tn sn | < , n IN,
n
com
hvn (tn ), vn (sn )i = 1.
Entao temos que lim n = 0 . Alem disso, como as seq uencias tn
n
e sn estao definidas em um intervalo fechado e limitado, passando
a subseq uencias se necessario, podemos supor que
W (, P ) = 0.
W (, d) = 0.
A recproca da proposicao acima nao e necessariamente verda-
deira. A figura, a seguir, mostra o traco de uma curva e um
ponto P , tais que W (, P ) = 0. No entanto toda curva contnua
que liga P a um ponto suficientemente longe intersecta o traco
de .
ligando P a Q}.
AP e o maior subconjunto conexo de A que contem P . Qualquer
conjunto A e, portanto, a uniao disjunta de suas componentes
conexas.
Seja : [a, b] IR2 uma curva fechada. Considere { o
complementar do traco de em IR2 . Para cada P { , esta
N
umero de Rotacao de uma Curva Fechada 101
W (, P ) = 0.
W (, P ) = W (, P ).
Entao W (, P ) = W (, t).
W (, P ) = W (, P ).
2nt
onde f (, t) = (1 )(t) + . A aplicacao H e contnua
ba
em [0, 1] [a, b] e satisfaz:
H(, a)
= P + {k(a) P k(1 ) + }(cos f (, a), sen f (, a))
= P + {k(b) P k(1 ) + }(cos f (, b), sen f (, b))
= H(, b),
2.5 C
alculo do N
umero de Rotac
ao -
N
umero de Interseco
es
(t) de e r em t por
(t) = sinal(h(t) (t), v0 i)
h(t) (t), v0 i
= , se 0 < t t .
|h(t) (t), v0 i|
Se a curva (t) intersecta o raio r em (t) da direita para a
esquerda, em relacao `a direcao v0 , quanto t cresce, temos que
(t) = 1. Se trocamos o sentido da intersecao, entao (t) = 1.
Veja a figura abaixo. De forma mais precisa, escolha o sistema de
coordenadas de IR2 , tal que a origem seja (t) e o eixo Ox tenha
a direcao e sentido do vetor v0 . Em relacao a esse sistema de
coordenadas, considere a curva , dada por (t) = (x(t), y(t)).
Obtemos, por exemplo, que (t) = 1, se y(t) < 0 para t < t e
y(t) > 0 para t > t, quando t suficientemente proximo de t.
(t) = 1.
(t) = 1.
P4 , P7 e P8 n
ao s
ao pontos de intersecao transversal; o n
umero de
intersec
oes em P1 , P5 e P9 e igual a 1, enquanto nos outros pontos este
n
umero e igual a -1.
t0 t tt
t0t
(t ) + t0 t
r(s ), se t t t0 ,
t t tt0
(t) = t t0
r(s ) + t t0
(t ), se t0 t t ,
(t), caso contrario.
t0 t tt
t0t
(t ) + t0 t
r(s ), se t t t0 ,
t t tt0
(t) = t t0
r(s ) + t t0
(t ), se t0 t t ,
(t), caso contrario.
N
umero de Rotacao de uma Curva Fechada 111
W ( , r(s )) = W ( , q).
W (, r(s )) = W ( , q).
e
^ ( (ti ) q, (ti+1 ) q) < .
Portanto temos que
n1
1 X
W ( , q) = ^ ( (ti ) q, (ti+1 ) q)
2 i=1
e
n1
1 X
W ( , q) = ^ ( (ti ) q, (ti+1 ) q).
2 i=1
Visto que e coincidem com , exceto, possivelmente, no
intervalo [t1 , t+1 ], temos que quase todas as parcelas da dife-
renca W ( , q) W ( , q) se cancelam e, por conseguinte,
1
W ( , q) W ( , q) = [ ^ ( (t1 ) q, (t ) q)
2
+ ^ ( (t ) q, (t+1 ) q) ^ ( (t1 ) q, (t ) q)
^ ( (t ) q, (t+1 ) q)]
1
= [ ^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q)
2
^ ((t ) q, r(s ) q) ^ (r(s ) q, (t ) q)].
Usando a Proposicao 2.1, podemos reagrupar esses quatro angu-
los para obtermos
1
W ( , q) W ( , q) = [ ^ ((t ) q, r(s ) q)
2
N
umero de Rotacao de uma Curva Fechada 113
W ( , q) W ( , q) = (t0 ).
Como antes,
W (, P ) = W ( , P ),
N
umero de Rotacao de uma Curva Fechada 115
= W (, P0 ) W (, Pk ).
Visto que a curva nao intersecta o raio r|[k ,) , temos que
W (, Pk ) = 0. Logo
k
X
W (, P ) = W (, P0 ) = (ti ),
i=1
k
X Z b
1 h((t) P ) , 0 (t)i
(ti ) = W (, P ) = dt.
i=1
2 a k(t) P k2
N
umero de Rotacao de uma Curva Fechada 117
2.6 Aplicac
oes
Vamos, nesta secao, dar algumas aplicacoes do conceito de
n
umero de rotacao.
f (t) = 0
F (P ) = (0, 0)
Teorema 2.7 (Teorema Fundamental da Algebra) Todo polin
o-
mio de grau n 1 sobre o corpo de n
umeros complexos C possui
raiz em C.
Logo
(1) (0)
W (, (0, 0)) = = 2k + 1.
2
F (P0 ) = G(P0 ) = 0.
W (, (0, 0)) 6= 0.
O Teorema 2.6 implica que existe q0 D1 , tal que f (q0 ) = (0, 0).
Agora, usando a definicao de f , temos que F (h(q0 )) = 0 =
G(h(q0 )), o que conclui a prova.
II - Teorema de Brower.
entao
Nf = Ng .
Nf = W (, (0, 0)),
e
Ng = W (1 , (0, 0)),
onde = f e 1 = g . As hipoteses sobre f e g implicam
que
k(t) 1 (t)k < k(t)k,
para todo t [a, b]. Logo, pelo Corolario 2.3,
2.7 Exerccios
1. Quais dos conjuntos abaixo sao conexos? Descreva as com-
ponentes conexas em cada caso.
131
132 Curvas Fechadas - Indice de Rotacao
Exemplo 3.1 Seja : [0, 2] IR2 uma curva, dada por (t)
= (R cos nt, R sen nt), com n Z, n 6= 0. A curva parametriza
o crculo de raio R que da |n| voltas em torno da origem, no
sentido anti-horario, se n > 0 e, no sentido horario, se n < 0.
Um calculo simples mostra que
R = n.
R = 0.
A aplicac
ao H e dita uma homotopia regular entre e .
R = R .
Temos que
R = R = 1.
Logo, pelo Teorema de Whitney-Graustein, e s ao regular-
mente homotopicas. Voce consegue imaginar uma homotopia re-
gular que leve em ?
Portanto
0 (t) = k(t)k0 (t)k. (3.1)
No caso em que esta parametrizada pelo comprimento de arco,
temos que a curvatura de e exatamente a taxa de variacao do
angulo orientado, determinado pelos vetores tangente a curva
e o vetor T (a). Observe que o vetor T (a) pode ser substitudo
por qualquer outro vetor fixo, sem alterar o valor de .
e, portanto,
Z 2
1 ab
d = CT () = 1.
2 0 a2 sen 2 + b2 cos2
O resultado nao e de modo algum obvio (tente calcular analiti-
camente. E possvel!!!).
Afirma c
ao. R = 1, se T (0) = (1, 0) e R = 1, se T (0) =
(1, 0).
De fato, vamos provar apenas o primeiro caso, pois o segundo
decorre dele, considerando a curva , isto e, a curva com
orientacao oposta a de . Vamos, portanto, supor que 0 (0) =
(1, 0). A ideia da prova agora e deformar continuamente a curva
T , que, a priori, e complicada, ate uma curva T1 , cujo numero
de rotacao W (T1 , (0, 0)) seja facil de determinar. Considere o
triangulo M= {(t, s) IR2 | 0 s t L}. Como a curva e
simples, temos (t) 6= (s), para todo ponto de M, exceto para
os pontos da hipotenusa de M, ou seja, para pontos da forma
142 Curvas Fechadas - Indice de Rotacao
lim k = lim k = a.
k k
(k ) = (sk ) e (k ) = (tk ).
Portanto
(tk ) (sk )
F (tk , sk ) =
k(tk ) (sk )k
1
(k ) (k )
(k ) (k )
.
= k k
k k
Repetindo o argumento do caso interior, vemos que
L
aponta para o semi-plano superior, T1 (0) = (1, 0), T1 ( ) =
2
(1, 0). Portanto
L
( ) = .
2
L
Por outro lado, no intervalo [ , L], T1 aponta para o semi-plano
2
L
inferior, T1 ( ) = (1, 0) e T1 (L) = (1, 0). Logo
2
L
(L) ( ) = .
2
Portanto (L) = 2 e, conseq
uentemente,
1
R = W (T1 , (0, 0)) = (L) = 1.
2
Logo
Z b Z b
2CA() = |k(s)| ds = k00 (s)k ds = L0 ,
a a
0 (s1 ) = 0 (s2 ).
Curvas Fechadas - Indice de Rotacao 147
Logo
Lss21 (0 ) .
Analogamente, obtemos que
Lsa1 (0 ) + Lbs2 (0 ) .
Assim conclumos
Lba (0 ) 2.
Isso prova o teorema, pois
1 b 0
CA() = L ( ).
2 a
Prova. Seja s1 (a, b), tal que o ponto (s1 ) e o ponto do traco
de mais distante do ponto inicial/final (a) = (b). Nesse
caso, a funcao f , dada por f (s) = k(s) (a)k2 , possui um
maximo em s = s1 . Como f e diferenciavel nesse ponto, temos
que
0 = f 0 (s1 ) = h0 (s1 ), (s1 ) (a)i. (3.2)
Vamos provar que existem dois pontos s0 , s2 [a, b], com
s0 < s2 , tais que os vetores 0 (s0 ) e 0 (s2 ) sejam ortogonais ao
Curvas Fechadas - Indice de Rotacao 149
3.4 Exerccios
1. Seja : (, ) R2 , definida por (t) = (t, t2 ). Cal-
cule seu ndice de rotacao.
Teorema de Jordan
155
156 Teorema de Jordan
e(t) = (t+ak(ba)), se k(ba) t (k+1)(ba), (4.1)
Afirmac
ao 1. Para cada s0 IR, existem uma vizinhanca
e(s0 ) em IR2 , tais que
Ws0 de (s0 , 0) e uma vizinhanca Vs0 de
158 Teorema de Jordan
H(Ws0 ) = Vs0 e H Ws : Ws0 Vs0 e um difeomorfismo.
0
De fato, a matriz Jacobiana de H em (s, t) e
0
x (s) ty 00 (s) y 0 (s) + tx00 (s)
J = .
y 0 (s) x0 (s)
e(s).
Um outro fato que sera u til na prova, o qual decorre dire-
tamente do Teorema do N umero de Recobrimento de Lebesgue
(olhar [L2], p.54), e que, para a colecao de retangulos Rsi , existe
um n umero real > 0 tal que, se |x1 x2 | < e y1 , y2 (, ),
entao (x1 , y1 ), (x2 , y2 ) estao no mesmo retangulo Rsi . Essa cons-
tante e chamada n umero de Lebesgue da cobertura {Rsi }. Este
Teorema de Jordan 159
Afirma c
ao 2. Existe > 0 tal que, se |t1 |, |t2 | < , s1 , s2
[a, b) e H(s1 , t1 ) = H(s2 , t2 ), entao t1 = t2 e s1 = s2 .
Com efeito, suponha por contradicao que tal nao exista. Nesse
caso, para cada n N, existem xn1 , xn2 , y1n e y2n com |yin | <
1
n
, i = 1, 2, tais que H(xn1 , y1n ) = H(xn2 , y2n ) e (xn1 , y1n ) 6= (xn2 , y2n ).
Vamos provar que |xn2 xn1 | nao pode ficar uniformemente
limitado inferiormente por uma constante positiva. Suponha
que |xn2 xn1 | k0 > 0. Observe inicialmente que a curva e
e injetiva em [a, b), portanto, como H e um difeomorfismo lo-
cal, temos que e1 : B [a, b), onde B =traco de , e uma
aplicacao contnua. Visto que B e compacto, temos que e1 e
uniformemente contnua. Logo, se |xn2 xn1 | k0 , existe k1 tal
que
ke(xn2 ) e(xn1 )k k1 . (4.2)
Alem disso, a desigualdade de Cauchy-Schwarz implica que, se
|ti | < n1 , entao
ktn2 N (s2 ) tn1 N (s1 )k2 = ktn2 N (s2 )k2 + ktn1 N (s1 )k2
2htn2 N (s2 ), tn1 N (s1 )i 2(ktn2 N (s2 )k2 + ktn1 N (s1 )k2 ) (4.3)
4
< 2.
n
Portanto, usando (4.2) e (4.3), obtemos
0 = kH(xn2 , y2n ) H(xn1 , y1n )k
(xn2 ) + y2n N (xn2 )
= ke e(xn1 ) + y1 N (xn1 )k
(xn2 ))
ke e(xn1 )k ky2n N (xn2 ) y1n N (xn1 )k
2
k1 > 0,
n
se n e suficientemente grande. Temos, portanto, uma contradicao.
Logo existe n0 , tal que |xn2 0 xn1 0 | < , onde e o n
umero de
160 Teorema de Jordan
Observa
cao 4.1 O aberto U e chamado vizinhanca tubular de
.
Teorema de Jordan 161
W (, p1 ) W (, p2 ) = 1.
onde o sinal, na u
ltima express
ao, depende da orientac
ao de .
e
W2 = IR2 ( W1 ) ,
com W1 = W2 = . Visto que nao e localmente conexo,
temos, usando o Teorema 4.3, que nao e o traco de uma curva
de Jordan.
Vamos apresentar agora algumas aplicacoes do Teorema de
Jordan. Dizemos que D IR2 e uma regiao de IR2 , se D e uma
regiao determinada por uma curva de Jordan.
Teorema 4.4 Seja D uma regi ao de IR2 . Se F : D IR2 e
uma funcao contnua e injetiva, entao F (D) e um subconjunto
aberto e conexo de IR2 .
Prova. Vamos provar que F (D) e um conjunto aberto de IR2 .
Seja p D, e seja > 0, tal que a bola fechada de centro p e
raio esteja contido em D. Seja p, (t) = p + (cos t, sen t), t
Teorema de Jordan 167
F (p0 ) = q.
onde
x(s) = x(s)
e ( p
r2 (x(s))2 , 0 s s0 ,
y(s) = p
r2 (x(s))2 , s0 s L.
Portanto
Z L
A + r 2
= x(s)y 0 (s) y(s)x0 (s) ds
Z0 L p
(x(s)y 0 (s) y(s)x0 (s))2 ds
Z Lq
0
Visto que
2ab a2 + b2 , onde a, b IR, (4.7)
Teorema de Jordan 171
obtemos
Z L p
2
A + r (x y 0 (s))2 + (x x0 (s))2 + (y y 0 (s))2 + (y x0 (s))2 ds
Z0 L p
= ((x(s))2 + (y(s))2 )((x0 (s))2 + (y 0 (s))2 ds
Z0 L p
= ((x(s))2 + (y(s))2 ) ds
Z Lp
0
= ((x(s))2 + (y(s))2 ) ds
Z0 L
= r ds = Lr.
0
(4.8)
Usando o fato de que
1
ab (a2 + b2 ),
2
com a 0 e b 0, vemos que
1 1
A r2 (A + r2 ) Lr. (4.9)
2 2
Conclumos, portanto, que
L2 4A 0.
Segue-se que
(x0 (s)x(s))2 + (y 0 (s)x(s))2 = (y 0 (s)x(s))2 + (y(s)y 0 (s))2 .
Logo
(x(s))2 = [(x0 (s))2 + (y 0 (s))2 ](x(s))2
= [(x(s))2 + (y(s))2 ](y 0 (s))2 = r2 (y 0 (s))2 ,
isto e,
(x(s))2 = r2 (y 0 (s))2 . (4.10)
0 0
Sejam P e Q pontos sobre o traco de tais que suas coor-
denadas y sejam maxima e mnima, respectivamente. Como e
diferenciavel nesses pontos, as retas tangentes `a curva em P 0
e Q0 sao paralelas ao eixo Ox. Considere E e F essas retas tan-
gentes. Pelo que ja provamos, a distancia entre essas retas e 2r.
Transladando-se o crculo por um vetor (0, a), de modo a que
ele fique tangente `as retas E e F (ver figura abaixo), podemos
repetir o argumento da prova de (4.10) e obter que
(y(s) + a)2 = r2 (x0 (s))2 . (4.11)
Teorema de Jordan 173
4.3 Exerccios
1. Existe uma curva fechada e simples com comprimento de
6 metros que delimite uma regiao de 3 metros quadrados?
Curvas Convexas
175
176 Curvas Convexas
e
h00t0 (t0 ) = k(t0 ) > 0.
Portanto t0 e um ponto de mnimo estrito local de ht0 . Como
ht0 (t0 ) = 0, existe > 0, tal que ht0 (t) > 0, para todo 0 <
|t t0 | < . Isso conclui a prova no caso em que k(t0 ) > 0. A
prova no caso em que k(t0 ) < 0 e analoga.
e
y 0 (t) = sen (t) 0, se t0 1 t t0 .
Logo a funcao y e nao-crescente no intervalo [t0 1 , t0 ] e nao-
decrescente em [t0 , t0 + 1 ]. Como y(t0 ) = 0, temos que y(t) 0,
para todo t [t0 1 , t0 + 1 ], o que conclui a prova.
nao muda de sinal em [a, b]. Suponha, por contradicao que isso
nao ocorre. Como hs1 e contnua, ela assume um mnimo nega-
tivo e um maximo positivo em pontos s2 e s3 , distintos de s1 .
Curvas Convexas 179
k(s1 )
h(s) (s1 ), N (s1 )i = (s s1 )2 + R(s) < 0,
2
180 Curvas Convexas
kR(s)k
onde lim = 0. Isso implica que, para suficientemente
(s s1 )2
ss1
pequeno, f (s) > 0, se 0 < |s s1 | < . Como k(s1 ) < 0, te-
mos N (s1 ) = (0, 1) e, portanto, existem pontos do traco de
com a coordenada y < 0. Por outro lado, a reta tangente `a
em (s1 ) e a reta y = 0. Logo existem pontos do traco de
de ambos os lados dessa reta, contradizendo a hipotese que e
uma curva convexa.
Uma nocao u
til para o estudo de conjuntos convexos e a reta
suporte.
r1 , r2 , r3 e r4 s
ao retas suporte para ; r5 n
ao e reta suporte para .
Observe que, se P A, entao nao existem retas suporte para
A passando por P . Mesmo para pontos da fronteira de A, podem
nao existir reta suporte passando por esses pontos.
Curvas Convexas 183
e
2 = sup{| l2 = {P }}.
1. Existem P1 l1 + e P2 l2 , com Pi 6= P, i =
1, 2;
Uma vez que 1 +2 > , temos que qualquer reta r passando por
P e contida na regiao limitada por l1 + e l2 , que nao contem
e reta suporte para passando por P .
f (x) f (t0 )
= m lim = m f 0 (t0 ) = m.
xt0 x t0
Suponha que m > 0. Pela definicao de limite, dado > 0, com
0 < < m, existe > 0, tal que para todo x, com 0 < x < ,
tem-se que (x, f (x)) B (P ), (x, m(x t0 )) B (P ) e
m(x t0 ) f (x)
m< < m + .
x t0
Curvas Convexas 187
= H,
h0 (t0 ), (t0 ) P i = 0.
T (A) = S1 ,
Assim, em su , u = N (su ).
Observa c
ao 5.2 A hipotese de que e uma curva simples e es-
sencial na Proposic
ao 5.6. De fato, a curva : [/2, 3/2]
2
IR , dada por
(t) = (cos t, cos t sen t),
e tal que
cos t(1 + 2 sen 2 t)
k(t) = .
(1 3 sen 2 t + 4 sen 4 t)3/2
Logo A = [/2, /2] e
Z /2
1 3
|k(t)| k0 (t)k dt = < 1.
2 /2 4
Se trocamos a orientac
ao de , o conjunto onde k(s) 0, nesse
caso, e [/2, 3/2] e
Z 3/2
1 3
|k(t)| k0 (t)k dt = < 1.
2 /2 4
e
Sejam (s) e (s) os angulos que os vetores 0 (s) e
e0 (s) fa-
zem, respectivamente, com o eixo Ox. Como e e sao cur-
vas convexas, temos, pelo Teorema 5.3, que (s) e
e
(s) . Denotemos por Te(0)Te(s1 ) o comprimento de
arco em S entre Te(0) e Te(s1 ) ou, equivalentemente, o angulo
1
s [0, s1 ].
Note que o vetor e(s0 ) pode nao ser paralelo ao eixo Ox.
A funcao cosseno e uma funcao decrescente quando o seu argu-
mento varia entre 0 e . Assim, se 0 T (s0 )T (s) , obtemos,
usando (5.3), que
e
cos (s) = cos(T (s0 )T (s)) cos(Te(s0 )Te(s)) cos (s). (5.4)
E segue-se o resultado.
Proposic
ao 5.7 Em qualquer curva regular e fechada : [a, b]
2
IR , o seu diametro D e dado por
D L.
Entao
e, portanto,
D largv ().
Como essa desigualdade vale para todo v S1 , segue-se que
D L.
u
nico ponto P sobre o traco de , tal que kP P k = L0 , e P esta
sobre a reta normal `a no ponto P . O ponto P e chamado ponto
antpoda de P . No caso em que esta positivamente orientada,
sua curvatura e positiva, e o ponto antpoda de P e dado por
P = P + L0 N (P ),
(s), se 0 s c,
(s) =
(s c) + 2N (s c), se c s 2c,
0 (s) = 0 (s c) 2N 0 (s c).
1
A condicao (4) implica que k > . A propriedade (3) nos diz que
2
o ndice de rotacao de e igual a um e, portanto, e estritamente
convexa. E imediato vermos que a largura de e constante e
igual a dois.
Curvas Convexas 207
e(s + nL) = (s), s [0, L], n IN.
e(s) + L0 N (s) =
e(h(s)).
o que acarreta
h0 (s) = k(s)L0 1.
Usando as propriedades da funcao h e o fato de que o ndice
de rotacao de e igual a 1, temos que
Z L Z L
0
L = h(L) h(0) = h (s) ds = (k(s)L0 1) ds
0 0
Z L
= L0 k(s) ds L = 2L0 L.
0
Portanto
L = L0 .
210 Curvas Convexas
5.4
Comprimento e Area de Curvas
Convexas
Nesta secao, vamos determinar expressoes para medir o com-
primento de uma curva estritamente convexa, bem como para a
area da regiao limitada por essa curva. Esses resultados serao
conseq uencia de escrevermos a curva usando coordenadas pola-
res tangenciais. Seja C o traco de uma curva regular, fechada,
convexa e positivamente orientada em IR2 . Seja O um ponto na
regiao limitada por C, e escolha o sistema de coordenadas de IR2
de modo que a origem seja o ponto O. Seja P = (x, y) um ponto
sobre C, e seja rP a reta tangente `a curva C em P . Considere
(P ) o angulo que a reta nP , perpendicular a rP e passando por
O, faz com o semi-eixo positivo do eixo Ox. Defina %() como
a projecao orientada P sobre nP . Se N (P ) e o campo normal e
unitario `a curva C, a projecao % e dada por
= x sen + y cos .
Portanto
x() = %() cos %0 () sen
(5.6)
y() = %() sen + %0 () cos .
Das expressoes acima, segue-se que, dados e %, podemos
determinar (x, y) C, e, reciprocamente, as equacoes em (5.6)
tambem determinam, de modo u nico, e % em funcao de (x, y).
Definic
ao 5.5 O par (, %()) e chamado de coordenadas pola-
res tangenciais de C.
1 ds
= = %() + %00 () > 0. (5.7)
k(s()) d
Se L denota o comprimento de C,
Z L Z 2
ds
L= ds = d
0 0 d
Z 2 Z 2
00
= [%() + % ()] d = %() d.
0 0
onde % e a func
ao suporte de C.
Curvas Convexas 213
onde % e a func
ao suporte de C.
2 2
L
k1 k2
e
2
A 2,
k1 k2
onde k1 e o valor maximo e k2 e o valor mnimo da curvatura
de C.
Curvas Convexas 215
X
1
%() = a0 + (an cos n + bn sen n),
2 n=1
Portanto Z
1
a0 = [%() + %( + )] d.
0
Logo a0 D e, conseq
uentemente, por (5.9),
L D. (5.11)
1
A D2 . (5.12)
4
Alem disso, a igualdade se verifica em (5.12), se e somente se C
e um crculo.
218 Curvas Convexas
L = L + 2 (5.13)
e
A = A + L + 2 2 , (5.14)
onde L e A sao, respectivamente, o comprimento de e a area da
regiao limitada por . As equacoes (5.13) e (5.14) sao conhecidas
como Formulas de Steiner para curvas paralelas a uma curva
fechada e convexa.
5.6 Exerccios
1. Mostre que, se o traco de uma curva descreve um crculo
de raio R, entao a largura de , em qualquer direcao, e
igual a 2R.
223
224 Teorema dos Quatro Vertices
F (P ) = max k(t) P k.
t[a,b]
Definic
ao 6.1 Seja uma curva fechada e regular. A fronteira
do disco fechado de menor raio que contem o traco de e cha-
mada crculo circunscrito de . Pelo lema anterior, cada curva
fechada e regular admite um u nico crculo circunscrito que sera
denotada por Circ().
0
Observe que o traco de esta contido no crculo de centro ( , 0)
2
e raio R0 sendo, portanto, possvel obtermos um disco de raio
menor que R0 que ainda contem o traco de , visto que o traco
de esta contido em dois discos distintos de mesmo raio, o que
contradiz a definicao de Circ().
Esse lema tem, como conseq
uencia imediata, o seguinte re-
sultado:
Lema 6.3 O traco de uma curva fechada e regular intersecta
seu crculo circunscrito em pelo menos dois pontos. Alem disso,
se ele intersecta em exatamente dois pontos, tais pontos estao
diametralmente opostos.
Vamos agora estudar o comportamento dos pontos do traco
de , que estao sobre Circ().
Lema 6.4 Seja : [a, b] IR2 uma curva de Jordan, regular,
parametrizada pelo comprimento de arco e orientada de modo
que o campo normal N aponte para a regi ao limitada pelo seu
traco. Para cada t [a, b], tal que (t) Circ(), as retas
tangentes `a e Circ() coincidem em (t) e a curvatura k de
satisfaz
1
k(t) ,
R0
onde R0 e o raio de Circ().
Prova. Seja P0 o centro de Circ(). Se (t1 ) Circ(), a
funcao h : [a, b] IR, dada por
h(t) = k(t) P0 k2 ,
possui um maximo em t1 . Como h nao se anula nesse ponto, e
diferenciavel em t1 e, portanto,
h0 (t1 ) = 2h0 (t1 ), (t1 ) P0 i = 0
230 Teorema dos Quatro Vertices
e
h00 (t1 ) = 2h0 (t1 ), 0 (t1 )i + 2h00 (t1 ), (t1 ) P0 i 0.
A primeira equacao nos diz que as retas tangentes de e Circ()
coincidem em (t1 ), enquanto a segunda equacao, devido `a ori-
entacao de , implica que
Observa c
ao 6.1 A curva ser curva de Jordan e fundamental
para a estimativa de curvatura no ponto Q. Observe que no ponto
1
Q, veja figura abaixo, a curvatura de em Q e maior que .
R
1
k(Q) > , onde R e o raio de M1 .
R
Temos que
sen t cos t
x0 (t) = e y 0 (t) = ,
k(t) k(t)
e, portanto,
N (t) = (cos t, sen t).
Alem disso, usando (1.9), a curvatura de , no ponto (t), e
dada por k(t). Finalmente, a condicao (6.8) implica que
1
Prova. Aplicando o Teorema 6.2 para f = , obtemos um di-
k
feomorfismo h : [0, 2] [0, 2] satisfazendo (6.9). O resultado
decorre da Proposicao 6.2.
Observa c
ao 6.2 Observe que a condic
ao sobre os quatro pontos
crticos de k no enunciado acima, nao e equivalente ao Teo-
Teorema dos Quatro Vertices 239
6.2 Exerccios
1. Mostre que uma curva regular nao pode ter exatamente
um vertice.
com a, b > 0.
240 Teorema dos Quatro Vertices
Captulo 1 - P
agina 66.
2
1. a) k(t) = ,
a
2 + t2
b) k(t) = ,
a(1 + t2 )3/2
eat
c) k(t) = p ,
(1 + a2 )
d) k(t) = 0,
3 t
e) k(t) = sec .
4a 2
t
3. k(t) = , para 0 < t < .
(t2 + 1)3/2
5. k(0) = 2a.
6. b) Nao e simples.
c)
241
242 Respostas dos Exerccios
7. b)Sim.
c) k(t) = 34 (2 + 2 cos t)1/2 .
e)
8. b)
c)
Respostas dos Exerccios 243
9. b)
244 Respostas dos Exerccios
c)
10. b)
c)
9 4
14. e (t) = (t2 t4 , t + 4t3 ) para t 6= 0.
2 3
16. k(t) = t.
2
17. a) k() =
a
Traco da curva com a = 1:
2a2 + r2
b) k() =
(r2 + a2 )3/2
Traco da curva com a = 3:
246 Respostas dos Exerccios
3
c) k() = sec
4a 2
Para o traco da curva, ver a resposta da questao 7, item a).
m
20. n
Captulo 2 - P
agina 128.
2. Dezenove componentes.
Captulo 3 - P
agina 151.
2. a) R = 4
b) R = 1
c) R = 5
d) R = 2
Captulo 4 - P
agina 173.
1. Nao.
Respostas dos Exerccios 247
Captulo 6 - P
agina 239.
3
2. Em t = 0, t = ,t = e t = .
2 2
248 Respostas dos Exerccios
Refer
encias Bibliogr
aficas
249
250 Referencias
[Sc]
Schur,A - Uber die Schwarzsche Extremaleigenshaft des
Kreises unter den Kurven Konstanter Krummung. Math.
Ann Bd 5 143-148 (1921).
Referencias 251
252
Indice Remissivo 253
Fundamental da Algebra,
119
Fundamental das Curvas
Planas, 55
traco, 14
translacao, 57
triangulo de Reuleaux, 203