I Some Trias

Maria Joo Tinoco
Isometrias
Departamento de Matemtica Faculdade de Cincias da Universidade do Porto 2012
Maria Joo Tinoco
Isometrias
Tese submetida Faculdade de Cincias da Universidade do Porto para obteno do grau de Mestre em Matemtica para Professores
Departamento de Matemtica Faculdade de Cincias da Universidade do Porto 2012
Agradecimentos
Para comear, gostaria de agradecer aos meus queridos pai e me, Lauro e Aninhas, pelo exemplo que desde sempre me transmitiram, de serenidade, dedicao e empenho e principalmente o gosto pelo estudo e pela descoberta. . . eternamente grata por tudo o que me ensinaram! Ainda hoje aprendo com eles. . . Agradeo tambm Paula, minha irm muito amiga, de sonhos e fantasias, que me deu toda a fora e apoio moral para eu completar, e seguir em frente nesta aventura. Obrigada pelas palavras de coragem. Ao meu Z, agradeo a pacincia e compreenso, que demonstrou ao longo destes dois difceis anos, em que os horrios caram um pouco mais impossiveis. . . ao Vasco e Ins, lhos muito especiais, fonte de inspirao e amor, espero ter transmitido um pouco da minha vontade em aprender! No posso deixar de agradecer a ajuda muito preciosa da Vera, Diana e Paulo, alunos como eu deste mestrado, pela partilha e identicao, em todos aqueles momentos em que este desao parecia no ter m, mas um dia de cada vez, juntos os fomos ultrapassando. Rosrio claro, agradeo o cruzar semanal em que fazamos o ponto da situao de avanos e recuos (mais avanos e menos recuos), que sempre me fez sentir conante, mesmo quando as diculdades pareciam querer vencer. Aos meus alunos agradeo, pois tudo isto tambm foi a pensar neles, e sero eles que iro usufruir de eu me sentir melhor preparada na incrvel tarefa de ensinar matemtica! Agradeo tambm a todos os professores do Departamento de Matemtica da Faculdade de Cincias da Universidade do Porto com quem me cruzei, pelo seu prossionalismo e humanidade, sempre disponveis para auxiliarem quando tal foi necessrio e que tornaram possvel a concretizao deste meu sonho. E por ltimo agradeo ao Professor Doutor Jos Carlos Santos, meu orientador nesta tese de mestrado, a sua discreta pacincia, s minhas innitas dvidas. Fico com uma imensa dvida de gratido pela forma excecional como, naturalmente, todo este processo se foi desenvolvendo: muito obrigada!
Resumo
Neste estudo foram desenvolvidas aplicaes informticas para serem manipuladas pelos alunos, para os motivar e auxiliar na aprendizagem do um dos temas da Geometria: as isometrias. Este tema atualmente ensinado a alunos do ensino bsico, desde o primeiro ao terceiro ciclo. As aplicaes realizadas, foram pensadas para serem utilizadas por alunos a partir do terceiro ciclo ou por alunos com curiosidade em saberem mais sobre este tpico. Para o efeito, foram criadas pginas em HTML, de fcil manipulao pelo utilizador, onde vo surgindo algumas situaes em software de Geometria dinmica, nas quais o aluno desaado a interagir: o programa utilizado nestes applets foi o GeoGebra. Pretende-se que o aluno, complemente a sua aprendizagem sobre isometrias: nos manuais escolares de matemtica onde este tema tratado, apresentada ao aluno a existncia dos quatro tipos de isometrias do plano. Com a explorao destas aplicaes, o aluno dever investigar porque s existem estas quatro possibilidades, utilizando para isso, a composio de isometrias. Assim, faz parte integrante desta tese, um CD-ROM contendo estas aplicaes em HTML. As aplicaes informticas em referncia, foram criadas tendo em considerao o seu pblico-alvo: tentou-se, sempre que possvel, que os applets fossem visualmente atraentes, usando cores e formas apelativas, e ao mesmo tempo, o mais simples possveis, para estimular e motivar o aluno. Algumas aplicaes informticas, tm disponvel uma ajuda, onde aparecem construes auxiliares, sempre acompanhadas de um breve texto de apoio. No sentido de enquadrar este trabalho no currculo ocial de Matemtica, foi feita uma leitura atenta aos vrios documentos que atualmente orientam o ensino/aprendizagem de Matemtica nas escolas portuguesas, dos vrios nveis de ensino, sendo focadas as principais questes relacionadas com as isometrias e a utilizao de programas de Geometria dinmica. Para dar sustentabildade terica e rigor cientco a todo este processo, foi realizada uma cuidadosa investigao sobre o tema em estudo, as isometrias, sendo apresentados nesta tese os vrios conceitos, teoremas e proposies, fundamentais para este trabalho. Incluiu-se tambm nesta seco, uma breve nota histrica, considerada importante e reveladora da evoluo de alguns dos conceitos abordados ao longo deste estudo. Na 4
parte nal do captulo onde so apresentadas as bases tericas desta tese, feita uma ponte entre Geometria e lgebra, atravs da teoria de grupos: aproveitou-se o conhecimento detalhado das isometrias e suas propriedades para o aplicar ao estudo de um dos conceitos centrais da lgebra grupos. Por ltimo, feito o balano de todo o trabalho desenvolvido, atravs de uma reexo pessoal, onde so tambm apontadas alguns fatores que podero inuir, na opinio da autora deste estudo, no sucesso do ensino da Matemtica nas escolas portuguesas. Estes fatores e pistas para o futuro, so reexo da experincia e das situaes vividas diariamente, com alunos e com outros professores, por todas as escolas onde passou.
Contedo
Resumo ndice de Tabelas ndice de Figuras 1 Objetivo 2 Introduo 2.1 Programa de Matemtica do Ensino Bsico e Secundrio . . . . . . . . 2.1.1 2.1.2 2.2 2.3 2.4 Os programas de Matemtica . . . . . . . . . . . . . . . . . . . As isometrias e os programas de Geometria dinmica . . . . . . 4 8 10 11 13 13 13 16 19 20 22 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 30 31 31 32 34 36
Experincia como professora de Matemtica . . . . . . . . . . . . . . . Os alunos e o software de Geometria dinmica . . . . . . . . . . . . . . Aplicaes em GeoGebra . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Isometrias 3.1 3.2 3.3 Breve nota histrica
Introduo s isometrias . . . . . . . . . . . . . . . . . . . . . . . . . . Tipos de isometrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1 3.3.2 3.3.3 3.3.4 Translao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Rotao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reexo Deslizante . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.4
Composio de isometrias . . . . . . . . . . . . . . . . . . . . . . . . . 3.4.1 3.4.2 3.4.3 3.4.4 3.4.5 3.4.6 3.4.7 Composio de translaes . . . . . . . . . . . . . . . . . . . . . Composio de duas reexes em eixos concorrentes . . . . . . . Composio de duas reexes em eixos paralelos . . . . . . . . . Composio de trs reexes em eixos paralelos . . . . . . . . . Composio de trs reexes em eixos concorrentes . . . . . . . Composio de trs reexes em eixos nem paralelos nem concorrentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Composio de duas rotaes . . . . . . . . . . . . . . . . . . .
36 37 38 40 41 43 44 44 49 52 53 54 64 66
3.5 3.6 3.7 3.8
Teorema Fundamental das isometrias . . . . . . . . . . . . . . . . . . . Classicao das isometrias . . . . . . . . . . . . . . . . . . . . . . . . Propriedades das isometrias . . . . . . . . . . . . . . . . . . . . . . . . Isometrias: um pouco mais alm. . . teoria de grupos . . . . . . . . . . .
4 Concluso Referncias
Lista de Tabelas
3.1 Propriedades das isometrias do plano . . . . . . . . . . . . . . . . . . . 54
Lista de Figuras
2.1 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 Fuxograma do cheiro HTML . . . . . . . . . . . . . . . . . . . . . . . Translao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Translao pontos colineares . . . . . . . . . . . . . . . . . . . . . . Translao pontos no colineares . . . . . . . . . . . . . . . . . . . . Rotao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Rotao pontos A e B colineares com o ponto O . . . . . . . . . . . Rotao pontos A e B no colineares com o ponto O . . . . . . . . . Reexo do ponto P . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reexo do segmento de reta [AB ] . . . . . . . . . . . . . . . . . . . . Reexo do segmento de reta [AB ] perpendicular reta l . . . . . . . . 26 31 31 32 33 33 33 34 35 35 35 36 38 38 39 40 40 41 42 43 43
3.10 Reexo do segmento de reta [AB ] na reta l . . . . . . . . . . . . . . . 3.11 Reexo deslizante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.12 Composio de translaes vetores com diferentes direes . . . . . . 3.13 Composio de translaes vetores simtricos . . . . . . . . . . . . . 3.14 Composio de reexes em eixos concorrentes . . . . . . . . . . . . . . 3.15 Rotaes diferentes formas de representao: = s1 l . . . . . . 3.16 Rotaes diferentes formas de representao: = l r1 . . . . . . 3.17 Composio de duas reexes em eixos paralelos . . . . . . . . . . . . . 3.18 Composio de trs reexes em eixos paralelos . . . . . . . . . . . . . 3.19 Composio de reexes diferentes formas de representao . . . . . 3.20 Composio de reexes em trs retas concorrentes . . . . . . . . . . .
3.21 Reexo em trs retas nem paralelas nem concorrentes . . . . . . . . . 3.22 Reexes em trs retas nem paralelas nem concorrentes: retas u e l . . 3.23 Trs reexes: retas m e v . . . . . . . . . . . . . . . . . . . . . . . . . 3.24 Lados correspondentes paralelos translao . . . . . . . . . . . . . . 3.25 Lados correspondentes paralelos rotao . . . . . . . . . . . . . . . . 3.26 Rotao de amplitude I . . . . . . . . . . . . . . . . . . . . . . . . 3.27 Rotao de amplitude II . . . . . . . . . . . . . . . . . . . . . . . . 3.28 Composio de rotaes com + = 360 . . . . . . . . . . . . . . . . 3.29 Composio de rotaes com + = 360 e O1 = O2 . . . . . . . . . . 3.30 Composio de rotaes com + = 360 . . . . . . . . . . . . . . . . 3.31 Composio de translao com rotao . . . . . . . . . . . . . . . . . . 3.32 Composio de rotao com translao: ordem das isometrias . . . . . 3.33 Composio de rotao com translao: localizao do centro da isometria composta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.34 Teorema fundamental das isometrias existncia . . . . . . . . . . . . 3.35 Teorema fundamental das isometrias unicidade . . . . . . . . . . . . 3.36 Reexo e reexo deslizante: inverso do sentido dos ngulos . . . . . 3.37 Rotao e translao: sem alterao no sentido dos ngulos . . . . . . . 3.38 Ordem das rotaes: R2 R1 . . . . . . . . . . . . . . . . . . . . . . . . 3.39 Ordem das rotaes: R1 R2 . . . . . . . . . . . . . . . . . . . . . . . . 3.40 Translao de um segmento de reta . . . . . . . . . . . . . . . . . . . . 3.41 Translao como composta de duas rotaes I . . . . . . . . . . . . . 3.42 Translao como composta de duas rotaes II . . . . . . . . . . . . 3.43 Subgrupo no normal: 1 r . . . . . . . . . . . . . . . . . . . . .
44 45 45 45 46 47 47 48 48 49 49 50 50 51 52 54 54 59 60 61 61 62 62
10
Captulo 1 Objetivo
O objetivo principal deste trabalho , atravs da utilizao das novas tecnologias, como facilitadora da aquisio de conhecimentos e aprendizagens, motivar e suscitar a ateno de alunos, para investigarem sobre o tpico das isometrias. Pretende-se tambm abrir portas e indicar caminhos, que alunos mais curiosos podero explorar para ampliar os seus conhecimentos, podendo mesmo, em ltima anlise, descobrir novas conexes e ligaes, para alm deste estudo. A motivao para o gosto e o prazer do estudo da Matemtica, o transmitir que existe sempre algo para desvendar, so tambm objetivos implcitos neste estudo. Espera-se que os alunos, depois de identicarem e caraterizarem os diferentes tipos de isomerias no plano, utilizem a composio de isomerias e investiguem o resultado, quando se compem, por exemplo, duas reexes. Para auxiliar os alunos neste processo de investigao, foram criadas aplicaes em software de Geometria dinmica, que podem ser manipuladas e alteradas pelos prprios alunos. Pretendeu-se que as aplicaes fossem apelativas e estimulantes, e que representassem um desao aos seus utilizadores. Aps esta investigao, os alunos podero mais facilmente perceber, porque que s existem quatro tipos de isometrias do plano: translao, rotao, reexo e reexo deslizante. Tendo em vista a concretizao do objetivo principal, foram analisados os atuais programas de Matemtica, publicados pelo Ministrio da Educao e Cincia, para os vrios nveis de escolaridade, desde o 1o ciclo at ao ensino secundrio, no sentido de enquadrar este trabalho com as mais recentes alteraes s orientaes programticas. Foi ainda fundamental, para dar suporte terico e cientco a este trabalho, realizar uma profunda investigao sobre as isometrias, onde esto apresentados os vrios conceitos e teoremas, importantes para o referido estudo. Esta investigao deu tambm origem, ao registo de algumas referncias histricas, to ao gosto de alunos de qualquer idade. Por m, aproveitou-se este conhecimento recm adquirido das 11
CAPTULO 1. OBJETIVO
12
isometrias e suas propriedades, para fazer uma incurso na lgebra, atravs da teoria de grupos, tendo sido utilizados exemplos e conceitos denidos e demonstrados anteriormente, embora tenha sido necessrio, pontualmente, efetuar novas demonstraes. Os exemplos utilizados, so situaes concretas onde as isometrias se conseguem visualizar, sendo aplicados a denies com crescente abstrao.
Captulo 2 Introduo
Neste captulo irei, em primeiro lugar, fazer o ponto da situao do ensino da Geometria, e das isometrias em particular, nas escolas bsicas e secundrias portuguesas, focando a evoluo em termos de orientaes programticas. Rero que, devido a alguns dos documentos ociais mencionados, terem sido recentemente alterados e inclusivamente revogados, provvel que, na presente conjuntura de mudana, da poltica da educao do nosso pas, os documentos mencionados deixem de estar atualizados, e possam mesmo ser substitudos. Mais frente, apresentarei as razes que me motivaram a realizar esta investigao, quer em termos de enriquecimento pessoal, quer em termos da minha carreira como docente de Matemtica. Por m, farei um resumo sobre as aplicaes em Geometria dinmica efetuadas, fundamentando as escolhas do software utilizado, assim como os exemplos escolhidos para os alunos investigarem.
2.1
Programa de Matemtica do Ensino Bsico e Secundrio

Os programas de Matemtica
2.1.1
O Novo Programa de Matemtica do Ensino Bsico NPMEB, homologado em Dezembro de 2007, constitui um reajustamento ao Programa de Matemtica para o Ensino Bsico. O anterior programa, datado do incio dos anos noventa (1990 para o 1o ciclo [13] e 1991 para o 2o e 3o ciclos [14], [15]), desde h muito que necessitava de ser revisto. A publicao, em 2001, do Currculo Nacional do Ensino Bsico [16], introduziu 13
CAPTULO 2. INTRODUO
14
modicaes curriculares importantes em relao ao anterior programa, em particular nas nalidades e objectivos de aprendizagem, valorizando a noo de competncia Matemtica, e a forma como apresenta os temas matemticos a abordar. Este documento, no entanto, foi recentemente revogado, com publicao em Dirio da Repblica [20], 2a srie No 245 23 de Dezembro de 2011, do qual se reproduz, de seguida, uma passagem em que se apresentam as razes que sustm tal deciso. O documento (...) continha uma srie de insucincias que na altura foram debatidas, mas no ultrapassadas, e que, ao longo dos anos, se vieram a revelar questionveis ou mesmo prejudiciais na orientao do ensino. Por um lado, o documento no sucientemente claro nas recomendaes que insere. Muitas das ideias nele defendidas so demasiado ambguas para possibilitar uma orientao clara da aprendizagem. A prpria extenso do texto, as repeties de ideias e a mistura de orientaes gerais com determinaes dispersas, tornaram-no num documento curricular pouco til. Por outro lado, o documento insere uma srie de recomendaes pedaggicas que se vieram a revelar prejudiciais. Em primeiro lugar, erigindo a categoria de competncias como orientadora de todo o ensino, menorizou o papel do conhecimento e da transmisso de conhecimentos, que essencial a todo o ensino. Em segundo lugar, desprezou a importncia da aquisio de informao, do desenvolvimento de automatismos e da memorizao. Em terceiro lugar, substituiu objectivos claros, precisos e mensurveis por objectivos aparentemente generosos, mas vagos e difceis, quando no impossveis de aferir. [20] No entanto, apesar desta recente revogao de um dos documentos ociais, que orientava o ensino bsico nas escolas portuguesas de todas as reas disciplinares, os programas ociais curriculares de Matemtica, mantm-se em vigor, data de apresentao deste trabalho. O desenvolvimento do conhecimento sobre o ensino e a aprendizagem da Matemtica nos ltimos quinze anos e a necessidade de melhorar a articulao entre os programas dos trs ciclos, so algumas das razes que justicavam a reviso do Programa de Matemtica para o ensino bsico. Indica-se de seguida, de forma resumida, a estrutura geral e os pontos principais do NPMEB. O NPMEB, numa primeira parte da sua redao, enuncia as duas nalidades primordiais do ensino da Matemtica, nos seguintes termos: Promover a aquisio de informao, conhecimento e experincia em Matemtica e o desenvolvimento da capacidade da sua integrao e mobilizao em contexos diversicados. Desenvolver atitudes positivas face Matemtica e a capacidade de apreciar esta cincia. Ao indicar as nalidades do ensino da Matemtica, por esta ordem, entende-se que s
CAPTULO 2. INTRODUO
15
faz sentido falar de atitudes positivas e apreciao da Matemtica por parte do aluno, tendo por base o seu conhecimento e a sua capacidade de mobilizao desse conhecimento em situaes diversas, ou seja, em primeiro lugar necessrio o conhecimento para depois o aluno saber apreciar a Matemtica. De acordo com o NPMEB, estas nalidades sero concretizadas atravs de nove objetivos gerais do ensino da Matemtica. Destes, o primeiro refere o conhecimento bsico, e o segundo diz respeito importncia da compreenso na aprendizagem da Matemtica. Os cinco objetivos seguintes referem-se a capacidades transversais, tendo trs deles (o raciocinar matematicamente, a resoluo de problemas e a comunicao Matemtica) lugar de destaque no novo programa. Os dois ltimos objetivos, dizem respeito ao modo como se espera que os alunos se relacionem pessoalmente com a Matemtica, e apreciem esta disciplina. Os objetivos gerais do ensino da Matemtica do NPMEB so: Conhecer fatos e procedimentos prprios da Matemtica. Compreender a Matemtica Lidar com diversas representaes matemticas Comunicar matematicamente Raciocinar matematicamente Resolver problemas Estabelecer conexes Fazer Matemtica de modo autnomo Apreciar a Matemtica De seguida, explicada a organizao dos temas matemticos, o que o diferencia signicativamente dos programas anteriores. Por exmplo, uma das principais diferenas a revalorizao da lgebra, que no existia no 1o nem no 2o ciclo, e que no 3o ciclo tinha sido reduzida ao clculo algbrico. Assim, os contedos matemticos encontram-se divididos nos seguintes quatro temas: Nmeros e operaes Geometria e Medida lgebra Organizao e tratamento de dados
CAPTULO 2. INTRODUO
16
Outra diferena fundamental do NPMEB, existirem capacidades transversais em paralelo com os temas matemticos, no havendo uma formulao comparvel em nenhum dos anteriores programas. Por ltimo, o NPMEB apresenta diversas orientaes metodolgicas gerais, nomeadamente, utilizao de tarefas diversicadas, resoluo de problemas, raciocnio matemtico, comunicao matemtica (sendo estes trs itens, de acordo com o NPMEB, no s objetivos gerais como tambm orientaes metodolgicas a seguir na prtica letiva), conexes, representaes, diversidade de recursos, clculo mental, referncia Histria da Matemtica e a ateno ao papel da Matemtica no mundo atual e, nalmente, as diferentes formas de trabalhar na sala de aula. Um dos documentos programticos de referncia e que serviu de base e de orientao, na reformulao do NPMEB, foi o NCTM Princpios e Normas para a Matemtica Escolar [19]: o NCTM, de origem norte americana e traduzido para portugus pela APM Associao de Professores de Matemtica, um processo contnuo que visa melhorar a educao Matemtica (. . . ), e o resultado de vrios grupos de trabalho que reetiram nos programas de Matemtica, desde o pr-escolar at ao 12o ano. Este manual fornece inmeras indicaes e sugestes, tais como por exemplo a utilizao das tecnologias e do software de Geometria dinmica, que permitam ao aluno formular e testar conjeturas: a visualizao possibilitada por estas ferramentas facilita o raciocnio geomtrico, no plano e no espao, uma das sugestes deste texto. O rigor cientco e os termos e linguagem utilizados, para descrever e interpretar situaes de congruncia de guras e de transformaes geomtricas, tambm alvo de extrema ateno, assim como a articulao entre os vrios ciclos de ensino. Relativamente ao programa de Matemtica do Ensino Secundrio, a sua ltima verso data de 2001, no caso do 10o ano, e de 2002 para o 11o e 12o anos de escolaridade. provvel que tambm os programas de Matemtica do ensino secundrio sejam atualizados num futuro prximo, mas no que diz respeito a este estudo, o ensino das isomerias e a utilizao dos programas de Geometria dinmica, quase certo que se mantenham as orientaes metodolgicas sobre esta temtica.
2.1.2
As isometrias e os programas de Geometria dinmica
Relativamente Geometria, e particularmente ao tema das isometrias, o Novo Programa de Matemtica do Ensino Bsico, introduziu recentemente profundas alteraes e reajustamentos. Alm da necessidade de melhorar a articulao entre os trs ciclos iniciais da escolaridade obrigatria, conforme j referido, As isometrias, que comeam a ser abordadas no 1o ciclo e utilizadas no estudo dos frisos, so aprofundadas no 2o ciclo, especialmente a reexo e a rotao [17] , no sentido de existir uma continuidade na forma de abordar os conceitos, tambm foi ampliado o grau de conhecimentos a adquirir pelos alunos, ao lecionar este tema ao longo de todo o ensino bsico.
CAPTULO 2. INTRODUO
17
No anterior programa, no era dada relevncia composio de isometrias, a no ser no caso das translaes, no sendo sequer referida a reexo deslizante, como uma das quatro isometrias do plano os manuais escolares do 9o ano de escolaridade, referentes ao anterior programa, continham normalmente uma referncia muito breve s isometrias, do tipo: As translaes, as rotaes e as simetrias so isometrias: numa isometria uma gura transformada numa outra com a mesma forma e com as mesmas dimenses [7]. Assim, por exemplo a composio de isometrias passou a ser abordada logo no 2o ciclo, devendo os alunos estar familiarizados com situaes como identicar, predizer e descrever a isometria em causa, dada uma gura geomtrica e o seu transformado ou construir o transformado de uma gura, a partir de uma isometria ou de uma composio de isometrias, no sendo estas questes contempladas no anterior programa. Uma alterao de relevo em relao ao programa anterior, que se estudam, desde o 1o ciclo, diversas transformaes geomtricas, primeiro de forma intuitiva e depois, com crescente formalizao. O novo programa refere como essencial o uso de instrumentos como a rgua, esquadro, compasso e transferidor e tambm calculadoras e computadores. Vai ainda mais longe, e especco ao salientar a importncia da utilizao pelos alunos de software de Geometria dinmica, principalmente em situaes que promovam o desenvolvimento do esprito hipottico-dedutivo. Relativamente utilizao da tecnologia, referido que Ao longo de todos os ciclos, os alunos devem usar calculadoras e computadores na realizao de clculos complexos, na representao de informao e na representao de objetos geomtricos. O seu uso particularmente importante na resoluo de problemas e na explorao de situaes, casos em que os clculos e os procedimentos de rotina no constituem objetivo prioritrio de aprendizagem, e a ateno se deve centrar nas condies da situao, nas estratgias de resoluo e na interpretao e avaliao dos resultados. O NPMEB [17] refere ainda que, no 2o ciclo Os programas computacionais de Geometria dinmica e os applets favorecem igualmente a compreenso dos conceitos e relaes geomtricas, pelo que devem ser tambm utilizados, referindo no 3o ciclo que Os alunos devem recorrer a software de Geometria dinmica, sobretudo na realizao de tarefas exploratrias e de investigao. Refere tambm que no 2o ciclo, [17], O estudo da Geometria deve ter como base tarefas que proporcionem oportunidades para observar, analisar, relacionar e construir guras geomtricas e de operar com elas. As tarefas que envolvem as isometrias do plano devem merecer ateno especial neste ciclo, sobretudo as que dizem respeito a reexes e rotaes, pois permitem a aprendizagem de conceitos geomtricos de forma dinmica e o aprofundamento da sua compreenso. As isometrias permitem desenvolver nos alunos o conceito de congruncia (guras congruentes relacionam-se entre si atravs de reexes, rotaes, translaes ou reexes deslizantes).
CAPTULO 2. INTRODUO
18
O estudo do tema das isometrias, iniciado no 1o ciclo e retomado no 2o ciclo, aprofundase no 3o ciclo com o estudo da translao. Este tpico compreende uma abordagem geomtrica e uma abordagem vetorial. Faz-se tambm uma sistematizao e comparao das propriedades das diversas isometrias. Espera-se que os alunos se familiarizem com o processo de demonstrao Matemtica, nomeadamente ao demonstrarem propriedades e relaes que encontram ao realizarem atividades de investigao. Na resoluo de problemas geomtricos, como tambm nas tarefas exploratrias e de investigao, importante que os alunos tenham um tempo apropriado para realizar experincias, elaborar estratgias, formular conjeturas, descrever processos e justic-los com rigor progressivo. Ao elaborarem justicaes, produzindo pequenas cadeias dedutivas, familiarizam-se com o processo de demonstrao e iniciam o raciocnio geomtrico dedutivo. Os alunos devem recorrer a software de Geometria dinmica, sobretudo na realizao de tarefas exploratrias e de investigao. Relativamente aos programas de Matemtica do ensino secundrio, que se encontram divididos por ano de escolaridade e por tipo de curso a que do acesso no ensino universitrio, no existe referncia direta ao tema das isometrias, sendo no entanto interessante referir que uma das referncias bibliogrcas utilizadas, o manual Curso de Geometria de Paulo Ventura Arajo, [1], que foi um dos livros consultados durante este estudo. As orientaes metodolgicas no ensino secundrio so bem claras quanto utilizao das tecnologias: A utilizao obrigatria da tecnologia que, alm de ferramenta, fonte de atividade, de investigao e de aprendizagem, pretende tambm preparar os estudantes para uma sociedade em que os meios informticos tero um papel considervel na resoluo de problemas de ndole cientca. Acrescenta ainda que Todas as Escolas Secundrias devem dotar-se quanto antes de Laboratrios de Matemtica. O computador, pelas suas potencialidades, nomeadamente nos domnios da Geometria dinmica, da representao grca de funes e da simulao, permite atividades no s de explorao e pesquisa como de recuperao e desenvolvimento, pelo que constitui um valioso apoio a estudantes e professores, devendo a sua utilizao considerar-se obrigatria neste programa. Vrios tipos de programas de computador so muito teis e enquadram-se no esprito do programa. Os programas de Geometria dinmica, de clculo numrico e estatstico, de grcos e simulaes e de lgebra computacional fornecem diferentes tipos de perspetivas tanto a professores como a estudantes. O nmero de programas disponveis no mercado portugus aumenta constantemente. Neste sentido recomenda-se enfaticamente o uso de computadores, tanto em salas onde os estudantes podero ir realizar trabalhos prticos, como em salas com condies para se dar uma aula em ambiente computacional (nomeadamente nos Laboratrios de Matemtica)(. . . ). Os estudantes devem ter oportunidade de trabalhar diretamente com um computador. Concluindo, os programas de Matemtica dos vrios nveis de ensino, so claros quanto utilizao das tecnologias pelos alunos, em sala de aula, fazendo referncia direta aos programas de Geometria dinmica.
CAPTULO 2. INTRODUO
19
Apesar da utilizao dos computadores nas aulas de Matemtica estar explicitamente referida nos programas de Matemtica dos vrios nveis de ensino, a realidade de algumas escolas est bem distante desta situao.
2.2
Experincia como professora de Matemtica
Ser professor, hoje em dia, um desao. Ser professor de Matemtica, um desao ainda maior. Nos dias de hoje, o papel de um professor, no se resume a preparar aulas, a dar essas mesmas aulas e a avaliar os alunos. Se fosse s isto, era simples. Nas escolas bsicas e secundrias portuguesas, espera-se que o professor, alm dessas funes, tenha muitos outros atributos, tais como saber gerir a indisciplina e o conito latentes em cada aula, educar e transmitir o saber-estar numa sala de aula, conhecer a histria pessoal e social de cada aluno, contactar com as famlias desses alunos, em caso de se aperceber de algo grave, remeter a situao a outras instncias, ensinar mesmo que os alunos no queiram aprender, justicar porque no querem aprender, explicar o insucesso nos testes e exames nacionais, etc, etc, etc . . . e como fcil de ver, a Matemtica est sempre na berlinda. J dei aulas em vrios tipos de escolas, bsicas e secundrias, de zonas favorecidas, de zonas pouco favorecidas, de zonas urbanas, de zonas rurais, e a diversos tipos de alunos, desde alunos institucionalizados a alunos com necessidades educativas especiais, alunos motivados, com vontade e curiosidade de aprender a alunos sem qualquer interesse em ouvir sequer uma palavra ou escrever um nico nmero! E os obstculos no se resumem aos alunos, mas tambm a toda a burocracia que necessrio vencer e principalmente distinguir a que realmente importante, daquela que para nada serve, e para a qual ningum olha! O verdadeiro desao , apesar de todos estes obstculos, conseguir-me manter a mim prpria motivada e com esperana de que, na aula seguinte, os alunos estejam mais atentos, mais participativos e com vontade de alcanar o conhecimento, a sabedoria. . . a Matemtica. A minha experincia como professora de Matemtica tem sido orientada por duas preocupaes fundamentais: Em primeiro lugar transmitir aos meus alunos os conceitos e as ideias que os faam reconhecer a Matemtica como algo presente em tudo que os rodeia, e que compreendam o uso que dela fazem; Em segundo lugar, proporcionar aos alunos experincias motivadoras, com signicado e que contribuam para a sua aprendizagem.
CAPTULO 2. INTRODUO
20
Esta ltima preocupao, tem feito com que realize algumas pesquisas, quer sobre os tpicos da Matemtica, quer sobre a forma de os apresentar aos alunos. Tambm me motivou na procura de aes de formao contnua, e como bvio, na inscrio neste Mestrado em Matemtica para Professores. Quase naturalmente, coincidiu no tempo esta minha troca de papeis, como aluna deste mestrado, com a implementao do NPMEB, com todas as suas novidades, e claro me ajudou, ao assumir de novo o meu papel como professora. bvio que todo este trabalho de reexo e pesquisa sobre isometrias, no poderia ter sido mais atual e enriquecedor, facilitando-me a preparao das aulas em que apresentei este tema aos meus alunos. No mbito da preparao das aulas sobre este tema, efetuei uma pesquisa exaustiva a quase todos os manuais de Matemtica do 8o ano de escolaridade existentes no mercado, e pude constatar que, ao tratarem este tema, nem sempre os autores foram rigorosos ao denirem isometria. A articulao entre ciclos, ao nvel da Matemtica, do ensino bsico, tambm se vericou na escola onde leciono, de acordo com o NPMEB. Assim, pela primeira vez, professores do 1o , do 2o e do 3o ciclo, reuniram para aferirem contedos, mtodos e estratgias, e obviamente, fui includa no grupo que tratou as isometrias, o qual liderei. Constatei que o tema era mesmo novidade, nalguns aspetos, para a maioria dos intervenientes, sendo realmente importantes estas reunies de articulao: a troca de ideias e de experincias entre professores de Matemtica e professores do 1o ciclo, fundamental para a concretizao dos objetivos indicados no NPMEB.
2.3
Os alunos e o software de Geometria dinmica
Na verdade, no existem receitas nem frmulas mgicas, para que os alunos aprendam a Matemtica e tenham sucesso, se que sucesso se pode traduzir, por uma nota num exame nal. Nos meus primeiros anos como docente, estive cada ano letivo, numa escola diferente, e observei que o que funciona para um grupo de alunos, nem sempre funciona para outros. No entanto, de uma forma geral, os alunos reagem positivamente s novas tecnologias, e rapidamente dominam com alguma percia o software que lhes for apresentado. No h dvida que um grupo de alunos pouco motivados para a Matemtica, de repente se transforma num grupo de alunos aplicado, se o professor os colocar em frente a um computador com um programa de Geometria dinmica, e claro com uma tarefa devidamente preparada para este efeito. Esta armao feita de acordo com a minha experincia recente como professora.
CAPTULO 2. INTRODUO
21
Mas no possvel estabelecer uma correspondncia direta entre esta aparente vontade de aprender dos alunos, com as suas efetivas aprendizagens. Embora seja consensual que os computadores e todas as aplicaes informticas disponveis, representem um avano fundamental no ensino e aprendizagem da Matemtica, com potencialidades quase innitas, tambm se deve olhar com cuidado este percurso, para no se cair em (tambm potenciais) ratoeiras. Michael de Villiers, professor na Universidade de KwaZulu-Natal, nos Estados Unidos da Amrica, no seu artigo Some pitfalls of dynamic software [12], aponta para algumas possveis ratoeiras na utilizao de software de Geometria dinmica. Uma das mais bvias a utilizao dos programas de Geometria dinmica para fazer exatamente as mesmas coisas que eram feitas com papel e lpis: neste caso, o ganho seria praticamente nulo, o importante ser aprender a fazer coisas que seriam impossveis de executar anteriormente. No se trata s de alterar o modo de ensinar, outras questes devem ser cuidadosamente analisadas, tais como repensar o currculo, mudar a ordem dos tpicos ou mesmo introduzir outros temas. Outra armadilha apontada por Michael Villiers assumir-se que os alunos s podem utilizar o software de Geometria dinmica quando forem prossionais, o que, na opinio do autor, no poderia estar mais longe da verdade. Ainda uma outra, resultado talvez de uma m interpretao do construtivismo, quando os os alunos utilizam primeiro a Geometria dinmica para construir guras geomtricas, como quadrados, rectngulos, etc., antes de explorarem e conhecerem as suas propriedades. O autor indica mais algumas ratoeiras e armadilhas que podem ocorrer na utilizao deste tipo de software, podendo algumas ser evitadas, mas provavelmente importante que o professor descubra, pela sua prpria prtica letiva, como evitar essas ratoeiras! O ideal seria que este software, estivesse disponvel em todas as salas, para todos os alunos, em qualquer aula, e que os alunos, quando o utilizassem, absorvessem por osmose, todos os seus ensinamentos, mas como sabemos a realidade, o dia-a-dia nas escolas, bem diferente. No entanto, apesar de todas estas armadilhas, considero que uma utilizao do software de Geometria dinmica, devidamente cuidada e planicada, com plena conscincia que por vezes necessrio cair em algumas das ratoeiras (como o prprio Michael Villiers provavelmente tambm caiu!), para avanar, til e motivadora, quer para professores, quer para alunos. Assim, este trabalho inclui algumas aplicaes feitas em software de Geometria dinmica, com o objetivo de os alunos manipularem essas mesmas aplicaes, para investigarem sobre questes que lhes vo sendo colocadas, como mais a diante ser detalhadamente explicado. O software de Geometria dinmica selecionado para este estudo, foi o GeoGebra, por ser o mais utilizado nas escolas portuguesas. O GeoGebra tambm utilizado em todos os recursos informticos, que acompanham os manuais escolares de Matemtica,
CAPTULO 2. INTRODUO sendo referido em vrias tarefas nos prprios manuais.
22
2.4
Aplicaes em GeoGebra
A vertente prtica e pedaggica deste estudo, surge sob a forma de vrias aplicaes informticas, criadas em software de Geometria dinmica, tendo sido utilizado o GeoGebra : conforme j referido anteriormente, a escolha deste programa de Geometria dinmica, entre os vrios disponveis, deveu-se a vrios fatores, nomedamente por ser o programa atualmente mais utilizado nas escolas e tambm nos manuais escolares de Matemtica. Os applets criados foram inseridos em pginas de HTML, para poderem ser facilmente disponibilizados online. O programa utilizado para criar os cheiros HTML e inserir neles os applets foi o Kompozer, que se trata de um editor de HTML de distribuio livre. Estes cheiros encontram-se em anexo a este documento, num CD-ROM: o utilizador dever iniciar a visualizao desta aplicao selecionando o cheiro index.html. Este cheiro o motor central da aplicao, reencaminhando o utilizador para outros cheiros e para outras visualizaoes, sempre que tal for necessrio. De uma forma resumida, depois de uma introduo inicial explicando o signicado da palavra isometria, so dadas a conhecer as quatro isometrias, atravs de vrios links, podendo o aluno navegar na direo que lhe aprouver. Aps esta etapa, investigada a composio de isometrias, sendo efetuado no nal, um ponto da situao das concluses alcanadas. De seguida, analisado o resultado quando se fazem uma, duas ou trs reexes, em diferentes condies. tambm investigado o nmero de reexes necessrio para transformar uma gura noutra gura congruente, assim como o nmeros de pontos necessrio para caraterizar uma isometria. Por m, apresentada a classicao das isometrias, terminando a aplicao. Algumas das imagens includas nestes applets foram retiradas de vrios sites da Internet. Veja-se http://www.im.ufrj.br/dmm/projeto/projetoc/precalculo/sala/ conteudo/capitulos/cap26.html; as restantes imagens foram obtidas de diversos sites obtidos fazendo uma busca em http://images.google.com por edicio niemeyer belo horizonte, imagens de M. C. Escher e imagens de discos de vinil, nomeadamente. Descrio detalhada da estrutura e das vrias etapas e links do cheiro index.html: Comea por fazer uma pequena introduo s isometrias, explicando o signicado deste tipo de transformao geomtrica, abordando tambm o conceito de guras congruentes. As imagens utilizadas no ecr inicial so de M.C.Escher, pela beleza dos desenhos e tambm pela curiosidade que provocam, habitualmente, em quem as observa.
CAPTULO 2. INTRODUO
23
Refere isometria como movimento rgido, e sugere a realizao de uma atividade em que o aluno dever deslocar uma folha de papel ao longo do plano denido pelo tampo da sua mesa.
Depois de realizar esta atividade, o aluno questionado se conseguiu identicar diferentes formas de mover a sua folha e, atravs de uma hiperligao, dever vericar as suas respostas. A hiperligao abre uma nova pgina onde surgem os quatro tipos de isometrias. Nesta pgina, vrias possibilidades existem: o aluno poder saber detalhadamente no que consiste cada tipo de isometria, poder consultar um quadro resumo sobre as propriedades das diferentes isometrias, e nalmente prosseguir na explorao, voltando ao cheiro inicial.
CAPTULO 2. INTRODUO
24
De novo no cheiro inicial, index.html, depois de vericar que as isometrias existem em inmeras situaes do dia-a-dia, o aluno convidado a investigar sobre a composio de isometrias. Nesta etapa, o alunos tem trs opes: composio de duas rotaes, composio de duas reexes em eixos paralelos e composio de duas reexes em eixos concorrentes. Estas opes so acionadas atravs de hiperligaes, nas quais o aluno, depois de as explorar, poder voltar e continuar o processo. apresentado ao aluno um resumo da composio de isometrias. Neste fase da explorao, chama-se a ateno do aluno para a composio de reexes: o aluno agora motivado para descobrir o que acontece quando se compem trs reexes, em diferentes condies, isto variando a posio relativa dos eixos de reexo. A imagem seguinte ilustra a situao em que os trs eixos de reexo no so paralelos nem concorrentes.
De seguida, sugerido ao aluno que verique quantas reexes (no mximo) so necessrias para transformar uma gura noutra gura congruente, quando as guras tm a mesma orientao e quando as guras no tm a mesma orientao. Como ltima atividade de explorao, o aluno dever vericar que uma isometria ca completamente denida se forem conhecidos trs pontos no colineares a as respetivas imagens. Por m, apresentada ao aluno a classicao das isometrias. A estrutura geral do cheiro HTML encontra-se representada no seguinte uxograma:
CAPTULO 2. INTRODUO
26
Propriedades das isometrias
Isometrias index.html
Rotao, Translao, Reexo, Reexo Deslizante
Identicao dos diferentes tipos de isometrias
No
J conhece todos os tipos de isometrias
sim duas rotaes composio de isometrias duas reexes
trs eixos - caso geral
eixos paralelos
Trs reexes
eixos concorrentes
Orientao inversa
No reexes
Orientao igual
No pontos p/ denir uma isometria
Classicao das isometrias
Figura 2.1: Fuxograma do cheiro HTML
Captulo 3 Isometrias
Este captulo foi o resultado de uma cuidadosa e rigorosa investigao, efetuada passo a passo, sobre as transformaes geomtricas que se designam por isometrias. Foram consultados quase exclusivamente dois livros: Curso de Geometria de Paulo Ventura Arajo, [1], e Transformaes Geomtricas de A. J. Franco de Oliveira, [5]. Paulo Ventura Arajo, professor do Departamento de Matemtica, da Faculdade de Cincias da Universidade do Porto e Franco de Oliveira, atualmente aposentado, professor emrito da Universidade de vora. A abordagem que cada um dos autores faz do tema em anlise distinta, optando o primeiro por uma forma geomtrica, mais intuitiva e o segundo por uma explicao algbrica, mais simblica. Considero que os dois autores se completam, e fui utilizando ora um, ora outro, em cada uma das demonstraes apresentadas. Abordagem semelhante efetuada neste estudo, foi encontrada em [9], Symmetries of Culture Theory and Pratice of Plane Pattern Analysis : a demonstrao de que s existem quatro tipos de isometrias (translao, rotao, reexo e reexo deslizante) feita atravs da prova sequencial de trs proposies. A primeira proposio refere que se forem conhecidos trs pontos no colineares e as respetivas imagens, a isometria ca completamente determinada. A segunda proposio identica a reexo como unidade bsica das isometrias, armando que qualquer que seja a isometria no plano, esta pode ser obtida pela composio de, no mximo, trs reexes. Por ltimo, a terceira proposio, est subdividida em duas partes: a primeira parte refere que a composio de duas reexes d origem a uma translao ou a uma rotao, conforme a posio relativa dos dois eixos de reexo (eixos paralelos origina uma translao, eixos concorrentes d origem a uma rotao); a segunda parte arma que quando se compem trs reexes, e tambm dependendo da posio relativa dos eixos de reexo, obtm-se uma reexo ou uma reexo deslizante. Todas estas proposies so abordadas neste captulo, no necessariamente por esta ordem. No entanto, outros mtodos podem ser utilizados para chegar s mesmas concluses sobre o tema das isometrias. Jos Carlos Santos, professor no Departamento de Ma27
CAPTULO 3. ISOMETRIAS
28
temtica da Faculdade de Cincias da Universidade do Porto, nos seus apontamentos disponibilizados aos alunos de Formao Complementar em Matemtica I [11], utiliza os nmeros complexos a par com a Geometria e demonstra como, utilizando os nmeros complexos, se obtm a classicao das isometrias do plano. Nas demonstraes dos teoremas, corolrios e proposies apresentados neste captulo, optei pela abordagem geomtrica, pois alm de a considerar mais simples de explicar a alunos do 8o ano do ensino bsico, est de acordo com o objetivo principal deste trabalho, enquadrando-se na utilizao do GeoGebra. Alm disso, considero que a Geometria tem um papel fundamental e insubstituvel na formao matemtica dos alunos. A aprendizagem da Geometria comea com a observao do que tudo o que se pode observar nossa volta, de elementos percetveis e com a identicao de guras geomtricas, primeiro em objetos concretos e depois em crescente abstrao. Todo este processo de aprendizagem, tem como objetivo melhorar a perceo do mundo que nos rodeia, por intermdio da observao, manipulao e transformao, mas tambm, pela representao dos objetos e das relaes entre eles. Num nvel superior, a Geometria como Teoria Axiomtica que , permite o desenvolvimento do raciocnio dedutivo, extremamente importante no desenvolvimento do pensamento matemtico. No caso de alunos mais curiosos e que pretendam ir mais alm na sua formao matemtica, podero consultar este captulo, para conrmar ou esclarecer alguma questo mais pertinente. Todas as demonstraes tm como suporte uma ou mais imagens em GeoGebra, estando os conceitos envolvidos ao nvel de serem percebidos por alunos que apreciam a Geometria. Alm disso, esta forma de comunicar matematicamente, possibilita um melhor entendimento para eventuais futuros leitores desta tese. Pretendi esclarecer e explicar, em primeiro lugar a mim prpria, e depois, claro, a quem tiver o oportunidade de ler este meu estudo, a razo porque s existem quatro tipos de isometrias o plano. Para alcanar este objetivo, comecei por revelar o que se entende por isometria e depois, por cada um dos tipo de isometria: translao, rotao, reexo e reexo deslizante. De seguida, a minha investigao levou-me a perceber que a composio de isometrias era fundamental para atingir o que pretendia, e vrios exemplos so apresentados neste sentido. Durante esta etapa, tomei conscincia que a reexo a unidade bsica das isometrias, e o culminar desta importante revelao toma a forma do Teorema Fundamental das isometrias. Por ltimo, apresentada a classicao das isometrias, que surge como uma consequncia direta das vrias demonstraes que a antecedem, sendo nalmente apresentado um quadro-resumo, onde se indicam algumas propriedades das isometrias,
CAPTULO 3. ISOMETRIAS evidenciando que cada uma das quatro isometrias nica.
29
Relativamente parte nal deste captulo, as isometrias e a teoria de de grupos, foi consultado o manual Introduo lgebra, de Rui Loja Fernandes e Manuel Ricou (veja-se [3]). A incluso desta seco foi motivada por se ter considerado favorvel a utlizao de exemplos com isometrias, para explicar conceitos algbricos. Na opinio destes autores, o ensino da lgebra torna-se motivador e enriquecido, quando se parte de situaes concretas (as isometrias), para conceitos de abstrao crescente (o conceito de grupo): O ensino da lgebra deve, quanto a ns, reetir este binmio abstrato-concreto ([3, prefcio]
3.1
Breve nota histrica
Em todas as consultas e investigaes efetuadas sobre os vrios tpicos deste trabalho, foram por diversas vezes encontradas referncias aos matemticos que pela primeira vez referiram um determinado termo matemtico (que utilizado por ns hoje em dia), ou mesmo a quem atribudo um teorema especco. Pelo fascnio que sei que estas referncias exercem sobre os alunos, considerei importante incluir esta breve nota histrica. O Teorema da Classicao das Isometrias, que ser o culminar deste captulo no que diz respeito s isometrias (veja-se teorema 3.6.1 na pgina 52), geralmente atribudo a Michel Chasles (17931880), historiador e gemetra francs, conhecido pelas suas inmeras contribuies para a Geometria projetiva. Originalmente o termo transformao foi introduzido pelo matemtico Sophus Lie (18421899), numa perspetiva geral, basicamente como uma bijeo de um conjunto nele prprio. O termo grupo foi utilizado pela primeira vez pelo jovem matemtico variste Galois (18111832), tendo os seus trabalhos sido reconhecidos somente muitas dcadas mais tarde, como peas fundamentais da Matemtica moderna. Outra referncia incontornvel o Programa de Erlangen, de Felix Klein (18491925) (veja-se [6]), considerada como um dos marcos mais importantes da Matemtica do sculo XIX. Mais de um sculo depois, pode-se armar que este estudo constituiu uma espcie de separao de guas: surge como o resultado de uma lenta mas brilhante evoluo da Geometria projetiva, que Klein resume, condensa e explica, principalmente utilizando o conceito de grupo. A utilizao deste conceito, induz novas dinmicas em vrios ramos da Matemtica (no se restringindo s Geometria), estreitando as implicaes e ligaes conceptuais entre a lgebra, a Geometria e a Anlise, tendncia que se mantm na Matemtica dos nossos dias. Klein, inuencidado por vrios matemticos seus contemporneos, como Sophus Lie, seu amigo e com quem estudou, Arthur Cayley e James Sylvester, a quem foi
30
buscar a teoria geral dos invariantes, e mesmo Bernhard Riemann, com os grupos de homeomorsmos. Mas a originalidade e criatividade de Klein foi ter concebido a relao entre Geometria e grupo, revertendo os papeis destas duas entidades: o grupo passou a ter o papel principal, e os espaos em que ele operava, evidenciavam as diversas caratersticas da estrutura de um grupo. Neste programa, Klein apresenta a Geometria como o estudo das propriedades de um espao invariante pela aco de um grupo. A Geometria euclidiana no era mais do que o estudo do grupo das transformaes euclidianas, a Geometria hiperblica no era mais do que o estudo do grupo das transformaes hiperblicas, desmisticando assim as novas Geometrias.
3.2
Introduo s isometrias
Estritamente falando, uma gura s pode coincidir com ela prpria. No entanto, se essa gura se deslocar rigidamente no plano, sem alterar nem a sua forma nem as suas dimenses, ento as guras so iguais, isto so congruentes. O conceito geral de congruncia abordado ao longo deste estudo efetuado utilizando a noo de isometria no plano. Etimologicamente, a palavra isometria signica mesma medida. Uma transformao geomtrica uma funo que faz corresponder a cada ponto do plano, um novo ponto do plano; normalmente exige-se que essa funo seja bijetiva (cada ponto do plano a imagem de um e um s ponto do plano), e que preserve as guras geomtricas: por exemplo a imagem de um tringulo seja ainda um tringulo, e a imagem de uma reta seja uma reta. As transformaes geomtricas que iro ser analisadas neste estudo, as isometrias, alm de estarem de acordo com os requisitos acima mencionados (serem bijetivas e preservarem as guras geomtricas), preservam tambm outra caraterstica, que as descreve: a distncia entre dois pontos. Por denio, uma isometria, ou movimento rgido, uma funo aplicada a um conjunto de pontos, que preserva as distncias, isto , para quaisquer pontos P e Q, a distncia d entre eles obedece seguinte igualdade: d(P, Q) = d(P, Q) As guras F1 e F2 dizem-se isomtricas ou congruentes, se e s se existir uma isometria que transforme F1 em F2 , ou seja F2 = [F1 ] Desta forma, se for aplicada uma transformao geomtrica a uma gura F1 e se a gura resultante F2 for congruente com F1 , ento a transformao geomtrica uma
CAPTULO 3. ISOMETRIAS isometria.
31
3.3
Tipos de isometrias
Nesta seco vo ser abordadas com algum detalhe os diferentes tipos de isometrias do plano. Assim, estas transformaes geomtricas vo ser denidas e caraterizadas, sendo indicado para cada uma delas, elementos auxiliares necessrios quando se pretende referir uma dada isometria.
3.3.1
Translao
A translao muitas vezes considerada a transformao geomtrica mais simples, e normalmente a primeira isometria a ser apresentada aos alunos. denida por um vetor: seja a translao associada ao vetor AB . Quando aplicada ao ponto C , d origem a um nico ponto C , tal que AB = CC e os segmentos de reta [AB ] e [CC ] so paralelos (ver gura 3.1).
C C
Figura 3.1: Translao Para se determinar esse ponto, procede-se da seguinte forma: se o ponto C for colinear com os pontos A e B , ento o ponto C tambm ser colinerar, sendo o nico ponto pertencente reta denida pelos pontos A e B , que se encontra distncia de C tal que CC = AB , e a orientao de C para C seja a mesma relativamente de A para B gura 3.2.
C A C A C A C B B B C C
Figura 3.2: Translao pontos colineares
32
Se o ponto C for no colinear com os pontos A e B , ento os pontos A, B , C e C formam um paralelogramo, conforme est representado na gura 3.3: da mesma forma, o ponto C o nico ponto que se encontra distncia de C igual a AB . O segmento [CC ] paralelo ao vetor AB , e o sentido de C para C o mesmo do vetor que dene a translao.
C C C C
Figura 3.3: Translao pontos no colineares Saliente-se que a translao uma isometria que envia segmentos, retas ou semi-retas, em segmentos, retas ou semi-retas paralelos. importante tambm referir que a translao propriamente dita, no tem pontos xos, e que a orientao dos ngulos preservada. A translao associada ao vetor nulo, ou identidade, uma excepo, pois como bvio, xa todos os pontos. Apesar da translao ser considerada a isometria mais simples, no pode ser classicada como a isometria mais bsica. interessante referir que a translao pode ser obtida por composio de reexes, como mais frente ser analisado com algum pormenor. De facto, a translao pode ser obtida pela composio de duas reexes sucessivas em eixos paralelos, ou ainda pela composio de duas rotaes sucessivas, desde que a soma das respectivas amplitudes seja igual a 360 , ou como bvio, pela composio de translaes.
3.3.2
Rotao
Uma rotao carateriza-se por um centro de rotao O e por uma amplitude . Assim, se a rotao de centro O e amplitude for aplicada a um ponto P (ver gura 3.4), sendo P = O, obtm-se P tal que OP = OP , e o ngulo orientado (OP , OP ) = . O centro da rotao O permanece invariante. Relativamente ao sentido da rotao, considera-se que se > 0, a rotao feita no sentido positivo ou anti-horrio, e se < 0, a rotao feita no sentido horrio. A rotao propriamente dita, xa um nico ponto, o centro da rotao, e preserva a orientao dos ngulos. A rotao de amplitude 0 , ou identidade, semelhana da translao associada ao vetor nulo, xa todos os pontos alm do centro de rotao. Proposio 3.3.1 Toda a rotao uma isometria. Demonstrao: Considere-se a rotao de centro O e amplitude , abreviando (O; ), de dois pontos A e B :
33
Figura 3.4: Rotao 1. Se os pontos O, A e B forem colineares (ver gura 3.5), podem ocorrer duas situaes distintas, conforme a localizao dos pontos A e B relativamente ao ponto O. No entanto, fcil concluir para as duas situaes, que AB =A B : os segmentos de reta [OA] e [OA ] so congruentes, pois so raios da mesma circunferncia, assim como so congruentes os segmentos de reta [OB ] e [OB ], pelo mesmo motivo. Na primeira situao AB = OB OA = A B . Na segunda situao, estando o ponto O entre os pontos A e B , AB = OB + OA = A B .
B A O A B A A O B B
Figura 3.5: Rotao pontos A e B colineares com o ponto O 2. Se os pontos O, A e B forem no colineares, conforme representado na gura 3.6, aplicando o critrio de congruncia de tringulos LAL(dois lados iguais e o ngulo entre eles formado igual) aos tringulos AOB e A OB , pode-se concluir que o segmento de reta [AB ] igual ao segmento de reta [A B ].
B
A B A
Figura 3.6: Rotao pontos A e B no colineares com o ponto O
34
Concluso: a rotao uma isometria porque quando aplicada a dois pontos, preserva as distncias entre eles. Relativamente rotao, refere-se que esta xa um e um s ponto, o centro da rotao, e que, tal como a translao, mantm a orientao dos ngulos.
3.3.3
Reexo
A reexo uma transformao geomtrica que transforma cada ponto P (de um segmento de reta, de um tringulo, . . . ), relativamente a um eixo, noutro ponto P , tal que a distncia de P ao eixo de reexo, medida na perpendicular, igual distncia de P ao eixo de reexo tambm medida na perpendicular, ou seja o eixo de reexo a mediatriz do segmento de reta [P P ]. Os pontos pertencentes ao eixo de reexo permanecem invariantes. A reexo uma isometria que xa os pontos que pertencem ao eixo de reexo e inverte os sentido dos ngulos. Considere-se a reexo numa reta l ver gura 3.7: a reexo de um ponto P em l uma funo l denida por: P se P l P se P / l, onde P o ponto no lado oposto de l l (P ) = tal que l a mediatriz de [P P ]
Figura 3.7: Reexo do ponto P Proposio 3.3.2 Toda a reexo uma isometria. Demonstrao: Considere-se a reexo l de dois pontos quaisquer A e B na reta l, obtendo-se A = l (A) e B = l (B ). Dada a denio de isometria j indicada anteriormente, l uma isometria se e s d(A, B ) = d(A , B ). Conforme a localizao dos pontos A e B , vo ser analisados os seguintes quatro casos: Caso 1 : Ambos os pontos A, B l. Ento A = A e B = B e de imediato se pode concluir que d(A, B ) = d(A , B ).
35
B B A l A
Figura 3.8: Reexo do segmento de reta [AB ] Caso 2 : Um e um s dos pontos A e B l, por exemplo B l conforme gura 3.8. Como l a mediatriz do segmento de reta [AA ] ento B (que igual a B ) est a igual distncia de A e de A , logo d(A, B ) = d(A , B ). Caso 3 : O segmento de reta [AB ] perpendicular reta l e interseta-a no ponto X (ver gura 3.9). Considere-se o ponto X a origem de um referencial, ou seja a abcissa de X 0. Considerando a a abcissa de A, e b a abcissa de B , ento d(A, B ) = |b a|. Pela denio de reexo e pelas propriedades da mediatriz, as abcissas de A e de B so respetivamente a e b, sendo a distncia d(A , B ) = |(a) (b)| = |b a|, que era o resultado pretendido.
B A l X A B
Figura 3.9: Reexo do segmento de reta [AB ] perpendicular reta l Caso 4 : Os pontos A, B / l e o segmento de reta [AB ] no perpendicular reta l gura 3.10. Este caso ainda poderia ser subdividido em dois, conforme os pontos A e B estejam do mesmo lado ou em lados opostos, no entanto a justicao a mesma.
B1 B B A P Q l A P A B B Q l
Figura 3.10: Reexo do segmento de reta [AB ] na reta l Sendo P e Q as intersees com l dos segmentos de reta [AA ] e [BB ], respetivamente, e como P = Q por o segmento de reta [AB ] no ser perpendicular reta l, resulta que os tringulos AP Q e A P Q so congruentes. Ento AQ = A Q e AQP = A QP . Por semelhana de tringulos (critrio LAL), BQ = B Q, AQ = A Q, e AQB = A QB , conclui-se que AB = A B .
36
A reexo uma isometria que deixa invariante o eixo de reexo e consequentemente todos os pontos que pertenam a esse eixo, conforme j referido, e que inverte a orientao dos ngulos.
3.3.4
Reexo Deslizante
A reexo deslizante a isometria que se obtm por composio de uma reexo numa dada reta, seguida por uma translao segundo um vetor paralelo reta, ou vice-versa, isto a composio de uma translao seguida de uma reexo, tendo a reta e o vetor a mesma direo ver gura 3.11. De facto, no caso da reexo deslizante, o resultado o mesmo independentemente da ordem pela qual as duas isometrias so feitas. Uma reexo deslizante ca assim denida por uma reta e por um vetor; este quarto e ltimo tipo de isometria, tal como a translao, no tem pontos xos, mas ao contrrio desta, inverte a orientao dos ngulos. A demonstrao de que a composio de uma reexo com uma translao uma isometria, ser dada na seco onde analisada a composio de isometrias ver proposio 3.4.1, onde demonstrado que o resultado da composio de isometrias uma isometria. Assim, como a reexo deslizante resulta da composio de uma translao com uma reexo, ou seja, resulta da composio de duas isometrias, ento uma isometria. importante referir que a reexo deslizante, pode ser obtida pela composta de trs reexes, em trs retas distintas, nem paralelas nem concorrentes Teorema 3.4.6, na pgina 44.
P B A l A B C A B C Q C
Figura 3.11: Reexo deslizante
3.4
Composio de isometrias
Estando devidamente caraterizadas as quatro isometrias do plano, interessa agora provar que quando se compem duas ou mais isometrias, o resultado ainda uma isometria. Assim, depois de provada esta questo, vo ser analisadas diversas composies de isometrias, com resultados considerados interessantes. Um dos resultados
37
interessantas desta anlise, sem dvida o papel fundamental que a reexo desempenha, pois qualquer das outras trs isometrias do plano (translao, rotao e reexo deslizante), pode ser obtida atravs da composio de reexes. A reexo pode ser considerada a unidade bsica das isometrias, pois as outras podem ser construdas por reexes. Proposio 3.4.1 O resultado obtido quando se compem isometrias, uma isometria. Demonstrao: Sejam f a composio de duas isometrias 1 2 , aplicadas a dois pontos A e B : f (A) = 2 1 (A) e f (B ) = 2 1 (B ). Considerando os pontos A e B , e as imagens destes dois pontos, 1 (A), 1 (B ), 2 1 (A) e 2 1 (B ) ento a distncia d entre eles obedece seguinte igualdade: d(2 1 (A), 2 1 (B )) = d(1 (A), 1 (B )) = d(A, B ) A funo composta 2 1 uma isometria pois preserva as distncias entre dois pontos, de acordo com a denio de isometria dada anteriormente. Este resultado pode ser generalizado para a composio de n isometrias: 1 , 2 , 3 , . . . , n1 , n . Assim, d(n n1 2 1 (A), n n1 2 1 (B )) = d(A, B ) Fica assim provado que o resultado da composio de isometrias, tambm uma isometria.
3.4.1
Composio de translaes
Teorema 3.4.1 A composio de translaes uma translao (ou a identidade). Demonstrao: Conforme j foi referido, uma translao caraterizada por um vetor, que a dene. Assim, quando se compem duas translaes, necessrio conhecer o vetor associado a cada uma delas. A isometria composta ser uma translao associada ao vetor-soma, resultado da adio dos dois vetores. Seja a translao associada ao vetor v e a translao associada ao vetor v .
1 1 2 2
A isometria f = 2 1 uma translao, associada ao vetor-soma v1 + v2 , ver gura 3.12. No caso dos vetores serem simtricos (mesma direo, sentidos opostos e igual com primento), o vetor-soma o vetor nulo: v1 = v2 e v1 + v2 = 0 .
A v1 A v1 + v2 v2 v1 + v2 A v1 v2
38
Figura 3.12: Composio de translaes vetores com diferentes direes

AA v1 A
v2 v1 v2
Figura 3.13: Composio de translaes vetores simtricos Neste caso, a isometria resultante a identidade, conforme se pode observar na gura 3.13. Concluso: Quando se compem translaes, a isometria resultante uma translao, sendo a identidade no caso em que os vetores so simtricos (translao associada ao vetor nulo).
3.4.2
Composio de duas reexes em eixos concorrentes
Teorema 3.4.2 Seja f a isometria composta por duas reexes sucessivas f1 e f2 , em retas concorrentes: f = f2 f1 . A isometria resultante, f , uma rotao, com centro no ponto de interseo das duas retas e de amplitude igual ao dobro do ngulo que as duas retas fazem entre si. Demonstrao: Seja O o ponto de interseo dos dois eixos. Como f1 (O) = f2 (O) = O, claro que f (O) = O. Seja A a imagem do ponto A por reexo no eixo1 e A a imagem do ponto A por reexo no eixo2 . Seja o ponto P a interseo do eixo1 com o segmento de reta [AA ] e P a interseo do eixo2 com o segmento de reta [A A ] ver gura 3.14. Por denio, os segmentos de reta [AP ] e [A P ] so congruentes, assim como so iguais as amplitudes dos ngulos AOP e A OP , iguais a , pois os tringulos AOP e A OP so congruentes. Da mesma forma, os segmentos de reta [A P ] e [A P ] so
39
eixo2 A P O A P A eixo1
Figura 3.14: Composio de reexes em eixos concorrentes congruentes, assim como so iguais as amplitudes dos ngulos A OP e A OP , iguais a , devido aos tringulos A OP e A OP serem congruentes. Deste modo, para determinar a amplitude da rotao, ngulo AOA , pode-se utilizar a seguinte expresso: AOA = AOP + A OP + A OP + A OP ou utilizando as letra gregas , e AOA = + + + Mas, como o ngulo que os dois eixos fazem entre si, igual a P OP = A OP + A OP = + e como AOP = A OP e A OP + A OP ento AOA = 2. Concluso: a rotao est centrada no ponto de interseo dos dois eixos e a sua amplitude igual ao dobro do ngulo que os dois eixos fazem entre si.
s1 l A Al /2
40
Figura 3.15: Rotaes diferentes formas de representao: = s1 l

l Ar1 A /2 O r1
Figura 3.16: Rotaes diferentes formas de representao: = l r1 Corolrio 3.4.1 Seja uma rotao centrada em O, sendo o ngulo de rotao, e seja l uma reta qualquer que passe no ponto O. Ento existem e so nicas as retas r1 e s1 , tais que = l r1 = s1 l . Demonstrao: Seja uma rotao de centro no ponto O e amplitude , que envia o ponto A, no ponto A . Seja l uma reta qualquer, que passa no ponto O. De acordo com o teorema 3.4.2, e sendo a rotao a composta de duas reexes em eixos concorrentes, com centro no ponto de interseo e amplitude igual ao dobro do ngulo existente entre as duas retas, ento as retas r1 e s1 so as nicas retas que fazem um ngulo de +/2 e /2 com a reta l vejam-se as guras 3.15 e 3.16.
3.4.3
Composio de duas reexes em eixos paralelos
Teorema 3.4.3 Seja f a isometria composta por duas reexes sucessivas f1 e f2 , em retas paralelas: f = f2 f1 . A isometria resultante, f , a translao, por um vetor perpendicular s retas, e de comprimento igual ao dobro da distncia entre estas. Demonstrao: Seja A um ponto do plano e sejam eixo1 e eixo2 os eixos das duas reexes. A demonstrao vai ser feita supondo que: 1. O ponto A est num dos semi-planos em que o eixo1 divide o plano e o eixo2 est noutro; 2. A distncia de A ao eixo1 menor ou igual distncia d entre os dois eixos.
41
A eixo1 P A
P eixo2 A
Figura 3.17: Composio de duas reexes em eixos paralelos Os restantes casos so anlogos. Seja A a imagem do ponto A por reexo no eixo1 e A a imagem do ponto A por reexo no eixo2 . Seja o ponto P a interseo do eixo1 com o segmento de reta [AA ] e P a interseo do eixo2 com o segmento de reta [A A ] ver gura 3.17. Por denio de reexo, os segmentos de reta [AP ] e [A P ] so congruentes, assim como os segmentos de reta [A P ] e [A P ]. Neste caso, cada reta perpendicular aos eixos de reexo, ca invariante por f , isto os pontos da reta so enviados por f em pontos da mesma reta. Embora cada uma das isometrias, f1 e f2 , tenham um nmero innito de pontos xos, a isometria f no tem pontos xos: assim, f dever ser uma translao. O comprimento do segmento de reta [AA ] igual a: AA = AP + P A + A P + P A Mas como AP = P A e A P = P A e a distncia entre os dois eixos d, dada pela expresso d = AP + A P , ento AA = 2d. Visto que o segmento AA perpendicular ao eixo1 e que o segmento A A perpendicular ao eixo2 , o segmento AA perpendicular a ambos os eixos. Alm disso, o sentido do vetor AA tal que se um ponto percorrer, nesse sentido, a reta que o contm, ento esse ponto passa primeiro pelo eixo1 e s depois pelo eixo2 . Concluso: A isometria f uma translao, com direo perpendicular aos dois eixos e de comprimento igual ao dobro da distncia entre eles, e cujo sentido vai do eixo1 para o eixo2 .
3.4.4
Composio de trs reexes em eixos paralelos
Teorema 3.4.4 Seja f a isometria composta por trs reexes em eixos paralelos r, s e t: f = t s r . Ento a isometria resultante f uma reexo num eixo paralelo aos outros trs, sendo esse eixo u, nico.
42
Demonstrao: Sejam r, s e t trs retas paralelas, e considere-se a reexo do tringulo ABC nessas trs retas ver gura 3.18. Por denio de reexo, e como pelo teorema, as retas r, s e t so paralelas entre si, os pontos A, A , A e A so colineares, o mesmo se vericando para os outros vrtices dos tringulos. Ento a reta u ser a mediatriz dos segmentos [AA ], [BB ] e [CC ], sendo esta reta nica, obtendo-se f = u . Desta forma, f uma reexo cujo eixo ser a reta que passa pelos pontos mdios dos segmentos [AA ], [BB ] e [CC ]. Note-se, que a isometria f tambm pode ser identicada como a composta de uma translao com uma reexo, de acordo com o teorema 3.4.3. Assim f = t , sendo a translao associada ao vetor com direo perpendicular s retas, e com comprimento igual ao dobro da distncia entre as retas s e r, de acordo com o teorema 3.4.3. Neste caso, a composta de uma reexo com uma translao no d origem a uma reexo deslizante mas sim a uma reexo, pois o vetor perpendicular ao eixo de reexo,.
r A B A s A u t A B
Figura 3.18: Composio de trs reexes em eixos paralelos Desta demonstrao, e tambm da demonstrao da composta de duas reexes em eixos paralelos, pode-se concluir que quando se efetuam reexes em eixos paralelos se o nmero de reexes for par, a isometria obtida uma translao, se o nmero for mpar, uma reexo. Corolrio 3.4.2 Seja a translao de um ponto A ao longo de uma reta l, dando origem a um ponto A . Ento, para qualquer reta r1 perpendicular a l, existe e nica, a reta s1 , perpendicular a l tal que = s1 r1 . Demonstrao: A isometria a translao ao longo da reta l e associada ao vetor AA , podendo tambm ser denida pela composio de reexes r s . A reta r1 qualquer reta perpendicular a l ver gura 3.19. A obteno da reta s1 , que nica, pode ser feita da seguinte forma: depois da reexo de A na reta r1 , obtendo-se o ponto Ar1 , a reta s1 ser a mediatriz do segmento de reta [Ar1 A ]. Concluso: a translao pode ser obtida pela composio das seguintes reexes: = r s = s1 r1 = = rn sn , isto , a translao pode ser denida por inmeras formas diferentes.
s r1 r s1
43
A Ar1
Figura 3.19: Composio de reexes diferentes formas de representao
3.4.5
Composio de trs reexes em eixos concorrentes
Teorema 3.4.5 Sejam r, s e t trs retas concorrentes num ponto P . Ento, existe uma nica reta l, que passa no ponto P , tal que a isometria obtida por composio da reexo sucessiva em cada uma das trs retas, uma reexo nessa reta: t s r = l .
r s l
Figura 3.20: Composio de reexes em trs retas concorrentes Demonstrao: De acordo com o demonstrado anteriormente no Teorema 3.4.2, s r , uma rotao, centrada no ponto P e de amplitude igual ao dobro do ngulo que as duas retas fazem entre si. Pelo corolrio 3.4.1, existe uma reexo numa reta l que passa por P , tal que s r = t l . Substituindo esta expresso na igualdade do teorema, ca: t s r = t t l Como t t a identidade (duas reexes sucessivas na mesma reta), imediato que t s r = l Pela denio de reexo, a reta l a mediatriz de dois pontos correspondentes, por exemplo A e A .
44
Concluso: a composio de reexes em trs retas concorrentes no mesmo ponto, uma reexo numa outra reta, tambm concorrente nesse ponto.
3.4.6
Composio de trs reexes em eixos nem paralelos nem concorrentes
Teorema 3.4.6 Sejam r, s e t retas distintas que no so paralelas nem concorrentes. Ento a isometria f , obtida por composio da reexo sucessiva em cada uma das trs retas, f = r s t , uma reexo deslizante.
B C A A B C A
Figura 3.21: Reexo em trs retas nem paralelas nem concorrentes Demonstrao: Considere-se que as retas r e s se intersetam, por exemplo, no ponto P . Pela hiptese do teorema P / t. Seja l a reta perpendicular a t passando por P , e Q o ponto de interseo de l e t ver gura 3.22. Pelo corolrio das rotaes, corolrio 3.4.1, existe uma nica reta u que passa por P , tal que r s = u l e r s t = u l t . Seja agora v a reta perpendicular a u que passa por Q e m a reta perpendicular a v que passa por Q ver gura 3.23. Como l t = m v uma rotao de 180 , ento r s t = u m v . Dado que as retas u e m so retas paralelas, u m uma translao ao longo de v , isto = u m . Ento r s t = u m v = v , que por denio, uma reexo deslizante.
3.4.7
Composio de duas rotaes
Antes de efetuar a demonstrao da composio de duas rotaes, importante referir que as nicas isometrias que enviam segmentos/semi-retas/retas em segmentos/semiretas/retas paralelos, so a translao e a rotao de amplitude 180 , conforme demonstrao efetuada a seguir.
45
A u A P l r s Q
Figura 3.22: Reexes em trs retas nem paralelas nem concorrentes: retas u e l
v
m A u A P l r s t A Q
Figura 3.23: Trs reexes: retas m e v Proposio 3.4.2 Se os tringulos ABC e A B C forem congruentes, e os lados do primeiro tringulo forem paralelos aos lados correspondentes do segundo tringulo, ento a isometria que transforma o tringulo ABC no tringulo A B C , uma translao (se AB = A B ) ou uma rotao de amplitude 180 (se AB = A B ).
A B A
Figura 3.24: Lados correspondentes paralelos translao Demonstrao: No caso dos lados correspondentes dos dois tringulos, serem colineares, ento os dois tringulos so coincidentes: se os segmentos de reta AB e A B coincidirem, e tambm coincidirem os segmentos de reta AC e A C , ento A = AB AC = A B A C = A . Neste caso, a isometria a translao associada ao vetor nulo, ou seja, a identidade. No caso dos dois tringulos no coincidirem, supondo que os segmentos de reta AB e A B so no colineares, e pela hiptese da proposio, estes dois segmentos so
46
congruentes e paralelos, ento os pontos A, B, A e B , so os vrtices de um paralelogramo. Conforme a posio relativa dos vrtices A e A , a isometria ser uma translao ou uma rotao. Caso 1 A e A so vrtices consecutivos do paralelogramo: neste caso, AA = BB (e AB = A B ) e C ser o ponto obtido por translao associada ao vetor AA , aplicada ao ponto C ver gura 3.24.
A B O C A B C
Figura 3.25: Lados correspondentes paralelos rotao Caso 2 A e A so vrtices opostos do paralelogramo: neste caso, os segmentos de reta AA e BB , so as diagonais do paralelogramo ( e AB = A B ), intersetando-se em O, que o ponto mdio dos dois segmentos (e tambm do segmento CC ). Assim, o ponto O, o centro da rotao, de amplitude 180 (repare-se que qualquer dos pontos, respetiva imagem e o centro de rotao pertencem mesma reta) ver gura 3.25. Proposio 3.4.3 Seja uma isometria no plano. Se, para quaisquer dois pontos A, B , e respetivas imagens (A) = A , (B ) = B , sendo A = A e/ou B = B o ngulo orientado (AB, A B ) tiver uma amplitude , ento essa isometria uma rotao de amplitude , ou uma translao, se o ngulo for igual a 0 . Demonstrao: Suponha-se = 0 (pois o caso de ser igual a 0 j foi analisado na proposio anterior 3.4.2). Esta demonstrao ir provar que a isometria uma rotao de centro O e amplitude , investigando se tem pontos xos, e posteriormente vericando se = (O; ). Pela proposio, a isometria em causa no a identidade. Assim, existe um ponto A tal que A = A . Considere-se um ponto P a percorrer a mediatriz de AA (ver gura 3.26): a amplitude do ngulo (P A, P A ) pertence ao intervalo ]0, 360 [, existindo um nico ponto O tal que (OA, OA ) = . Por denio de isometria A O = AO e AO = A O, porque O pertence mediatriz de AA , logo A O = A O. Como (AO, A O) = (OA, OA ) = = (AO, A O ), ento A O = A O , que igual a O = O . Est assim provado que O um ponto xo. Seja agora B um ponto qualquer, com B = O ver gura 3.27. Pela hiptese, os segmentos O B e OB so congruentes e (OB, O B ) = .
mediatriz de AA
47
A P
Figura 3.26: Rotao de amplitude I

A B B A
Figura 3.27: Rotao de amplitude II Como j foi provado que O = O, ento OB = OB e (OB, OB ) = , o que prova que B a imagem de B por , ou seja, B = (B ), sendo uma rotao de centro O e amplitude . Teorema 3.4.7 Quando se compem duas rotaes (O1 , ) e (O2 , ), o resultado obtido depende da soma + das amplitudes. Mais precisamente; se + for igual a 0 ou a 360 , ento a isometria que se obtm pela composio uma translao (que pode ser a identidade); caso contrrio, uma rotao de amplitude igual a + . Demonstrao: No caso em que + = 360 , a isometria composta uma transla o, associada ao vetor AA ver gura 3.28. Se O1 coincidir com O2 , sendo + = 360 , ento as duas rotaes so a inversa uma da outra, e a isometria composta a identidade ver gura 3.29 . Se + = 360 , a isometria composta uma rotao de amplitude + , pois cada segmento AB enviado num segmento congruente A B , tal que o ngulo orientado (AB, A B ) = + ver gura 3.30. A localizao do centro de rotao da isometria composta obtida pela interseo das mediatrizes AA e BB . No caso de O1 = O2 , como bvio o centro de rotao da isometria composta tambm coincide com estes dois pontos.
Mediatriz BB A A B B O2
48
O1
B A Mediatriz AA
Figura 3.28: Composio de rotaes com + = 360
O1 = O2
B=B
A=A
Figura 3.29: Composio de rotaes com + = 360 e O1 = O2 Teorema 3.4.8 A composta por qualquer ordem de uma rotao de amplitude com uma translao associada ao vetor u , uma rotao com amplitude . Demonstrao: Este teorema uma consequncia imediata da proposio 3.4.3: para cada par de pontos, por exemplo A e B , o ngulo orientado (AB, A B ) igual a . Na gura 3.31 esto representadas as duas isometrias: a translao associada ao vetor u e a rotao de amplitude . interessante referir que neste caso, composio de translao com rotao, interessa a ordem pela qual as isometrias so efetuadas, pois apesar a isometria composta ser nos dois casos, uma rotao com a mesma amplitude, o resultado nal no o mesmo veja-se gura 3.32. Em qualquer dos casos, a localizao do centro de rotao da isometria composta Oc , feita por interseo das mediatrizes dos segmentos de reta [AA ], [BB ] e [CC ],
49
Mediatriz BB B
Mediatriz AA B
A B + O O2
A A
O1
Figura 3.30: Composio de rotaes com + = 360

B B
A O
u A B
Figura 3.31: Composio de translao com rotao obtendo-se o novo centro de rotao Oc gura 3.33.
3.5
Teorema Fundamental das isometrias
Teorema 3.5.1 Se ABC DEF , ento existe uma e uma s isometria , tal que A = D, B = E e C = F . Demonstrao: Vai-se obter como a composta de trs isometrias, 1 , 2 e 3 (isto , = 1 2 3 ), cada uma das quais uma reexo ou a identidade. 1. Se A = D, a isometria 1 a identidade. Se A = D, 1 ser a reexo na mediatriz l1 de AD. Aps a reexo 1 , as imagens dos vrtices do tringulo ABC so: 1 A = D 1 B = B1
50
B A O
A u B B
Figura 3.32: Composio de rotao com translao: ordem das isometrias

B A O Mediatriz [AA ] Mediatriz[B, B ]
Oc
A u B
A B
Figura 3.33: Composio de rotao com translao: localizao do centro da isometria composta 1 C = C1 2. Se E = B1 , a isometria 2 a identidade. Se E = B1 , 2 ser a reexo na mediatriz l2 de B1 E , pois D est na mediatriz l2 de B1 E , dado os tringulos serem congruentes pela hiptese do teorema e 1 ser uma isometria. Aps a reexo 2 , as imagens dos vrtices do tringulo 2 D = D 2 B1 = E 2 C1 = C2 3. Se C2 = F , a isometria 3 a identidade. Se C2 = F , 3 ser a reexo na mediatriz l3 de C2 F , pois D e E esto na mediatriz l3 de C2 F , dado os tringulos serem congruentes pela hiptese do teorema e 1 e 2 serem isometrias. Aps a reexo 3 , as imagens dos vrtices do tringulo DEC2 so: DB1 C1 so:
l3 l1
51
B F C A D l2 C2 E C1 B1
Figura 3.34: Teorema fundamental das isometrias existncia 3 D = D 3 E = E 3 C2 = F Voltando considerao inicial que = 1 2 3 , e utilizando as igualdades obtidas nos pontos 1, 2 e 3, obtm-se: A = 3 2 1 A = 3 2 D = 3 D = D B = 3 2 1 B = 3 2 B1 = 3 E = E C = 3 2 1 C = 3 2 C1 = 3 C2 = F Repare-se que no s existe uma isometria, como composta por trs reexes, no mximo. Est assim provada a existncia da isometria , que transforma Falta agora provar que nica. ABC em DEF .
Uma isometria ca completamente determinada por trs pontos no colineares e as suas imagens. De facto, dado que as isometrias preservam distncias, a distncia de qualquer ponto P (ver gura 3.35) a A dever ser igual distncia da sua imagem P (= (P )) a D. Analogamente a distncia de P a B dever ser igual de P a E e a distncia de P a C dever ser igual de P a F . Assim, pela interseo das seguintes circunferncias circunferncia centrada em D, com raio igual distncia de P a A circunferncia centrada em E , com raio igual distncia de P a B
CAPTULO 3. ISOMETRIAS circunferncia centrada em F , com raio igual distncia de P a C obtm-se um nico ponto: P . Est assim provado que a isometria , que transforma ABC em
52
DEF nica.
B D
P C E P F
Figura 3.35: Teorema fundamental das isometrias unicidade
3.6
Classicao das isometrias
Teorema 3.6.1 Seja f uma isometria no plano: ento f uma translao, ou uma rotao, ou uma reexo ou uma reexo deslizante. Demonstrao: Conforme provado anteriormente no Teorema Fundamental das isometrias, Teorema 3.5.1, se dois tringulos forem congruentes, ento existe e nica a isometria f , que transforma um tringulo no outro, podendo f ser expressa pela composta de, no mximo, trs reexes: f = r s t . Assim, conforme o nmero de reexes necessrias para denir f , a isometria de cada uma das classes referidas na hiptese do teorema. Uma reexo: f = t , sendo r e s iguais identidade. Trata-se ento de uma reexo. Duas reexes: f = s t , sendo r igual identidade. Consoante a posio relativa das retas s e t, f ser:
53
Retas s e t concorrentes: Neste caso f ser uma rotao, conforme provado no Teorema 3.4.2, centrada no ponto de interseo entre as duas retas e de amplitude igual ao dobro do ngulo que as duas retas fazem entre si. Retas s e t paralelas: neste caso f ser uma translao, conforme provado no Teorema 3.4.3, associada ao vetor perpendicular s retas e de comprimento igual ao dobro da distncia entre elas. Trs reexes: f = r s t . Consoante a posio relativa das trs retas r, s e t, f ser: Retas r, s e t paralelas entre si: neste caso e de acordo com o teorema 3.4.4, f ser uma reexo. Retas r, s e t concorrentes num ponto: neste caso e de acordo com o teorema 3.4.5, f ser uma reexo. Retas s e t nem paralelas nem concorrentes: ento o Teorema 3.4.6 indica que f ser uma reexo deslizante. Concluso: de acordo com o exposto acima, se f for uma isometria, ento f ser uma translao, rotao, reexo ou reexo deslizante.
3.7
Propriedades das isometrias
As quatro isometrias do plano, devidamente identicadas e caraterizadas nas seces anteriores, apesar de pertencerem ao mesmo tipo de transformaes geomtricas, apresentam, no entanto, propriedades que as diferenciam. Assim, se os quatro tipos de isometrias forem analisadas relativamente ao nmero de pontos xos e orientao dos ngulos, verica-se que cada tipo de isometria nico. Relativamente orientao dos ngulos, podem-se diferenciar a reexo e reexo deslizante (estas duas isometrias trocam a orientao dos ngulos ver gura 3.36) da translao e da rotao (estes dois tipos de isometrias mantm a orientao dos ngulos ver gura 3.37). No que diz respeito ao nmero de pontos xos, e excluindo a identidade, podem-se colocar de um lado translao e reexo deslizante (sem pontos xos), e de outro a rotao e reexo (com pelo menos um ponto xo). Estes duas isometrias, ainda se podem distinguir completamente uma da outra, pois no caso da rotao, existe um e um s ponto xo, enquanto que na reexo o nmero de pontos xos innito. Na tabela 3.1, encontram-se resumidas as propriedades das quatro isometrias do plano.
54
Figura 3.36: Reexo e reexo deslizante: inverso do sentido dos ngulos
Figura 3.37: Rotao e translao: sem alterao no sentido dos ngulos
3.8
Isometrias: um pouco mais alm. . . teoria de grupos
O objetivo desta seco o de aproveitar o conhecimento adquirido pelo estudo das isometrias, para o aplicar a outra rea da Matemtica: a lgebra, mais concretamente teoria de grupos. Assim, mais frente, sero utilizados alguns dos teoremas e proposies, demonstrados de forma geomtrica nas vrias seces deste captulo, para justicar e exemplicar que Geometria e lgebra, se completam mutuamente, partilhando conceitos, estruturas e concluses. Alis, esta riqueza de conexes, neste Isometria Translao Rotao Reexo Reexo deslizante Mantm orientao Pontos xos sim no sim um s ponto xo no nmero innito no no
Tabela 3.1: Propriedades das isometrias do plano
55
caso entre duas reas nobres e tradicionalmente distintas da Matemtica, a Geometria e a lgebra, que torna o estudo da Matemtica aliciante, estimulante, um permanente desao. Embora no passado, o termo lgebra estivesse associado a questes prticas relacionadas com o conceito de nmero, operaes e suas propriedades e resoluo de equaes, a partir do sculo XIX, reconheceu-se que muitas das ideias ditas algbricas, se aplicavam tambm a objetos no numricos, como por exemplo, vetores e transformaes. A evoluo do estudo e posterior elevao da lgebra categoria de ramo nobre da Matemtica, foi no incio muito lenta, assistindo-se nalmente a uma brusca exploso: compreendeu-se que possvel estudar propriedades de qualquer operao algbrica sem especicar a natureza dos objetos sobre os quais essa operao atua, nem descrever como o resultado da operao deve ser calculado. Na verdade, este estudo faz-se simplesmente postulando (ou seja, tomando por hiptese) um determinado conjunto de propriedades algbricas bsicas, que suposto a operao vericar, como por exemplo a comutatividade e a associatividade. A lgebra tornou-se, por m, axiomtica, embora com um atraso de mais de 2000 anos em relao Geometria! Esta axiomatizao da lgebra, exigiu a denio de estruturas algbricas abstratas. No caso mais simples, uma estrutura algbrica abstrata, formada por conjunto no-vazio H , e uma operao binria em H , que no mais do que uma funo : H H H . Diferentes conjuntos de axiomas referentes a esta operao , do origem a diferentes estruturas algbricas. Certas convenes simples so universalmente utilizadas. Se : H H H for uma operao binria em H , vulgar utilizar um smbolo como por exemplo + ou , para representar x + y ou x y , em vez de (x, y ), ou ainda utilizando uma notao mais simplicada xy . A utilizao das notaes x + y e xy no signica que os smbolos representem as habituais operaes de adio e multiplicao entre nmeros. A conveno geralmente aceite que o smbolo+ s utilizado quando a operao comutativa notao aditiva. Na maioria dos casos a notao utilizada notao multiplicativa esta ser a notao utilizada nesta seco. Relativamente ao conjunto de axiomas aplicados estrutura algbrica em estudo, importante referir que se forem impostos poucos axiomas, obtm-se resultados bastante gerais, aplicveis a muitas estruturas algbricas concretas. Se for aplicado um conjunto de axiomas mais complexo, os resultados sero porventura mais interessantes, mas certamente menos gerais, pois menos estruturas algbricas vericam os axiomas inicialmente denidos. As isometrias, dadas as suas caratersticas e a forma como se transformam umas nas outras, fornecem inmeros exemplos, que nos servem para, agora mais facilmente, compreender algumas das noes e conceitos da teoria de grupos.
56
Em geral, cada disciplina interessa-se por certo tipo de transformaes, aquelas que preservam as propriedades ou relaes mais importantes para a disciplina em questo. Para a Geometria, por exemplo, interessam as transformaes como translaes, rotaes, reexes, semelhanas (que no so abordadas neste estudo) etc. Rera-se que a Geometria transformacional uma maneira alternativa de encarar a Geometria, que fundamenta uma caraterizao ou classicao intrnseca (isto , independente dos sistemas de axiomas) das Geometrias e permite um estudo profcuo de questes de simetria. Um aspeto importante do estudo da Geometria transformacional, a sua ligao com a lgebra, mais exatamente com a teoria de grupos. Na realidade, os grupos de transformaes abrem novas perspetivas sobre o que caraterstico das diferentes Geometrias de que h conhecimento: euclidiana, projetiva, hiperblica, etc. Conforme j referido no incio deste captulo, transformao geomtrica uma aplicao bijetiva de um plano (ou espao) sobre si mesmo. Denio: Grupo um grupo, na notao multiplicativa, uma estrutura da forma G = (C, ., e), onde C um conjunto no vazio, chamado o conjunto de suporte, . : C C C uma operao binria em C e e C , com as propriedades seguintes (onde, como habitual, ser escrito xy em vez de x.y ): 1. Para quaisquer elementos a, b, c C, (ab)c = a(bc) a operao . associativa em C . 2. Para qualquer elemento a C , ae = ea = a e o elemento neutro para a operao . em C . 3. Para todo o elemento a C , existe um elemento b C tal que ab = ba = e existncia de inverso (notao normalmente utilizada para indicar o inverso de x: x1 ). O grupo G = (C, ., e), diz-se grupo comutativo ou abeliano se, adicionalmente tiver a seguinte propriedade: 4. Para quaisquer elementos a, b C, ab = ba. Denio: Subgrupo um subgrupo de C um subconjunto no vazio C tal que: 1. Para quaisquer elementos x, y C , xy C . 2. Para qualquer elemento x C , x1 C . Rera-se que um subgrupo C de um grupo C um grupo, relativamente operao de C C em C , que envia (x, y ) em xy e que o elemento neutro de C o mesmo elemento neutro de C .
57
Utilizando e aplicando as denies acima (grupo, grupo comutativo, subgrupo) s isometrias, ver-se- que este tipo de transformaes pode ser usado para, naturalmente, melhor explorar e explicar a teoria de grupos. Indicam-se de seguida vrios exemplos de fcil leitura e compreenso. Conforme j referido, a maior parte das situaes j tinha sido anteriormente justicada, embora pontualmente tenha sido necessrio efetuar novas demonstraes. Nesta seco, e sem perder o rigor, cometido o abuso de chamar grupo ao conjunto de suporte, visto que no h confuso possvel sobre a operao a composio (de isometrias, rotaes, reexes, etc.) e o elemento neutro a identidade. As bijees de um conjunto em si prprio formam um grupo, relativamente composio. Em particular, isto tem lugar quando o conjunto em questo R2 . O conjunto formado pelas isometrias do plano, que ser representado por ISOM , juntamente com a composio de isometrias, forma um grupo. Com efeito, a composta de duas isometrias uma isometria (pela proposio 3.4.1) e ser visto mais frente (proposies 3.8.1 e 3.8.2) que cada isometria tem inversa, a qual tambm uma isometria. Logo, ISOM um subgrupo do grupo das bijees em R2 . ISOM no um grupo comutativo, como ser visto mais frente. As isometrias que preservam a orientao, translao e rotao, com a composio, formam um subgrupo, que ser representado por ISOM+ . Este caso tambm no um grupo comutativo, conforme posteriormente ser justicado. Conforme j foi anteriormente demonstrado no teorema 3.4.1, o resultado obtido pela composio de translaes, ser sempre uma translao, podendo ser a translao associada ao vetor nulo identidade no caso dos vetores serem simtricos, como bvio. Rera-se tambm que, se for uma translao, ento 1 tambm uma translao, pois se for a translao associada ao vetor v , a sua inversa a translao associada ao vetor v . Alm disto, quando se compem translaes, qualquer que seja a ordem pela qual elas so efetuadas, o resultado nal sempre o mesmo, podendose concluir que as translaes formam um subgrupo comutativo de ISOM e que, portanto, formam um grupo comutativo. As rotaes com a composio, no formam um subgrupo, porque conforme referido e demonstrado no teorema 3.4.7, a composio de duas rotaes, pode dar origem a uma translao, no caso da soma das amplitudes das duas rotaes, ser igual a 360 . No entanto, as rotaes em torno de um ponto xo, (por exemplo a origem), formam um subgrupo comutativo: qualquer que seja a ordem da composio das rotaes, o resultado nal sempre o mesmo. As isometrias que invertem a orientao, no formam um subgrupo, pois quando se compem duas isometrias que invertem a orientao, obtm-se uma isometria que preserva a orientao. Assim, quando se compem duas reexes, por exemplo, o resultado nal uma translao ou uma rotao, consoante os eixos de reexo forem paralelos (ver teorema 3.4.3) ou concorrentes (ver teorema 3.4.2).
58
A proposio seguinte e respetiva demonstrao, vo comprovar a propriedade que refere a existncia de inverso (terceira propriedade indicada na denio de grupo). Proposio 3.8.1 Seja uma qualquer isometria do plano. Ento, existe uma funo 1 tal que 1 = 1 = e. Demonstrao: Sejam A, B , (A) e (B ), dois pontos e as respetivas imagens. Ento (A) = (B ) d((A), (B )) = 0 d(A, B ) = 0 A = B. Fica assim provado que injetiva. Sejam A, B e C trs pontos no colineares, e D = (A), E = (B ) e F = (C ), as respetivas imagens. Seja P um ponto de R2 : P a imagem de um ponto P , que se encontra na interseo das seguintes circunferncias (ver gura 3.35 na pgina 52): centro em A e raio d(D, P ) centro em B e raio d(E, P ) centro em C e raio d(F, P ) Ento (P ) = P , concluindo-se que sobrejetiva. Uma vez que a isometria simultaneamente injetiva e sobrejetiva, ento uma bijeo: esta uma condio necessria e suciente que comprova a existncia de 1 , ou seja a funo inversa. Resumindo, qualquer que seja a isometria ISOM , invertvel. Rera-se que o facto de cada isometria ser uma bijeo, tambm se poderia deduzir de se poder considerar como composta de reexes, e de que cada reexo ser uma bijeo. J foi anteriormente provado (proposio 3.4.1) que o resultado da composio de duas isometrias, uma isometria. A proposio seguinte e respetiva demonstrao, provaro que a inversa de uma isometria continua a ser uma isometria, o que tem como consequncia que as isometrias do plano com a composio de isometrias, formam um grupo. Proposio 3.8.2 Seja ISOM . Ento 1 ISOM . Demonstrao: Considerem-se dois pontos A e B . Ento d(1 (A), 1 (B )) = d((1 (A)), (1 (B ))) = d(A, B ), podendo-se concluir que 1 ISOM . O grupo das isometrias, ISOM , no entanto no um grupo comutativo, como se pode concluir atravs da anlise do caso a seguir ilustrado: trata-se da composio de duas rotaes, R1 (C1 , 90 ) e R2 (C2 , 90 ), com C1 = C2 , aplicadas ao ponto C1 .
59
Conforme ilustrado nas guras 3.38 e 3.39, o resultado da composio das duas rotaes, R1 e R2 diferente, conforme a ordem em que as rotaes forem realizadas. Efetuou-se a rotao do ponto C1 , e no caso em que foi primeiro realizada a rotao R1 , seguida da rotao R2 , obteve-se o ponto A. Na situao em que as rotaes foram realizadas por ordem inversa, primeiro R2 e depois R1 a posio nal do ponto C1 o ponto B , ou seja, R2 (C2 , 90 ) R1 (C1 , 90 )(C1 ) = A e R1 (C1 , 90 ) R2 (C2 , 90 )(C1 ) = B
C1
C2
Figura 3.38: Ordem das rotaes: R2 R1 Concluso: ISOM no um grupo comutativo. A mesma concluso pode ser obtida se se considerar o subgrupo das isometrias que preservam a orientao: ISOM+ . Este subgrupo tambm no comutativo: o exemplo que conrma esta armao o mesmo utilizado para demonstrar que ISOM no grupo comutativo: quando se fazem duas rotaes centradas em pontos distintos, o resultado nal depende da ordem em que as rotaes so efetuadas. Denio: Grupo gerado por um conjunto seja G um grupo e C um subconjunto de G: C G. Diz-se que G gerado por C , se qualquer elemento de G for produto de elementos de G, cada um dos quais est em C ou tem inverso em C . Em todos os casos analisados nesta seco, o conjunto C ser tal que o inverso de qualquer elemento de C tambm estar em C . Resulta da denio que dizer que G gerado por um tal conjunto C o mesmo que dizer que qualquer elemento de G produto de elementos de C . Assim, pode-se armar que o grupo ISOM gerado por reexes j foi provado neste captulo que qualquer isometria do plano, pode ser obtida pela composio de reexes: teorema 3.5.1.
60
C1
C2
Figura 3.39: Ordem das rotaes: R1 R2 Outro exemplo de grupo gerado por um conjunto, o caso do grupo ISOM+ que gerado por rotaes (j foi provado neste captulo que a composio de rotaes d origem a uma rotao ou a uma translao ver proposio 3.4.7). Falta no entanto acrescentar que qualquer translao pode ser obtida como a composta de rotaes. A gura 3.40, ilustra o exemplo da translao do segmento de reta [AB ], segundo o vetor v , obtendo-se [A B ]: esta translao pode ser substituda por duas rotaes de 180 de amplitude cada uma, e com centro nos pontos mdios de BB e de B B , respetivamente ver gura 3.41. Visto que as translaes podem ser obtidas pela composio de meias-voltas (rotaes de 180 de amplitude), as translaes e as meiasvoltas tambm formam um subgrupo de ISOM . Rera-se que as duas rotaes tm 180 de amplitude cada uma, mas existem outras composies possveis de rotaes: a soma das respetivas amplitudes tem que ser 360 , e a localizao de C2 dependendo da localizao de C1 , ou vice-versa. Na gura 3.42 manteve-se a localizao de C1 , tendo a rotao em torno deste ponto uma amplitude de 100 . A localizao de C2 obtida pela interseco das mediatrizes entre A e A e entre B e B . A rotao em torno de C2 tem uma amplitude de 260 . A soma das amplitudes das duas rotaes , obviamente, 100 + 260 = 360 . Denio: Subgrupo Normal diz-se que um subgrupo H de um grupo G um subgrupo normal se, para cada g G e cada h H , g h g 1 H . O subgrupo ISOM+ um subgrupo normal de ISOM : g ISOM , h ISOM+ , ento g h g 1 ISOM+ . No caso de g ser por exemplo, uma reexo (no
61
B v B A v
A v
Figura 3.40: Translao de um segmento de reta

A B C1 B C2 A v B
A v
Figura 3.41: Translao como composta de duas rotaes I mantm a orientao), ento g 1 tambm uma reexo (tambm no mantm a orientao). Como h uma isometria que preserva a orientao, e como compondo estas trs isometrias, vo existir duas trocas de orientao, o que acaba por resultar uma isometria que preserva a orientao, o que conrma a armao inicial. Se r for uma reexo, ento {Id, r} um subgrupo de ISOM , mas no um subgrupo normal. Por exemplo, considere-se uma translao por um vetor v no nulo, e perpendicular reta s relativamente qual se est a fazer a reexo. Seja P s. Ento 1 (r( (P ))) = 1 (r(P + v )) = 1 (r(P v )) = P 2 v =P Logo 1 r , nem r, nem a identidade, pois ambas estas funes enviam P em P . Por outras palavras, 1 r / {Id, r}. Na gura 3.43 ilustra-se esta situao: o
62
B C1 100 B B A C2 A
260 v
Figura 3.42: Translao como composta de duas rotaes II ponto P enviado em P , por v , sendo de seguida P enviado em P , por reexo em s, e nalmente, P enviado em P , por v . Conforme se pode observar, o ponto P e o ponto P no so coincidentes, o que conrma a armao acima.
s
P v
P v
Figura 3.43: Subgrupo no normal: 1 r Denio: Ordem de um elemento g de um grupo ordem de um elemento g de um grupo o menor nmero natural n, tal que g n = Id, caso tal nmero exista e nos restantes casos. A ordem de r ISOM , sendo r uma reexo, 2, pois aps duas reexes sucessivas no mesmo eixo, obtm-se a situao inicial, ou seja igual identidade. A ordem de ISOM , sendo uma translao, (exceto no caso de = Id), pois no existe nenhum nmero natural tal que n = Id: se forem feitas translaes sucessivas e segundo o mesmo vetor, nunca possvel obter a situao inicial.
63
Relativamente denio acima, e sendo g, h ISOM , importante referir que no possvel determinar a ordem de g h a partir das ordens de g e de h. Por exemplo, as reexes tm ordem 2, mas a composta de duas reexes pode ter qualquer ordem (incluindo ). De seguida so dados alguns exemplos de ordem de elementos pertencentes a ISOM , evidenciando que ISOM tem elementos de todas as ordens possveis. interessante referir que, uma vez que qualquer isometria pode ser obtida por composio de reexes, que tm ordem 2, ISOM um exemplo de um grupo gerado por um conjunto de elementos de ordem 2 e que tem elementos de todas as ordens. Ordem 1: a funo identidade, Id, tem ordem 1. Ordem 2: seja r uma reexo. Ento r r = Id e, portanto, r tem ordem 2. Ordem n: sejam r1 e r2 reexes em retas que formam um ngulo de /n. Ento r1 r2 uma rotao de ngulo 2/n, e portanto tem ordem n. Ordem : sejam r1 e r2 reexes em retas estritamente paralelas. Ento r1 r2 uma translao no trivial (translao associada a um vetor no nulo), e portanto tem ordem innita. Nesta seco, foi analisada uma ligao entre a Geometria e a lgebra, tendo servido os exemplos geomtricos para introduzir conceitos algbricos. Esta conexo tambm pode ser observada em alguns enunciados (geomtricos) de teoremas, nos quais aparecem referncias a alguns dos subgrupos j mencionados do grupo ISOM (grupo das isometrias do plano). O Teorema de Bolyai-Gerwin, cuja demonstrao pode ser consultada em [2], arma que se P1 e P2 forem dois polgonos com a mesma rea, possvel decompor P1 num nmero nito de bocados e aplicar a cada bocado uma isometria que preserva a orientao, obtendo-se ento P2 . O Teorema de Hadwiger-Glur, cuja demonstrao pode ser consultada na mesma referncia bibliogrca, uma verso do teorema anterior, na qual se substituiu isometria que preserva a orientao por translao ou meia volta. Repare-se que as isometrias mencionadas neste teorema formam um subgrupo de ISOM+ , conforme referido na pgina 60.
Captulo 4 Concluso
O ensino da Matemtica, a motivao, a vontade e a curiosidade em aprender, e os resultados obtidos pelos alunos, quer em provas ao nvel de escola, quer em provas e exames nacionais, so assuntos que esto longe de se encontrarem conciliados. Considero a motivao que os alunos demonstram, quando confrontados com aulas de diferentes formatos (por exemplo quando podem utilizar um computador), um bom indcio que algo pode ser feito no sentido de melhorar as aprendizagens dos alunos. Sempre fui da opinio que, estando os alunos motivados para ouvirem e perceberem, todos os outros obstculos se tornam mais fceis de ultrapassar. O tpico central desta tese, as isometrias, um tema que recentemente sofreu grandes alteraes, nomedamente na profundidadade e rigor com que dever ser lecionado. Assim, pessoalmente, no poderia ter sido mais oportuno, ter efetuado esta investigao. Este trabalho encontra-se dividido vrios captulos, considerando dois deles fundamentais. No segundo captulo, so descritas as aplicaes informticas criadas em HTML, para serem utilizadas pelos alunos, com incluso de vrios applets, realizados em GeoGebra. No terceiro captulo, foi efetuado um reconhecimento profundo das bases tericas que suportam e sustentam o conhecimento das isometrias e suas propriedades, inclundo uma abordagem teoria de grupos (explorando a conexo da lgebra e da Geometria). Esta dualidade, por um lado o rigor no abordar dos temas, por outro torn-los simples e atrativos para os alunos, um desao que ns, professores de Matemtica do ensino bsico e secundrio, nunca podemos perder de vista. Acrescento que estar na gesto partilhada destes dois princpios orientadores, a pedra de toque de um ensino da Matemtica com sucesso e que nos faa sentir, professores e alunos, que aprender Matemtica algo agradvel, positivo e fundamental. Considero este trabalho um ponto de partida para, no futuro realizar outras reexes noutros tpicos da Matemtica, pois no tenho dvida que as novas tecnologias podem e devem ser utilizadas como meios facilitadores no processo de ensino-aprendizagem 64
CAPTULO 4. CONCLUSO
65
da Matemtica. A criao de pginas em HTML para os alunos utilizarem, quer na prpria aula, quer como complemento e consolidao de conhecimentos, para aqueles alunos mais curiosos, ser uma forma de os motivar e certamente de motivar tambm outros professores.
Referncias
[1] P. V. Arajo: Curso de Geometria, Trajectos Cincia, Gradiva, 2a edio 1999. [2] V. G. Boltyanskii: Equivalent and Equidecomposable Figures, Topics in Mathematics, D. C. Heath and Company, Boston 1963 [3] R. L. Fernandes, M. Ricou: Introduo lgebra Coleo Ensino da Cincia e da Tecnologia, IST Press 2004 [4] A. J. Franco de Oliveira: Geometria Euclideana. Universidade Aberta 1995 [5] A. J. Franco de Oliveira: Transformaes Geomtricas. Universidade Aberta 1997 [6] F. Klein: Le programme dErlanger Collection Discours de la Methode, Gauthier-Villars diteur 1974 [7] M. A. Neves, L. Guerreiro, A. Neves: Matemtica 9o ano, Porto Editora 2004 [8] D. Solow: How To Read and Do Proofs An Introduction to Mathematical Thought Process J. Wiley & Sons 2002 [9] D. K. Washburn e D. W. Crowe: Symmetries of Culture Theory and Practice of Plane pattern Analysis, University of Washington Press, Third printing, 1998 [10] H. Wussing: The Genesis of the Abstract Group Concept A Contribution to the History of the Origin of Abstract Group Theory, The MIT Press, 1984 [11] Jos Carlos Santos: Formao Complementar em Matemtica I http://www.fc. up.pt/mp/jcsantos/PDF/FCMatI.pdf [12] Michael de Villiers: Some pitfalls of dynamic geometry software from Teaching & Learning Mathematics, No. 4, Feb 2007, pp. 4652, a journal of the Association of Mathematics Education (AMESA). http://academic.sun.ac.za/mathed/ AMESA [13] Ministrio da Educao (1990) Programa do 1o ciclo do ensino bsico. Lisboa: Editorial do Ministrio da Educao [14] Ministrio da Educao (1991) Organizao curricular e programas (2o ciclo do ensino bsico). Lisboa: Imprensa Nacional da Casa da Moeda 66
REFERNCIAS
67
[15] Ministrio da Educao (1991) Organizao curricular e programas (3o ciclo do ensino bsico). Lisboa: Imprensa Nacional da Casa da Moeda [16] Ministrio da Educao (2001) Currculo nacional da ensino bsico: Competncias essenciais. Lisboa: Ministrio da Educao, Departamento do Ensino Bsico [17] Ministrio da Educao (2007) NPMEB: Novo Programa de Matemtica do Ensino Bsico, Dezembro de 2007 http://area.dgidc.min-edu.pt/materiais_ NPMEB/028_ProgramaMatematicaEnsinoBasico.pdf [18] Ministrio da Educao (2001) Programa de Matemtica do Ensino Secundrio Cursos Cientco-Humansticos de Cincias e Tecnologias e de Cincias Socioeconmicas, 2001 http://www.dgidc.min-edu.pt/ensinosecundario/index. php?s=directorio&pid=2&letra=M [19] NCTM: Princpios e Normas para a Matemtica Escolar, The National Council of Teachers of Mathematics, Inc., APM Associao de Professores de Matemtica, 2a edio, Junho de 2008 [20] Revogao do Currculo Nacional do Ensino Bsico Dirio da Repblica, 2.a srie N.o 245 23 de Dezembro de 2011

I Some Trias

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

I Some Trias

Caricato da

Copyright:

Formati disponibili

Maria Joo Tinoco

Departamento de Matemtica Faculdade de Cincias da Universidade do Porto 2012

Maria Joo Tinoco

Departamento de Matemtica Faculdade de Cincias da Universidade do Porto 2012

3 Isometrias 3.1 3.2 3.3 Breve nota histrica

3.5 3.6 3.7 3.8

Programa de Matemtica do Ensino Bsico e Secundrio

As isometrias e os programas de Geometria dinmica

Experincia como professora de Matemtica

Os alunos e o software de Geometria dinmica

CAPTULO 2. INTRODUO sendo referido em vrias tarefas nos prprios manuais.

Propriedades das isometrias

Rotao, Translao, Reexo, Reexo Deslizante

Identicao dos diferentes tipos de isometrias

J conhece todos os tipos de isometrias

sim duas rotaes composio de isometrias duas reexes

trs eixos - caso geral

No pontos p/ denir uma isometria

Classicao das isometrias

Figura 2.1: Fuxograma do cheiro HTML

Breve nota histrica

CAPTULO 3. ISOMETRIAS isometria.

Figura 3.2: Translao pontos colineares

Figura 3.6: Rotao pontos A e B no colineares com o ponto O

Figura 3.11: Reexo deslizante

Figura 3.12: Composio de translaes vetores com diferentes direes

Composio de duas reexes em eixos concorrentes

Figura 3.15: Rotaes diferentes formas de representao: = s1 l

Composio de duas reexes em eixos paralelos

Composio de trs reexes em eixos paralelos

Figura 3.19: Composio de reexes diferentes formas de representao

Composio de trs reexes em eixos concorrentes

Composio de trs reexes em eixos nem paralelos nem concorrentes

Composio de duas rotaes

Figura 3.26: Rotao de amplitude I

Figura 3.28: Composio de rotaes com + = 360

Figura 3.30: Composio de rotaes com + = 360

Teorema Fundamental das isometrias

Figura 3.32: Composio de rotao com translao: ordem das isometrias

Figura 3.35: Teorema fundamental das isometrias unicidade

Classicao das isometrias

Propriedades das isometrias

Figura 3.36: Reexo e reexo deslizante: inverso do sentido dos ngulos

Figura 3.37: Rotao e translao: sem alterao no sentido dos ngulos

Isometrias: um pouco mais alm. . . teoria de grupos

Tabela 3.1: Propriedades das isometrias do plano

Figura 3.40: Translao de um segmento de reta

Potrebbero piacerti anche