2011 00150 Leandro Barbosa Paz PDF

UNIVERSIDADE ESTADUAL DO CEAR
LEANDRO BARBOSA PAZ
CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO

ESTUDO DAS TRANSFORMAES DE MBIUS
FORTALEZA - CEAR
2013
LEANDRO BARBOSA PAZ
CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO

ESTUDO DAS TRANSFORMAES DE MBIUS
Dissertao apresentada ao Curso de

Mestrado Profissional em Matemtica em
Rede Nacional - PROFMAT do Centro de
Cincias e Tecnologia da Universidade
Estadual do Cear, como requisito parcial
para a obteno do ttulo de Mestre em
Matemtica.
Orientador: Prof. Dr. Joo Marques Pereira.
FORTALEZA - CEAR
2013
Dados Internacionais de Catalogao na Publicao

Prefeitura Municipal de Juazeiro do Norte - Cear
Secretaria de Educao
Bibliotecrio Responsvel Jorgivania Lopes Brito CRB-3/1156
P348c
Paz, Leandro Barbosa

Caracterizao das Isometrias no plano atravs do estudo das
Transformaes de Mbius / Leandro Barbosa Paz. 2013.
CD-ROM. 71f, il.(algumas color.) : 4 pol.
CD-ROM contendo o arquivo no formato PDF do trabalho acadmico,
acondicionada em caixa de DVD Slim (19 cm x 14 cm x 7 mm).
Dissertao (mestrado) Universidade Estadual do Cear, Centro de
Cincias e Tecnologia, curso de Mestrado Profissional em Matemtica em
Rede Nacional - PROFMAT, Fortaleza, 2013.
rea de Concentrao: Matemtica.
Orientador (a): Prof. Dr. Joo Marques Pereira.
1. Isometria. 2. Transformao de Mbius. 3. Geometria Analtica. 4.
Nmeros Complexos. 5. lgebra Linear. 6. Geogebra. I.Ttulo.
CDD 516.3
Para citar este documento:
PAZ, Leandro Barbosa. Caracterizao das Isometrias no plano atravs do estudo das
Transformaes de Mbius. Fortaleza: UECE, 2013. 71f. Dissertao (Curso de Mestrado
Profissional em Matemtica em Rede Nacional - PROFMAT). Universidade Estadual do
Cear, 2013.
LEANDRO BARBOSA PAZ
CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO ESTUDO DAS

TRANSFORMAES DE MBIUS
Dissertao apresentada ao Curso de

Mestrado Profissional em Matemtica em
Rede Nacional - PROFMAT do Centro de
Cincias e Tecnologia da Universidade
Estadual do Cear, como requisito parcial
para a obteno do ttulo de Mestre em
Matemtica.
rea de Concentrao: Matemtica.
Aprovada em: 04 / 04 / 2013.
BANCA EXAMINADORA:
__________________________________________________
Prof. Dr. Joo Marques Pereira (Orientador)
Universidade Estadual do Cear - UECE
(Presidente da Banca - Membro Interno)
__________________________________________________
Prof. Dr. Jerffeson Teixeira de Souza
Universidade Estadual do Cear - UECE
(Membro Interno)
__________________________________________________
Prof. Dr. Marcelo Pinheiro Klein
Universidade Federal do Cear - UFC
Professor Emrito
(Membro Externo)
RESUMO
As Isometrias so objetos de estudo em diversas reas da Matemtica, como por

exemplo, na lgebra Linear, na Geometria Analtica, na Geometria Plana e na
Geometria Projetiva. A pesquisa foi motivada pela curiosidade em verificar a
possibilidade de se fazer um estudo completo das isometrias usando nmeros
complexos, mais especificamente as Transformaes de Mbius. Com o sucesso na
pesquisa torna-se possvel motivar o ensino dos nmeros complexos com o pretexto
de aplic-los em problemas de isometria, podendo-se argumentar para os alunos
que softwares como o CorelDraw e AutoCad podem utilizar estas noes para
mover os objetos na tela. Estudaram-se as isometrias usando Geometria Analtica e
um caso particular de Transformao de Mbius, e foi pesquisada uma forma para
caracterizar as isometrias, usando apenas nmeros complexos. Por fim, os fatos
centrais demonstrados, foram constatados com a criao de uma simulao no
software Geogebra, o qual se mostrou eficaz para os propsitos da pesquisa.
Palavras-chave: lgebra Linear. Geogebra. Geometria Analtica. Isometria.

Nmeros Complexos. Transformao de Mbius.
ABSTRACT
The isometries are objects of study in several areas of mathematics, for example, in
Linear Algebra, Analytical Geometry in Plane Geometry and Projective Geometry.
The research was motivated by curiosity to check the possibility of making a
thorough study of isometries using complex numbers, specifically the Mbius
transformations. With the research results is possible to motivate the teaching of
complex numbers on the pretext of applying them to isometry problems, can be
argued to students that software such as CorelDraw and AutoCad can use these
notions to move objects in the screen. We studied the isometries using analytic
geometry and a particular case of Mbius transformation, and was researched a way
to characterize the isometries, just using complex numbers. Finally, the central facts
stated, were found by creating a simulation software Geogebra, which was effective
for purposes of the survey.
Key-words: Linear Algebra. Geogebra. Analytic Geometry. Isometry. Complex
Numbers. Mbius transformation.
LISTA DE FIGURAS
Figura 1 Translao ................................................................................. 13

Figura 2 Rotao em torno da origem .................................................... 14
Figura 3 Projeo Ortogonal ............................................................... 15
Figura 4 Reflexo em torno de uma reta ................................................. 16
Figura 5 Isometria que inverte a orientao do plano .................................. 20
Figura 6 Composta de duas reflexes em torno de retas paralelas ............. 34
Figura 7 Composta de duas reflexes em torno de retas concorrentes....... 37
Figura 8 Campo de entrada do software Geogebra ..................................... 54
Figura 9 Primeira etapa da construo da ferramenta ................................. 56
Figura 10 Segunda etapa da construo da ferramenta .............................. 57
Figura 11 Quarta etapa da construo da ferramenta ................................. 59
Figura 12 Quinta etapa da construo da ferramenta.................................. 61
Figura 13 Usando LaTeX para inserir funo que preserva a orientao .... 62
Figura 14 Usando LaTeX para inserir funo que inverte a orientao ....... 62
Figura 15 Etapa final da construo ............................................................ 63
Figura 16 Verso web da ferramenta para realizar as simulaes .............. 64
LISTA DE TABELAS
Tabela 1 Construo da primeira etapa da ferramenta ............................... 55

Tabela 2 Construo da segunda etapa da ferramenta ............................... 56
Tabela 3 Construo da terceira etapa da ferramenta ................................ 58
Tabela 4 Construo da quarta etapa da ferramenta .................................. 58
Tabela 5 Formatao da ferramenta............................................................ 60
SUMRIO
1 INTRODUO ......................................................................................................... 9
2 OBJETIVOS ........................................................................................................... 11
2.1 Objetivo geral ........................................................................................ 11
2.2 Objetivos especficos ............................................................................. 11
3 METODOLOGIA .................................................................................................... 12
4 ALGUMAS TRANSFORMAES ELEMENTARES NO ................................. 13
4.1 Translao ............................................................................................. 13
4.2 Rotao em torno da origem ................................................................. 14
4.3 Reflexo em torno de uma reta ............................................................. 15
5 ISOMETRIAS NO PLANO ..................................................................................... 18
5.1 Definio e propriedades ....................................................................... 18
5.2 Exemplos ............................................................................................... 22
5.3 Classificao quanto orientao do plano .......................................... 26
5.4 O conjuntos das reflexes ..................................................................... 34
6 ISOMETRIAS COM NMEROS COMPLEXOS..................................................... 41
6.1 Translaes e Rotaes ........................................................................ 42
6.2 Transformao de Mbius ..................................................................... 43
6.3 Reflexes............................................................................................... 43
6.3.1 O problema das reflexes ............................................................... 44
6.3.2 Propriedades das funes () = + e () = + ........... 45
6.4 Resumo ................................................................................................. 52
7 SIMULAO NO GEOGEBRA ............................................................................. 54
7.1 Software Geogebra ............................................................................... 54
7.2 Detalhes da construo ......................................................................... 54
8 CONCLUSES ...................................................................................................... 65
REFERNCIAS ......................................................................................................... 67
ANEXO A - A INVERSA DE UMA ISOMETRIA UMA ISOMETRIA ...................... 70
1 INTRODUO
O conjunto dos nmeros complexos usado para definir modelos

matemticos em vrios ramos do conhecimento humano. Neste trabalho usaremos
os nmeros complexos para classificar as isometrias do plano.
Intuitivamente, duas figuras so isomtricas ou congruentes quando
possvel atravs de um movimento rgido sobrepor uma figura na outra. No Ensino
Fundamental, explora-se a congruncia de tringulo de forma exaustiva, estudando
vrias condies que garantem a congruncia entre tringulos.
Usualmente, para estudar as Isometrias usamos ferramentas matemticas
ainda no acessveis aos alunos de Ensino Mdio. Ento, para o professor realizar
oficinas, apresentando todas as isometrias no plano, essencial buscar uma
abordagem mais clara a um aluno de Ensino Mdio.
Investigou-se uma forma de caracterizar as isometrias no plano usando ou
adaptando as Transformaes de Mbius. A caracterizao final usa apenas
Nmeros Complexos e noes de Geometria Analtica, e consequncia das
Transformaes de Mbius.
Em algumas demonstraes usaremos alguns fatos de lgebra Linear, cujas
demonstraes podem ser omitidas, sem grandes prejuzos. Isto deve ser feito,
principalmente, se o professor desejar expor o material desta pesquisa para seus
alunos de Ensino Mdio.
Mostrou-se que o conjunto das isometrias formado por reflexes e suas
composies. Entretanto, verificou-se que as reflexes no podem ser expressas
por Transformaes de Mbius, mas que possvel adequar uma nova funo para
estudar as reflexes.
No foi encontrada bibliografia a qual apresente uma demonstrao analtica
de que as translaes e as rotaes podem ser escritas como composio de
reflexes. Estes fatos foram demonstrados no trabalho.
Outra contribuio relevante a seguinte caracterizao:
10
Seja 1 , 2 , 1 , 2 tais que
2 1 = 2 1 , 1 2 e 1 2 .
: uma isometria com 1 = 1 e 2 = 2 se, e somente se,

=
2 1
1 2 2 1
+
2 1
2 1
2 1
1 2 2 1
+
2 1
2 1
Ou,
Foi construda uma ferramenta no software Geogebra, para promover a

simulao da caracterizao acima.
11
2 OBJETIVOS
2.1 Objetivo geral
Tratar as isometrias no plano sobre o ponto de vista do conjunto dos nmeros

complexos , e criar uma ferramenta computacional no software Geogebra 4.2, que
possa ser usada para simular os resultados encontrados.
2.2 Objetivos especficos
Para alcanarmos o objetivo geral, dividimos a pesquisa nos seguintes

objetivos especficos:
a) Realizar estudo de Geometria Analtica com tratamento vetorial e alguns
tpicos de lgebra Linear;
b) Descrever as isometrias sobre o ponto de vista da Geometria Analtica;
c) Classificar as isometrias do plano;
d) Explorar conceitos bsicos de Nmeros Complexos, at o tpico de
Transformaes de Mbius;
e) Migrar as isometrias estudadas para coordenadas complexas, e pesquisar
uma caracterizao por Transformaes de Mbius;
f) Analisar a viabilidade da implementao das isometrias, usando apenas
nmeros complexos, no software Geogebra 4.2;
g) Gerar ferramenta computacional que trate as isometrias usando nmeros
complexos, e convencer de que possvel adaptar a ferramenta para
promover outros estudos.
12
3 METODOLOGIA
Para alcanar os objetivos foi usada a pesquisa exploratria, pois ela realiza
descries precisas da situao e quer descobrir as relaes existentes entre seus
elementos componentes, conforme Cervo, Bervian, e Silva (2009).
Os objetos de estudo da pesquisa foram literaturas sobre o assunto, e o
software Geogebra verso 4.2.
Primeiro, foi necessrio estudar as isometria usando Geometria Analtica, e
promover uma classificao quanto a preservar/inverter a orientao do plano, a
seguir estudou-se as isometrias usando compostas de reflexes. As Transformaes
de Mbius foram estudadas e extraiu-se o essencial para o estudo das isometrias.
Em paralelo a este estudo, foram explorados os recursos existentes no software
Geogebra 4.2. E finalmente, foi construda no Geogebra uma simulao para o
resultado central.
Conjecturou-se existncia de uma caracterizao das isometrias usando ou
adaptando as Transformaes de Mbius, fato comprovado no final da pesquisa e
evidenciado na simulao gerada pelo software Geogebra.
13
4 ALGUMAS TRANSFORMAES ELEMENTARES NO
Neste captulo as isometrias, embora ainda no definidas, sero tratadas

usando coordenadas no plano, em captulos posteriores estes resultados sero
usados para definir as isometrias sobre o plano complexo.
Todas as sees deste captulo so adaptaes de Profmat (2012).
Uma transformao no plano 2 uma funo : 2 2 que associa a
cada ponto 2 um ponto 2 .
No se deve confundir transformao no plano com transformao linear, o
conceito de transformao linear ser apresentado no prximo captulo.
4.1 Translao
Dado 2 , uma translao no plano, determinada pelo vetor uma

transformao : 2 2 , definida por = + . Se = 0 , 0 e se =
(, ) ento , = ( + 0 , + 0 ). A notao representar sempre a
translao segundo o vetor .
Figura 1 Translao
14
4.2 Rotao em torno da origem
Para definir as rotaes em torno da origem, considere o ponto = ,

(0,0) e seja o ngulo entre o semi-eixo positivo e , no sentido positivo. Para
representar a rotao de um ngulo do ponto em torno da origem, usaremos a
notao ().
Figura 2 Rotao em torno da origem
Como, = , = (|| , || )
Ento,
= , =
+ , +
= + , +
= , cos +
=
, +
= , + = , + cos
Ao definir espera-se que 0,0 = (0,0), de fato:
0,0 = 0 0 , 0 + 0 cos = (0,0)
15
4.3 Reflexo em torno de uma reta
Antes de definir a Reflexo em torno de uma reta, vamos definir a projeo

ortogonal sobre uma reta.
Seja a reta que faz um ngulo com o semi-eixo positivo . O vetor
= ( , ) um vetor paralelo a reta , e a equao de da forma:
: + = , para algum .
Figura 3 Projeo Ortogonal
Se uma reta perpendicular a , ento:

: + = , para algum
Mas, se = 0 , 0 ento 0 + 0 = . E portanto:
: + = 0 + 0
Calculemos , considere o sistema:
+
+
Como

cos
=
=
0 + 0

= 2 2 = 1 0 , ento o sistema tem

soluo nica. Pela regra de Crammer:
16

0 2 0
0 + 0
=

1
cos
= 0 2 + 0
0 2 0
0 + 0
=

1

= 0 +0 2 +
Portanto, podemos definir a projeo ortogonal do ponto = (0 , 0 ) sobre a

reta , como a interseo entre as retas e , assim:
0 , 0 = (0 2 + 0 ,
0 +0 2 + )
Usaremos o resultado acima para definir a reflexo do ponto em torno da
reta , a qual ser denotada por ().
Sabemos que () o ponto mdio do segmento com extremos em e
em (). Assim, 2 = + , onde um ponto qualquer do plano.
Figura 4 Reflexo em torno de uma reta
17
Ento se = (, ),
, = 2 , ,
, = 2 ( 2 + ,
+ 2 + ) ,
, = 2 2 + 2 2 ,
2 + 2 2 + 2
= (2 2 1) + 2 2 ,
2 +( 2 2 1) + 2
, = 2 + 2 2 , 2 2 + 2
18
5 ISOMETRIAS NO PLANO
5.1 Definio e propriedades
Dados os pontos e , usaremos as notaes (, ) ou
ou ainda
para representar a distncia entre os pontos e .
Definio 1: Uma isometria no 2 uma funo : 2 2 que preserva

distncias.
,
Isto
significa
que,
para
quaisquer
pontos
, 2 ,
tem-se
= (, ).
Deste ponto em diante, escreveremos isometria no plano ou simplesmente

isometria para designar uma isometria no 2 .
Sabemos que duas figuras no plano so congruentes quando existe uma
isometria no plano que transforma uma na outra.
A prxima proposio em conjunto com a seo 5.2 permite construir uma
infinidade de funes que so isometrias.
Proposio 1: Sejam , : 2 2 isometrias do plano ento uma isometria.

Demonstrao: Pela definio da composta de funes, uma funo com
domnio e contradomnio iguais ao 2 . Sejam e elementos arbitrrios de 2 ,
assim:
,
Defina =
= ,
e = , como ambos so elementos do 2 e uma
isometria, ento:
,
= ,
= , = ,
19
Mas tambm uma isometria, portanto ,

,
= , . Assim:
= (, )
Logo, uma isometria.
Sejam 1 , 2 2 pontos distintos, tais que os vetores 1 e 2 tenham

mesmo comprimento e sejam no-colineares. Se 1 o ngulo entre o semi-eixo
positivo e 1 no sentido positivo, e 2 o ngulo entre o semi-eixo positivo e
2 no sentido positivo, define-se o ngulo orientado de 1 para 2 por, 1 2 =
2 1 + 360 , onde tal que 180 < 1 2 < 180 . Temos que
1 2 (1 ) e 2 so iguais. Isto motiva a seguinte definio.
Definio 2: Nas condies acima 1 e 2 nesta ordem tem orientao positiva,

sempre que 1 2 > 0, e orientao negativa caso 1 2 < 0.
Se tomarmos 1 = (1,0) e 2 = (0, 1), ento 2 1 = 270o 180o =

90 1 2 = 90 > 0 . Logo, 1 e 2 nesta ordem tem orientao positiva.
Vejamos outro exemplo, digamos que 1 = (1, 1) e 2 = (1,1), desta forma
2 1 = 45o 315o = 270 . Para que 180 < 1 2 < 180 , basta tomarmos
= 1 em 1 2 = 2 1 + 360 . Assim, 1 2 = 270 + 360 = 90 > 0. Logo,
1 e 2 nesta ordem tem orientao positiva.
O sistema de coordenada cartesianas usual induz no plano a orientao dada

pela orientao dos vetores da base cannica 1 = (1,0) e 2 = (0,1) nesta ordem, a
qual chamaremos de orientao positiva.
20
Definio 3: Uma isometria : 2 2 , preserva a orientao do plano quando

() 1
e () 2
nesta ordem, tem mesma orientao que 1 e 2 , para
1 , 2 2 distintos, e tais que os vetores 1 e 2 tenham mesmo comprimentos e

sejam no-colineares.
Seja : 2 2 uma isometria. Fixados 1 , 2 2 pontos distintos de forma

que os vetores 1 e 2 tenham mesmo comprimentos, sejam no-colineares, e
tais que 1 e 2 , nesta ordem tenham orientao positiva, ou seja, 2 =
1 2 (1 ), onde 1 2 > 0. Defina, 1 = , = 1 = () 1
2 = , = 2 = () 2 . Determinemos a orientao de 1 e 2
nesta ordem. Temos que 2 = 1 2 (1 ).
Como uma isometria ento 1 ,
2 , e 1 , 2
= 1 , , 2 ,
= 1 , 2 , e portanto 1 2 um triangulo congruente ao
tringulo 1 (2 ). Assim 1 2 = 1 2 ou 1 2 = 1 2 . Vejamos os dois

casos:
Se 1 2 = 1 2 e como 1 2 > 0 ento 2 = 1 2 1
onde 1 2 > 0.
Portanto, preserva a orientao do plano;

Se 1 2 = 1 2 e como 1 2 > 0 ento 2 = ( 1 2 ) 1 onde 1 2 < 0.
Portanto, inverte a orientao do plano. Conforme representado na figura 5.
Figura 5 Isometria que inverte a orientao do plano
21
Em particular, se tomarmos 1 = (1,0) e 2 = (0,1), ento 1 2 = 90 > 0.

Logo, 90 1 = 90 1,0 = 0,1 = 2 , ou seja, (1,0) e (0,1) nesta ordem tem
orientao positiva.
Sabemos que 1 2 = 1 2 = 90 . Vejamos os dois casos:
Se, 1 2 = 90 ento
2 = 90 1 , = 90 ,
, = 90 90 , 90 + 90
= ,
Logo, = e = . Assim:
det
= det
= det
= 1 ,
= 2 + 2 = 1 ,
= 1 , = 1,0 , 0,0
=1
Se, 1 2 = 90 ento
2 = 90 1 , = 90 ,
, = 90 90 , 90 + 90
= ,
Logo, = e = . Assim:
det
= det
= det
= 1 ,
= 2 + 2 = 1 ,
= 1 , = 1,0 , 0,0
= 1
Com isso, fica demonstrada a proposio seguinte.
Proposio 2: Seja : 2 2 uma isometria, , = 1,0 (0,0) e , =

0,1 (0,0). Defina =
, se det = 1, diremos que preserva a

orientao do plano, e caso det = 1 ento diremos que inverte a orientao
do plano.
22
Vejamos um exemplo. Como a identidade uma isometria, e:

1,0 0,0 = 1,0
0,1 0,0 = 0,1
Assim, det = det
1
0
0
=1
1
Ento pela proposio anterior a identidade preserva a orientao do plano.

A prxima seo discutir outros exemplos que sero importantes para o
progresso da pesquisa.
5.2 Exemplos
Esta seo destina-se a mostrar que as transformaes do captulo 4 so

isometrias, e verificar quais preservam e quais invertem a orientao do plano.
Exemplo 1: Considere a translao no plano, : 2 2 cuja lei de formao

dada por , = ( + 0 , + 0 ), onde = (0 , 0 ) 2 e , 2 . Para que
, seja uma isometria deve-se provar que ,
, 2 . De fato, seja = ,
= (, ) para todo
e = ( , ) elementos arbitrrios do 2 .
Assim:
,
= , , ,
=
=
2
+ 0 + 0

+ 0 , + 0 , + 0 , + 0
+ 0 + 0
= (, )
Como foi tomado de forma arbitrria, ento qualquer translao uma isometria.
Vejamos que (, ) preserva a orientao do plano, ou seja que det = 1, onde
sendo que , = 1,0 (0,0) e , = 0,1 (0,0).
23
, = 1,0 0,0 = 1 + 0 , 0 + 0 0 + 0 , 0 + 0 = (1,0)

, = 0,1 0,0 = 0 + 0 , 1 + 0 0 + 0 , 0 + 0 = (0,1)
Logo, det = det
1
= det
0
= 1.
1
Exemplo 2: Tome a rotao em torno da origem, : 2 2 cuja lei de formao

dada por (, ) = ( , + ), onde e o ngulo de
rotao. Para que seja uma isometria deve-se provar que ,
(, ) para todo , 2 . De fato, seja = ,
e = ( , ) elementos
arbitrrios do 2 .
,
= , , ,
=
, + ,
, +
+
= ( )
=
1
2 2
2 + ( )2 2
+ 2
2
1
2
+ + ( ) +
+
1
2 2
= ( )2 2 2
+ +
( ) ( )
= (, )
1
2
24
Como um ngulo arbitrrio, ento qualquer rotao em torno da origem

uma isometria. Mostremos que tambm preserva a orientao do plano, ou seja,

que det = 1, onde =
sendo que , = 1,0 (0,0) e

, = 0,1 (0,0).
, = 1,0 0,0
= 1 0 , 1 + 0
0 0 , 0 + 0
= ,
, = 0,1 0,0
= 0 1 , 0 + 1
0 0 , 0 + 0
= ,
Logo, det = det

= det

= 2 + 2 = 1.

Exemplo 3: Seja : 2 2 a reflexo em torno da reta , cuja lei de formao

dada por:
(, ) = ( 2 + 2 2 , 2 2 + 2 ),
onde : + = , o ngulo entre a reta e o semi-eixo positivo
no sentido positivo, e .
Para que seja uma isometria, deve-se provar que ,
= (, ) para
todo , 2 . De fato, seja = , e = ( , ) elementos arbitrrios do 2 .

,
=
= , , ,
2 2 2 , 2 2 + 2 ,
2 2 2 , 2 2 + 2
25
2 2 2 2 2 2
+
2 2 + 2
2 2 + 2
1
2 2
= = 2 2 2 2 2 2 + 2 2 2 + 2 2 2 2 2 2
+ 2 2 2 + 2 2 2 2 2 2 + 2 2 2 + 2 2 2
2 2 2 + 2 2 2
1
2
= (2 2 + 2 ) 2 2 + (2 2 + 2 ) 2 2
+ (2 2 + 2 )2 2 + (2 2 + 2 )2 2
=
+ 2
2 2 + 2 2 + 2 2
2
1
2
1
2
2 2 + 2 2 +
+
1
2 2
2 2 + 2 2
1
2
= (, )
Como uma reta arbitrria ento qualquer reflexo em torno de uma reta uma
isometria.
Mostremos que inverte a orientao do plano, ou seja, que det = 1, onde
=
sendo que , = 1,0 (0,0) e , = 0,1 (0,0).
, = 1,0 0,0
= 1 2 + 0 2 2 , 1 2 0 2 + 2
0 2 + 0 2 2 , 0 2 0 2 + 2
= 2 2 , 2 + 2 2 , 2
= 2, 2
, = 0,1 0,0
26
= 0 2 + 1 2 2 , 0 2 1 2 + 2
0 2 + 0 2 2 , 0 2 0 2 + 2
= 2 2 , 2 + 2 2 , 2
= 2, 2
Logo, det = det
2
= det
2
= 2 2 2 2 = 1.
2
5.3 Classificao quanto orientao do plano
Nesta seo classificaremos as isometrias do plano, em dois grupos: as que

preservam; e as que invertem a orientao do plano.
Definio 4: Uma transformao : 2 2 linear, quando satisfaz as seguintes
condies:
a) + = + , , 2
b) = , 2
Definio 5: Uma isometria : 2 2 chamada de isometria linear, quando

uma transformao linear.
Usaremos a notao < , > para representar o produto interno de por .

No caso em que = , < , >= 2 .
A prxima proposio demonstra que as Isometrias alm de preservar
distncia tambm preservam produto interno. (PROFMAT, 2012).
Proposio 3: Seja : 2 2 uma isometria tal que 0,0 = (0,0) ento

, () = , , para todo , 2 .
27
Demonstrao: Seja 2 , sabemos que , =
= , 2 , assim:
= , = , , 2 .
() = ,
(*)
2
Desenvolvendo o primeiro e o ltimo membro, temos:

,
+ ,
+ ,
2 ,
+ ,
+ ,
= ,
= , + , + , + ,
,

2 ,
2 ,
0,0
+ ,
2 ,
= , 2 , + ,
2
+ 0,0
= 0,0
2 , +
2
2 , + 0,0
Por (*) temos:

0,0
2 ,
+ 0,0
= 0,0
2 , + 0,0
Logo, , () = , .
Proposio 4: Uma isometria : 2 2 , tal que 0,0 = (0,0) uma isometria

linear.
Demonstrao: Sejam , 2 mostremos que + = +
e que
= , com , de fato:
+
= + , +
= + , +
+ + ,
+ + ,
+ ,
+ ,
+ ,
+ ,
= + , +
2 + ,
+ 2 ,
+ , +
+ , +
2 + ,
+ ,
+ ,
= + , + 2 + , 2 + , + , + 2 , + ,
28
= , + , + , + , 2 , 2 , 2 , 2 , + ,
+ 2 , + ,
= , + , + , + , 2 , 2 , 2 , + , + ,
= 2 , + , 2 , 2 , + , = 0
Portanto, + () = 0, ou seja + = + ()
Por outro lado,

= ,
= ,
+ , () + (),
= ,
2 , () + 2 (), ()
+ (), ()
= , 2 , + 2 ,
= 2 , 2 2 , + 2 , = 0
Portanto,
= 0, ou seja = ()
Logo, uma isometria linear.
Proposio 5: Seja : 2 2 uma isometria ento possui inversa e a inversa

tambm uma isometria.
Demonstrao: Veja Anexo A.
A demonstrao da prxima proposio uma adaptao das idias de

Profmat (2012).
Proposio 6: Toda isometria : 2 2 a composta de uma isometria linear

com uma translao.
Demonstrao: Seja : 2 2 , uma isometria; vejamos como decompor na
composta de uma isometria linear com uma translao.
Defina, , = , (0,0), desta forma 0,0 = (0,0).
29
Seja = (0,0) e (, ) a translao, que conforme j verificado uma isometria.

Assim, , = , + = ,
= ( )(, ), mas a composta de
isometrias isometria, ento em resumo uma isometria com 0,0 = (0,0) e

pela proposio 4, uma isometria linear.
Mas como toda isometria tem inversa, e a inversa uma isometria ento =
implica em
= , ou seja =
= + = + + = = ()
= +
Logo,
= +
+ = = ()
= e = = (0,0) .
Vejamos alguns fatos que nos ajudaro a verificar se uma isometria preserva
ou inverte a orientao do plano.
J sabemos que a composta de isometrias uma isometria, entretanto nada
temos ainda sobre a orientao ao compormos isometrias. Dedicaremos os
prximos corolrios desta proposio para realizarmos este estudo.
Corolrio: Sejam , : 2 2 isometrias do plano, se e preservam orientao

do plano ento tambm preserva a orientao.
Demonstrao:
Como preserva orientao ento os vetores , = 1,0 (0,0) e , =

0,1 (0,0) tem orientao positiva, ou seja
= 1.
Como preserva orientao ento os vetores , = 1,0 (0,0) e , =

0,1 (0,0) tem orientao positiva, ou seja
= 1.
Defina, , = 1,0 (0,0) e , = 0,1 (0,0)

Como e so isometrias, ento pela proposio existe e isometrias lineares
tais que:
30
0,0
, onde 0,0 = (0,0)
0,0
, onde 0,0 = (0,0)
Vejamos alguns tpicos preliminares:
, = 1,0 (0,0) = 1,0
1) Seja
0,1 , o valor de
Como =
0,0
, = 0,1 (0,0) =
nos diz qual a orientao de .
, ento:
1
1
(0,0)
= (0,0)

0,0
1
= (0,0)
= (0,0)
, = , (0,0)
(*)
Substituindo (*) na expresso de , e de ,

, = (1,0) 0,0 = (1,0) = 1,0 0,0 = ( , )
, = (0,1) 0,0 = 0,1 = 0,1 0,0 = ( , )
Logo, tambm preserva a orientao do plano, pois
= 1.
, = 1,0 (0,0) = 1,0
2) Seja
0,1 , o valor de
, = 0,1 (0,0) =
nos diz qual a orientao de . De forma
idntica ao item 1, bastando renomear por , encontramos que
= 1, ou seja preserva a orientao do plano.
Voltemos ao foco de demonstrar que preserva a orientao do plano.

Devemos mostrar que
= 1 onde , = 1,0 (0,0) e

, = 0,1 (0,0).
Vejamos:
0,0 = (0,0)
=
0,0
0,0
0,0 =
0,0
(0,0)
0,0
0,0
0,0
0,0
0,0
= 0,0
+ (0,0)
31
1,0 = (0,0)
=
0,0
0,0
1,0 =
1,0 + 0,0
= (1,0) + 0,0
0,1 = (0,0)
=
0,0
0,0
0,0
0,0
1,0
(1,0) + 0,0
+ (0,0)
0,1 =
0,1 + 0,0
= (0,1) + 0,0
0,0
0,0
0,0
0,0
0,1
(0,1) + 0,0
+ (0,0)
Assim,
, = 1,0 0,0
= (1,0) + 0,0
+ 0,0 0,0
+ 0,0
+ 0,0 0,0
+ 0,0
= (1,0)
, = 0,1 0,0
= (0,1) + 0,0
= (0,1)
Logo,
= [] = [] [] =
Onde, = { 1,0 , (0,1)} a base cannica do 2 , e [] , [] e []

representam respectivamente a matriz da transformao linear de , e na
base .
Desta forma, teremos:
=1
=1
=1
Portanto preserva a orientao do plano.
Corolrio: Sejam , : 2 2 isometrias do plano, se preserva a orientao do

plano e inverte a orientao do plano ento e invertem a orientao.
Demonstrao: Anloga demonstrao do corolrio anterior.
32
Corolrio: Sejam , : 2 2 isometrias do plano, se invertem a orientao

do plano ento preserva a orientao.
Demonstrao: Anloga demonstrao do primeiro corolrio.
A proposio 6, permite escrever uma isometria qualquer como composta de

uma translao e de uma isometria linear. Classificaremos agora o conjunto das
isometrias lineares.
Seja : 2 2 uma isometria linear. Como uma transformao linear,
ento temos as seguintes propriedades:
1) , = 1,0 + 0,1
2) 0,0 = 1,0 + 1,0
= 1,0 + (0,1)
= 1,0 + 1,0 = 1,0 1,0 = (0,0)
3)
1,0
= 0,0 , 1,0
= 0,0 , 1,0
= 0,0 , 1,0
=1
4)
0,1
= 0,0 , 0,1
= 0,0 , 0,1
= 0,0 , 0,1
=1
Dos itens anteriores temos:

2 = 1,0 , 0,1
= 1,0 , 0,1
= 1,0 0,1
= 1,0 0,1 , 1,0 (0,1)

= 1,0 , (1,0) 1,0 , (0,1) 0,1 , (1,0)
+ 0,1 , (0,1) = (1,0) 2 1,0 , (0,1) + (1,0)
= 2 2 1,0 , (0,1)
5) Logo, 1,0 , (0,1) = 0
Seja 1,0 = (, ), 0,1 = (, ) e o ngulo que o vetor (, ) faz com o
eixo no sentido positivo. Mas como
( , ), mas conforme item 5,
0,1
1,0
= 1, ento 1,0 = , =
(1,0) e (0,1) so ortogonais. E j que
= 1, temos duas opes para (0,1):

Se 0,1 = ( , ) ento pelo item 1:
, = 1,0 + 0,1 = , + ,
, = , + , desta forma pela seo 4.2
(, ) = ,
33
Neste caso, preserva a orientao do plano, ou seja,

= 1.

Se 0,1 = ( , ) ento pelo item 1:

, = 1,0 + 0,1 = , + ( , )
, = + , , desta forma pela seo 4.3
, = , , onde :
=0
J neste outro caso, inverte a orientao do plano, ou seja,

= 1.

Sendo assim, as isometrias lineares podem ser classificadas em duas

categorias:
As isometrias lineares que preservam a orientao do plano so da forma

, = ,
E as que invertem a orientao do plano, so da forma

, = , , onde :
=0
Seja , uma isometria, pelo que acabamos de verificar, da proposio 6

e do fato da translao ((0,0)) preservar orientao, podemos classificar as
isometrias (no necessariamente lineares) de forma semelhante classificao
acima. Segue classificao:
As isometrias (, ) que preservam a orientao do plano so da forma

, = ((0,0) ) ,

, = ((0,0) ) , , onde :
=0
Desta forma o conjunto { , , }, com 2 , 0 < 2 e uma reta,

gera todas as isometrias do plano. Na prxima seo veremos que este conjunto
pode ser melhorado, mostraremos que as isometrias podem ser geradas apenas por
composies de reflexes.
34
5.4 O conjuntos das reflexes
Proposio 7: Se 1 e 2 so duas retas paralelas e o vetor = 2, com 1 ,

2 e 1 , ento = 2 1 , onde 1 e 2 so as reflexes em torno das
retas 1 e 2 , respectivamente.
Demonstrao: Podemos afirmar que existem 1 , 2 , tais que:
1 : + = 1 e 2 : + = 2 ,
onde o ngulo que as retas 1 e 2 fazem com o eixo no sentido positivo.
Podemos supor sem perda de generalidade que 1 > 2 .
Suponhamos que a reta 1 no seja paralela a nenhum dos eixos
coordenados.
Seja o ngulo que os vetores e fazem com o eixo no sentido
positivo. Seja um vetor idempotente ao vetor , com pertencente ao eixo
(estamos supondo que 1 concorrente com o eixo ). Seja a interseo entre 2
e o eixo . Conforme figura 6:
Figura 6 Composta de duas reflexes em torno de retas paralelas
Como um tringulo retngulo em , ento:
35
cos =
=
= 2

=
=
2 cos 2 sen
2 sen 2
2
2 sen
2 sen 2 +
1
Obtemos , fazendo = 0, na equao da reta 1 . Assim, =
J , obtemos ao fazer = 0, na equao da reta 2 . Assim =

Logo,
,0
,0
1 = 2 1 2 sen = 2 1

= 2 + 1 2 = 1
1 : + = 1 e 2 : + = 2 = 1
Dado , 2 , temos que:

1 , = 2 + 2 21 , 2 2 + 21
Seja 1 = 2 + 2 21 e 1 = 2 2 + 21 ,
assim 1 , = (1 , 1 ). Calculemos, 2 1
(2 1 ) , = 2 1 ,
= 2 1 , 1
= 1 2 + 1 2 22 , 1 2 1 2 + 22
Seja 2 = 1 2 + 1 2 22 e 2 = 1 2 1 2 + 22
Simplifiquemos as expresses de 2 e 2 :
2 = 2 + 2 21 2
+ 2 2 + 21 2 2 1
= 2 2 + 2 2 21 2 + 2 2 2 2
+ 21 2 21 +
= (2 2 + 2 2) + + 21 2 2
= + + 21 2
= + = +
36
2 = 2 + 2 21 2
2 2 + 21 2 + 2 1
= 2 2 + 2 2 21 2 2 2 + 2 2
21 2 + 21
= 2 2 + 2 2 21 2 + 2
= 21 2 =
= +
= +
= + 2 = +
Assim, (2 1 ) , = 2 , 2 = + , + = , +
, = , + = , .
Suponhamos agora que 1 seja paralela ao eixo , ou seja, =
3
2
Assim = 0, e digamos que em 1 seja constante e igual a 1 , e em 2 seja

constante e igual a 2 , com 1 > 2 .
1 : = 1 e 2 : = 2
1 2 = |2 1 | = =
2 = 1
E portanto, so vlidos todos os clculos de (2 1 ) , feitos no caso

anterior.
O caso em que 1 paralela ao eixo , feito de forma anloga.
Se 1 < 2 , basta inverter a nomeao das retas 1 e 2 , e usar o caso anterior.
Se 1 = 2 , ento 1 = 2 e portanto 1 = 2 e = (0,0). Logo:
(2 1 ) , = (1 1 ) , = , = (, )
Assim, em todos os casos temos (2 1 ) , = (, )
37
Proposio 8: Sejam 1 e 2 reflexes em torno das retas concorrentes 1 e 2 , e
o ngulo de 1 para 2 no sentido positivo. Ento 2 1 a rotao de ngulo em

torno do ponto de interseo de 1 com 2 , ou seja, se = 1 2 , ento 2 1 =
.
Demonstrao: Seja = (0 , 0 ) o ponto de interseo entre as retas 1 e 2 , seja
o ngulo que a reta 1 faz com o eixo no sentido positivo, e o ngulo que a reta
2 faz com o eixo no sentido positivo. Defina 1 e 2 , de modo que < , desta
forma = + 2 = 2 2 . Conforme figura a seguir:
Figura 7 Composta de duas reflexes em torno de retas concorrentes
Seja 1 , 2 , tais que:

1 : + = 1 e 2 : + = 2
= 0 , 0 1 ento 1 = 0 + 0
= 0 , 0 2 ento 2 = 0 + 0
Dado , 2 , temos que:
1 , = 2 + 2 21 ,
2 2 + 21
Seja 1 = 2 + 2 21 e 1 = 2 2 + 21 ,
assim 1 , = (1 , 1 ). Calculemos, 2 1
38
(2 1 ) , = 2 1 ,
= 2 1 , 1
= 1 2 + 1 2 22 , 1 2 1 2 + 22
Seja 2 = 1 2 + 1 2 22 e 2 = 1 2 1 2 + 22
Simplifiquemos as expresses de 2 e 2 :
2 = 1 2 + 1 2 22
= 2 + 2 21 2
+ 2 2 + 21 2
2
0 + 0
= 2 2 + 2 2 21 2 + 2 2
2 2 + 21 2 + 2 2 0 2 0
= 2 cos 2 + 2 2 2 2 0 + 0
+ 2 2 2 2
+ 2 2 0 + 0 + 2 2 0
2 0
= 2 cos 2 + 2 2 + 2 2 2 0 2 cos 2 0
+ 2 2 2 2 2 2 0
+ 2 2 2 0 + 2 2 0 2 0
= ( 2 2 + 2 2) + 2 2 2 2
+ 0 2 2 2 2 2 + 2 2
+ 0 (2 2 2 2 2 2 )
= 2 2 + (2 2)
+ 0 2 2 2 2 2 + 2 2
+ 0 (2 2 2 2 2 2 )
= 2 2 + 2 2
0 2 2 2 + 2 2 2 2
0 (2 2 2 + 2 2 + 2 )
= 2 2 + 2 2
0 2 1 2 + 2 2 + 2 1
0 2 + 1 2 + 2 cos 2 + 2
39
= 2 2 + 2 2
0 2 2 2 + 2 2 + 2 1
0 2 2 2 + 2 2 + 2
= 2 2 + 2 2 + 0 0 2 2 + 2 2
0 2 2 2 + 2 cos 2 + 2
= 2 2 + 2 2 + 0 0 2 2 0 (2 2)
= 0 + 0 2 2 + 0 2 2
= 0 + 0 2 2 0 2 2
= 0 + 0 0
2 = 1 2 1 2 + 2 2
= 2 + 2 2 1 2
2 2 + 21 2
+ 2 0 + 0
De forma anloga aos clculos de 2 , temos que:
2 = 0 + 0 2 2 0 2 2
= 0 + 0 2 2 + 0 2 2
= 0 + 0 + 0
Assim,
(2 1 ) , = 2 1 , 1 = 2 , 2
= (0 + 0 0 , 0 + 0 + 0 )
=
0 0 , 0 + 0 + 0 , 0
0 0 , 0 + 0
= 0 , 0
= (, )
40
Corolrio: Sejam 1 e 2 reflexes em torno das retas concorrentes 1 e 2 , e
ngulo de 1 para 2 no sentido positivo. Se a interseo de 1 e 2 a origem, ento

2 1 a rotao de ngulo em torno da origem, ou seja, se = 1 2 , ento
2 1 = .
Demonstrao: Basta fazer = e usar a proposio.
Segue sntese dos principais resultados obtidos no captulo 5.

Sejam 1 e 2 duas retas. Se as retas forem concorrentes no ponto , com
ngulo de 1 para 2 no sentido positivo, ento 2 1 representa a rotao de

ngulo em torno do ponto P. Mas se as retas forem paralelas, ento 2 1
representa a translao de 2 com 1 , 2 e 1 . J se as retas forem
coincidentes ento 2 1 a aplicao identidade, j que a inversa de uma
reflexo a prpria reflexo.
Conforme seo anterior as isometrias, se classificam em:
As isometrias (, ) que preservam a orientao do plano so da forma

, = ((0,0) ) ,

, = ((0,0) ) , , onde :
=0
Pelas proposies anteriores, (0,0) = 2 1 e = 4 3 , onde 1 e 2 so

duas retas paralelas e o vetor (0,0) = 2, com 1 , 2 e 1 , j 3 e 4
so retas concorrentes na origem e
o ngulo de 3 para 4 no sentido positivo.
Nestes termos (0,0) a composta de at trs reflexes e (0,0) a

composta de at quatro reflexes. Portanto, toda isometria do plano uma reflexo,
a composta de duas, trs ou quatro reflexes.
Em resumo, qualquer isometria do plano pode ser definida como uma reflexo
ou a composio de reflexes. Em termos prticos, isto significa que ao provar a
validade de uma determinada propriedade ao aplicarmos uma reflexo arbitrria e
ao aplicarmos duas reflexes arbitrrias, ento a propriedade vale para todas as
isometrias do plano.
41
6 ISOMETRIAS COM NMEROS COMPLEXOS
O conjunto , dos nmeros complexos, o conjunto dos nmeros da forma

+ , onde , e 2 = 1. O termo chamado de parte real e
representado por ( + ), e chamado de parte imaginria representada por
( + ).
A igualdade de nmeros complexos dada por:
+ = + = , =
Em , define-se a soma e o produto:
1 + 1 + 2 + 2 = 1 + 2 + (1 + 2 )
+ + = + ( + )
O nmero complexo = + , pode ser identificado com o ponto , 2
e usaremos = + = (, ). Neste caso o 2 ser chamado de plano complexo.
Seja 1 = 1 + 1 e 2 = 2 + 2 nmeros complexos, 1 o ngulo entre o semi-eixo
e o vetor 1 no sentido positivo, e 2 o ngulo entre o semi-eixo e o vetor
2 no sentido positivo. O comprimento do vetor 1 ser chamado de mdulo de 1 ,
e ser representado por |1 | o que equivale a 0, 1 = 1 , discutido em
captulos anteriores. De forma semelhante o comprimento do vetor 2 ser
representado por |2 |. Os ngulos 1 e 2 so chamados de argumentos dos
nmeros complexos 1 e 2 , respectivamente, e escreve-se arg 1 = 1 e arg 2 =
2 . Isto permite a representao dos nmeros complexos 1 e 2 , no que chamamos
de forma polar ou trigonomtrica:
1 = 1 ( 1 + 1 ) e 2 = 2 ( 2 + 2 )
A multiplicao dos nmeros 1 e 2 quando escritos na forma polar, pode ser
feita da seguinte forma:
1 2 = 1 1 + 1 2 2 + 2
= 1 2 1 2 + 1 2 + 1 2 + 1 2 2
= 1 2 1 2 1 2 2 + 1 2 + 1 2
42
= 1 2 1 + 2 + (1 + 2 )
A translao, a rotao e a reflexo com domnio no plano complexo, ou com
domnio no 2 , tero as mesmas notaes, j estabelecidas.
Muitas propriedades vlidas no 2 continuam vlidas no plano complexo. Isto
ser usado nas sees seguintes.
6.1 Translaes e Rotaes
Conforme apresentado no captulo 4, as translaes so transformaes no

plano tal que dado = (0 , 0 ) 2 , tem-se , = , + (0 , 0 ). Considere a
bijeo : 2 tal que , = + , com as operaes usuais de 2 e de .
Desta forma, torna-se possvel transferir problemas do 2 para , e vice-versa.
Assim, podemos definir a translao em da seguinte forma:
Dado, = 0 + 0 , tem-se
+ = + + 0 + 0 = + 0 + ( + 0 )
Usando as idias de Lima (2006) definiremos a rotao em torno da origem.
Seja, = ( + ) e = + , tem-se que:
= + = + + + , ou seja, o nmero
complexo + o resultado da rotao do vetor que representa de
um ngulo em torno da origem.
Assim, para definir as rotaes em torno da origem, considere o ponto
= + , e seja o ngulo entre o semi-eixo positivo e , no sentido positivo.
+ = + +
= + ( + )
Podemos obter o resultado acima usando a frmula da rotao no 2 , mas
aproveitamos a ocasio para falar um pouco mais sobre os nmeros complexos.
43
6.2 Transformao de Mbius
O conjunto , chamado de plano complexo completado, definido por

= {}.
A transformao : definida por:
=
onde
+
+
, com 0 e , , ,
= , 0
= ,
= 0
chamada de Transformao de Mbius.

A condio 0 garante que uma bijeo.
Se = 0, = 1 e = 1 (note que = 0) ento = + =
arg
uma transformao de Mbius. Como arg

() pode representar
qualquer ngulo , e como pode representar qualquer vetor do plano, ento

as transformaes de Mbius com = 0, = 1 e = 1 representam todas as
isometrias () que preservam a orientao do plano, conforme final da seo 5.3.
Resta encontrar uma maneira para estudar as isometrias que no preservam a
orientao do plano, que conforme apresentado no captulo anterior so
composies de reflexes com translaes. Na prxima seo estudaremos as
reflexes em .
6.3 Reflexes
Nesta seo ser investigada uma forma para expressar a reflexo usando
apenas uma varivel complexa.
Na seo 4.3 mostrou-se que:
, = 2 + 2 2 , 2 2 + 2
Onde, : + = e com fixado.
44
Tomando = + , temos pela multiplicao de nmeros

complexos na forma polar que 2 = 2 + 2. Assim,
= + e
2 = 2 + 2
Substituindo os valores de 2 , 2 e em (, ) tem-se:

, = 2 + 2 2 , 2 2 + 2
= 2, 2 2, 2 + 2 ,
= 2 + 2 2 + 2 + 2 +
= 2 2 + 2
Assim, dado = + , tem-se que:
= 2 2 + 2 = 2 2 + 2
=
+ 2
2
+ 2
2

+ 2 =

+ 2
2
2
2
2
2 2
2 + 2
=
+
+ 2 = 2 + 2
2
2
Note que e so constantes responsveis por caracterizar a reta .
Conforme captulo 5 as reflexes e suas composies so suficientes para
representar todas as isometrias do plano. Portanto dada uma isometria , ao
decompor em compostas de reflexes temos pelo exposto acima que possvel
exibir como funo do nmero complexo ou .
6.3.1 O problema das reflexes
Como = 2 + 2 no pode ser escrito na forma
+
+
, ento as
transformaes de Mbius no so suficientes para expressarem todas as

isometrias.
Defina = ( 2 ) + (2) uma transformao de Mbius onde = 2 ,
= 2, = 0 e = 1, e defina a funo conjugao : , tal que = ,
para todo e = . A conjugao consiste na reflexo em torno do eixo ,
45
ou seja : 0 + 0 = 0,onde = 0 + 0 = 1 e = 0. Nestes

termos, = ( )().
Portanto, para realizar um estudo completo das isometrias no plano
complexo, verificou-se a necessidade de estudar as funes do tipo: = + e
= + , com , , 0, = 1 e .
6.3.2 Propriedades das funes = + e = +
Os resultados e definies at a demonstrao da proposio 10 desta

subseo so adaptaes da teoria sobre transformaes de Mbius, exposta por
Hefez (2012).
Definio 6: Dizemos que , um ponto fixo de uma funo : , quando

= .
Como = + e
so bijees e ambas possuem domnio e
contradomnio iguais a ento = ()() uma bijeo, onde =

=
= = , j que uma transformao de Mbius ( = 0
e = 1).
Assim um ponto fixo para ambas as funes () e ().
A inversa de = + 1 =
1 =
= e a inversa de = +
= .
Proposio 9: Seja = + diferente da identidade onde , , = 1.

Ento tem um ou dois pontos fixos em .
Demonstrao: Seja = + , com = 1. Ento os pontos fixos de so da
forma:
+ = 1 =
46
Logo:
Tem infinitas solues se = 1 e = 0, ou seja se = = (), mas como
diferente da identidade ento este caso no ocorre;
No tem soluo quando = 1 e 0, e neste o nico ponto fixo ;
Tem soluo nica = 1 se 1, e neste caso tem dois ponto fixos j que
tambm ponto fixo.
Portanto, tem um ou dois pontos fixos.
Corolrio: Se = + onde , e = 1 uma funo com mais de dois

pontos fixos em , ento a identidade.
Demonstrao: Suponha que no seja a identidade, ento da proposio temos
que tem no mximo dois pontos fixos, o que contradiz a hiptese. Logo, a
identidade.
Corolrio: Duas funes = + e = + onde , , ,
= || = 1, que possuem o mesmo valor em trs pontos distintos de , so iguais.

Demonstrao: Seja 1 , 2 e 3 trs pontos distintos de , tais que = ( ),
com = 1,2,3.
1 = 1
1
= 1
Como = + ento 1 = e portanto:

1
1 = 1 + = + = +
, onde
= || = 1
Assim, do corolrio anterior 1 a identidade, portanto =
Observao: Seja = + onde , e = 1 uma funo tal que

1 = 0, 2 = 1 e = . Pelo corolrio anterior, a funo se existir
1
nica. Note que =
2 1
2 = 1, = e =
com 2 1 = 1 satisfaz as condies 1 = 0,

1
2 1
= |
1
2 1 |
= 1. Logo existe e nica.
47
Proposio 10: Dados dois pares de ternas de pontos distintos 1 , 2 , e 1 , 2 ,

de , com 2 1 = 1 = 2 1 , existe uma nica transformao = +
onde , e = 1, tal que 1 = 1 , 2 = 2 e = .
Demonstrao: Se existir, j foi provado que nica. Mostraremos a existncia,
conforme observao anterior, existe = + e = " + " onde
, , ", " e = |"| = 1, tais que 1 = 0, 2 = 1, = , 1 = 0,
2 = 1 e = .
Defina = 1 , assim:
1 = 1 1
= 1 0 = 1
2 = 1 2
= 1 1 = 2
= 1
= 1 =
"
Note que 1 = " " e que
1
"
= 1. Logo,
1
= 1
"
= 1 + = " + " =
"
"
"
, onde
"
= 1.
Portanto, existe = + onde , e = 1, tal que 1 = 1 , 2 = 2

e = .
Observao: Pela observao anterior:

1
2 1
2 1
2 1
1
2 1
1
2 1
, assim =
1
2 1
1
2 1
e =
e assim " =
1
2 1
1
2 1
,
1
e " =
2 1
Assim, substituindo na demonstrao do teorema anterior:
"
=
+
=
"
"
1
2 1
1
2 1
2 1
1
1
+
+
2 1
2 1 2 1
2 1
1 (2 1 )
+
+ 1
2 1
2 1
1
1
2 1 2 1
1
2 1
2 1
48
2 1
2 1 + 1 1 + 1 2 1 1
+
2 1
2 1
2 1
1 2 2 1
+
2 1
2 1
Desta forma, a observao induz ao seguinte corolrio, onde possvel enfraquecer

a hiptese 2 1 = 1 = 2 1 . Vejamos:
Corolrio: Dados os pontos 1 , 2 ,1 , 2 de , tais que 1 2 , 1 2 e 2 1 =

2 1 , ento =
2 1
2 1
1 2 2 1
2 1
, uma isometria que preserva a
orientao do plano, tal que 1 = 1 , 2 = 2 e = .

Demonstrao: Note que
2 1
2 1
| 2 1 |
|2 1 |
= 1 e como 2 1 0, ento da
forma = + , com , e = 1, assim segundo seo 6.2, representa

uma isometria que preserva a orientao do plano.
1 =
=
2 =
=
2 1
1 2 2 1
1 +
2 1
2 1
2 1 1 1 + 1 2 2 1 1 (2 1 )
=
= 1
2 1
2 1
2 1
1 2 2 1
2 +
2 1
2 1
2 2 1 2 + 1 2 2 1 2 (2 1 )
=
= 2
2 1
2 1
Pela definio de Transformao de Mbius:

=
Resta estudar as funes do tipo = + , com , , 0, = 1 e

.
Conforme mostrado no inicio deste captulo, as reflexes em torno da reta
: + = , so dadas por:
= 2 + 2, onde = + e
49
Como, 2 = +
2 =
= 2 + 2 ento tem-se que:
2 2 + 2 (2) = 1
Seja , a translao no plano complexo definida por = + .

Seja uma isometria que inverte a orientao do plano, suponha que
0 = , ento pelo captulo anterior:
= = +
= 2 + 2 + = + , onde = 2 e = 2 + = 2 + (0)
Logo, ao conhecer qual a translao e a reflexo apropriada para produzir a
isometria () possvel expressa-la na forma = + .
Entretanto se a isometria () (que inverte a orientao do plano) s for
conhecida em dois pontos, como deve-se proceder para encontrar a lei de formao
de na incgnita ?
Segue uma conjectura que surge naturalmente ao olhar para o ltimo
corolrio:
Conjectura: Dados os pontos 1 , 2 ,1 , 2 de , tais que 1 2 , 1 2 e 2

1 = 2 1 , ento =
2 1
2 1
1 2 2 1
2 1
, uma isometria que inverte a
Verificou-se que a conjectura acima vlida se 1 , 2 . Provou-se ento a

seguinte proposio.
Proposio 11: Dados os pontos 1 , 2 e 1 , 2 , tais que 1 2 , 1 2 e

2 1 = 2 1 , ento
2 1
2 1
1 2 2 1
2 1
, uma isometria que
inverte a orientao do plano, tal que 1 = 1 , 2 = 2 e = .
50
Demonstrao: Note que
2 1
2 1
| 2 1 |
|2 1 |
= 1 e como 2 1 0, ento da
forma = + , com , e = 1, e portanto representa uma isometria

que inverte a orientao do plano.
2 1
1 2 2 1
2 1
1 2 2 1
1 +
=
1 +
2 1
2 1
2 1
2 1
1 =
=
2 1 1 1 + 1 2 2 1 1 (2 1 )
=
= 1
2 1
2 1
2 1
1 2 2 1
2 1
1 2 2 1
2 +
=
2 +
2 1
2 1
2 1
2 1
2 =
=
2 2 1 2 + 1 2 2 1 2 (2 1 )
=
= 2
2 1
2 1
Ao definir, a transformao de Mbius =

=
2 1
2 1
z+
1 2 2 1
2 1
tem-se:
= =
Observao: Tomando 1 = 0 e 2 = 1, e 1 , 2 , tais que 1 2 e 2 1 =

2 1 = 1, ento
= 2 1 + 1 , uma isometria que inverte a
Teorema: Dados os pontos 1 , 2 ,1 , 2 de , tais que 1 2 , 1 2 e 2 1 =

2 1 , tome uma isometria que preserva a orientao do plano, tal que
1 = 0, 2 = 1 e = , e () uma isometria que inverte a orientao do
plano, tal que 0 = 1 , 1 = 2 e = . Ento, =
1 2 2 1
2 1
2 1
2 1
uma isometria que inverte a orientao do plano, com 1 = 1 ,
2 = 2 e = .
Demonstrao: Como a composta de uma isometria que inverte a orientao do
plano com uma isometria que preserva a orientao, resulta em uma isometria que
inverte a orientao do plano, ento uma isometria que inverte a orientao
do plano. Da observao anterior vem que = 2 1 + 1 . Mas do ltimo
51
corolrio da Proposio 10, tem-se que =

1
2 1
10
2 1
0 2 1 1
2 1
1
2 1
Teremos:
1 = 1
2 = 2
1
2 1
1
2 1
1 +
2 +
2 1
= 0 = 1
2 1
= 1 = 2
2 1
= =
2 1
Resta calcular a lei de formao de , vejamos:

=
1
1
+
2 1
2 1
= 2 1
1
1
+
2 1
2 1
= 2 1
+ 1
2 1 2 1
2 1 1
2 1
+ 1
2 1
+
2 1
2 1
1 1 2 1
+
+ 1
2 1
2 1
2 1
1 1 2 1 + 1 2 1 1
+
2 1
2 1
2 1
1 2 2 1
+
2 1
2 1
+ 1
Corolrio: Dados os pontos 1 , 2 ,1 , 2 de , tais que 1 2 , 1 2 e 2 1 =

2 1 , ento
2 1
2 1
1 2 2 1
2 1
, uma isometria que inverte a

Demonstrao: Segue imediatamente do teorema.
52
6.4 Resumo
Com exceo da reflexo todas as isometrias em podem ser definidas

usando a Transformao de Mbius.
Encerrou-se o captulo 5 afirmando que qualquer isometria no plano ou uma
reflexo ou a composta de reflexes. J, neste captulo, descobriu-se que as
isometrias que preservam a orientao do plano so Transformaes de Mbius, j
as que invertem, como por exemplo, as reflexes podem ser estudadas como a
composta da transformao de Mbius com a conjugao.
Se a imagem da isometria em dois pontos distintos for conhecida, e
soubermos se a isometria preserva ou inverte a orientao, ento de uma das
duas formas:
=
2 1
1 2 2 1
+
2 1
2 1
2 1
1 2 2 1
+
2 1
2 1
Ou,
Onde 1 = 1 e 2 = 2 .
De forma mais precisa, segue caracterizao final:
Caracterizao: Seja 1 , 2 , 1 , 2 tais que
2 1 = 2 1 , 1 2 e
1 2 . : uma isometria com 1 = 1 e 2 = 2 se, e somente se,

=
2 1
1 2 2 1
+
2 1
2 1
2 1
1 2 2 1
+
2 1
2 1
Ou,
Dada uma reflexo (), onde : + = , foi mostrado que

= 2 + 2, onde = + . Existem infinitas opes para
53
1 , 2 , 1 e 2 tais que =
2 1
2 1
1 2 2 1
2 1
. Basta, por exemplo, tomar
1 , 2 , 1 e 2 tais que:
2 1 = 2 1 , 1 1 , 2 2 , 1 2 , 1 2 , 1 =
2 =
2 + 2
2
1 + 1
2
Note que da forma como foram definidos, 1 e 2 so pontos mdio de 1 1 e

2 2 , respectivamente e, alm disso, por definio 1 = 1 = 1
2 = 2 = 2 .
Portanto, juntando este fato com o de toda isometria ser uma reflexo ou a
composta
=
de
2 1
2 1
2 1 .
reflexes,
+
1 2 2 1
2 1
temos
que
toda
isometria
da
forma
, ou composta de funes deste tipo, onde 2 1 =
54
7 SIMULAO NO GEOGEBRA
7.1 Software Geogebra
O GeoGebra1 um software de matemtica dinmica, disponvel em vrios

idiomas, inclusive em portugus. Alm de ser um software gratuito tambm possui
cdigo fonte aberto, isto significa dizer que qualquer programador pode alterar e recompilar o Geogebra, ou parte dele. Por ser feito em Java2 ele multi-plataforma,
pode ser executado em diversos sistemas operacionais. Pode ser utilizado em todos
os nveis de ensino, devido manipular geometria, lgebra, tabelas, grficos,
estatstica e clculo em um nico sistema. (GEOGEBRA, 2013a)
Utilizou-se o Geogebra para criar uma ferramenta capaz de produzir
simulaes computacionais dos resultados da pesquisa, podendo ser usada para
motivar as aulas de Nmeros Complexos e de Geometria Analtica. Os passos para
criao da ferramenta sero descritos na prxima seo.
7.2 Detalhes da construo
Para descrever os passos da construo da ferramenta que promover as

simulaes, usou-se ao mximo o campo de entrada do Geogebra, conforme
ilustrado na figura 8, por facilitar a descrio do passo a passo. Porm, muitos
comandos podem ser feitos apenas clicando nas ferramentas adequadas.
Figura 8 Campo de entrada do software Geogebra
Fonte: Elaborado pelo autor.
1
2
Site do software Geogebra: <http://www.geogebra.org/cms/>

uma linguagem de programao
55
Dividiu-se a construo em etapas, para construir a primeira etapa digitou-se

no campo de entrada a seguinte sequncia de comandos:
Tabela 1 Construo da primeira etapa da ferramenta

PRIMEIRA ETAPA DA CONSTRUO DA FERRAMENTA
COMANDO / PROCEDIMENTO
RESULTADO
z1=1+i
Define o ponto z1
DefinirLegenda[z1,"z_1"]
Define a legenda de z1
D um clique duplo em z1 e selecione
propriedades, na opo Exibir Rtulo escolha o
item Legenda
z2=3-4i
Define o ponto z2
DefinirLegenda[z2,"z_2"]
Define a legenda de z2
D um clique duplo em z2 e selecione
item Legenda
w1=2-2i
Define o ponto w1
DefinirLegenda[w1,"w_1"]
Define a legenda de w1
D um clique duplo em w1 e selecione
item Legenda
dz1z2=Distncia[z1,z2]
Calcula a distncia entre os pontos complexos 1
e 2, e grava na varivel dz1z2
c=Crculo[w1,dz1z2]
Gera um crculo centrado em w1 de raio dz1z2
Define o ponto A sobre o crculo c
Clique no boto
e a seguir
clique sobre um ponto qualquer do
crculo c. O ponto A deve ser
criado.
Renomear o ponto A para w2
w2=DefinirValor[w2,4-3i]
DefinirLegenda[w2,"w_2"]
D um clique duplo em w2 e selecione
propriedades,
na
opo
Exibir
Rtulo escolha o item Legenda
Define w2
Redefine o valor do ponto w2 para 4 3
Define a legenda de w2
Aps realizar toda a construo descrita na tabela 1, deve-se obter tela

semelhante apresentada na figura 9.
56
Figura 9 Primeira etapa da construo da ferramenta
A construo da circunferncia de centro em 1 e raio igual distncia entre

1 e 2 para garantir que 2 1 = 2 1 , hiptese necessria para os dois
ltimos resultados importante, destacados na seo resumo do captulo anterior.
Seguem os prximos procedimentos, no campo de entrada digite a sequncia
de comandos a seguir:
Tabela 2 Construo da segunda etapa da ferramenta

SEGUNDA ETAPA DA CONSTRUO DA FERRAMENTA
RESULTADO
cx(t)=2cos(t) - 2cos(2t)
Define cx(t)
cy(t)=2sen(t) - sen(2t)
Define cy(t)
Oculte as plotagens das duas funes recm criadas, clicando Oculta plotagens
no pequeno crculo branco ao lado da definio das funes
cx(t) e cy(t).
inicio=0
Define incio
fim=Pi
Define fim
n=ControleDeslizante[inicio,fim,0.1,1,
Cria um seletor para a varivel n,
150,false,true,false,false]
c1=CampoDeTexto[cx]
Cria caixa de texto para alterar a
lei de formao de cx(t)
57
DefinirLegenda[c1,"x(t)"]
c2=CampoDeTexto[cy]
DefinirLegenda[c2,"y(t)"]
c3=CampoDeTexto[inicio]
DefinirLegenda[c3,"t inicial"]
c4=CampoDeTexto[fim]
DefinirLegenda[c4,"t final"]
q(t)=Curva[cx(t), cy(t), t, 0, n]
DefinirCor[q,Vermelho]
Altera a legenda da caixa de texto

c1, criada acima.
Cria caixa de texto para alterar a
lei de formao de cy(t)
c2, criada acima.
Cria caixa de texto para alterar o
valor da varivel inicio
c3, criada acima.
Cria caixa de texto para alterar o
valor da varivel fim
c4, criada acima.
Plota funo cuja parametrizao
dada por (cx(t),cy(t))
Muda a cor da plotagem da funo
q(t) para vermelho
Feito o procedimento acima, a janela deve ser redimensionada e as caixas de

texto organizadas. A figura 10 ilustra como deve ficar aps a construo.
Figura 10 Segunda etapa da construo da ferramenta
58
A terceira etapa consiste na construo de uma nova ferramenta do

Geogebra a qual permita calcular o conjugado de um nmero complexo. Segue
detalhes da construo na tabela a seguir:
Tabela 3 Construo da terceira etapa da ferramenta

CONSTRUO DA FERRAMENTA PARA CLCULO DO CONJUGADO
RESULTADO
P=x(z_1) - y(z_1)i
Gera o conjugado do nmero
complexo 1
Clique no menu Ferramentas e selecione a opo: Criar Uma Cria a nova ferramenta
Nova Ferramenta ... . Na guia Objetos Finais selecione
Nmero Complexo P j na guia Nome e cone digite conj
para o nome da ferramenta e para o nome do comando. Clique
em concludo.
Apagar[P]
Criada a ferramenta o ponto P
pode ser excludo.
Na prxima etapa, foram usadas as funes definidas no captulo anterior.

Vejamos os detalhes da construo:
Tabela 4 Construo da quarta etapa da ferramenta
QUARTA ETAPA DA CONSTRUO DA FERRAMENTA
RESULTADO
Z=cx(n) + i cy(n)
Define Z
DefinirCor[Z,Vermelho]
Muda a cor do ponto Z para
vermelho
fZ= (w2 - w1) / (z2 - z1) Z + (w1 z2 - w2 z1) / Define fZ, usando resultado do
(z2 - z1)
captulo anterior
DefinirLegenda[fZ,"f(Z)"]
Define Legenda
D uma clique duplo em fZ e selecione propriedades, na opo
Exibir Rtulo escolha o item Legenda
DefinirCor[fZ,Laranja]
Muda a cor do ponto fZ para
laranja
preservaOrientao=Sequncia[(w2 - w1) / (z2 - Plota a imagem da curva q pela
z1) (cx(k) + i cy(k)) + (w1 z2 - w2 z1) / (z2 - funo que preserva a orientao
z1), k, 0, n, 0.1]
do plano
DefinirCor[preservaOrientao, "Laranja"]
Muda a cor da plotagem anterior
DefinirCor[c,0.8,0.8,0.8]
Muda a cor do crculo c para
cinza claro
DefinirEstiloDaLinha[c,1]
Altera o estilo de plotagem do
crculo c, para um tipo de
tracejado.
gZ=(w2 - w1) / (conj[z2] - conj[z1]) conj[Z] + Define gZ, usando o resultado do
(w1 conj[z2] - w2 conj[z1]) / (conj[z2] - captulo anterior
conj[z1])
59
DefinirLegenda[gZ,"g(Z)"]
D uma clique duplo em gZ e selecione propriedades, na opo
Exibir Rtulo escolha o item Legenda
DefinirCor[gZ,"Verde"]
inverteOrientao=Sequncia[(w2
w1)
/
(conj[z2] - conj[z1]) conj[cx(k) + cy(k)] +
(w1 conj[z2] - w2 conj[z1]) / (conj[z2] conj[z1]), k, 0, n, 0.1]
DefinirCor[inverteOrientao,"Verde"]
Resetar=Boto[ "Resetar" ]
Clique com o boto auxiliar do mouse sobre o boto resetar,
clique em Propriedades..., clique na aba Programao, e
clique na sub aba Ao Clicar, e digite:
cx(t)=2cos(t) - 2cos(2t)
cy(t)=2sen(t)-sen(2t)
inicio=0
fim=pi
n=pi
DefinirValor[z1,1+i]
DefinirValor[z2,3+2i]
DefinirValor[w1,2-2i]
DefinirValor[w2,4-3i]
Define Legenda
Muda a cor do ponto gZ para

verde
Plota a imagem da curva q pela
funo que inverte a orientao
do plano
Muda a cor da plotagem anterior
Cria boto
Define aes ao clicar no boto
Resetar
A figura 11, mostra como deve ficar a tela aps a construo acima.
Figura 11 Quarta etapa da construo da ferramenta
60
Quanto funcionabilidade, a ferramenta para promover as simulaes j esta

pronta, entretanto possvel melhorar a sua formatao, e acrescentar alguns
recursos novos. Segue construo:
Tabela 5 Formatao da ferramenta.
FORMATAO DA FERRAMENTA
z1w1=Vetor[z1,w1]
z2w2=Vetor[z2,w2]
DefinirCor[z1w1,0.8,0.8,0.8]
DefinirCor[z2w2, 0.8,0.8,0.8]
DefinirEstiloDaLinha[z1w1,1]
DefinirEstiloDaLinha[z2w2,1]
Segurando a tecla crtl selecione na janela de lgebra os objetos: z1w1, z2w2
e c. A seguir clique com o boto auxiliar do mouse em um dos objetos
selecionados e escolha a opo Propriedades... clique na guia Avanado e
desmarque a opo permitir seleo
ExibirMalha[ ]
A seguir mude a cor da Malha para o cinza claro (RGB 224,224,224), e mude
o estilo de tracejado para pontilhado
Clique no menu Exibir e selecione Janela de visualizao 2. Pressione
Ctrl+Shift+E. Segurando a tecla Ctrl selecione os objetos: c1,c2,c3,c4,n e
Resetar. Clique na aba Avanado e marque a opo janela de visualizao
2 e dermarque a opo janela de visualizao.Outra forma de fazer este
procedimento :
RESULTADO
Cria e formata os
vetores
Trava seleo dos

vetores e do crculo
Exibe Malha
Configura
a
segunda janela de
visualizao
para
receber apenas os
controles ajustveis
da ferramenta
DefinirVisibilidade[c1,2,true]
DefinirVisibilidade[n,2,true]
DefinirVisibilidade[Resetar,2,true]
DefinirVisibilidade[c1,1,false]
DefinirVisibilidade[n,1,false]
DefinirVisibilidade[Resetar,1,false]
Neste momento pode parecer que as caixas de texto e o boto sumiram, mas
basta clicar no menu na opo Exibir e escolher o item Exibir Janela de
Visualizao 2. Aparecer uma outra janela, aumente o espao desta janela
at aparecer as caixas de texto, reposicione os controle e divida o espao
entre os controles e o grfico.
ExibirEixos[2, false]
Coloque o rtulo dos eixo x como Re e o eixo y como

Im. E mude a cor do fundo da janela de visualizao 2
(RGB 204,255,204)
Altere o tamanho dos pontos de z1,z2,w1 e w2 para 5
Retira os eixos da
segunda janela de
visualizao
Renomeia os eixos
e muda cor do
fundo.
Aumenta os pontos
61
A figura a seguir mostra como deve ficar a tela da ferramenta aps a

formatao.
Figura 12 Quinta etapa da construo da ferramenta
A prxima etapa ser a insero de textos e frmulas, e nesta etapa foi

necessrio alguns comando em LaTeX3, para detalhes consulte Andrade (2000).
Clique no boto
e clique na janela de visualizao 2 no local onde
deve ficar o texto (no topo). Digite o texto Isometria no Plano Complexo.
Clique novamente no boto de insero de texto e digite o texto contido na
figura 13. Entretanto, deve-se ter o cuidado de marcar a caixa Frmula LaTeX e de
digitar os textos contornados por um retngulo usando o boto Objetos, dentro
destes retngulos os objetos referenciados so objetos do Geogebra e portanto
podem ser operados entre si.
Editor de textos matemticos
62
Figura 13 Usando LaTeX para inserir funo que preserva a orientao
De forma semelhante, insira o texto conforme a figura a seguir:

Figura 14 Usando LaTeX para inserir funo que inverte a orientao
Para finalizar, digite no campo de entrada os seguintes comandos:

CaixaDeSeleo["Exibir funo que preserva a orientao do plano",{texto2,fZ,preservaOrientao}]
CaixaDeSeleo["Exibir funo que inverte a orientao do plano",{texto3,gZ,inverteOrientao}]
63
Ao reposicionar os objetos criados acima, a tela da ferramenta deve ficar

conforme figura a seguir:
Figura 15 Etapa final da construo
Deve-se fixar todos os objetos da janela de visualizao 2, isto evitar que

os objetos saiam da posio a qual foram pr-configurados. possvel usar o
Geogebra para exportar a ferramenta como pgina de internet, e a seguir hospedlo em um servidor Web, tornando mais prtico a sua distribuio aos alunos. Uma
das formas de compartilhar um material produzido no Geogebra atravs do
GeogebraTube4. A figura a seguir mostra a verso Web, executada em um browser.
Site do GeogebraTube: <http://www.geogebratube.org>
64
Figura 16 Verso web da ferramenta para realizar as simulaes
Disponvel em: < http://www.geogebratube.org/student/m32882>

Ao mover os pontos 1 , 2 , 1 e 2 na ferramenta possvel verificar que os

grficos construdos, tanto por como por so resultados de movimentos rgidos
efetuados no grfico da curva original , . O que constata a eficincia da
caracterizao das isometrias encontrada no captulo anterior.
O professor pode adaptar as ideias da construo desta simulao, e
apresent-lo em verses mais simples para os alunos. Por exemplo, ao invs de
trabalhar com curvas em coordenada paramtricas, pode-se usar um simples
tringulo (usar trs pontos ao invs de uma lista de pontos).
Assim como foi definido o ponto e suas imagens e , pode-se definir o
ponto e as imagens 1, 2, , 1, 2 e e traar os tringulos 12,
12 e 12. Desta forma, a ferramenta abordar as isometrias no plano
aplicadas a tringulos, ou seja, as congruncias de tringulo sobre a ptica dos
nmeros complexos.
65
8 CONCLUSES
Durante toda a pesquisa, foi essencial o estudo preliminar dos tpicos de

lgebra Linear, Geometria Analtica e Nmeros Complexos, estes usados em
conjunto possibilitaram uma caracterizao para as Isometrias no plano complexo.
A proposta inicial da pesquisa era usar transformaes de Mbius para definir
todas as isometrias, entretanto verificou-se, durante a pesquisa, que as reflexes
no poderiam ser caracterizadas por Transformaes de Mbius.
Para resolver o impasse, pesquisou-se um pouco sobre os quatrnios.
Imaginava-se ser possvel estudar funes semelhantes s transformaes de
Mbius, mas em dimenses maiores que a de . Esta ideia foi abandonada ao ver
um material de Lins Neto (2005) sobre Automorfismos anti-holomorfos de , a qual
garantia que todo automorfismo anti-holomorfo de da forma = , onde
uma homografia e a conjugao. Assim, segundo o mesmo material, dado
+
tem-se = + , onde 0. Foi a partir deste resultado que surgiu a ideia

de caracterizar a Isometria no plano complexo por funes do tipo = + ,
com , .
A abordagem encaixou-se perfeitamente com os fatos j demonstrados, j se
tinha que toda isometria era uma reflexo ou a composta de reflexes. Ento era
suficiente estudar as reflexes em , e as funes do tipo = + .
Ao exploramos as propriedades das funes do tipo = + , as
demonstraes no eram to naturais como as das funes do tipo = + .
Ento, neste ponto, tomou-se uma deciso importante: optou-se por estudar primeiro
as propriedades de
= + , e buscar uma forma para provar fatos
relacionados = + usando o que j se tinha demonstrado. Uma

conjectura surgiu, mas infelizmente era falsa. Entretanto, ao mudar uma hiptese,
garantiu-se uma proposio cuja demonstrao imediata. Foi exatamente este
resultado que viabilizou o estudo de = + .
Quanto criao da ferramenta para realizar as simulaes computacionais,
foi essencial um estudo minucioso sobre o software Geogebra e alguns comandos
em LaTeX, bem como algumas noes de programao. O Geogebra superou as
66
expectativas, foi possvel implementar, conforme apresentado no captulo 8, com

sucesso o resultado central da pesquisa. Com a simulao, garantiu-se a
consistncia dos resultados demonstrados.
Este material pode servir de apoio ao professor de Ensino Mdio, bastando
assumir, como j demonstrados, os resultados que exijam noes de lgebra linear.
Boa parte dos clculos podem ser reproduzidos para alunos que j estudaram
Geometria Analtica e Nmeros Complexos.
No captulo 5, provou-se que (0,0) pode ser escrita como a composta de
at quatro reflexes. Entretanto, segundo construo geomtrica feita por Lima
(2007), possvel descrev-la com a rotao de ngulo em torno de um ponto (a
qual Lima s garante a existncia deste ponto), que conforme demonstrado no
captulo 5 trata-se da composta de duas reflexes, em torno das retas 1 e 2 , com
= 1 2 e
o ngulo entre as retas 1 e 2 . Encontrar o ponto de forma analtica
uma sugesto para pesquisas futuras.

Usar ou adaptar a simulao aqui construda para tratar de temas como
congruncia ou semelhana de tringulos tambm so boas sugestes para
pesquisas futuras.
67
REFERNCIAS
ANDRADE, Lenimar Nunes de. Breve introduo ao Latex . 2000. Disponvel

em: <http://www.mat.ufpb.br/lenimar/textos/breve21pdf.zip>. Acesso em: 25 jan.
2013.
VILA, Geraldo Severo de Souza. Variveis complexas e aplicaes. 3. ed. Rio de

Janeiro: LTC, 2000.
CARMO, Manfredo Perdigo do. Geometria diferencial de curvas e superfcies.

Rio de Janeiro: SBM, 2005. (Coleo Textos Universitrios).
CERVO, Amado L.; BERVIAN, Pedro A.; SILVA, Roberto da. Metodologia
cientfica. 6. ed. So Paulo: Pearson, 2009.
DIAS, Jose Roosevelt. Isometrias no plano euclidiano. Disponvel em:

<http://www.professores.uff.br/Roosevelt/IsometriasEuclidianas.pdf>. Acesso em: 25
jan. 2013.
GEOGEBRA. GeogebraTube. Disponvel em: < http://www.geogebratube.org/>.

Acesso em: 17 mar. 2013, a.
______ . Informaes. Disponvel em: <http://www.geogebra.org/cms/pt_BR/info>.

Acesso em: 25 jan. 2013, b.
______ . Verso 4.2.17.0. Verso do software disponvel para download. Disponvel

em: <http://www.geogebra.org/cms/pt_BR/installers>. Acesso em: 25 jan. 2013, c.
GOMES, Jonas; VELHO, Luiz. Fundamentos da computao grfica. Rio de

Janeiro: IMPA, 2008. (Coleo Projeto Euclides).
HEFEZ, Abramo; VILLELA, Maria Lucia Torres. Polinmios e equaes

algbricas. Rio de Janeiro: SBM, 2012. (Coleo PROFMAT).
68
HOHENWARTER, Judith; HOHENWARTER, Markus. Introduction to Geogebra.

2012. Disponvel em: <http://www.geogebra.org/book/intro-pt_BR.pdf >. Acesso em:
25 jan. 2013.
LIMA, Elon Lages. lgebra linear. 6. ed. Rio de Janeiro: IMPA, 2003. (Coleo
Matemtica Universitria).
______ . Isometrias. 2. ed. Rio de Janeiro: SBM, 2007. (Coleo do Professor de

Matemtica).
______ . Geometria analtica e lgebra linear. 2. ed. Rio de Janeiro: IMPA, 2012.
(Coleo Matemtica Universitria).
LIMA, Elon Lages; CARVALHO, Paulo Cezar Pinto; WAGNER, Eduardo;

MORGADO, Augusto Csar. A matemtica do ensino mdio. Rio de Janeiro: SBM,
2006. v.3. (Coleo do Professor de Matemtica).
LIMA, Elon Lages; CARVALHO, Paulo Cezar Pinto. Coordenadas no plano. 5. ed.
Rio de Janeiro: SBM, 2011. (Coleo do Professor de Matemtica).
LOPES, Margarida Maria Nunes da Silva Rendeiro Marques Mendes. Introduo

Geometria. Disponvel em:
<http://www.math.ist.utl.pt/~mmlopes/GEOM08/apont/isometriasin%20work.pdf>.
Acesso em: 25 jan. 2013.
LINS NETO, Alcides. Funes de uma varivel complexa. Rio de Janeiro: IMPA,
2005. (Coleo Projeto Euclides).
NEVES, Robson Coelho. Os quatrnios de Hamilton e o espao. Dissertao

(Mestrado). Universidade Federal do Rio de Janeiro, Rio de Janeiro, 2008.
Disponvel em: <www.pg.im.ufrj.br/pemat/07%20Robson%20Neves.pdf>. Acesso
em: 25 jan. 2013.
PRATA, Carmem Lcia; NASCIMENTO, Anna Christina Aun de Azevedo.Objetos de

aprendizagem: uma proposta de recurso pedaggico. Braslia : MEC, SEED, 2007.
Disponvel em: <http://www.rived.mec.gov.br/artigos/livro.pdf>. Acesso em: 25 jan.
2013.
PROFMAT. Geometria analtica. Material disponibilizado no moodle durante a

disciplina de geometria analtica. [S.l.:s.n.], 2012.
69
RODRIGUES, Claudina Izepe; BARICHELLO, Leonardo; GUIMARES, Rita.

Movimentos complexos. Coleo Matemtica Multimdia. So Paulo: UNICAMP.
Disponvel em: < http://m3.ime.unicamp.br/recursos/1239>. Acesso em: 25 jan.
2013.
RODRIGUES, Claudina Izepe; OLIVEIRA, Edmundo Capelas de; REZENDE, Eliane

Quelho Frota; QUEIROZ, Maria Lcia Bontorim de. Transformao de Mbius.
Coleo Matemtica Multimdia. So Paulo: UNICAMP. Disponvel em:
<http://m3.ime.unicamp.br/recursos/1037>. Acesso em: 25 jan. 2013.
TENENBLAT, Keti. Introduo geometria diferencial. 2. Ed. So Paulo: Edgard

Blucher, 2008.
ZANI, S. L. lgebra Linear. So Paulo: ICMC USP, 2007.(Notas de aula).
Disponvel em: <http://www.icmc.usp.br/~sma/suporte/sma304/sma304.pdf>. Acesso
em: 25 jan. 2013.
70
ANEXO A - A INVERSA DE UMA ISOMETRIA UMA ISOMETRIA
71
Fonte: PROFMAT. Geometria Analtica. Material disponibilizado no moodle durante a disciplina. 2012. Unidade
9. p.17-19.

2011 00150 Leandro Barbosa Paz PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

2011 00150 Leandro Barbosa Paz PDF

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDADE ESTADUAL DO CEAR

LEANDRO BARBOSA PAZ

CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO

LEANDRO BARBOSA PAZ

CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO

Dissertao apresentada ao Curso de

Dados Internacionais de Catalogao na Publicao

Paz, Leandro Barbosa

Para citar este documento:

LEANDRO BARBOSA PAZ

CARACTERIZAO DAS ISOMETRIAS NO PLANO ATRAVS DO ESTUDO DAS

Dissertao apresentada ao Curso de

Aprovada em: 04 / 04 / 2013.

As Isometrias so objetos de estudo em diversas reas da Matemtica, como por

Palavras-chave: lgebra Linear. Geogebra. Geometria Analtica. Isometria.

Figura 1 Translao ................................................................................. 13

Tabela 1 Construo da primeira etapa da ferramenta ............................... 55

O conjunto dos nmeros complexos usado para definir modelos

Seja 1 , 2 , 1 , 2 tais que

: uma isometria com 1 = 1 e 2 = 2 se, e somente se,

Foi construda uma ferramenta no software Geogebra, para promover a

2.1 Objetivo geral

Tratar as isometrias no plano sobre o ponto de vista do conjunto dos nmeros

2.2 Objetivos especficos

Para alcanarmos o objetivo geral, dividimos a pesquisa nos seguintes

4 ALGUMAS TRANSFORMAES ELEMENTARES NO

Neste captulo as isometrias, embora ainda no definidas, sero tratadas

Dado 2 , uma translao no plano, determinada pelo vetor uma

4.2 Rotao em torno da origem

Para definir as rotaes em torno da origem, considere o ponto = ,

Figura 2 Rotao em torno da origem

4.3 Reflexo em torno de uma reta

Antes de definir a Reflexo em torno de uma reta, vamos definir a projeo

Figura 3 Projeo Ortogonal

Se uma reta perpendicular a , ento:

soluo nica. Pela regra de Crammer:

Portanto, podemos definir a projeo ortogonal do ponto = (0 , 0 ) sobre a

Figura 4 Reflexo em torno de uma reta

5.1 Definio e propriedades

Dados os pontos e , usaremos as notaes (, ) ou

para representar a distncia entre os pontos e .

Definio 1: Uma isometria no 2 uma funo : 2 2 que preserva

Deste ponto em diante, escreveremos isometria no plano ou simplesmente

Proposio 1: Sejam , : 2 2 isometrias do plano ento uma isometria.

e = , como ambos so elementos do 2 e uma

Mas tambm uma isometria, portanto ,

Logo, uma isometria.

Sejam 1 , 2 2 pontos distintos, tais que os vetores 1 e 2 tenham

Definio 2: Nas condies acima 1 e 2 nesta ordem tem orientao positiva,

Se tomarmos 1 = (1,0) e 2 = (0, 1), ento 2 1 = 270o 180o =

O sistema de coordenada cartesianas usual induz no plano a orientao dada

Definio 3: Uma isometria : 2 2 , preserva a orientao do plano quando

nesta ordem, tem mesma orientao que 1 e 2 , para

1 , 2 2 distintos, e tais que os vetores 1 e 2 tenham mesmo comprimentos e

Seja : 2 2 uma isometria. Fixados 1 , 2 2 pontos distintos de forma

= 1 , 2 , e portanto 1 2 um triangulo congruente ao

tringulo 1 (2 ). Assim 1 2 = 1 2 ou 1 2 = 1 2 . Vejamos os dois

Portanto, preserva a orientao do plano;

Em particular, se tomarmos 1 = (1,0) e 2 = (0,1), ento 1 2 = 90 > 0.

Com isso, fica demonstrada a proposio seguinte.

Proposio 2: Seja : 2 2 uma isometria, , = 1,0 (0,0) e , =

Vejamos um exemplo. Como a identidade uma isometria, e:

Ento pela proposio anterior a identidade preserva a orientao do plano.