Você está na página 1de 28

Universidade Federal de Minas Gerais Instituto de Ci encias Exatas Departamento de Matem atica

Curvas Planas: Constru co es e Anima co es Com Recursos do MAPLE


Rodrigo Rafael Gurgel Martins Belo Horizonte, julho de 2005

i ` MINHA MAE E HERO A INA IEDA, A MEU PAI ANTONIO, MAIOR INCENTIVADOR, ` MINHAS IRMAS AS ` E, COM AMOR, A PRISCILA.

ii

Sum ario
1 CICLOIDES E EPICICLOIDES 1.1 1.2 1.3 Curvas Parametrizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Cicl oide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A Epicicl oide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 3 7 14 14 16 16 16 18 21 21 22 23 24 25

2 TEOREMA FUNDAMENTAL DAS CURVAS PLANAS 2.1 2.2 2.3 2.4 Comprimento de Arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Curvatura de uma Curva Plana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vetor Tangente a curva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teorema Fundamental das Curvas Planas . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4.1 Aplica c oes do Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . .

3 APENDICE 3.1 3.2 3.3 3.4 Comandos Maple para a constru c ao das Cilcl oides . . . . . . . . . . . . . . . . . . . . . Comandos Maple para a constru c ao das Epicicl oides . . . . . . . . . . . . . . . . . . . . Comandos Maple para a constru c ao da Ros acea e Vetor Tangente . . . . . . . . . . . . . Comandos Maple para a constru c ao da Clot oide . . . . . . . . . . . . . . . . . . . . . .

4 REFERENCIAS BIBLIOGRAFICAS

SUMARIO

INTRODUC AO

Esta monograa estuda curvas planas parametrizadas usando como ferramenta fundamental o pacote MAPLE. Este estudo foi abordado com a altern ancia das deni c oes, proposi c oes e teoremas que os cercam. Primeiramente, usamos o MAPLE para ilustrar dinamicamente as curvas com o recurso de anima c ao e, numa segunda parte, para realizar c alculos que manualmente s ao trabalhosos ou necessitam de recursos num ericos. Descrevendo sucintamente o seu conte udo, o primeiro cap tulo apresenta deni c oes, propriedades e varia c oes dos gr acos das Cicl oides e Epicicl oides. O cap tulo dois trata das aplica c oes do teorema fundamental das curvas planas e do estudo de retas tangentes ` as curvas. Procurando descrever estes conte udos em uma linguagem mais informal e, sobretudo, refor car a import ancia do uso de novas m dias, no caso o computador, em alguns itens desta monograa o uso do MAPLE se fez mais presente que o formalismo matem atico que os envolve, embora a explora c ao das diversas ferramentas do programa tenha sido usada, objetivando um melhor entendimento das deni c oes e propriedades que envolvem o estudo das curvas planas. A leitura desta monograa pressup oe alguns conhecimentos b asicos como: c alculo diferencial, c alculo vetorial, parametriza c oes e no c oes b asicas de MAPLE, todos explorados de forma bem simplicada ao longo do texto. Assim, neste texto monogr aco, o estudo da teoria e da pr atica foi feito de forma unicada e interativa, levando em considera c ao a utilidade de ambas no estudo e aprofundamento dos itens explorados.

SUMARIO

AGRADECIMENTOS

As diculdades que vivi nos u ltimos meses foram superadas gra cas ao amor, ` a solidariedade e ao incentivo de v arias pessoas. Entre elas, gostaria de agradecer, em especial, ao grande mestre e amigo, que incluo entre as pessoas mais especiais que conheci at e hoje, Alberto Berly Sarmiento Vera. Obrigado pela paci encia, grande mestre!

Cap tulo 1

CICLOIDES E EPICICLOIDES
Das diveras curvas planas estudadas, algumas podem ser consideradas cl assicas por serem objeto de estudos em diferentes abordagens de v arios matem aticos de express ao ao longo dos tempos. Al em das aplica c oes em problemas do cotidiano, pode-se destacar a evolu c ao hist orica, bem como curiosidades e aplicabilidades dessas curvas. Neste cap tulo ser ao, abordadas e estudadas as curvas planas Cicl oide e Epicicl oide em tr es etapas: evolu c ao hist orica, parametriza c ao, constru c ao gr aca com o MAPLE e aplica c oes.

1.1

Curvas Parametrizadas

Deni c ao 1. Uma curva plana e uma aplica c ao : I I R2 , de classe C r , r 0, denida sobre um intervalo aberto I . Isto e = (x(t), y (t)), t I , onde x e y s ao fun c oes reais C r em um intervalo I . Dada uma curva plana : I I R2 , = (x(t), y (t)), t I temos que: e chamada parametriza c ao da curva, a vari avel t e chamado par ametro da curva e o subconjunto de I R2 formado pelos pontos (t) importante ressaltar que escrever curvas na forma parametrizada, quando t percorre I , e o tra co de . E na maioria das vezes, torna-se bem conveniente, pois atrav es dessas equa c oes as explora c oes das propriedades geom etricas e f sicas tornam-se mais simplicadas.

1.2

A Cicl oide

A cicl oide e uma curva descrita pelo lugar geom etrico do ponto xo P sobre a circunfer encia de raio r quando essa rola, sem deslizar sobre uma reta de um plano.

As propriedades geom etricas da Cicl oide foram, ao longo dos tempos, inspira c oes de grandes matem aticos da hist oria, come cando por Galileu em 1600, o primeiro a notar a cicl oide e a investigar suas propriedades. Ele, na verdade, n ao descobriu quaisquer dessas propriedades, mas deu ` a curva seu nome e recomendou seu estudo a seus amigos, incluindo Mersenne que informou a Descartes que descobriu,

CAP ITULO 1. CICLOIDES E EPICICLOIDES

y P O P t
Figura 1.1: Cicl oide com a=b=1 em 1638, uma constru c ao para a tangente ` a cicl oide. Em 1644, o disc pulo de Galileu, Torricelli, inventor do bar ometro, publicou sua descoberta da area sob o arco de uma cicl oide, j a o comprimento do arco de cicl oide foi descoberto em 1658 pelo grande arquiteto ingl es Chistopher Wren. Do ponto de vista hist orico, entre as propriedades de maior destaque, est a a da rela c ao da cicl oide com um famoso problema: determinar dentre todas as curvas lisas de um plano vertical a que une dois pontos dados P 1 e P 2, estando P 2 abaixo de P 1, na qual uma part cula deslizar a de P 1 a P 2 no tempo mais curto. Esse problema foi resolvido por Jonh Bernoulli em 1696 e recebeu o nome de problema da Braquist ocrona (do Grego tempo mais curto). Essa curva era um arco de cicl oide, por P 1 e P 2 com c uspide na origem (0,0). Bernoulli n ao publicou sua solu c ao, deixando-a como desao. Leibniz, Newton e seu irm ao mais velho James tamb em resolveram o problema, at e mesmo porque a cicl oide era bem conhecida devido aos trabalhos de Huygens, sobre rel ogios de p endulo, em que uma part cula pesada desliza at e a parte mais baixa de uma cicl oide gastando um mesmo tempo, n ao importando onde comece. Bernoulli reconheceu Huygens como precursor dos estudos dessas propriedades, ao chegar a conclus ao de que seu problema da Braquist ocrona, era, na verdade, a taut ocrona de Huygens fruto dos seus trabalhos sobre rel ogios de p endulo. (Simmons,George F.,1925-C aculo com geometria anal tica vol.2 pag. 260 a 267) Quando rodamos sobre o eixo ox o c rculo de raio a, cujo centro C est a sobre a reta y = a, P constr oe o rastro de uma cicl oide, em que as coordenadas de cada um de seus pontos s ao representadas pelas parametriza c oes x(t) e y (t). Assim, esses pontos representam as diversas posi c oes de P de acordo com a varia ca o do angulo t, que corresponde ao angulo formado pelo raio que cont em o ponto P , com o raio perpendicular ao eixo ox. Baseando-se nesse movimento, podemos deduzir as equa c oes param etricas da Cicl oide. Se x(t) e y (t) s ao as coordenadas de P , no giro da circunfer encia esbo cada abaixo temos a seguinte demonstra c ao:

t O x

C t a

P y x O A

Figura 1.2: Cicl oide

CAP ITULO 1. CICLOIDES E EPICICLOIDES

Como OB = arcoBP = at, logo x(t) = OB AB = at a.sent. Por outro lado, y (t) = BC QC = a a.cost. Logo as equa c oes param etricas da cicl oide s ao dadas por: x(t) = a.t a.sen(t) e y (t) = a a.cos(t)

Uma generaliza c ao desta constru c ao e xar uma haste de comprimento b, sobre o raio que cont em o ponto P . Assim, o lugar geom etrico descrito pelo extremo da haste, ao rolar a circunfer encia sobre o eixo ox, e denido pelas equa c oes param etricas: x(t) = a.t + b.sent(t) notemos que se a = b, obtemos a cicl oide. Se a > b, obtemos a Cicl oide Reduzida. Podemos observar uma diminui c ao na amplitude do seu tra cado, pois o tamanho da haste e menor que o raio da circunfer encia em rolamento g.(1.2). e y (t) = a b.cos(t).

P O P t tO x

Figura 1.3: Cicl oide Reduzida com a=1 e b=1/2 Se a < b, obtemos a Cicl oide Alargada ou Troc oide. Podemos observar que a trajet oria do ponto P e diferente da cicl oide, pois o tamanho da haste e maior que o raio do c rculo rolante g.(1.3).

y O x P
Figura 1.4: Cicl oide Alargada com a=1 e b=2

CAP ITULO 1. CICLOIDES E EPICICLOIDES Pode-se concluir facilmente que as curvas das guras (1.2) e (1.3) s ao regulares pois: x (t)2 + y (t)2 = 0 b = a propriedade que n ao ocorre para nenhum valor de t nos caso citados. Estas guras foram plotadas no MAPLE, seguindo o seguinte roteiro:

COMANDOS DE CONSTRUC AO USADOS NO MAPLE PARA AS CICLOIDES (1.1),(1.3),(1.4) Pacote para plotar gr acos e entrada das equa c oes param etricas de uma cicl oide: > with(plots) > alpha[1] := (t, a, b) > a t b sin(t); > alpha[2] := (t, a, b) > a b cos(t); Para visualizar duas posi co es distintas da circunfer encia em rolamento, constru mos as seguintes parametriza c oes dessas circunfer encias e de seus respectivos raios: > C [1] := (theta, a, t) > a t + cos(theta); > C [2] := (theta, a) > a + sin(theta); Raio de C[1]: > x(t) : t > 0; > y (t) : t > a; Raio de C[2]: > k (t) : t > t; > w(t) : t > (sqrt(3) t/3) + (2 sqrt(3) P i + 9)/9; B e C s ao os gr acos de duas posi c oes da circunfer encia em rolamento e A, o contorno da cicl oide no caso a = b = 1., ou seja, gura (1.1) : > A := plot([alpha[1](t, 1, 1), alpha[2](t, 1, 1), t = pi/2..3 P i], scaling = constrained, color = black, xtickmarks = 0, ytickmarks = 0) : > B := plot([C [1](theta, 1, 0), C [2](theta, 1), theta = 0..2 P i], scaling = constrained, color = blue) : > C := plot([C [1](theta, 1, 2P i/3), C [2](theta, 1), theta = 0..2P i], scaling = constrained, color = blue) : > Raio1 := plot([0, a, a = 0..1], color = red, thickness = 3) : > Raio2 := plot([t, (sqrt(3) t/3) + (2 sqrt(3) P i + 9)/9, t = (2 P i/3) sqrt(3)/2..2 P i/3], color = red, thickness = 3) : > Raio3 := plot([2 P i/3, a, a = 0..1], color = red, thickness = 1) : > Raio4 := plot([(2 P i/3) sqrt(3)/2), a, a = 0..3/2], color = black, thickness = 1) :

CAP ITULO 1. CICLOIDES E EPICICLOIDES

> i := textplot([0, 1, a], color = black, align = LEF T ) : > G := textplot([0, 0.2, P ], color = black, align = BELOW ) : > j := textplot([(2 P i/3) (sqrt(3)/2), 3/2, P ], color = black, align = ABOV E ) : > k := textplot([0, 2.5, y ], color = black, align = LEF T ) : > l := textplot([(2 P i/3), 1, O], color = black, align = RIGHT ) : > n := textplot([(2 P i/3) 0.2, 0.8, t], color = black, align = LEF T ) : > m := textplot([9, a, x], color = black, align = BELOW ) : > o := textplot([(2 P i/3) (sqrt(3)/2), .2, t], color = black, align = BELOW ) : Plotando a cicl oide e o c rculo rolante em duas posi c oes distintas: > display (A, B, C, Raio1, Raio2, Raio3, Raio4, i, G, j, k, l, m, n, o); Na constru ca o das guras (1.2) e (1.3), foram usados para a e b os seguintes par ametros: a = 3; b = 2 e a = 2; b = 3 respectivamente. Na cicl oide, os pontos chamados de c uspides correspodem a t = 2k , com k Z . A cicl oide entre duas c uspides corresponde ao rolamento de uma volta da circunfer encia. Em cada uma delas, a reta t tangente ` a cicl oide e vertical.Notemos que t tende a t = 2k , com k Z e y = cotg 2 , tende a +, lembramos que y e a inclina c ao da reta tangente ` a cicl oide. Com efeito: y =
t t 2sen 2 .cos 2 dy a.sentdt sent t = = = = cotg . t 2 dx a.(1 cost)dt 1 cost 2 2sen 2

1.3

A Epicicl oide

A epicicl oide e uma curva cuja constru c ao e semelhante ` a cicl oide, em que um c rculo rola na parte externa de uma circunfer encia xa. O lugar geom etrico de um ponto sobre a circunfer encia rolante chama-se epicicl oide do grego epi (sobre ou acima). Dado o c rculo xo com centro na origem e raio 1, quando rodamos sobre esse a circunfer enca de raio b, cuja posi c ao inicial tem centro (1 + b, 0) e P = (1, 0), as equa c oes param etricas da epicicl oide cam assim denidas: a+b t) b

x(t) = (a + b).cos(t) b.cos( y (t) = (a + b).sen(t) b.sen( Para todo t R, exploraremos o par ametro b.

a+b t), para todo t R. b

Se b = 1, a circunfer encia rolante teria o mesmo comprimento do c rculo base, logo o ponto P descreve uma curva fechada com uma u nica c uspide (gura (1.5)(a)), que se convencionou chamar 1 de curva de uma p etala. Para b = 2 , a circunfer encia rolante teria comprimento igual ` a metade do c rculo base, logo o ponto P descreve uma curva fechada com duas c uspides, (gura (1.5)(b)), que se convencionou chamar de curva de duas p etalas.

CAP ITULO 1. CICLOIDES E EPICICLOIDES

(a) Uma P etala Figura 1.5: Epicicl oides Fechadas

(b) Duas P etalas

1 Da mesma forma, se b = n , n n umero natural xo, ent ao n vezes o comprimento do c rculo rolante corresponde ao comprimento do c rculo base, logo o ponto P descreve uma curva fechada com n c uspides, isto e, n p etalas (gura (1.6)(a) em que n= 4 e (1.6)(b) em que n= 9).

(a) Quatro P etalas

(b) Nove P etalas

Figura 1.6: Epicicl oide de Quatro e Nove P etalas Se b =


m n

Q, isto e, m e n naturais, como o comprimento do c rculo rolante e 2 ( m n ) temos que : n.(2 ( m )) = m.(2 ) n

desta igualdade: n vezes o comprimento do c rculo rolante corresponde a m vezes o comprimento do c rculo base, logo o ponto P descreve uma curva fechada com n p etalas, em m voltas do c rculo base. Para observar a trajet oria que o c rculo rolante deveria percorrer, constru mos uma epicicl oide fechada rculo rolante percorre nove p etalas em duas voltas, sendo (gura (1.6)(a)) com b = 2 9 , ou seja, o c seu comprimento 2 do comprimento do c rculo base. 9

CAP ITULO 1. CICLOIDES E EPICICLOIDES

0.5

0.5

0.5

1.5

0.5

Figura 1.7: Epicicl oide com Nove P etalas em Duas Voltas (b=2/9) Se b n ao e racional, isto e, b e um n umero irracional, ent ao a curva descrita pelo ponto P nunca se fecha, caso contr ario: n(2b) = K (2 ), para alguns n e k naturais K Q I n O que e um absurdo, pois b e irracional. Logo, o n umero de c uspides e innito, pois corresponde aos pontos da forma: ei2nb = cos(2nb) + i(sen(2nb), n Z Z b = O seguinte lema nos mostra que o conjunto de c uspides sobre o c rculo base e um conjunto denso, isto e, xado qualquer intervalo sobre o c rculo base, existem c uspides no interior do intervalo, consequentemente, a epicicl oide acaba preenchendo densamente o anel {(x, y ); 1 x2 + y 2 b2 } (gura (1.9)(b). Lema 1. Se b I R e um n umero irracional, ent ao o conjunto de c uspides: = {ei2nb , n inteiro} e denso no c rculo base. Prova: (a) Notemos que a fun c ao: :Z Z C = ein2b , n Z Z n ein2b e injetiva. Com efeito: ein2b = eim2b ein2b =1 eim2b

ei(nm)2b = 1 (n m)2b = 2k, com b= 0 e k Z

CAP ITULO 1. CICLOIDES E EPICICLOIDES 2k Q absurdo! nm n m = 0, ou seja n = m b = o que prova a injetividade da fun c ao . (b) De (a) o conjunto de c uspides: = {ei2nb , com n Z Z} e innito no c rculo base, ent ao existe sequ encia {nj } j =1 e existe Z0 no c rculo base tal que: lim ei2nj b = z0

10

ist o e, z0 e ponto de acumula c ao. Seja {mj } encia de {nj } j =1 subsequ lim ei2mj b = z0
j

lim (ei2nj b ei2mj b ) = 0


j

Do limite acima, temos que o limite da diferen ca tende a zero, pois a diferen ca dos limites tende a zero. lim (
j

ei2nj b ei2mj b 0 ) = i2mj b ei2mj b ei2mj b e

lim (ei(nj mj )2b 1) = 0


j

lim ei(nj mj )2b = 1


j

Fazendo kj = nj mj Z Z temos:

lim eikj 2b = 1 = ei0 ,

cos(kj 2b) + i.sen(kj 2b) cos(0) + i.sen(0)

logo, temos que os argumentos kj 2b s ao arbitrariamente pequenos, isto e:


j

lim kj 2b = 0 (mod2 ).

(c) A densidade de = {ei2nb }, n Z . Seja I um intervalo arbitr ario no c rculo base, mostraremos que I = . Seja = I o comprimento do intervalo I , como kj 2 0, existe l tal que: kl 2b < 3 .

Assim, para N sucientemente grande gura (1.8), N (kl 2b) e tal que , eiN Kl 2b I . Como I foi arbitr ario, o lema est a demonstrado.

CAP ITULO 1. CICLOIDES E EPICICLOIDES

11

I e N.k l 2pb N.kl 2pb e e k j 2pb

k l 2pb

Figura 1.8: Densidade Exemplo 1. Epicicl oide Densa para a = 1 e b = 2.

interessante ressaltar o grande aux E lio que o MAPLE oferece na manipula c ao das constantes a e b da Epicicl oide Irracional. Com o MAPLE, existe a possibilidade de variar o angulo t e, ao mesmo tempo, aumentar o n umero de pontos vis veis do gr aco, o que facilita as infer encias e an alises de caracter sticas pr oprias da curva esbo cada. Na gura (1.9)(a), temos a epicicl oide denida no intervalo [20, 20 ], isto e, o c rculo rolante d a vinte voltas em torno do c rculo base. Na gura (1.9)(b), temos a mesma epicicl oide denida no intervalo [60, 60 ], isto e, o c rculo rolante d a 60 voltas em torno do c rculo base. Aumentando o intervalo de deni c ao, temos que a epicicl oide preenche densamente o anel.
3 2 1

3 2 1 3 2 1

0 1 2 3

0 1 2 3

(a) t[20, 20 ] Figura 1.9: Epicicl oides Densas

(b) t [60, 60 ]

Comparando as guras (1.9(a)) e (1.9(b)), vemos que ambas nunca se fecham, e quanto maior a vari ca o do par ametro t, maior e o n umero de pontos acumulados.

CAP ITULO 1. CICLOIDES E EPICICLOIDES

12

As epicicl oides ilustrativas desse cap tulo foram plotadas no MAPLE, seguindo o seguinte roteiro: USADOS NO MAPLE PARA g.(1.4);(1.5);(1.6);(1.8) COMANDOS DE CONSTRUC AO Roteiro Geral para constru c ao das guras (1.5); (1.6) e (1.7) no MAPLE: > G := [x(t), y (t), t = 0..2 P i] : Parametriza co es de uma Epicicl oide: > x := t > A cos(t) + B cos(C t) : > y := t > A sin(t) + B sin(C t) : Denindo os par ametros A,B e C: > a := a : > b := b : > c := c : > A := a + b : > B := b : > C := (a + b)/b : > titl := Epicicloide : > zz := 1 : Nesta parte do roteiro, escolhemos os valores para cada p arametro. Neste caso, os valores para b e a est ao denidos e N e n umero de p etalas: > N := 3 : b := 2/3 : c := N 1 : a := 1 : Comandos usados para escrever t tulo com o n umero de c uspides N: > if (zz < 3)thenb := a/N elif (zz = 3)thenc := N + 1f i : > txN := cat(N = , convert(N, string )) : titx := cat(titl, txN ) : > txb := cat(, b/a = , convert(b, string )) : > if (zz > 2)thentitx := cat(titl, txN, txb)f i : Comandos para o esbo co do gr aco como t tulo, n umero de pontos vis veis e etc:

CAP ITULO 1. CICLOIDES E EPICICLOIDES > Opt1 := scaling = constrained, axes = none, numpoints = 200, title = titx : > Optg := Opt1, titlef ont = [T IM ES, BOLD, 14], color = black, thickness = 2 : > g := plot(G, Optg ) : g ; G; F F := min(64, 8 N ) : N N := 100 + min(100, 10 N ) : > Dt := evalf (2 P i/F F ) : Com estes comandos, podemos desenhar a curva e os c rculos(base e rolante) em anima c ao:

13

> Ag := animatecurve(G, Opt1, f rames = F F + 1, numpoints = N N, color = red, thickness = 4) : Constru c ao do c rculo base de centro na origem e raio a > central := circle([0, 0], a, color = green, thickness = 3) : Constru c ao do C rculo Rolante e do raio com o comando display: > cir := t > circle([A cos(t), A sin(t)], b, color = blue, thickness = 2, numpoints = 32) : > raio := t > plot([[A cos(t), A sin(t)], [x(t), y (t)]], color = coral, thickness = 5) : > pt := t > textplot([x(t), y (t), P ], color = maroon, f ont = [T IM ES, BOLD, 14]) : > dc := t > display (pt(t), cir(t), raio(t)) : > cs := seq ([dc(i Dt)], i = 0..F F ) : > V := A + b + .1 : > dcs := display (cs, scaling = constrained, insequence = true, view = [V..V, V..V ]) : Comando de Plotagem dos gr acos: display (Ag, g, dcs, central); G;

14

Cap tulo 2

TEOREMA FUNDAMENTAL DAS CURVAS PLANAS


2.1 Comprimento de Arco

Seja : I I R2 uma curva plana C regular, isto e, (t) = 0 para todo t no intervalo I. Fixando t0 , t1 do intervalo I, subdividindo o intervalo [t0 , t1 ] pelos pontos t0 = a0 a1 ... an = t1 ligando os pontos (a0 ), (a1 ), ..., (an ) por segmentos de reta, obtemos uma linha poligonal chamada poligonal inscrita ` a curva entre (t0 ) e (t1 ). Como e uma curva regular, pode-se vericar que existe o limite t superior dos comprimentos dessas linhas poligonais e e denotado por t01 | (t)|dt que e chamado de comprimento de arco da curva de t0 a t1 .

a(a0)

a(a3) a(a4 ) a(an) a(a5)

a(a1)
t

a(a2)

Figura 2.1: Comprimento de Arco Assim, a aplica c ao s(t) = t01 | (t)|dt e denominada fun c ao comprimento de arco da curva a partir de t0 . Esta fun c ao e diferenci avel de classe C , pois e uma curva regular. R2 e dita parametrizada pelo comprimento de arco, Deni c ao 2. Uma curva regular : I I se para todo t0 , t1 I , t0 t1 o comprimento do arco da curva de t0 a t1 e igual a t1 t0 . Isto e,
t1

|| (t)||dt = t1 t0 .
t0

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS Exemplo 2. Comprimento de arco da cicl oide entre duas c uspides. As equa c oes param etricas da cicl oide s ao: x(t) = a.t a.sen(t) e y (t) = a a.cos(t), ent ao elemento comprimento de arco e dado por || (t)|| = ||(x (t), y (t))|| = (x (t))2 + (y (t))2

15

assim, das equac oes param etricas de uma cicl oide, podemos concluir que: x(t) = a(1 cos(t)) Logo, || (t)|| = O comprimento de arco e:
2 2

e y (t) = a(sen(t)).

1 1 4a2 sen2 = 2.a sen 2 2

L=
0

|| (t)||dt =
0

2.a sen d = 8.a 2

Esse comprimento de um arco de cicl oide equivale quatro vezes o di ametro do c rculo rolante. Deni c ao 3. Sejam I e J intervalos abertos de R, : I I R2 uma curva regular e h : J I uma fun ca o diferenci avel C , cuja derivada primeira e n ao nula em todos os pontos de J e tal que h(J ) = I . Ent ao a fun c ao composta = (h) = I, comh (t) > 0paratodot e uma curva regular, que tem o mesmo tra co que , chamado reparametriza c ao de por h. A fun c ao h e dita mudan ca de par ametro. Pela regra da cadeia =h. (h), segue que se e uma curva regular e uma representa c ao, positiva h (t) > 0 ou negativa h (t) < 0, de , ent ao tamb em e regular. Logo devido ao seu car ater geom etrico, pode-se mostrar que o comprimento de uma curva plana seja independente da parametriza c ao utilizada. Lema 2. Toda curva regular admite uma reparametriza c ao pelo comprimento de arco. Prova: Seja : I I R2 uma curva regular. Fixado t0 I , a fun c ao comprimento de arco s : I I R dada por:
t

s(t) =
t0

|| (u)||du, t I,

e diferenci avel de classe C em I .Como s (t) = || (u)||= 0 e admite uma inversa h : J = s(I ) I . A aplica c ao = o h e uma reparametriza c ao positiva de que satisfaz || (s)|| = 1 para todo s J . O comprimento de sobre um intervalo [c, d] contido em J e dado por:
d

l( )|[c, d] =
c

|| (s)||ds = d s,

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS

16

ou seja, o pr oprio par ametro s mede o comprimento ao longo de . Assim, podemos dizer que e uma reparametriza c ao de pelo comprimento de arco. Logo, toda curva plana regular pode ser reparametrizada pelo comprimento de arco.

2.2

Curvatura de uma Curva Plana

A curvatura de uma curva mede, em cada ponto, o quanto ela deixa de ser uma linha reta. Intuitivamente, a curvatura de uma reta r e zero em qualquer ponto e a curvatura de uma circunfer encia de raio r e 1 . Assim, a medida que o raio r de um c rculo aumenta, sua curvatura K diminui. J a ao fazer r o raio tender para o innito a curvatura K , tende para zero. Deni c ao 4. Se uma curva plana (t) = (x(t), y (t)) admite parametriza c ao com um par ametro qualquer t, e : J R2 uma reparametriza c ao de pelo comprimento de arco, ent ao se K (s) e a curvatura de em s temos: K (s(t)) =
|x (t)y (t)y (t)x (t)| [(x (t))2 +(y (t))2 ]3 /2

2.3

Vetor Tangente a curva

Se (t) = 0, dene-se vetor unit ario tangente T(t) a no ponto (t) como: T (t) = 1 (t) (t)

O vetor derivada est a na dire c ao da reta tangente ` a curva. Sabendo que (t0 ) e o vetor dire c ao da reta tangente ` a curva (t) no ponto (t0 ), a equa c ao da reta tangente ` a curva regular, passando pelo ponto (t0 ) e dada por: L(r) = (t0 ) + r. (t0 ). O sentido de movimento dos vetores posi c ao e chamado de orienta c ao da curva. Assim, a dire c ao do vetor tangente nos permite reconhecer a orienta c ao do movimento. Abaixo segue uma ilustra c ao do vetor tangente atrav es do esbo co de uma ros acea de equa c oes parametrizadas dada por: x(t) = sin(2.t).cos(t) e y (t) = sin(2t).cos(t) Nela aparece o vetor tangente ` a mesma num ponto P qualquer da curva. Esse mesmo exemplo tem uma explora c ao mais interessante em rela c ao ` a visualiza c ao desse vetor em deslocamento, ao longo de toda a curva, que pode ser visualizado no MAPLE, atrav es do comando chamado de plots[animate]. Assim, temos a seguinte gura:

2.4

Teorema Fundamental das Curvas Planas

O teorema a seguir mostra que a curvatura determina uma curva plana, a menos de sua posi c ao no plano.

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS

17

Figura 2.2: Ros acea Teorema 1. Teorema fundamental das Curvas Planas Dada uma fun ca o diferenci avel K (s), s I R, existe uma curva regular (s), parametrizada pelo comprimento de arco s, cuja curvatura e K (s)talqueK (s) > 0. Demonstra c ao: a) Consideremos (s) = s0 K (s).ds,com K (s) > 0 onde s0 I e xo. Fixemos um ponto P0 = (x0 , y0 ) de R2 e R. Denimos uma curva (s) = (x(s), y (s)) por:
s s

x(s) = x0 +
s0

cos((s) + )ds

y (s) = y0 +
s0

sen((s) + )du

Vamos vericar que a curva est a parametrizada pelo comprimento de arco s e sua curvatura e K (s) tal que K (s) > 0. De fato: (s) = (cos((s) + ), sen((s) + )

n(s) = (sen((s) + ), cos((s) + )) e portanto temos que | (s)| = 1 e a curvatura de e dada por: |x (t)y (t) y (t)x (t)| = (s) = k (s) [(x (t))2 + (y (t))2 ]3 /2

K=

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS

18

2.4.1

Aplica c oes do Teorema Fundamental

Os dois exemplos que seguem s ao aplica c oes do teorema fundamental das curvas planas. Exemplo 3. Estudaremos as curvas que t em como curvatura a fun c ao K (s) = s. Para isso xamos s0 = 0 e pela demonstra c ao do teorema fundamental temos:
u u

(u) =
0

K (s).ds =
0

s.ds

= Logo, (u) =
u2 2 .Assim

u2 u2 s2 = 0= 2 2 2

(s) = (x(s), y (s)), com x0 = 0 , y0 = 0 e = 0 ser a:


s s

x(s) =
0 s

cos((u)).du =
0 s

cos(

u2 ).du 2 u2 ).du 2

y (s) =
0

sen((u)).du =
0

sen(

Essas curvas s ao chamadas de cloto des.


1 1 = 0 at e R = . As coordenadas A Clot oide e uma curva cuja curvatura cresce linearmente de R retangulares da clot oide s ao integrais de Fresnel constru das atrav es das equa c oes parametrizadas dadas por: t u2 x(t) = cos( )du 2 0 t

y (t) =
0

sen(

u2 )du, para u R. 2

A resolu c ao da parte num erica, que envolve a constru c ao do gr aco dessa curva, e uma tarefa de dif cil solu c ao sem o aux lio de uma ferramenta computacional, como por exemplo, o MAPLE. Para a determina c ao das coordenadas x e y de um ponto qualquer da clot oide e necess aria a aplica c ao de uma Matem atica mais avan cada. Assim, o uso do MAPLE se fez presente na constru c ao do gr aco de uma Clot oide como a da (gura (2.1)). Na gura (2.2) pode-se observar uma Clot oide em forma se S , que interliga dois arcos de circunfer encia reetidos para lados contr arios. Ela consiste de dois segmentos de Clot oide que, no ponto comum de origem, possuem raio e um tangente em comum. DA FIGURA (2.2): COMANDOS USADOS NO MAPLE PARA CONSTRUC AO Figura (2.2) -Clot oide : Equa c oes da Clot oide, em fun c ao dos par ametros a e t. > with(plots) : > clotoide := (a, t) > [a sqrt(P i) F resnelS (t/sqrt(P i)), a sqrt(P i) F resnelC (t/sqrt(P i))]; Comando usado para esbo car o gr aco da clot oide:

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS

19

Figura 2.3: Clot oide de Volta 2. a 2. > plot([op(clotoide(1, t)), t = 0..10], xtickmarks = 0, ytickmarks = 0, labels = [x, y ], scaling = constrained) : Um dado curioso e interessante, em rela c ao a Clot oide, est a na sua principal aplica c ao: a implanta c ao de estradas. No in cio de um movimento curvil neo, o ve culo tende a realizar um movimento de mudan ca de dire c ao gradual, sendo ent ao necess aria uma curva de transi c ao para adaptar o tra cado ao movimento do ve culo neste in cio de movimento curvil neo. A aus encia ou insuci encia dessas curvas obrigam os motoristas a uma redu c ao de velocidade bem como a um cortardas curvas. Um modo de dirigir eciente s o e poss vel com a inclus ao de uma curva de transi c ao, sendo a Clot oide especialmente adequada gra cas ao linear de sua curvatura. Em velocidades constantes e com mudan ca de dire c ao crescente, a trajet oria de um ve culo corresponde exatamente a um segmento de Clot oide. A aplica ca o de um segmento de Clot oide constitui-se, consequentemente, na transi c ao mais utilizada entre dois elementos de tra cado, sejam eles: interliga c ao de uma reta com um arco de circunfer encias, de duas retas com dire c oes diferentes ou de dois arcos de circunfer encia com raios diferentes. Assim, o uso de uma Clot oide como arco de transi c ao resulta em um comportamento de tr ansito uente, pois a mesma permite um tra cado generoso, o qual n ao se pode ser obtido por arcos de circunfer encias. Exemplo 4. Estudaremos as curvas que t em como curvatura a fun ca o K (s) = Fixamos s0 = 0 e, pela demonstra c ao do teorema fundamental, temos:
u u 1 as+b ,

com a = 0.

(u) =
0

K (s).ds =
0

1 as + b

= ln
+b Logo,(u) = ln aua ln b a .

as + b au + b ln b = ln a a a

Assim (s) = (x(s), y (s)), com x0 = 0 , y0 = 0 e = 0 ser a:


s s

x(s) =
0 s

cos((u)).du =
0 s

cos(ln

au + b ln b ).du a a au + b lnb ).du a a

y (s) =
0

sen((u)).du =
0

sen(ln

CAP ITULO 2. TEOREMA FUNDAMENTAL DAS CURVAS PLANAS

20

Essas parametriza c oes foram exploradas no MAPLE, o que possibilitou a constru ca o dos gr acos das espirais logar timicas das guras (2.4)(a) e (b).

(a) Espiral Aberta a =

1 8

eb=

1 8

(b) Espiral Fechada a = Figura 2.4: Espirais Logar tmicas

1 8

eb=

1 8

As espirais logar tmicas foram considerads inicilamente por Descartes, em 1638, relacionadas a um problema de din amica que o levou a determinar as curvas planas com a propriedade de que o angulo entre o vetor posi c ao (t) e o vetor (t) e constante. N ao fosse Descarte t ao rme em sua rejei c ao ` as curvas por ele chamadas de mec anicas, das quais a espiral faz parte, ele poderia ter se antecipado a Torricelli que, num trabalho independente, descobriu, em 1645, a primeira retica c ao moderna de uma curva. Assim Torricelli mostrou que o comprimento total da espiral logar tmica a partir de = 0, quando se enrola para dentroem torno do p olo 0, e igual ao comprimento de um segmento contido na reta tangente ` a em = 0. COMANDOS USADOS NO MAPLE PARA PLOTAR AS ESPIRAIS DA FIGURA (2.4): Salvando o arquivo em eps: plotsetup(ps, plotoutput = espiaberta.eps, plotoptions = BLACK, portrait, noborder); > plotsetup(def ault); Entrando com as equa c oes param etricas: > x(s) := (s, a, b) > int(cos(ln(a s + b)/a ln(b)/a), s); > y (s) := (s, a, b) > int(sin(ln(a s + b)/a ln(b)/a), s); Denindo os valores de a,b e s no caso da Espiral Fechando para origem para plotar: > plot([x(s)(s, 1/8, 1/8), y (s)(s, 1/8, 1/8), s = 0..8 P i], color = red, numpoints = 100;

21

Cap tulo 3

APENDICE
3.1 Comandos Maple para a constru c ao das Cilcl oides

CAP ITULO 3. APENDICE

22

3.2

Comandos Maple para a constru c ao das Epicicl oides

CAP ITULO 3. APENDICE

23

3.3

Comandos Maple para a constru c ao da Ros acea e Vetor Tangente

CAP ITULO 3. APENDICE

24

3.4

Comandos Maple para a constru c ao da Clot oide

25

Cap tulo 4

REFERENCIAS BIBLIOGRAFICAS
[Rodr guez ] Rodrigues R. Paulo Introdu ca o ` as Curvas e Superf cies., vol 1, , 2001. c ao ` a geometria diferencial ,1a reimpress ao, 1990. [Tenenblat ] Tenenblat, Keti, Introdu [Simons ] Simmons , George F. C alculo com geometria anal tica., 1987. [Lenimar ] Andrade, Nunes,Lenimar, Introdu ca o ` a computa c ao Alg ebrica com o Maple, 2004. [Alves ] Alves, S ergio A espiral equiangular, Bienal de Matem atica , 2002.