Escolar Documentos
Profissional Documentos
Cultura Documentos
ds
d~r
(2) =
.
dt dt
Como 0 (t) 6= 0 para todo t I, temos que 0 (t) > 0 para todo t I; segue
que : I IR e uma funcao estritamente crescente e portanto podemos
considerar sua inversa 1 , que e uma funcao de classe C 3 definida no in-
tervalo (I). Em outras palavras, podemos reescrever a identidade s = (t)
colocando t em funcao de s, obtendo t = 1 (s); temos:
dt ds 1
= .
ds dt
Substituindo t = 1 (s) em ~r = (t), obtemos uma expressao para ~r em
funcao do parametro s; de modo mais preciso, consideramos a funcao com-
posta = 1 e obtemos uma curva ~r = (s). Note que:
d~r d~r dt d~r
d~r
1
(3) 0 (s) = = =
,
ds dt ds dt dt
r d~r
ou seja, 0 (s) = d~
ds e o versor do vetor tangente dt a curva . Em par-
0
ticular k (s)k = 1. Dizemos que a curva e uma reparametrizacao por
comprimento de arco de .
1. Exemplo. Seja : IR IR 3 definida por:
(4) ~r = (t) = (R cos t, R sen t, 0),
onde R > 0 e uma constante fixada. Temos que parametriza uma cir-
cunferencia de raio R e centro na origem, contida no plano z = 0. Temos
1
2
d~r
ou seja, o vetor dTds e normal ao vetor T (e portanto a dt ). O vetor ds
dT
k~v ~ak k 0 00 k
(11) = = ,
v3 k 0 k3
o que nos da uma expressao para a curvatura que envolve apenas derivadas
de ~r com respeito ao paramatro t. Note que de (5) e (8) podemos obter
tambem uma expressao para o vetor N :
v~a a~v v~a a~v
(12) N= 3
= ,
v k~v ~ak
onde a pode ser calculado usando (9). Usando (5), (10) e (12) obtemos a
seguinte expressao para a binormal B:
~v ~a 0 00
(13) B= = 0 .
k~v ~ak k 00 k
Temos tambem:
00 (t) = (R cos t, R sen t, 0),
0 (t) 00 (t) = (Rc sen t, Rc cos t, R 2 ),
p
k 0 (t) 00 (t)k = R R2 + c2 .
De (11) obtemos entao:
R
(t) = ,
R 2 + c2
e de (13) obtemos:
1
B(t) = (c sen t, c cos t, R).
R 2 + c2
Podemos agora calcular N usando (14):
N (t) = ( cos t, sen t, 0),
e calcular usando (19):
c
(t) = .
R2 + c2
Observamos que a curvatura e a torcao da curva sao constantes. Esse
fenomeno e uma particularidade deste exemplo; em geral, a curvatura e a
torcao de uma curva ~r = (t) sao funcoes do parametro t.