Slide Monografia

Objetivos
Preliminares
A envolvente de uma familia de Curvas
Bibliografias
A envolvente de uma famlia de curvas

Universidade Federal do Tocantins
Curso de Matematica
Acad
emico: Jeovaldo Dias Ferreira
Gardel da Costa Mesquita
Profo . Orientador: Msc. Elis
13 de marco de 2015
Jeovaldo Dias Ferreira
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Objetivos
Definir precisamente uma famlia de curvas;
Demonstrar o teorema que nos permite saber se um ponto
pertence a envolvente de uma femilia de curvas.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Objetivos
Definir precisamente uma famlia de curvas;
Demonstrar o teorema que nos permite saber se um ponto
pertence a envolvente de uma femilia de curvas.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Vetor Tangente; Curva Regular

Curva Parametrizada pelo Comprimento de Arco
Teoria local das curvas planas, F
ormulas de Frenet
Definicao
Uma curva continua no plano R2 e uma aplicacao continua
: I R2 , definida num intervalo I R.
Definicao
Uma curva parametrizada diferenciavel do plano e uma aplicacao
diferenciavel de classe C , de um intervalo aberto I R em
R2 . A variavel t e dita parametro da curva e o subconjunto de R2
dos pontos (t), t I , e chamado traco da curva.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
Uma curva continua no plano R2 e uma aplicacao continua
: I R2 , definida num intervalo I R.
Definicao
Uma curva parametrizada diferenciavel do plano e uma aplicacao
diferenciavel de classe C , de um intervalo aberto I R em
R2 . A variavel t e dita parametro da curva e o subconjunto de R2
dos pontos (t), t I , e chamado traco da curva.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet

Definicao
Seja uma curva parametrizada diferenciavel, que a cada t I
associa (t) = (x(t), y (t)). O vetor
0 (t) = (x 0 (t), y 0 (t)),
e chamado vetor tangente a em t.
Definicao
Uma curva parametrizada diferenciavel : I R2 e dita regular se
para todo t I , 0 (t) 6= (0, 0), ou equivalentemente, k0 (t)k =
6 0.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet

Definicao
Seja uma curva parametrizada diferenciavel, que a cada t I
associa (t) = (x(t), y (t)). O vetor
0 (t) = (x 0 (t), y 0 (t)),
e chamado vetor tangente a em t.
Definicao
Uma curva parametrizada diferenciavel : I R2 e dita regular se
para todo t I , 0 (t) 6= (0, 0), ou equivalentemente, k0 (t)k =
6 0.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Seja y = f (x) com derivada continua em [a, b],

do
r o omprimento
2
Rb
dx,
grafico de f de a a b e dado pela integral a 1 + dy
dx
Rt p
Rt
logo, s(t) = t0 (x 0 (t))2 + (y 0 (t))2 dt = t0 k0 (t)k dt. Esta
integral existe pois k0 (t)k e continua.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Seja y = f (x) com derivada continua em [a, b],

do
r o omprimento
2
Rb
dx,
grafico de f de a a b e dado pela integral a 1 + dy
dx
Rt p
Rt
logo, s(t) = t0 (x 0 (t))2 + (y 0 (t))2 dt = t0 k0 (t)k dt. Esta
integral existe pois k0 (t)k e continua.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
Uma curva regular : I R2 e dita parametrizada pelo
comprimento de arco, se para cada t0 , t I , Rt0 t o comprimento
t
da curva de t0 a t e igual a t t0 . Isto e t0 k0 (t)k = t t0 .
Proposicao
Uma curva regular : I R2 esta parametrizada pelo
comprimento de arco , se e s
o se, t I , k0 (t)k = 1.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
Uma curva regular : I R2 e dita parametrizada pelo
comprimento de arco, se para cada t0 , t I , Rt0 t o comprimento
t
da curva de t0 a t e igual a t t0 . Isto e t0 k0 (t)k = t t0 .
Proposicao
Uma curva regular : I R2 esta parametrizada pelo
comprimento de arco , se e s
o se, t I , k0 (t)k = 1.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Teoria local das curvas planas, Formulas de Frenet

Referencial de Frenet
Consideramos uma curva regular
(s) = (x(s), y (s)), s I ,
parametrizada pelo comprimento de arco s. Para cada s I ,
0 (s) = T (s) = (x 0 (s), y 0 (s)).
Seja N(s) um vetor unitario ortogonal a T (s), tal que a base
ortogonal de R2 formada por T (s) e N(s) tem a mesma orientacao
que a base canonica e1 = (1, 0) e2 = (0, 1) de R2 , isto e,
N(s) = (y 0 (s), x 0 (s)).
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
O conjunto de vetores {T (s), N(s)} e dito referencial de Frenet da
curva em s.
Figura: Referencial de Frenet.

Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
O conjunto de vetores {T (s), N(s)} e dito referencial de Frenet da
curva em s.
Figura: Referencial de Frenet.

Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Proposicao 1.5.1
(i) Se k(t)k e constante, entao 0 (t) e perpendicular a (t) para
todo t I , isto e,
0

(t), (t) = 0.
(ii) Se (t) e (t) sao perpendiculares para todo t I , entao

(t), (t) = (t), 0 (t) .
Sua demonstracao consta no trabalho na p(16).
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Proposicao 1.5.1
(i) Se k(t)k e constante, entao 0 (t) e perpendicular a (t) para
todo t I , isto e,
0

(t), (t) = 0.
(ii) Se (t) e (t) sao perpendiculares para todo t I , entao

(t), (t) = (t), 0 (t) .
Sua demonstracao consta no trabalho na p(16).
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Proposicao
As derivadas dos vetores T (s) e N(s) de uma curva parametrizada
pelo comprimento de arco s, satisfazem as seguintes equacoes,
T 0 (s) = k(s)N(s)
(1)
N 0 (s) = k(s)T (s)
(2)
As equacoes 1 e 2 sao denominadas equac

oes de Frenet.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Proposicao
As derivadas dos vetores T (s) e N(s) de uma curva parametrizada
pelo comprimento de arco s, satisfazem as seguintes equacoes,
T 0 (s) = k(s)N(s)
(1)
N 0 (s) = k(s)T (s)
(2)
As equacoes 1 e 2 sao denominadas equac

oes de Frenet.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
k(s), e denominada curvatura de em s.
Proposicao
Seja : I R2 uma curva regular parametrizada pelo
comprimento de arco s definida por (s) = (x(s), y (s)), a
curvatura k(s) e dada por

k(s) = T 0 (s), N(s) = N 0 (s), T (s) .
Sua demonstracao consta na p(15).
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
Proposicao

k(s) = T 0 (s), N(s) = N 0 (s), T (s) .
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Definicao
Proposicao

k(s) = T 0 (s), N(s) = N 0 (s), T (s) .
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

ormulas de Frenet
Proposicao
Seja : I R2 uma curva regular definida por
(r ) = (x(r ), y (r )). Entao a curvatura de em r I e dada pela
expressao
x 0 (r )y 00 (r ) x 00 (r )y 0 (r )
k(r ) = p
.
((x 0 (r ))2 + (y 0 (r ))2 )3
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Evolutas e involutas de curvas planas
Definicao
Se : I R2 e uma curva regular com curvatura nao nula, entao
sua evoluta e a curva D : I R2 definida por
D(t) = (t) +
1
N(t).
k(t)
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Exemplo
Se o traco de uma circunferencia descreve um crculo de raio R e
centro em P0 = (x0 , y0 ), sua evoluta e uma curva constante
D(t) = P0 . De fato, parametrizando a curva pelo comprimento
de arco temos

s
s
(s) = x0 + R cos , y0 + R sen
, s [0, 2R],
R
R
1
, a evoluta de e dada por,
R
1
s
s
D(s) = (s) +
cos , sen
1
R
R
R

s
s
s
s
= x0 + R cos , y0 + R sen
+ R cos , R sen
R
R
R
R
= (x0 , y0 ) = P0
vimos na secao 1.5 que k(s) =
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Definicao
Uma involuta de uma curva regular : I R2 e a curva
i : I R2 , dada por
i (t) = (t) + (m s(t))T (t)
sendo T o vetor tangente a , m uma constante real positiva e
s(t) o comprimento de arco de .
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Envolventes de famlia de Curvas

Teorema 2.3.1
Seja F : V R uma funcao diferenciavel definida num aberto V

F 2
F 2
2
de R e
+
6= 0, F (x0 , y0 ) = 0. entao
x (x0 ,y0 )
y (x0 ,y0 )
existe uma aberto U V de R2 contendo (x0 , y0 ) e uma curva
regular : (x0 , y0 + ) R2 tal que
1. F ((t)) = 0 se t (x0 , y0 + ),
2. se F (x, y ) = 0 com (x, y ) U, entao existe
t (x0 , y0 + ) tal que (t) = (x(t), y (t)).
Alem do mais, a curva e biunivoca e seu vetor normal e
F
( F
x , y )(t)
F
|( F
x , y )(t) |
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Definicao
Seja F : V R uma funcao diferenciavel real definida num aberto
V R3 , tal que para todo (x, y , ) V ,

F 2
F 2
+
6= 0. A funcao F (x, y ) = F (x, y , ),
x (x,y ,)
y (x,y ,)
obtida fixando , satisfaz as condic
oes do teorema 2.3.1; logo
obtemos uma curva D do plano cujos pontos p = (x, y )
satisfazem F (p, ) = 0. As curvas D obtidas desta maneira
formam uma famlia de curvas.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Exemplo
Consideremos tres circunferencias concentricas
C1 : x 2 + y 2 = (3R)2 , C2 : x 2 + y 2 = (2R)2 e C3 : x 2 + y 2 = R 2 .
As circunferencias de raio R centradas em pontos da extremidade
de C2 formam uma famlia de curvas,
que e definida implicitamente
p
pela funcao F (x, y , ) = (x (2R)2 2 )2 + (y )2 R 2 ,
com 2R 2R, assim C1 e C3 sao as envolventes dessa
famlia de circunferencias.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Figura: As envolventes C1 e C3 e a famlia de circunferencias centradas

em pontos na extremidade de C2 .
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Exemplo
Seja F : R3 R definida como F (x, y , ) = (x + )2 + y 2 R 2 ,
onde R e uma constante. As curvas D da famlia gerada por F ,
sao crculos de raio R e centro (, 0) no plano. Essa famlia tem
duas envolventes, as retas y = R e y = R. A reta C (t) = (t, R)
e tangente a curva Dt1 no ponto C (t1 ) = (t1 , R). Logo nesta caso,
(t) = t e 0 (t) = 1 6= 0.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Figura: As envolventes y = R e y = R da famlia de crculos centrados

em ((t), 0) e raio R.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Definicao
Uma curva C : I R2 e a envolvente de uma famlia de curvas
D , se para cada t existe um parametro (t) tal que a curca C
seja tangente a D (t) no ponto C (t), onde (t) e diferenciavel
com 0 (t) 6= 0, para todo t.
Como 0 (t) 6= 0, podemos reparametrizar C usando o
parametro . Isto e, definimos a reparametrizacao C pela equacao
C((t)) = C (t). Agora daremos condic
oes para saber se um ponto
esta na envolvente da famlia.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Definicao
Uma curva C : I R2 e a envolvente de uma famlia de curvas
D , se para cada t existe um parametro (t) tal que a curca C
seja tangente a D (t) no ponto C (t), onde (t) e diferenciavel
com 0 (t) 6= 0, para todo t.
Como 0 (t) 6= 0, podemos reparametrizar C usando o
parametro . Isto e, definimos a reparametrizacao C pela equacao
C((t)) = C (t). Agora daremos condic
oes para saber se um ponto
esta na envolvente da famlia.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Teorema
Um ponto da envolvente C() satisfaz as equac
oes

F C(), = 0.
(3)

F C(),
= 0.
(4)
Reciprocamente se, uma curva C() satisfaz as equacoes 3 e 4

entao C e a envolvente da famlia F .
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Demonstracao
Escrevendo C() = (x(), y ()) e usando a regra da cadeia na
composicao
(x(), y (), ) F (x(), y (), ),
derivando inplicitamente, temos que C() satisfaz 3 e 4 se e
somente se,

F
F
F
0
0
+ y ()
+1
=
x ()
x (C(),)
y (C(),)
(C(),)
F
F
x 0 ()
+ y 0 ()
=
x
y

F F
,
, C0 () = 0
x y
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias

Pelo teorema 2.3.1
F F
,
x y

e o vetor perpendicular
(C(),)
a curva D no ponto C(). Logo neste ponto C e D sao

tangentes.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Exemplo
Um aviao viaja a uma velocidade constante v maior que a
velocidade do som , em linha reta a uma altitude constante h
sobre a terra. Qual a regiao da terra que ja foi atingida pelo
barulho do aviao quando ele encontra-se sobre um determinado
ponto P da terra.
Solucao
Neste instante o aviao esta no ponto (0, 0, h), mas a um tempo
antes encontrava-se no ponto (v , 0, h). O som propaga-se a uma
velocidade constante , irradiando-se em esferas concentricas no
ponto onde se origina o som. Logo o barulho que o aviao faz
quando estava no ponto (v , 0, h) tem sido ouvido ate agora
dentro da esfera de raio e centro (v , 0, h). Se h, o son
atingiupa terra e cobriu o interio de um crculo D de centro (v , 0)
e raio ()2 h2 na terra.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Figura: Deslocamento do aviao e a irradiacao do barulho.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Estes crculos D satisfazem a seguinte equacao em R2 , (z = 0),

(x v )2 + y 2 = ()2 h2 .
O problema entao se reduz a achar a envolvente desse famlia
de crculos. Esta famlia esta dada pela funcao
F (x, y , ) = (x v )2 + y 2 ()2 + h2 , 0.
Pelo teorema 2.3.2 a envolvente satisfaz as seguintes equacoes:
i. (x v )2 + y 2 ()2 + h2 = 0
F
xv
ii.
= 2xv + 2v 2 22 = 0 = 2
v 2
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Subistituindo ii em i, obtemos:

v4
2 v 2
2v 2
2
2
2
2
+x
x
+y 2 = h2 ,
x x
v 2 2
(v 2 2 )2
(v 2 2 )2
ou seja,

2v 2
v4
2 v 2
2
x 1
+
+y 2 = h2 ,
v 2 2
(v 2 2 )2
(v 2 2 )2
2

2 2
2 2
2
4
2 2
2 (v ) 2v (v ) + v v
x
+ y 2 = h2
(v 2 2 )2
4

2 2
4
4
2 2
4
2 2
2 v 2v + 2v + 2v + v v
x
+ y 2 = h2
(v 2 2 )2
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
assim,
x2
2 (2 v 2 )
+ y 2 = h2 .
(v 2 2 )2
x 2
2
+ y 2 = h2 .
v 2 2
Em resumo , temos que a curva envolvente satisfaz a seguinte

equacao:
2
x 2 y 2 = h2 , x 0,
v 2 2
isto e, a envolvente e parte de uma hiperbole. Logo, os pontos da
terra atingidos pelo son(barrulho!) do aviao sao
2
B = {(x, y ) R2 : x 0 e 2
x 2 y 2 h2 }.
v 2
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Figura: Regiao atingida pelo barulho do aviao.
Portanto, o limite da zona de audibilidade do son do motor do

aviao supersonico concorde quando esta sobre o ponto P = (0, 0) e
a envolvente, no 1o e 4o quadrantes dessa famlia de crculos.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
ALENCAR, H.; Santos, W. Geometria diferencial das curvas

planas, 24o Coloquio Brasileiro de Matematica. IMPA, 2003.
BOLDRINI, Jose Luiz., Algebra

Linear, vol. 1, 3a ed. Sao
Paulo: Harper & Row do Brasil 1980.
GUIDORIZZI, Hamilton L. Um curso de calculo, vol. 1, 5a ed.
Rio de Janeiro: LTC 2001.
GUIDORIZZI, Hamilton L. Um curso de calculo, vol. 3, 5a ed.
Rio de Janeiro: LTC 2002.
RODRIGUES, Lucio. Introducao `a geometria diferencial. 1977.
Instituto de Matematica Pura e Aplicada, IMPA, Rua Luiz de
Camoes, Rio de Janeiro. Disponivel
em:<http://www.ebah.com.br/content/ABAAAghBsAF/geometriadiferencial-2-impa>. Acesso em: 10 mai.
2014.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
TENENBLAT, K. Introducao `a geometria diferencial, 2a ed.

Sao Paulo: Blucher, 2008.
Campus Universit
ario de Arraias
Objetivos
Preliminares
Bibliografias
Campus Universit
ario de Arraias

Slide Monografia

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Slide Monografia

Transféré par

Droits d'auteur :

Formats disponibles

Objetivos

A envolvente de uma famlia de curvas

Jeovaldo Dias Ferreira

Jeovaldo Dias Ferreira

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Curva Parametrizada pelo Comprimento de Arco

Seja y = f (x) com derivada continua em [a, b],

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Curva Parametrizada pelo Comprimento de Arco

Seja y = f (x) com derivada continua em [a, b],

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Teoria local das curvas planas, Formulas de Frenet

Vetor Tangente; Curva Regular

Figura: Referencial de Frenet.

Vetor Tangente; Curva Regular

Figura: Referencial de Frenet.

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

N 0 (s) = k(s)T (s)

As equacoes 1 e 2 sao denominadas equac

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

N 0 (s) = k(s)T (s)

As equacoes 1 e 2 sao denominadas equac

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Vetor Tangente; Curva Regular

Jeovaldo Dias Ferreira

Evolutas e involutas de curvas planas

Jeovaldo Dias Ferreira

vimos na secao 1.5 que k(s) =

Jeovaldo Dias Ferreira

Jeovaldo Dias Ferreira

Envolventes de famlia de Curvas

Jeovaldo Dias Ferreira

Jeovaldo Dias Ferreira

Figura: As envolventes C1 e C3 e a famlia de circunferencias centradas

Jeovaldo Dias Ferreira

Jeovaldo Dias Ferreira