28 Curvas = Cap.
c. Mostre que o comprimento de arco, a curvatura, ea torgao de uma
curva parametrizada sito (nos pontos onde estiio definidas) invari-
antes por movimentos rigidos.
+"7, Seja a : I > R? uma curva parametrizada regular plana (parametro
arbitrério), e defina n = n(t) e k = k(t) como na Observacao 1. Suponha
que k(t) 4 0, € I. Nestas condigdes , a curva
Alt) = a(t) + en tel,
6 chamada a evoluta de a (Fig. 1.17).
a. Mostre que a tangente em t da evoluta de a é normal a a em t.
b. Considere as retas normais de a em dois pontos vizinhos t), tz t1 #
ty. Faca t; tender a tz e mostre que o ponto de intersegao entre as
respectivas normais converge para um ponto do trago da evoluta
dea.
Figura 1-17
8. O trago da curva parametrizada (parametro arbitrério)
a(t) = (t,cosht), t€ R,
é chamado de catendria.
a. Mostre que a curvatura com sinal (cf. Observagio 1) da catendria é
gy, (au
~ cosh? t”
k(t)§1.5 Teoria Local das Curvas Parametrizadas pelo Comprimento de Arco 29
b. Mostre que a evoluta (cf. Exercicio 7) da catendria é
A(t) = (t — senh t cosh t, 2 cosh t).
« 9. Dada uma fungao diferencidvel f(s), » € I, mostre que a curva plana
parametrizada que tem k(s) = k como curvatura é dada por
a(s) = (cos (sas +a, [oon (s)ds +b),
onde
0(s) = Hi k(s)ds + ¢
e que a curva fica determinada a menos de uma translag&o pelo vetor
(a,b) e uma rotagao de Angulo ¢.
10. Considere a aplicagéo
@0,eN*), t>0
a(t)=4 (t,e-¥*,0), t<0
(0,0,0), t=0
a. Prove que a 6 uma curva diferenciavel.
b. Prove que a é regular para todo ¢ e que a curvatura k(é) # 0, para
t #0, t # +,/2/3, e k(0) =0.
. Mostre que o limite dos planos osculadores quando t + 0, t > 0, é0
plano y = 0 mas que o limite dos planos osculadores quando t — 0,
t <0, €0 plano z = 0 (isto implica que o vetor normal é descontinuo
em t = 0 ec mostra porque excluimos pontos onde k = 0.)
°
o
. Mostre que, mesmo sem ser @ uma curva plana, pode-se definir +
de forma que r = 0.
11. Freqiientemente uma curva plana é dada em coordenadas polares: p =
(9), aS O
d. Se a: I + R? é uma curva plana a(t) = (z(t), y(¢)), a curvatura
com sinal (ver Observagdo 1) de a em t é
aly! — aly
(@P + WPS?"
+13. Suponha que r(s) # 0 e K(s) # 0 para todo s € I. Mostre que uma
condigao necessaria e suficiente para que a(I) esteja contida em uma
esfera é que
k(t) =
R? + (R)*T? = const.,
onde R=1/k, T= 1/r, eR éa derivada de R em relacio a s.
14. Seja ar: (a,b) + R? uma curva parametrizada regular plana, Suponha
que existe to, a < to