A geometria diferencial � hoje uma ferramenta essencial para modelagem de
problemas em v�rias �reas, como biologia, f�sica e engenharia. Esta contribui��o
matem�tica se baseia na aplica��o das t�cnicas de c�lculo � geometria, mostrando como os conhecimentos adquiridos a partir da grade de licenciatura em matem�tica, podem ser aplicados em estudos de p�s-gradua��o. Assim, como o conhecimento da geometria diferencial � essencial para o estudante que deseja trilhar estes caminhos, nos propusemos a realizar este projeto de inicia��o cient�fica, que consiste no estudo da geometria diferencial das curvas. Dessa forma, este trabalho � o resultado desse projeto que introduz o estudo de curvas planas e no espa�o, complementando os conhecimentos adquiridos a partir da grade curricular da gradua��o em licenciatura matem�tica, ampliando os horizontes matem�ticos na dire��o de uma das �reas mais importantes da matem�tica, a geometria diferencial. Desenvolvido a partir de um estudo dirigido baseado no livro Introdu��o � Geometria Diferencial, de Keti Tenemblat, com encontros semanais, foi redigido pelo bolsista em Inicia��o Cient�fica S�rgio Reis Fernandes e pela colaboradora do projeto Gislaine Maria Ferreira, alunos do Curso de Matem�tica, sob a orienta��o da professora Cejana Macedo Alkmim. Palavras-Chave: Geometria Diferencial; Curvatura e Tor��o. Introdu��o A Geometria Diferencial, originada da jun��o do C�lculo com a Geometria, nasceu, de certo modo, como uma ci�ncia aplicada principalmente em quest�es originadas da cartografia, de onde herdou parte de sua terminologia inicial. Posteriormente passou a ser de grande utilidade na Astronomia e na Engenharia. Embora o C�lculo fosse suficiente para o 2 entendimento e a aplica��o das leis de Newton, n�o o foi para a Teoria da Relatividade, que nasceu sobre os alicerces do conhecimento estabelecido pela Geometria Diferencial. A geometria diferencial moderna estuda a influ�ncia das propriedades locais no comportamento de toda curva ou superf�cie (teoria global de curvas e superf�cies) e estende o estudo aos espa�os n�o euclidianos e variedades de qualquer dimens�o, baseando-se ainda, no entanto, nos m�todos do c�lculo diferencial e integral. A geometria diferencial preocupa-se com a formula��o matem�tica de algumas dessas quest�es e em tentar encontrar respostas para elas, usando as t�cnicas do c�lculo diferencial. As origens da geometria diferencial de superf�cies remontam ao s�culo XVII, com o estudo das geod�sicas, isto �, curvas de comprimento m�nimo, numa superf�cie (na altura, na superf�cie esf�rica, pelas aplica��es na navega��o). A computa��o gr�fica est� come�ando a demonstrar que a Geometria Diferencial est� proximamente presente e acess�vel para um p�blico bem mais amplo, quer na �rea cient�fica, quer na �rea empresarial, fornecendo a interface gr�fica adequada � apresenta��o dos resultados, ao desenvolvimento de novas tecnologias e ao planejamento de novos produtos. A Geometria Diferencial � o estudo da geometria atrav�s do c�lculo diferencial. Os objetos geom�tricos b�sicos estudados pela geometria diferencial s�o as curvas dos espa�os euclidianos IR2 ou IR3 e as superf�cies do espa�o euclidiano tridimensional IR3. Nesta breve apresenta��o, vamos construir o equipamento b�sico usado no estudo das curvas, o que exige uma familiaridade com a estrutura alg�brica do IR2 ou IR3 e com o c�lculo vetorial. Uma curva � um subconjunto de IR2 ou IR3 que localmente � topologicamente equivalente � reta real IR. Para aplicar o c�lculo diferencial consideraremos as curvas regulares que s�o dadas como imagens de fun��es vetoriais f: I ? IR2 (curvas planas) ou f: I ? IR3 (curvas no espa�o), de classe C3, definidas em um intervalo aberto I, com derivada primeira n�o nula em todo ponto. Em cada ponto f(t) da curva definimos uma base ortonormal {T,N} de IR2 ou {T,N,B} de IR3. Os referenciais m�veis assim constru�dos s�o chamados referenciais de Frenet. Atrav�s do referencial de Frenet, definimos as fun��es curvatura e tor��o. Estas duas fun��es n�o dependem da fun��o vetorial (parametriza��o) que representa a curva. As propriedades locais da curva nelas refletidas s�o, portanto, geom�tricas e as caracterizam geometricamente. Para concluir, alguns exemplos ser�o apresentados para ilustrar como a curvatura e a tor��o determinam a geometria de uma curva. Material e M�todos 3 A pesquisa � explorat�ria, pois trata-se de um estudo baseado no livro Introdu��o � Geometria Diferencial, de Keti Tenemblat e no site http://www.mat.uc.pt/~picado/geomdif/ . O trabalho foi desenvolvido a partir de um estudo dirigido com encontros semanais. Resultados e Discuss�o Curva Parametrizada Diferenci�vel Defini��o: Dado um intervalo aberto I � R , dizemos que uma aplica��oa : I � R2 definida neste intervalo com imagem em R� � uma curva parametrizada diferenci�vel do plano se esta for uma aplica��o diferenci�vel de classe C3. A vari�vel t � I � dita �par�metro da curva� e chamaremos de �tra�o da curva� os pontos de a(t) em R2. Vetor Tangente; Curva Regular - Defini��o: O vetor a'(t) = (x'(t), y'(t)) � chamado vetor tangente a a em t , onde a(t) = (x(t), y(t)) � uma curva parametrizada diferenci�vel, a : I � R2 , t � I . Defini��o: Seja a : I � R2 uma curva parametrizada diferenci�vel, tal que para "t � I , a'(t) � 0 . Ent�o diremos que a � regular. Mudan�a de Par�metro; Comprimento de Arco- Defini��o: Seja um intervalo fechado [t0, t1], onde 0 1 t � t . Se o comprimento de arco da curva a de t0 a t1 � igual a 1 0 t - t , ou seja, � ( ) = - 1 0 1 0 ' t t a t dt t t , ent�o diremos que a curva regular a : I � R2 est� parametrizada pelo comprimento de arco. Proposi��o: Uma curva regular a : I � R2 est� parametrizada pelo comprimento de arco se, e s� se, "t �I , a ' (t ) = 1 . Teoria Local das Curvas no Plano; F�rmulas de Frenet e Curvatura - Consideremos uma curva regular e que esteja parametrizada pelo comprimento de arco s, ou seja, a(s) = ( x(s), y(s)) , s�I . se a : I � R2 ent�o o referencial de Frenet t (s) , h(s) satisfaz as equa��es, t '( s) = k(s)h(s) e h' (s) = -k (s)t (s) 4 que s�o as f�rmulas de Frenet de uma curva plana. Consideremos a : I � R2 uma curva regular de par�metro qualquer r � I . Seja b : J � R2 uma reparametriza��o de a pelo comprimento de arco s, isto � b (s(r )) = a(r) . Se t (s) , h(s) � o referencial de Frenet de b (s) e k (s) a curvatura, ent�o diremos que t (r) = t (s(r)) , h(r) =h(s(r)) � o referencial de Frenet de a e k (r) = k (s(r)) � a curvatura. Proposi��o: Seja a(r) = (x(r ), y(r)) , r � I , uma curva regular. Ent�o, ( ') 2 ( ') 2 ( ', ') ( ) x y x y r + t = ( ') 2 ( ') 2 ( ', ' ) ( ) x y y x r + - h = (( ' )2 ( ') 2 )3 '' ' ' ' ' ( ) x y x y x y k r + - + = Teoria Local das Curvas no Espa�o; Referencial de Frenet; Curvatura e Tor��o - Defini��o: A curvatura de uma curva regular parametrizada pelo comprimento de arco a(s) em s�I , onde a : I � R3 , � determinada pelo n�mero real