Rodrigo Miyasaki
Goinia
2017
Rodrigo Miyasaki
Goinia
2017
Todos os direitos reservados. proibida a reproduo total ou parcial deste trabalho
sem a autorizao da universidade, do autor e da orientadora.
Rodrigo Miyasaki
Graduou-se em Licenciatura em Matemtica no ano de 2002 pela Universidade Estadual
Paulista - Jlio de Mesquita Filho/ UNESP, Campus de Presidente Prudente - SP.
Lecionou como professor substituto nas Universidade Federal de Mato Grosso/ UFMT,
Campus do Pontal do Araguaia e Universidade Estadual de Gois, Campus de Ipor.
Atualmente professor efetivo da Secretaria Estadual de Educao e Cultura do Estado
de Gois sendo Professor de Regime de Dedicao Exclusiva e Coordenador da rea
de Matemtica e Cincias da Natureza no CEPI Professor Pedro Gomes.
8
Dedico este trabalho minha querida esposa Kaisy e aos
meus pais Ywao e Luiza pelo incentivo.
Agradecimentos
Agradeo aos meus pais Ywao e Luiza, que me deram o suporte necessrio para que
esta conquista fosse possvel, lembrando as palavras de minha querida me. "Sempre
faa o seu melhor ".
Agradeo a minha av Emiko, aos meus irmos Rafaela e Rodolfo Miyasaki, pelo
apoio, amizade e carinho.
Aos meus queridos lhos Pedro Henrique e Ana Beatriz que sempre entenderam os
momentos ausentes em suas vidas durante esta caminhada no PROFMAT. E a meus
novos herdeiros Leonardo e Rafael que chegaram para alegrar nossas vidas na reta nal
deste trabalho.
Agradeo em especial ao amigo e Professor PhD Ole Peter Smith pelo apoio e ori-
entao para a realizao deste trabalho.
10
Agradeo em especial ao casal, Rafel Gomes Xavier e Ludmyla Rayanne que sempre
estiveram presentes me incentivando nesta caminhada e meu grande amigo Uender
Barbosa de Souza, pelos conselhos e ajuda.
Agradeo a meu grande amigo e diretor Jos Joaquim Gomes Neto e minha Coorde-
nadora Pedaggica, amiga e companheira de trabalho Maria Alice da Silva Gomes, pelo
apoio e incentivo durante toda essa caminhada, assim como a meus amigos Weslane
Sampaio Valim Feliciano e Olivaldo Pereira da Silva pela amizade e companheirismo.
Agradeo aos membros da ICET e em especial ao meu grande amigo e irmo Srgio
Silva e sua esposa Ndia Camila Silva Fres pela amizade e companheirismo que se
tornaram integrandes de minha famlia.
11
Resumo
Este trabalho tem a proposta de fazer uso do Software GeoGebra como uma ferra-
menta no estudo das curvas planas. O Software foi escolhido pois uma ferramenta
poderosa no ensino aprendizagem em todos os nveis da Matemtica, pois trabalha
com lgebra e Geometria, permitindo com que o usurio realize operaes algbricas
e grcas na mesma interface. Os temas abordados incluem as curvas planas parame-
trizadas at o estudo do Referencial de Frenet, fazendo do Geogebra uma importante
ferramenta para o estudo e visualizao dos conceitos abordados. Com o auxlio do
Software podemos analisar melhor as curvas atravs de seus grcos.
i
Abstract
This paper proposes to make use of GeoGebra Software as a tool in the study of at
curves. The Software was chosen because it is a powerful tool in teaching learning at all
levels of Mathematics because it works with Algebra and Geometry, allowing the user
to perform algebraic and graphical operations in the same interface. The topics covered
include the parameterized at curves up to the study of the Frenet benchmark, making
Geogebra an important tool for the study and visualization of the concepts covered.
With the help of the Software we can better analyze the curves through their graphs.
ii
Lista de Figuras
iii
2.10 Curva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.11 Reta Tangente a Curva . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.12 Ciclide. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.13 Curva Parametrizada Pelo Comprimento de Arco. . . . . . . . . . . . . 34
2.14 Espiral. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.15 Espiral Logartmica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.16 Ciclide. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.17 Referencial de Frenet. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.18 Construo da Curva Ciclide para Evoluta . . . . . . . . . . . . . . . 48
2.19 Construo da Evoluta para t = 2 . . . . . . . . . . . . . . . . . . . . . 49
2.20 Construo da Evoluta para t = 4 . . . . . . . . . . . . . . . . . . . . . 49
2.21 Construo da Evoluta para t = 7 . . . . . . . . . . . . . . . . . . . . . 50
2.22 Construo da Evoluta para t = 15 . . . . . . . . . . . . . . . . . . . . 50
iv
3.22 Reta Normal Curva (t) = (t, sin t) . . . . . . . . . . . . . . . . . . 64
3.23 Reta Tangente, Normal e Referencial de Frenet para Curva (t) =
(t, sin t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.24 Reta Tangente, Normal e Referencial de Frenet para Curva (t) =
(t cos t, t sin t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.25 Reta Tangente, Normal e Referencial de Frenet para Curva (t) =
(t cos t, t sin t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.26 Construo da Epiciclide. . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.27 Construo da Epiciclide, t = 0, 6. . . . . . . . . . . . . . . . . . . . . 69
3.28 Construo da Epiciclide, t = 6, 2. . . . . . . . . . . . . . . . . . . . . 69
3.29 Construo da Epiciclide, R = 3 e r = 0, 3 . . . . . . . . . . . . . . . . 70
3.30 Cardiide. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.31 Construo da Hipociclide. . . . . . . . . . . . . . . . . . . . . . . . . 72
3.32 Hipociclide para R = 5 e r = 1 . . . . . . . . . . . . . . . . . . . . . . 73
3.33 Hipociclide para R = 4 e r = 1, 1. . . . . . . . . . . . . . . . . . . . . 74
3.34 Construo da Trocide. . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.35 Trocide para t = 9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.36 Trocide para t = 20. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.37 Construo da Epitrocide. . . . . . . . . . . . . . . . . . . . . . . . . 77
3.38 Epitrocide para t = 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.39 Epitrocide para t = 20. . . . . . . . . . . . . . . . . . . . . . . . . . . 78
v
Sumrio
Introduo 1
1 O Software Geogebra 3
1.1 Conhecendo um Pouco Mais o Geogebra . . . . . . . . . . . . . . . . . 3
1.1.1 Mover . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.2 Ponto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.3 Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.4 Reta Perpendicular . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.5 Polgono . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.6 Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.7 Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.8 ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.9 Reexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.10 Controle Deslizante . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.11 Mover Janela . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 O GeoGebra e as Curvas Planas . . . . . . . . . . . . . . . . . . . . . . 13
2 Curvas Planas 14
2.1 Um Pouco de Histria . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Curvas Planas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Vetor Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4 Comprimento de Arco . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5 Frmulas de Frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.6 Curvatura e Evoluta de Curvas Geradas por Crculos de Rolamento . . 43
2.6.1 Evoluta da Ciclide . . . . . . . . . . . . . . . . . . . . . . . . . 45
vi
3 Geometria das Curvas Planas e o Geogebra 51
3.1 Ciclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2 Espiral de Arquimedes . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.3 Reta tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.4 Referencial de Frenet para a curva (t) = (t, t2 ) . . . . . . . . . . . . . 59
3.5 Referenciais de Frenet para a Curva (t) = (t, sin t) . . . . . . . . . . . 62
3.6 Referencial de Frenet para a Espiral de Arquimedes . . . . . . . . . . . 65
3.7 Epiciclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.8 Hipociclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.9 Trocide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.10 Epitrocide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4 Consideraes Finais 79
Referncias Bibliogrcas 81
vii
Introduo
Atualmente inegvel que temos inmeras maneiras e recursos para inovar na forma
de se ensinar Matemtica nos mais diferentes nveis da educao em todo mundo,
sendo o ensino de Matemtica uma das maiores preocupaes da maioria dos centros
de ensino. Segundo [5] os alunos devem trabalhar com modelos slidos e com mate-
rial visual. [6] relata a importncia do uso de softwares matemticos no processo de
ensino aprendizagem da Matemtica. Nesse ponto de vista, que o presente trabalho
justica-se, tendo como objetivo principal usar uma abordagem diferente no estudo
das curvas planas, tendo em vista que com uma melhor visualizao das curvas e retas
podemos entender melhor os conceitos aplicados.
As curvas planas sempre foram objeto de estudo desde a antiguidade, onde os ma-
temticos estudaram muitas curvas. No incio essas curvas eram descritas por lugares
geomtricos, que somente mais tarde vieram a ser estudadas analiticamente junto com
o desenvolvimento da Geometria Analtica e lgebra Linear. Mas esse desenvolvimento
foi lento, inicialmente partindo da necessidade de razes de semelhanas e noes de
distncia. Assim, como a necessidade de se fazer delimitaes de terras, e com isso,
surgindo os polgonos.
O estudo da Geometria Diferencial tem incio com o estudo de curvas, onde retas
tangente foram estudadas por Euclides e Arquimedes. Hoje sabemos que na antigui-
dade mesmo no perodo antes de Cristo os matemticos j realizavam estudos sobre as
cnicas, porm foram os trs problemas clssicos da antiguidade que deram incio ao
estudo das curvas planas, sendo eles:
Duplicao do Cubo
Trisseo de um ngulo
1
Quadratura do Cubo
Esses trs problemas serviram de inspirao para o estudo das curvas planas, como
por exemplo na utilizao da Cisside de Dicles e na Espiral de Arquimedes.
No terceiro captulo temos a unio do primeiro com o segundo captulo onde apre-
sentamos uma Geometria Dinmica, fazendo a anlise de curvas planas, retas e mos-
tramos como se comporta o Referencial de Frenet ao longo das curvas parametrizadas.
2
Captulo 1
O Software Geogebra
O GeoGebra um sof tware livre criado por Markus Hohenwarter em sua dissertao
no ano de 2001. O Geogebra um sof tware de matemtica dinmica de multiplata-
forma que utilizado por todos os nveis de ensino desde o fundamental at o ensino
superior, por trabalhar com geometria, lgebra, tabelas e grcos, realizando clculos
numa nica aplicao.
O Geogebra tem recebido vrios prmios na Europa e EUA, sendo um sof tware
muito popular, utilizado atualmente em 190 pases, e traduzido em 55 idiomas. A van-
tagem de se utilizar o Geogebra que ele um sof tware de fcil manuseio, que permite
o usurio possa interagir de forma muito dinmica com a lgebra e a Geometria. Outra
enorme vantagem do Geogebra que um sof tware livre que permite o fcil acesso de
professores e alunos, permitindo que novas estratgias de ensino aprendizagem sejam
usadas pelos mesmos na busca pelo entendimento dos saberes matemticos.
O Geogebra tornou-se to conhecido no mundo inteiro que atualmente existem cerca
de 62 institutos de Geogebra espalhados por 44 pases com a nalidade de dar suporte
para seu uso.
3
Figura 1.1: Interface Inicial do GeoGebra.
4
Figura 1.3: Opo Arquivo no Menu do GeoGebra.
1.1.1 Mover
A opo mover dado pelo seguinte cone: . Neste item temos a opo "Mover",
que nos permite outras opes como a rotao em torno de um ponto, assim como
desenhar uma funo mo livre.
5
Figura 1.5: Opo Mover.
1.1.2 Ponto
A opo "Ponto" dado pelo cone: . Neste item temos a opo "Ponto", onde
podemos trabalhar os mais variados pontos desde a marcao de um simples ponto
como tambm a interseco de duas linhas, como podemos observar as opes a seguir
na Figura 1.6.
6
1.1.3 Reta
A opo "Reta" representada pelo cone: . Neste item temos a opo "Reta",
onde podemos traar retas, segmentos de reta e vetores, como podemos observar na
gura 1.7.
7
Figura 1.8: Opo Reta Perpendicular.
1.1.5 Polgono
A opo "polgono" representada pelo cone: . Neste item temos a opo
"Polgono", onde podemos construir os mais variados polgonos tanto rgidos como
deformveis, como podemos observar na gura a seguir:
8
1.1.6 Crculo
A opo "Crculo" representada pelo cone: . Neste item temos a opo
"Crculo", onde podemos construir os mais variados crculos, setores circulares, arcos
e semicrculos como podemos observar na gura 1.10.
1.1.7 Cnicas
A opo "Cnicas" representada pelo cone: . Neste item temos a opo "Cni-
cas", onde podemos construir as mais variadas cnicas dados 5 pontos, como Elipses,
Parbolas e Hiprboles como podemos observar na gura 1.11.
1.1.8 ngulos
A opo "ngulos" representada pelo cone: . Neste item temos a opo "n-
gulos", onde podemos construir ngulos, ngulos com amplitude xa, alm de calcular
9
Figura 1.11: Opo Cnicas.
10
1.1.9 Reexo
A opo "Reexo" representada pelo cone: . Neste item temos a opo
"Reexo", onde podemos determinar um ponto reetido em relao a uma reta ou
em relao a um ponto, alm de determinar a rotao em torno de um ponto ou a
translao por um vetor. Temos ainda nesta opo de Homotetia, ou seja, podemos
ampliar ou reduzir um objeto por um determinado fator.
11
Figura 1.14: Opo Controle Deslizante.
12
1.2 O GeoGebra e as Curvas Planas
Nosso objetivo principal no presente trabalho utilizar o sof tware GeoGebra para
uma melhor visualizao das curvas planas na Geometria Diferencial para dar um olhar
diferente no estudo das mesmas visto que muitas vezes a falta da visualizao de algu-
mas curvas dicultam o seu estudo.
O GeoGebra consegue fazer o grco de curva de varivel atravs do comando "Curva"como
no exemplo:
13
Captulo 2
Curvas Planas
O estudo da Geometria Diferencial tem incio com o estudo de curvas, onde retas
tangente foram estudadas por Euclides e Arquimedes. Segundo [3] desde a antiguidade
mesmo, no perodo antes de Cristo, os matemticos j realizavam estudos sobre as
cnicas, porm foram os trs problemas clssicos da antiguidade que deram incio ao
estudo das curvas planas, sendo eles: Duplicao do Cubo, Trisseo de um ngulo e
Quadratura do Cubo.
Esses trs problemas serviram de inspirao para o estudo das curvas planas, como
por exemplo na utilizao da Cisside de Dicles e na Espiral de Arquimedes.
14
A seguir temos uma representao de duas curvas planas traadas no Geogebra.
15
Analisando a aplicao , temos ainda que se I = [a, b] e (a) = (b), dizemos que
uma curva fechada.
A seguir temos o exemplo de uma curva plana fechada dada pelo grco do cardiide
de equaes paramtricas dadas por:
16
(t + k) = (t).
De fato,
(t + k) = (t) (t + k, sin (t + k)) = (t, sin (t)) t + k = t k = 0
De onde obtemos,
k = 2m, k = 2, 4, ...
com m um nmero inteiro.
Temos ento que o perodo de 2 .
Denio 2.2.5. Uma curva no plano o grco de uma funo envolvendo duas
variveis (x, y).
Do ponto de vista da geometria diferencial, em muitas situaes conveniente adotar
um ponto de vista dinmico, representando a curva como a trajetria de um ponto
mvel.
Assim, considerando essa ideia intuitiva, podemos considerar um ponto (t) descre-
vendo uma trajetria com movimento contnuo num intervalo [a, b], variando no tempo
t.
Nessas condies formamos o conjunto
Denio 2.2.7. Considere uma reta r que passa pelos pontos A e B . Para encontrar
a equao paramtrica da reta r, consideramos um ponto P (x, y) pertencente a reta r.
Como os pontos A, B e P pertencem reta r, temos por proporo que:
|AP |
= t, t R.
|AB|
17
Note ainda que utilizando o Teorema de Tales, temos que:
|AP | |AB| |AP | y yA
= = .
y yA yB yA |AB| yB yA
|AP |
Como = t, t R, temos:
|AB|
y yA
= t y yA = t (yB yA ) y (t) = yA + t (yB yA ) .
yB yA
|AP |
Como = t, t R, temos:
|AB|
x xA
= t x xA = t (xB xA ) x (t) = xA + t (xB xA ) .
xB xA
Exemplo 2.2.8. Obtenha as equaes paramtricas da reta que passa pelos pontos
A (2, 2) e B (3, 4).
Devemos encontrar as equaes paramtricas da reta que passa pelos pontos A (2, 2)
e B (3, 4). Ento utlizando o Geogebra podemos traar a reta no plano,
18
Figura 2.3: Reta.
x (t) = 2 + t (3 2)
, t R.
y (t) = 2 + t (4 + 2)
x (t) = 2 + t
, t R.
y (t) = 2 + 6t
(t) = (2 + t, 2 + 6t) , t R.
19
Exemplo 2.2.9. Determine as equaes paramtricas da reta de equao r : 2xy = 6.
x = 1, temos
2x y = 6 2.1 y = 6 y = 6 2 y = 4
x = 2, temos
2x y = 6 2.2 y = 6 y = 6 4 y = 2.
20
Assim os pontos encontrados so A (1, 4) e B (2, 2).
x (t) = 1 + t
, t R.
y (t) = 4 + 2t
(t) = (1 + t, 4 + 2t) , t R.
21
A equao cartesiana da circunferncia de raio r > 0 e centro na origem dada
por,
: x2 + y 2 = r 2 .
Figura 2.6: Circunferncia de Raio 3 2 Centradada na Origem.
22
|OP2 | x
sin t = sin t = x = r. sin t.
|OP | r
Assim as equaes paramtricas da circunferncia de centro O (0, 0) e raio r, so
dadas por:
x (t) = r. cos t
, t R.
y (t) = r. sin t
Considere agora uma circunferncia com centro fora da origem. Isto , com o centro
dessa circunferncia seja dado por O (xc , yc ) e o raio por r.
Tome assim um ponto P (x, y) .
23
|OP1 | x xc
cos t = cos t = x xc = r. cos t x (t) = xc + r. cos t
|OP | r
e
|P P1 | y yc
sin t = sin t = y yc = r. sin t y (t) = yc + r. sin t.
|OP | r
Assim as equaes paramtricas da circunferncia de centro O (xc , yc ) e raio r so:
x (t) = xc + r. cos t
, t R.
y (t) = yc + r. sin t
Denio 2.3.2. Dado uma curva , dizemos que regular se o vetor tangente
0 (t) no nulo qualquer que seja t I .
Denio 2.3.3. Considere o vetor tangente 0 (t) de (t), o vetor tangente unitrio
em relao a , dado por
24
(k) = (t0 ) + k.0 (t0 ) , k R.
Exemplo 2.3.6. Considere a circunferncia (t) = (x (t) , y (t)) dada pela parametri-
zao,
x (t) = r. cos t
, t R.
y (t) = r. sin t
Assim, para exemplicar, vamos analisar a posio desses vetores para t = .
2
25
Figura 2.8: Reta Tangente Circunferncia de Centro na Origem e raio r > 0, no
Ponto (0, 1).
x (t) = sin 2t. sin t
, t R.
y (t) = sin 2t. cos t
26
0 (t) = (x (t) , t (t))
(k) = (sin 2t0 . cos t0 , sin 2t0 . cos t0 ) + k. (2. cos 2t0 . sin t0 , 2. cos 2t0 . sin t0 ) .
(k) = (sin 2t0 . cos t0 2k. cos 2t0 . sin t0 , sin 2t0 . cos t0 2k. cos 2t0 . sin t0 ), t0 I
27
Observao 2.3.8. Observamos que no ponto B (1, 0) existem duas retas tangentes,
uma quando t = 1, temos
x (t) = 1 2t
y (t) = 2t, t R.
Quando t = 1, obtemos
x (t) = 1 + 2t
y (t) = 2t, t R.
(t) = (t2 , t3 t)
Com o auxlio do GeoGebra podemos traar retas tangentes a essa curva em qual-
quer ponto que desejarmos.
Para exemplicar, escolhemos o ponto B = (1, 0), assim podemos traar uma reta
tangente a essa curva passando por esse ponto utilizando a ferramenta do Geogebra
que traa a reta tangente a curva num dado ponto.
Para isso marcamos o ponto B = (1, 0) e selecionamos a curva para que seja ento
traada a reta tangente, como podemos observar na gura a seguir.
Seja uma curva regular : I R. Sobre essa curva vamos considerar dois pontos
xos t0 e t1 pertencentes ao intervalo I . Consideremos ento o subintervalo de I dado
por [t0 , t1 ] e ainda os pontos nesse subintervalo dados por t0 = a0 < a1 < ... < an = t1 .
Ligando esses pontos criamos uma linha poligonal inscrita a essa curva entre os pontos
(t0 ) e (t1 ). Como foi tomada como uma curva regular, dizemos que o comprimento
de arco de uma curva , a partir do ponto (t0 ) uma funo dada por:
28
Figura 2.10: Curva.
Z t1
L= |0 (t)| dt.
t0
Denio 2.4.3. Uma curva regular : I R2 , ela dita parametrizada pelo com-
primentode arco, se para cada t0 e t1 I , com t0 t1 o comprimento do arco da curva
no intervalo de t0 a t1 igual a t1 t0 , ou seja,
29
Figura 2.11: Reta Tangente a Curva .
Z t1
|0 (t)| dt = t1 t0 .
t0
30
A frmula para calcular o comprimento de arco dada por,
Z t1
L= |0 (t)| dt.
t0
= 2
r dt = rdt
0
Z 2 0
=r dt = r [t]2
0 = 2r.
0
31
x0 (t) = r. (1 cos t)
, 0 t 2.
y 0 (t) = r. (sin t)
Z t1
Pela denio anterior, temos que L = |0 (t)| dt.
t0
t
1 cos t = 2 sin2 .
2
Substituindo na frmula do comprimento de arco, obtemos
s Z 2 r
Z 2
t t
L= 2r2 2 sin2 dt = 2r sin dt.
0 2 0 2
32
Portanto temos ento que o comprimento de um arco da ciclide quatro vezes o
dimetro do crculo gerador.
Demonstrao.
s0 (t) = |0 |
s0 (t) = 1.
t t
Exemplo 2.4.7. Verique se a curva (t) = a cos , a sin t , t R, uma curva
a a
parametrizada pelo comprimento de arco.
33
Primeiramente determinamos a derivada das coordenadas da curva . Temos ento
que
t t
(t) = sin , cos t , t R.
a a
Determinando o mdulo da derivada, otemos:
s 2 2
t t
q
| (t)| = (x0 (t))2 + (y 0 (t))2 =
0
sin + cos = 1 = 1, t I.
a a
34
Exemplo 2.4.9. Verique se a curva (t) = (t cos t, t sin t), t R, uma curva para-
metrizada pelo comprimento de arco.
Para uma melhor visualizao da curva acima, traamos seu grco com o auxlio
do GeoGebra.
35
q
| (t)| = (x0 (t))2 + (y 0 (t))2
0
q 2 2
= (t cos t)0 + (t sin t)0
q
= (cos t t sin t)2 + (sin t + t cos t)2
p
= cos2 t 2t sin t cos t + t2 sin2 t + sin2 t + 2t sin t cos t + t2 cos2 t
q
= 1 + t2 sin2 t + cos2 t
p
= 1 + t2 ( 1)
= 1 + t2 .
Para vericar que no est parametrizada pelo comprimento de arco, vamos de-
terminar,
q
| (t)| = (x0 (t))2 + (y 0 (t))2 .
0
36
q
| (t)| = (x0 (t))2 + (y 0 (t))2
0
q
= (et cos t et sin t)2 + (et sin t + et cos t)2
p
= e2t (cos2 t 2cost.sint + sin2 t) + e2t (cos2 t + 2cost.sint + sin2 t)
p
= e2t (2)
= 2.et .
37
Logo, a inversa de s dado por h
s= 2 [et 1]
s
eh 1 =
2
s
eh = + 1
2
s
h (s) = ln + 1 .
2
(s) = ( h) (s)
(s) = (h)
(s) = eh cos (h) , eh sin (h) .
Assim,
s s s s
(s) = + 1 cos ln + 1 , + 1 sin ln + 1
2 2 2 2
Ento,
38
q
| (t)| = (x0 (t))2 + (y 0 (t))2
0
q
= (r r cos t)2 + (r sin t)2
p
= r2 2r2 cos t + r2 cos2 t + r2 sin2 t
= 2r2 2r2 cos t
p
= 2r2 (1 cost)
s
1 cos t
= 4r2
2
r
1 cos t
= 2r
2
t
= 2r sin
2
Segue que,
Z t
s (t) = |0 ()| d
Z t 0
= 2r sin d
0Z 2
t
= 2r sin d
0 2
t
= 2r 2 cos
2 0
t
= 2r 2 cos +2
2
Vamos determinar agora a funo inversa h.
t
s (t) = 2r 2 cos +2
2
t
s = 2r 2 cos +2
2
t s
cos =1
2 4r
Utilizando a funo inversa do cos, temos:
t s
= arccos 1
2 4rs
t = 2 arccos 1
4r
Temos ento que a funo h dada por,
39
s
h (s) = 2 arccos 1 .
4r
Vamos ento determinar a reparametrizao dada por (s) = ( h) (s) . Segue que
(s) = ( h) (s)
(s) = (h)
onde,
x (s) = r 2 arccos 1 s sin 2 arccos 1 s
h i
4r 4r
y (s) = r 1 cos 2 arccos 1 s
h i
.
4r
Utilizando o GeoGebra traamos o grco da ciclide,
Vimos nas sees anteriores que toda curva regular do plano pode ser reparametri-
zada pelo comprimento de arco s, sendo s I e 0 (s) um vetor unitrio.
40
Considere, o vetor tangente a em s dados por,
E o vetor n (s), um vetor unitrio ortogonal a t (s). Como a base formada por t (s)
e n (s), possuem a mesma orientao da base cannica e1 = (1, 0) e e2 = (0, 1), temos:
Como os vetores t (s) e n (s) so vetores ortogonais unitrios, temos que o produto
escalar entre esses dois vetores nulo.
De fato, temos:
Sabemos ainda que como t (s) um vetor unitrio, temos que o vetor t0 (s) orto-
gonal a t (s), o que nos permite dizer que t0 (s) um vetor proporcional a n (s). Dessa
maneira chamamos o fator de proporcionalidade de (s) e chamamos de "curvatura"de
em s, ou seja,
41
t0 (s) = (s) n (s) .
Temos ainda que os vetores n (s) e n0 (s) so unitrios e ortogonais, assim n0 (s)
proporcional a t (s), ento:
Proposio 2.5.1. Considere uma curva regular : I R2 , onde (r) = (x (r) , y (r)),
r I . Ento
hx0 , y 0 i
t (r) = q ,
(x0 )2 + (y 0 )2
hy 0 , x0 i
n (r) = q
(x0 )2 + (y 0 )2
x00 y 0 + x0 y 00
(r) = q .
0 2 0 2 3
(x ) + (y )
Demonstrao. As relaes anteriores so vlidas, pois para uma curva e sua repa-
rametrizao pelo comprimento de arco dada por (s),
42
Temos que,
(s (r)) = (r) .
culos de Rolamento
43
0
x (t)
v (t) = 0 (t) = .
0
y (t)
e
00
x (t)
a (t) = 00 (t) =
y 00 (t)
Podemos observar que para cada funo vetorial de comprimento xo, temos
a (t) a (t) = l2 , ento temos que sua derivada perpendicular a si mesma sempre que,
a (t) a (t) = 0.
44
e0 (t) = f (t) f 0 (t) = e (t) .
Denotando,
c (t) = (t) + n.
45
(t) = 0 (t) ap (t) ,
onde,
t sin t
0 (t) = a , p (t) =
1 cos t
p0 = q q 0 = p.
0 = ai + q = a i + q .
00 = ap.
0 0 = a2 i + q i + q = 2a2 1 + iq .
Ento,
46
|0 (t)|2 2a2 1 + i q 1 cos t
= 2 =2 = 2.
D (t) a 1 + j p 1 + cos t
Substituindo t0 = t , temos:
Logo,
Note que temos novamente uma ciclide, para o crculo rolante a fase = e
transladado R0 = ai 2aj .
47
Figura 2.18: Construo da Curva Ciclide para Evoluta
Para uma melhor comparao das duas curvas podemos inserir atravs do comando
reta, traar as retas tangente e normal alm do segmento de reta que dene a ciclide
e a sua evoluta.
48
Para t = 2, as curvas so dadas por:
49
Fazendo t = 7, temos as curvas:
50
Captulo 3
3.1 Ciclide
A ciclide denida como por um ponto de um circunferncia que rola sem deslizar
sobre uma reta.
51
x (t) = r. (t sin t)
, 0 t 2.
y (t) = r. (1 cos t)
y (t) = r. (1 cos t) ,
52
As funes x (t) e y (t) so representadas no GeoGebra pelas funes f (x) e g (x)
que vinculamos curva ciclide atravs do comando curva.
Aps inserirmos as funes f (x) e g (x) importante desmarc-las, pois desse modo
utilizamos essas funes somente na ciclide. Com esses comandos a ciclide est pronta
e temos assim o seguinte grco:
P = (t)
R = (r t, 0)
O = (r t, 0)
Aps a criao dos pontos, podemos traar a circunferncia passando pelos pontos
O e P . Traada a circunferncia, inserimos o segmento de reta OP que representa
o raio da circunferncia. Animando o controle deslizante temos a movimentao da
circunferncia traando assim a curva ciclide.
53
Figura 3.4: Ciclide para t = 2
54
Figura 3.7: Ciclide para t = 15
g (x) = t sin t
55
Figura 3.8: Construo da Espiral de Arquimedes.
56
Figura 3.10: Construo da Espiral de Arquimedes para t = 15
Uma das ferramentas do Geogebra nos permite, traar retas tangente a grcos
de funes. Para visualizarmos essa ferramenta aplicada s curvas parametrizadas, o
grco da curva
(t) = (t, t2 ) .
57
Marcamos ento um ponto sobre a curva e selecionamos em seguida o grco da
curva, pois assim temos sempre a reta tangente ao ponto da curva.
58
Figura 3.13: Curva e Reta Tangente para t = 2
3.4 Referencial de Frenet para a curva (t) = t, t2
Consideres a curva regular dada por (t) = (t, t2 ).
59
Figura 3.14: Curva (t) = (t, t2 ).
Note que, para t = 0 as Retas Tangente e Reta Normal coincidem com os eixos
coordenados x e y .
60
Para t = 1, temos:
Vamos agora inserir o Referencial de Frenet para a curva . Podemos notar que
os vetores possuem as mesmas direes das retas tangente e normal. Temos assim, na
gura a seguir o deslocamento dos vetores segundo o parmetro t.
61
Figura 3.18: Referencial de Frenet para t = 3
62
Podemos agora traar a reta tangente para os pontos sobre a curva (t) = (t, sin t),
ento
Fazendo o parmetro t variar, temos uma nova posio para a reta tangente.
Agora traamos a Reta Normal Curva (t) = (t, sin t) e fazemos o parmetro t
63
variar. Segue que
Figura 3.23: Reta Tangente, Normal e Referencial de Frenet para Curva (t) = (t, sin t)
64
3.6 Referencial de Frenet para a Espiral de Arquime-
des
Figura 3.24: Reta Tangente, Normal e Referencial de Frenet para Curva (t) =
(t cos t, t sin t) .
65
Figura 3.25: Reta Tangente, Normal e Referencial de Frenet para Curva (t) =
(t cos t, t sin t)
3.7 Epiciclide
Denimos uma Epiciclide como uma curva cclica denida por um ponto de uma
circunferncia que rola sem deslizar sobre um crculo diretor. Assim, utilizamos o
GeoGebra, para uma melhor visualizao dessa curva. Em sua construo podemos
variar o tamanho do raio do crculo diretor R, assim como o comprimento do raio r,
da circunferncia que rola sobre o crculo.
66
Vamos inicialmente inserir trs controles deslizantes, um para o parmetro t, um
para o raio r da circunferncia que rola e outro para o raio R do crculo diretor. Aps
inserirmos os controles deslizantes precisamos digitar no campo de entrada as funes
R + r
x (t) = (R + r) cos t r cos t
r
R+r
y (t) = (R + r) sin t r sin t .
r
M (x (t) , y (t)) .
67
O GeoGebra, nos permite ainda animar os valores do parmetro t mostrando de
uma forma dinmica o comportamento da Epiciclide. A seguir podemos observar as
funes e pontos inseridos no GeoGebra.
Construdo a Epiciclide, variamos os valores dos raios para uma melhor visualizao
da curva.
Assim, utilizando o Geogebra, traamos a curva no caso em que temos R = 4 e
r = 1, assim:
68
Figura 3.27: Construo da Epiciclide, t = 0, 6.
69
Figura 3.29: Construo da Epiciclide, R = 3 e r = 0, 3
70
Figura 3.30: Cardiide.
3.8 Hipociclide
A Hipociclide uma curva cclica que formada pelo movimento de um ponto xo
de uma circunferncia que desliza tangencialmente por dentro de um crculo diretor.
71
Assim, com o auxlio do GeoGebra traamos a curva Hipociclide. Inicialmente para
a construo da Hipociclide inserimos as equaes paramtricas da Hipociclide com
o comando "curva", e construmos as duas circunferncias, a exterior de raio R e a
circunferncia interior de raio r.
72
Figura 3.32: Hipociclide para R = 5 e r = 1
Para uma melhor visualizao da curva Hipociclide, traamos seu grco para R = 4
e r = 1, 1, temos ento:
73
Figura 3.33: Hipociclide para R = 4 e r = 1, 1.
3.9 Trocide
74
Figura 3.34: Construo da Trocide.
Para t = 9, temos:
75
Para t = 20, temos:
Notamos que atravs do GeoGebra conseguimos vericar o traado das curvas como
o trocide, sendo que o software permite ainda que possamos variar os valores das
varives r e R, mostrando em tempo real as mudanas nessas curvas.
3.10 Epitrocide
Denimos uma Epiciclide como uma curva cclica denida por um ponto de uma cir-
cunferncia que rola sem deslizar sobre um crculo diretor, porm pode-se generalizar o
caso da Epiciclide atravs de uma haste de comprimento d, sendo d > r. Assim vamos
utilizar o GeoeGebra, para uma melhor visualizao dessa curva. Em sua construo
podemos variar o tamanho do raio do crculo diretor, assim como o comprimento do
raio da circunferncia que rola sobre o crculo e o comprimento da haste d.
76
Figura 3.37: Construo da Epitrocide.
77
Fazendo t = 20, temos:
Atravs do uso do GeoGebra para traar o grco das curvas parametrizadas, veri-
camos visualmente onde e quais as curvas so diferenciveis, pois este software nos
permite realizar o traado das curvas facilitando o entendimento das mesmas.
78
Captulo 4
Consideraes Finais
Porm importante ressaltar que para que o professor faa uso do GeoGebra, assim
como de qualquer outro software, necessrio que ele tenha pleno domnio das ferra-
mentas utilizadas no processo de ensino aprendizagem pois as construes nem sempre
so fceis e simples, pelo fato de que necessitamos alm do domnio das ferramentas
utlizadas ter amplo domnio e conhecimento da Matemtica.
No ltimo captulo vimos o fruto do presente trabalho, onde foram feitas aplica-
es da Geometria Dinmica, onde as construes foram feitas utilizando conceitos
Matemticos e as ferramentas do GeoGebra, produzindo resultados interessantes, mos-
trando de forma mais atraente e visual os conceitos abordados durante o trabalho,
sendo possvel visualizar que no caso da Ciclide, no temos pontos regulares pois gra-
camente observamos os pontos onde a curva no diferencivel, o que no ocorre por
79
exemplo no Trocide onde notamos pelo grco que ele representa uma curva regular
em todos os pontos de seu domnio. Assim, concluimos este trabalho deixando uma
nova abordagem do estudo das curvas planas, trabalhando a construo das mesmas
no GeoGebra.
Para uma possvel continuidade deste trabalho muito interessante realizar o es-
tudo da regularidade das curvas planas atravs do GeoGebra, aplicando esta anlise a
curvatura das curvas planas.
80
Referncias Bibliogrcas
81