Transformaes geomtricas

Eu passei a vida aplicando o programa de Klein geometria diferencial.

W. Blaschke
O programa Erlanger de Klein
Em 1872, um ano aps a publicao de seu trabalho a respeito de modelos
projetivos para as geometrias no-euclidianas, Feli !lein "oi nomeado #aos 2$
anos% para uma c&tedra na universidade de Erlanger' Ele pro"eriu uma aula
inaugural em (ue props um novo princ)pio uni"icador para a classi"icao das
v&rias geoemtrias (ue estavam sendo desenvolvidas em ritmo acelerado e
para a descoberta de rela*es entre elas' Este programa Erlanger tem tido um
impacto enorme sobre toda a matem&tica at+ o presente
1
'
, noo b&sica, de acordo com !lein, envolve o grupo de automor"ismos de
uma estrutura matem&tica' -o cap)tulo 2 ns de"inimos o conceito de
isomor"ismo de um modelo sobre outro e, no cap)tulo 7, ns usamos um
isomor"ismo espec)"ico para relacionar os modelos de !lein e de .oincar+ do
plano hiperblico' /m isomor"ismo (ue leva um modelo nele mesmo +
chamado de automorfismo deste modelo0 assim, um automor"ismo + uma
aplicao #ou trans"ormao% 1-1 (ue leva cada conjunto de objetos
"undamentais de um modelo sobre ele mesmo e (ue preserva as rela*es
"undamentais entre os objetos'
, import1ncia do grupo de automor"ismos "oi inicialmente reconhecida
atrav+s do problema da resoluo de e(ua*es alg+bricas por radicais'
Evariste 2alois #1811-18$2% mostrou (ue a soluo por radicais era poss)vel
se, e somente se, o grupo de automor"ismos da etenso de corpo gerada
pelas ra)3es da e(uao + um grupo sol4vel' 5sto implica na descoberta
particular de ,bel, (ue uma e(uao geral de grau 6 no pode ser resolvida
por radicais' 7ais tarde, !lein descobriu uma relao entre o grupo de
rota*es de um dodecahedro e as ra)3es da e(uao de grau cinco (ue
eplicava por(ue esta pode ser resolvida atrav+s de "un*es el)pticas'
Eis um eemplo do tipo mais simples de automor"ismo geom+trico'
Exemplo 18 9onsidere modelos de geometria de incid:ncia #cap)tulo 2%' ;s
conjuntos "undamentais de objetos so os conjuntos de pontos e retas e a
4nica relao "undamental + incid:ncia entre ponto e reta' /m automor"ismo
T leva ento cada ponto P e cada reta l sobre um ponto P e uma reta l de tal
"orma (ue P pertence a l se, e somente se, P pertence a l' .elo aioma 5-1,
uma reta + determinada por dois (uais(uer de seus pontos' .ortanto T +
determinado, en(uanto aplicao entre retas, a partir do momento (ue o seu
e"eito sobre os pontos + conhecido, a saber
T( P)

=P

'
1 .ara uma traduo para o ingl:s da aula de !lein, veja o Bulletin of the !e" #ork
$athematical %ociet&, <'2 #18=$%8 216-2>='
9omo T preserva incid:ncia e + 1-1 sobre o conjunto das retas, ele tem a
propriedade de (ue tr:s ponto ', P e so colineares se, e somente se, suas
imagens ', P e so colineares' ,ssim, um automor"ismo de um modelo de
geometria de incid:ncia + chamado de colinea()o'
.or eemplo, no modelo de tr:s pontos, cada permutao dos tr:s pontos no
colineares + uma colineao' -o entanto, no plano projetivo de sete pontos,
#Figura ='1%, voc: pode mostrar (ue das 7*=6?>? permuta*es dos pontos,
somente 1@8 so colinea*es #Eerc)cio 1%'
Figura ='1
; plano projetivo de sete pontos
A importante notar (ue um automor"ismo no preserva somente as rela*es
"undamentais, mas tamb+m preserva todas as rela*es (ue podem ser
de"inidas a partir delas' .or eemplo, uma colineao de um plano da
geometria de incid:ncia preserva paralelismo # lml m %'
Grupos
Brans"orma*es de um conjunto nele mesmo podem ser multiplicadas
aplicando-se primeiro uma trans"ormao T e, ento, outra trans"ormao %0
assim, a trans"ormao composta %T + de"inida pela e(uao
#?% %T( x)=%(T( x))
para todo x no conjunto'
9om esta multiplicao, o conjunto + de todos os automor"ismos de uma
estrutura admite ele mesmo uma estrutura de grupo, o (ue signi"ica (ue as
propriedades seguintes so v&lidas8
#1% %,T+%T+ '
#2% -+ #em (ue - + a trans"ormao identidade (ue deia todos os objetos
"ios0 a trans"ormao identidade satis"a3 -T.T-.T para todo T+ %'
#$%
T+T
1
+
#em (ue a inversa T
/1
de T + caracteri3ada pela e(uao
TT
1
=-=T
1
T
%'
#>% %(T0)=( %T)0,%,T ,0+ #esta lei associativa + conse(C:ncia imediata
da de"inio #?% da multiplicao%'
.ara ilustrar estas propriedades, considere rota*es em torno de um ponto ''
5sto ser& rigorosamente de"inido mais tarde mas podemos imaginar, por
en(uanto, (ue se trata de uma trans"ormao (ue gira o plano todo de um
certo 1ngulo em torno de '' De T + a rotao de t
o
no sentido hor&rio e % + a
rotao de s
o
no sentido hor&rio, ento %T + a rotao de #s1t%
o
no sentido
hor&rio' T
-1
+ a rotao de t
o
no serntido anti-hor&rio' - pode ser considerada
como sendo a rotao de 2
o
'
3uidado8 ; produto %T no +, em geral, igual ao produto T% como mostrado
no primo eemplo'
Exemplo 48 9onsidere o tri1ngulo e(Cil&tero A5B3 locali3ado
simetricamente em torno do ponto ' como ilustrado na Figura ='2' De T + a
rotao em torno de ' de 12?
o
no sentido hor&rio e % + a re"leo em torno da
reta vertical
5'

, ento T% deia o ponto 3 "io e permuta os pontos 5 e B

#de "ato, T% + a re"leo em torno de
3'

%0 en(uanto %T deia B "io e

permuta 5 e 3 #%T + a re"leo em torno de
B'

%'
Figura ='2
De duas trans"orma*es % e T t:m a propriedade %T.T%, di3emos (ue elas
comutam e a coleo de trans"orma*es em (ue cada par comuta + chamada
de comutativa #ou abeliana, segundo o grande matem&tica noruegu:s -'E'
,bel%' .or eemplo, (uais(uer duas rota*es em torno do mesmo ponto '
comutam'
Fuanto mais estrutura tiver uma geometria, menor ser& seu grupo de
automor"ismos' , geometria neutra + a geometria de incid:ncia com rela*es
adicionais de ordem e congru:ncia0 portanto, o grupo de automor"ismos da
geometria neutra + um subgrupo das colinea*es T (ue deiam ordem e
congru:ncia invariantes0 i'e' para as (uais
5B356B636
5B3756 B636 76
#usaremos sistematicamente 86 para denotar a imagem de um o9:eto
;ual;uer 8/ ponto, reta, c<rculo, etc. / so9 uma transforma()o denotada T%'
-o assumimos (ue T preserva congru:ncia de 1ngulos por(ue isto pode ser
provado8 se 5B37E= , podemos supor (ue, pelo aioma 9-1, 5B7E e
B3E= tal (ue 537= #G,G%0 como T preserva congru:ncia de segmentos,
A56 B6 36A76 E6 =6 #GGG%, portanto 56 B6 3676 E6 =6 ' -ote tamb+m
(ue se a trans"ormao preserva ordem ela deve ser uma colineao #pelos
aiomas ;-1 e ;-$%'
' o9:etivo principal deste cap<tulo ser> de determinar explicitamente todos os
automorfismos dos planos euclidiano e hiper9?lico e de classific>/los de
acordo com suas propriedades geom@tricas, em particular seus invariantes.
Hi3emos (ue uma propriedade ou relao + IinvarianteI sob uma
trans"ormao ou grupo de trans"orma*es se a propriedade ou a relao
continua valendo aps ter so"rido o e"eito das trans"orma*es0 uma "igura
geom+trica + IinvarianteI se ela + levada nela mesma pelas trans"orma*es'
I5nvari1naI e IgrupoI so os conceitos uni"icadores no Erlanger Programme
de !lein' 2rupos de trans"orma*es t:m sido usados em geometria por v&rios
anos, mas a originalidade de Klein foi inverter os papeis, faAendo com ;ue os
grupos se tornassem os o9:etos principais de interesse e faAendo/os operar
so9re v>rias geometrias a procura de invariantes' .or eemplo, o grupo
P%B( 2,) das trans"orma*es projetivas 22 com coe"iciente reais #veja
proposio ='27% opera tanto no plano hiperblico (uanto na reta projetiva
real0 para a 4ltima operao, a ra3o entre (uatro pontos + o invariante
"undamental, en(uanto (ue para a primeira operao, o comprimento de um
segmento #(ue + calculado atrav+s da ra3o no modelo de !lein o no modelo
de .oincar+% + o invariante "undamental'
Hurante as duas d+cadas (ue precederam o programa de !lein, 9aJleJ e
DJlvester desenvolveram uma teoria geral de invariantes alg+bricos al+m de
um procedimento espec)"ico para determinar geradores e rela*es entre eles
#veja Hieudonn+ e K' 9arrell, -nvariant Theor&, 'ld and !e", ,cademic .ress,
1=71%' !lein propLs tradu3ir problemas geom+tricos em geometria projetiva
para problemas alg+bricos em teoria de invariantes, em (ue tais problemas
poderiam ser resolvidos atrav+s dos m+todos alg+bricos conhecidos #para uma
eplanao leg)vel deste programa, veja a parte 555 do livro +eometr& de !lein,
(ue + a parte 2 do seu Elementar& $athematics from an 5dvanced
%tandpoint, Hover, 1=>8%'
, id+ia de !lein, de procurar v&rias a*es ou represent*es de um grupo e
seus invariantes, se mostrou muito "rut)"era em v&rias &reas da matem&tica e
da ")sica, no s em geometria'
-a ")sica, por eemplo, a invari1ncia das e(ua*es de 7aMell para o
eletromagnetismo sob as trans"orma*es de Gorent3 sugeriu a 7inNoMsNi uma
nova geometria do espao-tempo cujo grupo de automor"ismos + o grupo de
Gorent30 este era o in)cio da teoria da relatividade, para a (ual Einstein
chegou a sugerir o nome I5nvariantentheorieI' -a ")sica atLmica, as
regularidades reveladas pela tabela peridica so uma conse(C:ncia direta da
invari1ncia sob rota*es' -a ")sica de part)culas elementares, considera*es
a respeito de invari1ncia e simetria levaram a v&rias previs*es no triviais' E'
Oigner disse (ue no "uturo poderemos chegar a Iderivar as leis da nature3a e
test&-las atrav+s de leis de invari1ncia ao inv+s de tentar obter estas leis de
invari1ncia a partir do (ue acreditamos serem as leis da nature3aI'
-este cap)tulo, eploraremos as in"orma*es (ue o ponto de vista de !lein
"ornece a respeito das geometrias euclidiano e hiperblica' , partir dos nossos
aiomas dedu3iremos a descrio de todas as poss)veis isometrias, mostrando
como elas so construidas a partir de re"le*es #veja tabela ='1%' 7ostraremos
ento como calcular, usando estas trans"orma*es, num sistema de
coordenadas nos nossos modelos' 5mplementaremos o programa de !lein
substituindo os aiomas de congru:ncia pelos aiomas de grupo' Finalmente,
aplicaremos m+todos da teoria de grupos a (uest*es envolvendo simetrias'
Aplicao a problemas geomtricos
,presentamos alguns eemplos
2
de problemas geom+tricos (ue podem ser
"acilmente resolvidos atrav+s de trans"orma*es0 as solu*es sero baseadas
em certas propriedades de re"le*es, rota*es, transla*es e homotetias (ue
sero demonstradas nas se*es seguintes' ; propsito de discutir estes
problemas agora + ilustrar concretamente o poder das t+cnicas de
trans"orma*es' CocD entender> melhor as solu(Ees ap?s ter estudado a teoria
;ue segue, e eu sugiro ento (ue releia estas solu*es e teste sua
compreenso com os eerc)cios @7-7$'
Pro9lema 1F Hados dois pontos 5, B do mesmo lado de uma reta l, determinar
3 sobre l tal (ue

35 e

3B de"inam 1ngulos congruentes com l #se l "osse

um espelho, 53B seria o caminho de um raio de lu3 viajando de 5 at+ B e
re"letindo-se em l%'
%olu()o #Figura ='$%8 Deja B6 a imagem de B pela re"leo em torno de l' Ento
3 + a interseo de 5B6 com l'
Figura ='$
2 <arias centenas de outros eemplos sero encontrados no tratado monumental em tr:s
volumes de 5'7'Paglom, +eometric Transformations, 7athematical ,ssociation o" ,merica,
1=@2'
Pro9lema 4F ; ponto + chamado centro de simetria da "igura = se, sempre
(ue um segmento 556 admitir como ponto m+dio e 5 est& em =, 56 est& em
=' 7ostre (ue uma "igura pode ter nenhum, um 4nico ou uma ini"inidades de
centros de simetria'
%olu()oF + centro de simetria se, e somente se, a "igura + invariante sob
uma simetria central #rotao de 18?
o
% G

em torno de ' /m tri1ngulo no

admite centro de simetria, um c)rculo admite um 4nico centro de simetria e
uma reta admite uma in"inidade de centros de simetria' Duponha (ue uma
"igura = admite pelo menos dois centros de simetria e 6' Ento
G

(6)=6 6 + um terceiro centro, G

6(6 6) + um (uarto centro, etc'

'9serva()oF ;s problemas precedentes "oram enunciados e resolvidos no
conteto da geometria neutra' ;s problemas restantes se restringiro Q
geometria euclidiana'
Pro9lema HF Deja B, $, ! os respectivos pontos m+dios dos lados 5B, B3 e 35
do tri1ngulo A5B3 ' Dejam '
1
, '
2
e '
$
os circuncentros #i'e os
centros dos c)rculos circunscritos% dos tri1ngulos A5B! , ABB$ e
A3$! respectivamente' Dejam P
1
, P
2
e P
$
os incentros #i'e os
centros dos c)rculos inscritos% desses mesmos tri1ngulos' 7ostre (ue
A'
1
'
2
'
$
AP
1
P
2
P
$
'
%olu()o #Figura ='>%8 ;bserve (ue cada um dos tr:s tri1ngulos + obtido um do
outro atrav+s de uma translao - e'g' transladando-se A5B! na direo

5B
de uma dist1ncia 5B=BB "ornece ABB$ ' Esta translao leva o c)rculo
circunscrito #e seu centro% de um tri1ngulo sobre o c)rculo circunscrito #e seu
centro% do outro0 o mesmo acontece com os c)rculos inscritos' .ortanto, no
somente temos '
1
'
2
5BP
1
P
2
, etc', "ornecendo A'
1
'
2
'
$
AP
1
P
2
P
$
, mas
ainda temos (ue os lados correspondentes destes dois tri1ngulos so
paralelos'
Figuta ='>
Pro9lema IF Hado um tri1ngulo acut1ngulo, determinar o tri1ngulo inscrito de
per)metro m)nimo #problema de Fagnano%'
%olu()oF 9onsidere A8#J inscrito como na Figura ='6#a%' Deja 8
1
a imagem
de 8 pela re"leo em torno de
5B

e 8
2
a imagem de 8 pela re"leo em
torno de
53

' Ento o per)metro de A8#J + o mesmo (ue o comprimento

da poligonal 8
1
J#8
2
' De "iarmos R, este comprimento ser& minimi3ado
(uando J e # "orem escolhidos de "orma a pertencerem a 8
1
8
2
e, assim,
8
1
8
2
+ igual ao per)metro de A8#J ' Bemos 58
1
5858
2
e
8
1
58
2
25 ' De variarmos 8, o 1ngulo no v+rtice do tri1ngulo issceles
A8
1
58
2
mant+m sua medida constante e a base 8
1
8
2
varia de "orma
diretamente proporcional a 58 #de "ato, a trigonometria nos "ronece
8
1
8
2
=258sin5 %' .ortanto, o per)metro m)nimo + conseguido (uando
58 + m)nimo, o (ue ocorre (uando 8 + o p+ da altura relativa a 5 #Figura
='6#b%%' Heiamos para o eerc)cio 72 a veri"icao de # e J terem (ue ser os
p+s das alturas relativas a B e 3' .ortanto, o 4nico tri1ngulo inscrito de
per)metro m)nimo + o tri1ngulo ?rtico ou pedal de A5B3 '
Figura ='6
Pro9lema KF Hadas tr:s retas paralelas, determinar o tri1ngulo e(Cil&tero
cujos v+rtices pertencem a estas retas'
%olu()oF Escolha (ual(uer ponto 5 da primeira reta l' , imagem da reta m por
uma rotao em torno de 5 e de um 1ngulo de @?
o
+ m6' Deja 3 a interseo de
m6 com a terceira reta n e seja B o ponto de m obtido pela rotao de 3 em
torno de 5 de @?
o
na direo oposta' Ento A5B3 + a soluo'
Pro9lema LF .ara (ual(uer tri1ngulo A5B3 , construa tri1ngulos e(Cil&teros
sobre os lados de A5B3 eteriores a ele' 7ostre (ue os centros destes
tri1ngulos so v+rtices de um tri1ngulo e(Cil&tero'
%olu()oF Dejam '
1
, '
2
e '
$
os centros e considere as rota*es M
1
, M
2
e M
$
de 12?
o
no sentido anti-hor&rio em torno destes respectivos centros'
Ento M
1
( 5)=B , M
2
(B)=3 , M
$
(3)=5 ' 7as M
2
M
1
+ a rotao no sentido
hor&rio de 12?
o
em torno de '6
$
, (ue + a interseo entre uma reta por '
1
e outra por '
2
, cada uma "a3endo um 1ngulo de @?
o
com
'
1
'
2

, de "orma
(ue A'
1
'
2
'6
$
+ e(Cil&tero' 9omo M
$
1
+ tamb+m uma rotao no sentido
hor&rio e de 12?
o
levando 5 em 3, devemos ter M
$
1
=M
2
M
1
e '6
$
='
$
'
Pro9lema NF Hados um c)rculo e um ponto P de , obter o lugar
geom+trico dos pontos m+dios $ de todas as cordas P5 de por P'
%olu()o #Figura ='@%8 9omo 6 + obtido de atrav+s da homotetia de
centro P e ra3o 1S2, 6 + o c)rculo com di1metro 'P, ' sendo o centro de
'
Figura ='@
Pro9lema OF Hado um tri1ngulo A5B3 (ual(uer, considere seu circuncentro
' #ponto de interseo das mediatri3es de seus lados%, seu centride + #ponto
de interseo das medianas% e seu ortocentro G #ponto de interseo entre as
alturas%' -o eerc)cio 12 do cap)tulo @, voc: mostrou (ue ' eiste' /m
argumento "&cil usando geometria anal)tica #eerc)co @7% mostra (ue + eiste
e dista do v+rtice 2S$ do comprimento da mediana0 portanto, a homotetia T de
centro + e ra3o -1S2 leva A5B3 sobre o tri1ngulo mediano A56B636 ' ;
problema (ue colocamos agora re"ere-se Q eist:ncia de G e + mostrar (ue ',
+ e G esto sobre uma mesma reta #chamada reta de Euler do tri1ngulo
A5B3 %, e (ue + est& a 2S$ da dist1ncia de G a ''
%olu()oF , homotetia T
1
leva A5B3 em A5
1
B
1
3
1
com lados paralelos
aos respectivos lados de A5B3 e duas ve3s maiores' A5B3 + ento o
tri1ngulo mediano de A5
1
B
1
3
1
e as alturas de A5B3 so as mediatri3es de
A5
1
B
1
3
1
, (ue concorrem no ponto G'
Figura ='7
, homotetia original T, sendo uma semelhana, preserva perpendicularismo e,
portanto, leva o ortocentro G de A5B3 sobre o ortocentro de do tri1ngulo
mediano A56B636 (ue + '0 9omo + + o centro de T e a ra3o + -1S2, a
concluso segue da de"inio de homotetia'
Pro9lema PF Deja G o ortocentro, ' o circuncentro, B, $ e ! os pontos m+dios
dos lados e 7, E, = os p+s das alturas de A5B3 ' 7ostre (ue B, $, !, 7, E,
= e os pontos m+dios dos segmentos G5, GB e G3 pertencem todos ao c)rculo
de centro 0, sendo (ue 0 pertence Q reta de Euler de A5B3 e + ponto
m+dio de G' #o c)rculo de = pontos de A5B3 %'
Figura ='8
%olu()oF 9onsidere a homotetia T de centro G e ra3o 2' De mostrarmos (ue T
leva esses nove pontos sobre o c)rculo circunscrito de A5B3 , a
concluso seguir& do lema 7'2, cap)tulo 7, aplicado Q homotetia T
1
e ra3o
1S2 # T
1
leva sobre o c)rculo de raio metade do raio de e centro no
ponto m+dio de 'G%' 9laramente, T leva os pontos m+dios de G5, GB e G3
sobre 5, B e 3 de '
Deja P o ponto de diametralmente oposto a 5 #veja Figura ='8%' 9omo
53P est& inscrito num semi-c)rculo,
P3

53

e, portanto,
P3

+ paralelo
Q altura
BG

' ,nalogamente,
PB

3G

' ,ssim, P3GB + um paralelogramo

e o ponto m+dio de sua diagonal GP coincide com o ponto m+dio B de B3'
5sso mostra (ue T(B)=P sobre #e analogamente para T#$% e T#!%%'
, semi-reta

G7 intercepta em 76' 9omo 576P est& inscrito num semi-

c)rculo de ,
76 P

576

=57

7B

0 i'e'
76 P

7B

, (ue implica (ue 7 + o

ponto m+dio de G76 #j& (ue B + ponto m+dio de GP%' .ortanto, TQ7R.76 est&
sobre #e analogamente para TQER e TQ=R%'

Isometrias e semelhanas
Ha(ui em diante, a palavra Tautomor"ismoU ser& usada somente para
descrever um automor"ismo da geometria neutra, i'e' uma trans"ormao (ue
preserva incid:ncia, ordem e congru:ncia'
Definio: /ma trans"ormao T do plano nele mesmo + chamada de
movimento
$
ou isometria se o comprimento + invariante sob T 0 i'e' para todo
segmento 5B, 5B=56 B6 '
roposio !"#: #a% Boda isometria + um automor"ismo' #b% ,s isometrias
"ormam um subgrupo do grupo de automor"ismos'
Demonstrao:#a% Deja T uma isometria' De 5B37 , ento
56 B6=5B=37=36 76
de "orma (ue 56 B636 76 ' Fue T preserva ordem segue do teorema >'$#=%,
(ue estabelece (ue ,VWV9 se, e somente se, 53=5B+B3 '
#b% <oc: deve veri"icar as propriedades #1% at+ #$% da de"inio de grupo, o (ue
+ deiado como eerc)cio'
roposio !"$: ,utomor"ismos preservam 1ngulos'
Demonstrao: Hado um automor"ismo T, de"ina uma poss)vel nova medida
de 5 como sendo a medida (56)
o
de sua imagem por T' <oc: mostrar&
no eerc)cio $, (ue esta nova medida satis"a3 todas as propriedades b&sicas
#1% at+ #@% do teorema >'$' 7as este teorema di3 (ue eiste uma 4nica medida
$ ,lguns autores chamam estas trans"orma*es de movimentos r)gidos' ; termo
TmovimentoU usado a(ui no signi"ica movimento cont)nuo de um corpo ")sico, como +
geralmente compreendido, apesar de ser sugerido por este'
em graus com estas propriedades' .ortanto, (5)
o
=(56)
o
'
%orol&rio #: De A56B636 + a imagem de A5B3 sob um automor"ismo,
ento A56B636 + semelhante a A5B3 '
Demonstrao: Xngulos correspondentes so congruentes'
%orol&rio $: -um plano hiperblico, todo isomor"ismo e uma isometria'
Demonstrao: ; teorema @'2 a"irma (ue A5B3A56B636 , portanto,
5B=56 B6 '
Em "uno do corol&rio 1, um automor"ismo do plano euclidiano + chamado de
semelhan(a0 por de"inio, + uma trans"ormao (ue preserva ordem e
medida de 1ngulos' /m eemplo de semelhana (ue no + uma isometria + a
homotetia
>
de centro ' e ra3o k? 8 se kY? #respectivamente, kZ?% esta
trans"ormao T "ia ' e leva (ual(uer outro ponto P sobre um 4nico ponto
P6da semi-reta

'P #respectivamente, da semi-reta oposta a

'P % tal (ue

'P6=k'P '

De introdu3irmos as coordenadas cartesianas com origem ', esta
trans"ormao + representada por
(x , &) -(kx, k&) '
.ortanto, se 5, B t:m coordenadas (a
1
, a
2
) , (9
1
, 9
2
) temos
( 56B6)
2
=( ka
1
k9
1
)
2
+(ka
2
k9
2
)
2
=k
2
( 5B)
2
0
i'e' 56 B6=k5B ' Ha), voc: pode mostrar (ue T preserva ordem e
congru:ncia #eerc)cio >%, (ue + a parte I seI da prima proposio'
roposio !"': /ma trans"ormao T do plano euclidiano + uma semelhana
se, e somente se, eiste uma constante positiva k tal (ue
56 B6=k 5B
para todo segmento 5B'
Demonstrao: Hada uma semelhana T e um segmento 5B, escolha
(ual(uer ponto 3 no colinear com 5 e B e considere A56B636 semelhante a
A5B3 ' .elo teorema "undamental sobre tri1ngulos semelhantes #Eerc)cio
18, cap)tulo 6%, eiste uma constante positiva k tal (ue as ra3*es entre os
lados correspondentes destes tri1ngulos sejam iguais a k' De 7 + (ual(uer
outro ponto, o mesmo argumento aplicado a A537 #ou AB37 se 5, 3 e 7
so colineares% "ornece 36 76=k37 ' E se 7, E esto sobre
5B

o mesmo
argumento aplicado a
A37E leva a 76 E6=k7E ' .ortanto, k + a constante de proporcionalidade
para todos os segmentos'
> Esta noo de homotetia + mais geral da apresentada anteriormente, em (ue somente o
caso kY? "oi considerado' /ma homotetia + tamb+m chamada de dilata()o ou semelhan(a
central'
, demonstrao (ue acabamos de "ornecer, junto com o eerc)cio >, mostra o
seguinte'
%orol&rio: /ma trans"ormao B, 1-1 do plano euclidiano nele mesmo + um
automor"ismo se, e somente se, para todo tri1ngulo A5B3 temos
A5B3A56B636 '
.odemos concluir, destes resultados, (ue os planos hiperblicos t:m "un*es
dist1ncia invariantes 5B-5B , en(uanto (ue os planos euclidianos no t:m'
He acordo com o ponto de vista de !lein, (ual(uer "uno ou relao (ue no
+ invariante sob um grupo de automor"ismos da estrutura no + uma parte
intr)nseca da teoria desta estrutura0 + somente parte da teoria da nova
estrutura descrita pelas trans"orma*es (ue a deiam invariante' .ortanto, se
(ueremos (ue a dist1ncia seja parte da geometria euclidiana, devemos
rede"inir a geometria euclidiana como sendo o estudo dos invariantes das
isometrias euclidianas somente' !lein sugeriu o nome geometria para9?lica
para o estudo dos invariantes do grupo completo das semelhanas
euclidianas' -o adotaremos esta terminologia, mas voc: deve "icar atento ao
"ato de outros autores usarem-na'
6

(efle)es
; tipo mais "undamental de isometrias, a partir do (ual construiremos todas
as outras, + a reflex)o
M
m
em torno da reta m, seu eio' Henotaremos a
imagem de 5 por
M
m
como
5
m
' [e"letindo em torno de m duas ve3es manda
todos os pontos de volta Qs suas posi*es iniciais, de "orma (ue
M
m
M
m
=-
ou
M
m
=( M
m
)
1
' /ma trans"ormao (ue + igual Q sua prpria inversa + chamada
de involu()o' , rotao de 18?
o
em torno de um ponto + outro eemplo de
involuo' #<oc: mostrar& no eerc)cio = (ue no h& outras involu*es'%
/m ponto "io de uma trans"ormao T + um ponto 5 tal (ue 56.5' ;s pontos
"ios de uma re"leo
M
m
so os pontos da reta m' /saremos pontos "ios
para classi"icar isometrias'
*ema !"#: De um automor"ismo T "ia dois pontos 5 e B, ento ele + uma
isometria e "ia todos os pontos da reta
5B

'
Demonstrao: 9omo 5B.56B6, a constante k do corol&rio da proposio ='2
+ igual a 1' Deja 3 um terceiro ponto de
5B

' 9onsidere o caso 5SBS3 #os

outros dois casos so tratados da mesma maneira%' Ento 5SBS36 e 53=536
' .elo aioma 9-1, 3.36'
*ema !"$: De um automor"ismo T "ia tr:s pontos no colineares 5, B e 3,
6 Eermann OeJl a"irma (ue #para a geometria tridimensional% o grupo de isometrias + o
grupo de automor"ismos ")sicos do espao, pois a massa e a carga do el+tron nos permitem
estabelecer um padro de absoluto de comprimento'
ento ele + a identidade'
Demonstrao: De 5, B e 3 so "ios ento, pelo lema ='1, todos os pontos
das retas (ue unem estes pontos so "ios' De 7 no pertence a uma destas
tr:s retas, escolha E entre 5 e B' .elo teorema de .asch, a reta
7E

intercepta outro lado de A5B3 num ponto =' 9omo E e = so "ios, o lema
='1 nos garante (ue 7 + "io'
roposio !"+: De um automor"ismo T distinto da identidade "ia dois
pontos 5 e B, ento ele + a re"leo em torno de
5B

'
Demonstrao: ; lema ='1 assegura (ue todo ponto de
5B

+ "io' Deja 3
(ual(uer ponto de
5B

e seja = o p+ da perpendicular baiada de 3 sobre

5B

' 9omo automor"ismos preservam a medida de 1ngulos, eles preservam

perpendicularismo' .ortanto, 36 deve pertencer Q reta
3=

' ; lema ='2

garante (ue 363 e, como 3==36 = , 36 + a imagem de 3 pela re"leo em
torno de
5B

'
; primo resultado mostra (ue IisometriaI + o conceito eato (ue justi"ica a
id+ia de Euclides de superpor um tri1ngulo sobre outro'
roposio !",: A5B3A 56 B6 36 se, e somente se, eiste uma 4nica
isometria levando 5, B e 3 em 56, B6 e 36, respectivamente'
Demonstrao: , unicidade segue do lema ='2, pois se T e T6 tiverem o
mesmo e"eito sobre 5, B e 3, ento
T
1
T6
"iaria estes pontos e assim,
T
1
T6=-
e T.T6' A claro (ue uma isometria leva A5B3 sobre um tri1ngulo
congruente #GGG%' ,ssim, suporemos, inversamente, (ue A5B3A 56 B6 36 e
construiremos a isometria' .odemos assumir (ue 556 e considere t como
sendo a mediatri3 de 556' Ento a re"leo em torno de t leva 5 em 56 e B e 3
nos pontos
B
t
e
3
t
' De estes so B6 e 36, ento a demonstrao acaba'
Duponha ento (ue
B
t
B6
' Bemos
56 B6 5B56 B
t
'
Deja u a mediatri3 de
B
t
B6
de tal "orma (ue
M
u
leva
B
t
em B6' Esta re"leo
"ia 56 por(ue se 56,
B
t
e B6 so colineares , 56 + ponto m+dio de
B
t
B6
e
pertence a u, en(uanto (ue se no "orem colinares, u + mediatri3 da base do
tri1ngulo issceles AB6 5B
t
e u passa por 56'
Figura ='=
.ortanto, a composta
M
u
M
t
leva o par #5,B% sobre o par #56,B6%' De ela leva 3
sobre 36, ento acabou0 do contr&rio, seja 366 a imagem de 3 sob esta
composta' Ento
56 365356 36 6
B6 36 B3B6 36 6
de "orma (ue A56 B6 36A 56 B6 36 6 ' /m simples argumento de congru:ncia
de tri1ngulos #Figura ='1?% mostra (ue 36 + a imagem de 366 pela re"leo em
torno de
v=56 B6

' .ortanto
M
v
M
u
M
t
+ a isometria procurada'
Figura ='1?
%orol&rio: Boda isometria + o produto de no m&imo tr:s re"le*es'
5sto "oi mostrado no decorrer da demonstrao #em (ue consideramos a
identidade como sendo um Iproduto de 3ero re"le*esI e uma re"leo como
sendo um Iproduto de uma re"leoI%'
Eaminaremos agora o produto de duas re"le*es
T=M
l
M
m
' De l e m se
interceptam num ponto 5, T + chamada de rota()o em torno de 5 . De l e m
admitem uma perpendicular comum t, T + chamada de transla()o ao longo de
t' Finalmente, se l e m so paralelas assintticas #o (ue vale somente no plano
hiperblico% na direo do ponto idela D , T + chamada de transporte
paralelo em torno de D ' Estes casos so mutuamente eclusivos mas, por
conveno, a isometria identidade ser& considerada como uma rotao,
translao e transporte paralelo #este + o caso l.m%'
, proposio ='> apontou para a import1ncia dos pontos "ios na descrio de
isometrias' ;utra "erramenta importante so as retas invariantes8 di3emos
(ue a reta l + invariante por T se l6.l' 5sto no implica (ue todos os pontos de
l so "ios0 implica to somente (ue se um ponto de l + trans"ormado por T, ele
ser& trans"ormado em outro ponto de l' .or eemplo, as 4nicas retas al+m de
m (ue so invariantes pela re"leo em torno de m
M
m
so as retas
perpendiculares a m #eerc)cio 7%'
(otaes
roposio !"-: Deja l m e 5 o ponto de interseo entre l e m' 9onsidere
T\M
l
M
m
' Ento, para (ual(uer ponto B5 , 5 + ponto m+dio de BB6'
Demonstrao: , a"irmao est& clara se B est& sobre l ou sobre m portanto,
suponha (ue B no pertena nem a l e nem a m #Figura ='11%'
Deja 3 o p+ da perpendicular baiada de B sobre m' Ento B6 est& do lado
oposto a B em relao a l e m e 36 est& do lado oposto a 3 em relao a l'
Ha congru:ncia B53B6 536 dedu3imos (ue estes 1ngulos devem ser
opostos pelo v+rtice e , portanto, 5, B e B6 so colineares' 9omo 5B5B6 , 5
+ ponto m+dio'
Figura ='11
, isometria T da proposio ='@ pode ser descrita como sendo a rotao de
18?
o
em torno de 50 ns a chamaremos simetria central de centro 5 e a
denotaremos G
5
' , imagem de P sob G
5
ser& denotada P
5
.
%orol&rio: G
5
+ uma involuo e suas retas invariantes so as retas por 5'
roposio !".: /ma isometria T-d + uma rotao se, e somente se, T
admite um 4nico ponto "io'
Demonstrao: Duponha (ue T admite apenas um ponto "io 5 e escolha
B5 ' Deja l a mediatri3 de BB6' 9omo 5B5B6 , 5 est& em l e a isometria
M
l
T
"ia 5 e B' De
M
l
T=-
, ento
T=M
l
o (ue contraria a hiptese de T
admitir apenas um ponto "io' .ortanto, se
m=5B

, a propsio ='> implica

M
l
T=M
m
, tal (ue
T=M
l
M
m
e T + a rotao em torno de 5 #veja Figura ='12%'
5nversamente, dada a rotao
T=M
l
M
m
em torno de 5, suponha (ue B5 +
"io' Ento
B
l
=B
m
, de tal "orma (ue unindo este ponto a B "ornece uma reta
perpendicular a l e m, o (ue + imposs)vel'
;bservao8 Este 4ltimo argumento no vale no plano el)ptico pois a), +
poss)vel (ue duas retas secantes admitam uma perpendicular comum' He "ato,
cada ponto P admite uma reta l chamada polar (ue + perpendicular a toda
reta por P #veja Figura ='1$%'
Figura ='12
-o plano el)ptico, a simetria central
G
P
em torno de P + o mesmo (ue a
re"leo
M
l
em torno de l' #;s lemas ='1 e ='2 so tamb+m "alsos no plano
el)ptico'% .ode ser mostrado (ue as rota*es so as 4nicas isometrias do
plano el)ptico #veja EMald, p'6?%' -o modelo da es"era, com os pontos
ant)podas identi"icados, as isometrias so representadas pelas rota*es
euclidianas em torno de retas (ue passam pelo centro da es"era #,rt3J, p'181%'
De voc: "or reler a primeira parte da demonstrao da proposio ='7 e se
re"erir Q Figura ='12, voc: ver& (ue tamb+m provamos a seguinte proposio,
(ue + o primeiro caso do resultado "undamental ='1= a respeito de tr:s
re"le*es'
Figura ='1$
roposio !"/: De T + a rotao em torno de 5 e m + uma reta (ual(uer por
5, ento eiste uma 4nica reta l por 5 tal (ue T.M
l
M
m
' De l no +
perpendicular a m e d
o
+ a medida em graus do 1ngulo agudo determinado
entre l e m, ento para (ual(uer ponto B5 , (B5B6 )
o
=2d
o
'
#,ssim, por eemplo, para epressar uma rotao de =?
o
em torno de 5 na
"orma M
l
M
m
, voc: deve escolher retas l e m por 5 (ue "ormam um 1ngulo de
>6
o
'%
9uidado8 , rotao M
l
M
m
no + o mesmo (ue a rotao M
m
M
l
a menos (ue ml
' 5ntuitivamente, uma dessas rota*es + uma rotao no Isentido hor&rioI de
um 1ngulo 2d
o
em torno de 5 en(uanto (ue a outra + uma rotao no Isentido
anti-hor&rioI de um 1ngulo 2d
o
' .ara um argumento mais rigoroso, note (ue
( M
m
M
l
)( M
l
M
m
)=M
m
( M
l
)
2
M
m
=M
m
-M
m
=M
m
2
=- ,
de "orma (ue
M
m
M
l
+ a inversa de
M
l
M
m
' -o eerc)cio =, voc: mostrar& (ue
a 4nica rotao (ue + igual Q sua inversa + a simetria central'
roposio !"!: Hado um ponto 5, o conjunto das rota*es em torno de 5 +
um grupo comutativo'
Demonstrao: , identidade + uma roto em torno de 5 por de"inio e
acabamos de mostrar (ue a inversa de uma rotao em torno de 5 + uma
rotao em torno de 5' Hevemos mostrar (ue o produto TT6 de rota*es em
torno de 5 + uma rotao em torno de 5' Deja
T6=M
l
M
m
' .ela proposio ='8
eiste uma 4nica reta k por 5 tal (ue
T=M
k
M
l
' Ento
TT 6=( M
k
M
l
)( M
l
M
m
)=M
k
( M
l
)
2
M
m
=M
k
-M
m
=M
k
M
m
,
(ue + uma rotao em torno de 5' .ara provar a comutatividade, apli(ue a
proposio ='8 novamente para obter uma 4nica reta n tal (ue T
1
=M
n
M
m
'
Ento
T=M
m
M
n
e T6 T=( M
l
M
m
)( M
m
M
n
)=M
l
( M
m
)
2
M
n
=M
l
M
n
' 9omo
TT 6=M
k
M
m
,
M
k
(TT 6 ) M
m
=M
k
2
M
m
2
=- ' 7as temos tamb+m
M
k
(T6 T) M
m
=M
k
( M
l
M
n
) M
m
=( M
k
M
l
)( M
n
M
m
)=TT
1
=- ' .ortanto, TT6.T6T'
3uidadoF [ota*es em torno de pontos distintos nunca comutam # a menos
(ue ao menos uma destas rota*es seja a identidade%' .ois, se T + uma rotao
em torno de 5 e T6 + uma rotao em torno de B, T6T leva 5 em 5T, en(uanto
TT6 leva 5 em #5T%]' ,l+m disso, o produto de tais rota*es pode ou no ser
uma rotao #eerc)cio 1?%'
Translaes
9onsideraremos agora as transla*es T.M
l
M
m
, em (ue l e m t:m uma
perpendicular comum t' ,s propriedades geom+tricas das transla*es no
plano hiperblico so distintas das suas propriedades no plano euclidiano
#di"erentemente das rota*es (ue se comportam da mesma "orma nas duas
geometrias%'
roposio !"#0: Deja l t em 5, mt em B e T.M
l
M
m
' De pertence a t,
ento 6 =25B ' De P no pertence a t, ento P6 est& do mesmo lado de t (ue
P e PP6 =25B se o plano "or euclidiano e PP6 >25B se o plano "or
hiperblico'
Figura ='1>
Demonstrao: .rovaremos a a"irmao sobre 6 (uando 5SBS,
deiando os outros casos como eerc)cio' De B5B , ento
5
m
B
e
6 =6 5+5B+B
=
m
5+5B+B
m
=25B'
De B=5B ento 6.5 e 6 =25B ' De B>5B ento

m
5B
e

m
5=B
m
5B=B5B
' .ortanto,

m
56
e temos

2B=
m
=6+26 5
=6 +2( B5B) ,
(ue "ornece 6 =25B '
De P no pertence a t, ento P e
P
m
esto sobre a reta perpendicular a m e,
assim, paralela a t e esto portanto do mesmo lado de t0 analogamente,
P
m
e
P6 esto do mesmo lado de t0 portanto, pelo aioma ;->, P e P6 esto do
mesmo lado de t' Deja o p+ da perpendicular baiada de P sobre t' 9omo T
preserva perpendicularismo, 6 + o p+ da perpendicular baiada de P6 sobre t
e, j& (ue T + isometria, P6 6P ' .ortanto, P6 P6 + um (uadril&tero
de Daccheri' Em geometria euclidiana, ele + um ret1ngulo e seus lados
opostos so congruentes, ou seja PP6 =6=2( 5B) 0 em geometria
hiperblica, o lado oposto Q base + maior (ue a base #eerc)cio 1, cap)tulo @%,
de "orma (ue PP6 >6=2( 5B) '
%orol&rio: De uma translao admite um ponto "io, ento ela + a identidade'
roposio !"##: De T + uma translao ao longo de t e m + (ual(uer
perpendicular a t, ento eiste uma 4nica reta l t tal (ue T.M
l
M
m
'
Demonstrao: Deja m secante a t em e l a mediatri3 de 6' Ento
M
l
T
"ia ' Deja P outro ponto de m, tal (ue ,como anteriormente, P6 P6 seja
um (uadril&tero de Daccheri' 9omo l + perpendicular Q base 6 em seu ponto
m+dio, l + tamb+m perpendicular ao lado oposto PP6 e o intercepta no seu
ponto m+dio #lema @'2%' ,ssim, P + a imagem de P6 pela re"leo em torno de l'
.ortanto,
M
l
T
"ia todos os pontos de m o (ue leva a
M
l
T=M
m
e
T=( M
l
)
2
T=M
l
M
m
'
.ara a unicidade, se
T=M
k
M
m
ento
M
l
=TM
m
=M
k
e l.k'
roposio !"#$: Hada uma reta t, o conjunto das transla*es ao longo de t +
um grupo comutativo'
, demonstrao + a mesma (ue a demonstrao das proposio ='=, usando-se
a proposio ='11 ao inv+s da proposio ='8'
roposio !"#': Deja T-d uma translao ao longo de t' De o plano "or
euclidiano, as retas invariantes por T so as retas paralelas a t' De o plano "or
hiperblico, t + a 4nica reta invariante por T'
Demonstrao: t + claramente invariante' -o caso euclidiano, se ut , ento
T + tamb+m uma translao ao longo de u #proposio >'=% portanto, u +
invriante' Em ambos os casos, se u intercepta t em 5 ento 56 est& sobre t e
556 , de "orma (ue 56 no pertence a u e u no + invariante' Duponha, no
caso do plano hiperblico, (ue u seja invariante e paralela a t' Escolha
(ual(uer ponto P de u0 ento
u=PP6

' 7as ns j& vimos (ue P e P6 so

e(Cidistantes de t, o (ue implica (ue t e u t:m uma perpendicular comum m
#teorema @'>%' 7ostramos (ue m no + invariante e, como T preserva
perpendicularismo, m6 + tamb+m perpendicular a t.t6 e u.u6' 5sto contraria
a unicidade da perpendicular comum em geometria hiperblica #teorema @'6%'

roposio !"#+: Dejam dados uma isometria T, uma reta t e um ponto B

sobre t' Ento T + uma translao ao longo de t se, e somente se, eiste um
4nico ponto 5 sobre t tal (ue T seja o produto de simetrias centrais G
5
G
B
'
Demonstrao: Deja m a perpendicular a t por B' De T + uma translao ao
longo de t ento, pela proposio ='11, eiste uma 4nica reta l t tal (ue
T=M
l
M
m
' De l intercepta t em 5, ento
G
5
G
B
=( M
l
M
t
)( M
t
M
m
)=M
l
( M
t
2
) M
m
=M
l
M
m
=T ' 5nvirta o argumento para obter a
volta'
1imetrias centrais
Bendo mostrado (ue o produto de duas simetrias centrais + uma translao, +
natural perguntar8 o (ue + o produto de tr:s simetrias centrais^ -ovamente, a
resposta vai depender da geometria ser euclidiana ou hiperblica'
roposio !"#,: -um plano euclidiano, o produto G
5
G
B
G
3
de tr:s simetrias
centrais + uma simetria central' -um plano hiperblico, este produto s + uma
simetria central (uando 5, B e 3 so colineares e, caso contr&rio, o produto
pode ser uma rotao, uma translao ou um transporte paralelo'
Demonstrao: Duponha (ue 5, B e 3 sejam colineares, pertencendo a t, e
(ue l, m e n sejam as perpendiculares a t por estes pontos, respectivamente'
Ento
G
5
G
B
G
3
=( M
l
M
t
)( M
t
M
m
)( M
n
M
t
)
=M
l
( M
t
2
) M
m
M
n
M
t
=( M
l
M
m
M
n
) M
t
= M
k
M
t
,
em (ue kt tal (ue
M
k
M
n
=M
l
M
m
+ dado pela proposio ='11' De k intercepta
t em 7, mostramos (ue
G
5
G
B
G
3
=G
7
'
Duponha (ue 5, B e 3 sejam no colineares, com
t=5B

, l t em 5 e mt
em B' .odemos supor (ue 3 est& sobre m #caso contr&rio, substitua B pelo p+
da perpendicular baiada de 3 sobre t e substitua 5 pelo ponto dado pela
proposio ='1>%' Deja u a perpendicular a m por 3 #Figura ='16%' Ento
G
5
G
B
G
3
=( M
l
M
t
)( M
t
M
m
)( M
m
M
u
)=M
l
( M
t
2
)( M
m
2
) M
u
=M
l
M
u
'
-o caso euclidiano, l intercepta u em 7 e l u #proposi*es >'7 e >'=% de
"orma (ue
G
5
G
B
G
3
=G
7
' Em geometria hiperblica, l e u podem se
interceptar, podem ser paralelas divergentes ou paralelas assintticas
#problema 1?,cap)tulo @%0 se elas se interceptam em 7, ento
G
5
G
B
G
3
+ uma
rotao em torno de 7, mas no pode ser uma simetria central por(ue 7 +
o (uarto 1ngulo de um (uadril&tero de Gambert'

Figura ='16
%orol&rio: -um plano euclidiano, o produto de duas transla*es ao longo de
retas distintas + uma translao e o conjunto de todas as transla*es ao longo
de todas as retas + um grupo comutativo' #, demonstrao + deiada como
eerc)cio 1$%'
ontos ideais no plano hiperb2lico
Estudamos a seguir o e"eito de isometrias do plano hiperblico sobre pontos
ideais' /m ponto ideal D +, por de"inio, uma classe de e(uival:ncia de
semi-retas em (ue semi-retas pertencem Q mesma classe se uma est& contida
na outra ou se so semi-retas paralelas limites uma da outra #problemas 2 e $
do cap)tulo @ asseguram (ue esta situao de"ine uma classe de e(uival:ncia%'
9omo paralelismo limite est& de"inido em termos de incid:ncia e ordem, uma
isometria preserva a relao de paralelismo limite' ,ssim, "a3 sentido escolher
(ual(uer semi-reta r da classe D , considerar sua imagem r6 sob T e de"inir a
imagem D6 como sendo a classe de r6' De D=D6 #o (ue signi"ica (ue r6 +
uma semi-reta paralela limite de r ou (ue uma semi-reta cont+m a outra%,
di3emos (ue D + um ponto ideal fixo de T'
Hada uma reta t contendo uma semi-reta r, a classe de r e a classe da semi-
reta oposta so chamadas os dois extremos de t e di3emos (ue elas esto
sobre t' Hois pontos ideais D e 2 pertencem a uma 4nica reta D2 #i'e' se
as semi-retas rD e s2 t:m origem no mesmo ponto e no so opostas,
ento D2 + a reta envoltria do 1ngulo "ormado por r e s _ veja problema 8,
cap)tulo @%' Hi3emos (ue D e 2 esto do mesmo lado da reta t se nenhum
deles + um etremo de t e se a reta D2 + paralela a t' 5sto de"ine uma
relao transitiva no conjunto dos pontos ideais no pertencentes a t'
roposio !"#-:
#a% ;s etremos de m so os 4nicos pontos ideais "ios da re"leo M
m
e de
(ual(uer translao ao longo de m #distinta da identidade%'
#b%De uma rotao admite um ponto ideal "io, ento ela + a identidade'
#c% De (1, 2, A) e (16 , 26 , A6) so triplas de pontos ideais, ento eiste
uma 4nica isometria (ue leva uma tripla noutra'
Demonstrao: #a% A claro (ue M
m
e (ual(uer translao T- ao longo de m
"ia os etremos D e 2 de m' De (ual(uer outro ponto ideal A "osse "io
ento a reta 2A seria invariante0 mas T no admite outra reta invariante
al+m de m #proposio ='1$% e as 4nicas outras retas invariantes de M
m
so as
perpendiculares a m cujos etremos so levados um no outro por M
m
'
#b% De uma rotao em torno de 5 "ia D ento a semi-reta 5D + invariante0
mas as proposi*es ='@ e ='8 implicam (ue somente a rotao identidade
admite uma semi-reta invariante de origem ,'
#c% Eiste um 4nico ponto B de 2D tal (ue ABD seja um 1ngulo reto
#problema 1?, cap)tulo @%' Deja B6 o ponto de 26 D6 tal (ue A6 B6 D6 seja
reto' Deja 5 um ponto distinto de B sobre BA e 3 um ponto (ual(uer distinto
de B sobre BD ' .elo aioma 9-1, eiste um 4nico ponto 56 sobre B6 A6 e 36
sobre B6 D6 tal (ue 5B56 B6 e 3B36 B6 '
Ento A5B3A56B636 #G,G%, tal (ue pela proposio ='6, eiste
uma 4nica isometria T (ue reali3a esta congru:ncia' 9laramente T leva
(1, 2, A) em (16 , 26 , A6) ' 9ontrariamente, uma tal isometria deve levar #5,
B, 3% em #56, B6, 36% e, pela proposio ='6, T + 4nica'
;bservao8 , parte #c% desta proposio pode ser "acilmente visuali3ada em
termos do modelo de !lein' .ontos ideais so representados por pontos sobre
o absoluto #c)rculo unit&rio%' Eiste uma 4nica isometria T (ue leva (ual(uer
tripla de pontos (1, 2, A) sobre o absoluto sobre (ual(uer outra' ; e"eito de
T sobre os outros pontos pode ser descrito como segue #ver Figura ='1@%'
De P + o polo da corda 2D , a reta PA + perpendicular, no sentido de !lein,
a 2D num certo ponto 5' Ento, a imagem 56 de 5 deve ser a interseo de
26 D6 com P6 A6 , em (ue P6 + o polo de 26 D6 '
Figura ='1@
Bome (ual(uer outro ponto B sobre 2D 0 suponha (ue DB5 ' .elo
teorema 7'>, a imagem B6 de B + o 4nico ponto entre D6 e 56 tal (ue as
ra3*es so preservadas8
@
( 5B, D2)=( 56 B6 ,D6 26) '
Deja a outra interseo I de PA com o absoluto - sua imagem I 6 + a
outra interseo de P6 A6 com o absoluto' 9omo anteriormente, podemos
usar a ra3o para determinar a imagem de (ual(uer ponto sobre I A ' Hado
(ual(uer outro ponto 8 #ideal ou no%, represente-o como sendo a interseo
de duas retas, uma sendo 8P , (ue intercepta 2D em algum ponto #, e a
outra sendo 8D #ou 82 %, (ue corta I A em algum ponto J' Ento 86 + a
interseo de P6#6 e J6 D6 #ou J6 26 %'
Esta construo descreve a isometria T somente em termos de incid:ncia' Ela
sugere a conjectura (ue toda colinea()o do plano hiper9?lico @ uma isometria0
essa conjectura "oi demonstrada por !arl 7enger e seus alunos'
7
-o plano
@ , aplicao de 2D sobre 26 D6 dada pela igualdade da ra3o + chamada
projetividade' Ela pode ser descrita de "orma mais geom+trica por uma se(u:ncia de no
m&imo tr:s perspectivas0 este resultado + essencialmente o Iteorema "undamental da
geometria projetivaI #EMald, Beorema 6'='6, p' 22@%'
7 <eja G' Wlumenthal e !' 7enger, %tudies in +eometr& #O'E' Freeman and 9ompagnJ, 1=7?%,
p' 22?' <eja tamb+m !' 7enger, IBhe -eM Foundations o" EJperbolic 2eometrJI, em8 K'9'
Wutcher #ed'%, 5 %pectrum of $athematics #,ucNland and ;"ord /niversitJ .resses, 1=71%,
p' 8@'
euclidiano, h& muitas colinea*es (ue no so isometrias ou semelhanas
#veja eerc)cio $> a respeito de trans"orma*es a"ins%'
Transportes paralelos
Estudaremos agora transportes paralelos em torno de um ponto ideal 2 '
roposio !"#.: Hado um transporte paralelo T.M
l
M
m
, em (ue l e m so
paralelas assintticas na direo do ponto ideal 2 ' Ento
#a% T no admite ponto "io ordin&rio'
#b%Deja k (ual(uer reta por 2 e 5 um ponto sobre k' Ento 2 est& sobre
a mediatri3 h de 556 e T.M
h
M
k
'
#c% T no admite retas invariantes'
#d%; 4nico ponto "io ideal + 2 '
#e% ; conjunto de transportes paralelos em torno de 2 + um grupo
comutativo sob composio'
#"% /ma isometria com eatamente um ponto ideal "io + um transporte
paralelo'
Figura ='17
Demonstrao: #a% Duponha (ue 5 seja "io' Ento a reta (ue une 5 a 5
m
.56
+ simultaneamente perpendicular a l e m, contrariando a hiptese'
#b% 2 est& sobre duas mediatri3es l e m de A55
m
56 portanto, pelo
problema 7 do cap)tulo @, 2 tamb+m est& sobre a terceira mediatri3 h' Ento
M
h
T "ia 5 e 2 ' .ela proposio ='1@#b%, M
h
T no pode ser uma rotao em
torno de 5' .ela proposio ='>, ela deve ser uma re"leo e, pela proposio
='1@#a%, ela deve ser a re"leo em torno da reta k (ue une 5 a 2 '
#c% Duponha (ue a reta t seja invariante sob T' Escolha (ual(uer ponto 5 sobre
t e seja h, k como no item #b%' Ento
ht=556

, de tal "orma (ue t + tamb+m

invariante sob M
h
' .ortanto, t + invariante sob M
k
.M
h
T, o (ue signi"ica (ue ou
tk ou t.k' 7as as paralelas assintticas h e k no podem admitir uma
perpendicular comum'
#d% De T admite outro ponto ideal "io D , ento a reta 2D + tamb+m
invariante, o (ue contraria a parte #c%'
#e% , demonstrao + a mesma (ue a demonstrao da proposio ='=,
usando-se a parte #b% ao inv+s da proposio ='8'
#"% 5sto segue da classi"icao de isometrias #teorema ='1% e "oi inserido a(ui
por conveni:ncia'
(efle)es com desli3amento
9hegamos agora ao nosso 4ltimo tipo de isometria, uma reflex)o com
desliAamente ao longo de uma reta t, de"inida como sendo a composta T6.M
t
T
de uma translao T ao longo de t, distinta da identidade, com a re"leo em
torno de t' #De voc: andasse em linha reta na neve, as marcas de seus passos
estariam conectadas atrav+s de uma re"leo com desli3amento'%
roposio !"#/: Hados l t em 5, mt em B, T=M
l
M
m
e T6=M
t
T '
Ento
#a% T6=TM
t
'
#b% G
5
M
m
=T6=M
l
G
B
'
#c% T6 leva cada lado de t sobre o lado oposto'
#d%T6 no admite pontos "ios'
#e% , 4nica reta invariante por T6 + t'
#"% Hados um ponto B e uma reta l, seja t a perpendicular a l por B' Ento
M
l
G
B
+ uma re"leo com desli3amento ao longo de t se B no
pertence a l e, se B pertence a l, esta isometria + M
t
.
Figura ='18
Demonstrao: #a% e #b% seguem das "rmulas
G
5
=M
t
M
l
=M
l
M
t
e
G
B
=M
t
M
m
=M
m
M
t
' #c% est& claro e #d% segue de #c%' #e% decorre de #c% e #d%'
Fuanto a #"%, se B pertence a l, ento
G
B
=M
l
M
t
, portanto
M
l
G
B
=M
l
(M
l
M
t
)=(M
l
2
)M
t
=M
t
' De B no pertence a l, seja
ml
perpendicular
a t por B0 ento T=M
l
M
m
- e M
l
G
B
=TM
t
'
[e"le*es com desli3amento, na geometria euclidiana, so caracteri3adas
como admitindo somente uma reta invariante' Em geometria hiperblica, esta
caracter)stica no as distingue das transla*es e devemos ento considerar
tamb+m o "ato (ue os dois lados da reta invariante so trans"ormados um no
outro' , reta invariante + chamada de eixo do desli3amento'
*ema de 45elmsle6: Deja + uma re"leo com desli3amento, l uma reta no
invariante sob + e l6 a imagem de l por +' ` medida (ue P percorre l e sua
imagem percorre l6, os pontos m+dios de PP6 pertencem ao eio t de +' ,l+m
disso, estes pontos m+dios so todos distintos com ecesso, no caso
+=G
$
M
l
, em (ue os pontos m+dios coincidem com $0 este caso ocorre se, e
somente se, o eio de + + perpendicular a l e l6'
, demonstrao deste lema ser& deiada para o eerc)cio 21' Este lema
"ornece um m+todo para locali3ar o eio da re"leo com desli3amento'
%lassificao de isometrias
-osso primo objetivo,+ mostrar (ue toda isometria + uma re"leo ou uma
rotao ou uma translao ou um transporte paralelo ou uma re"leo com
desli3amento' ; primeiro passo + descrever a composta de tr:s re"le*es' .ara
tanto, introdu3imos tr:s tipos de feixes de retas8
1' ; "eie de todas as retas por um dado ponto P'
2' ; "eie de todas as retas perpendiculares a uma dada reta t'
$' ; "eie de todas as retas por um dado ponto ideal 2 #somente para o
plano hiperblico%'
9laramente, duas retas l e m determinam um 4nico "eie #se l e m so
paralelas divergentes no plano hiperblico, elas admitem uma perpendicular
comum t pelo teorema @ do cap)tulo @%' ,l+m disso, se 5 + um ponto (ual(uer,
eiste uma reta n neste "eie por 5' .ara os tr:s tipos de "eies, n +8
1' , reta
5P

se 5P '
2' , perpendicular a t por 5'
$' , reta 52 '
, primeira parte da prima proposio +, Qs ve3es, chamada de Iteorema das
tr:s re"le*esI' F' Wachmann o assume como aioma para o seu
desenvolvimento da geometria sem os aiomas de continuidade e ordem'
8

roposio !"#!: Deja T=M
l
M
m
M
n
' #1% De l, m e n pertencem a um "eie,
ento T + uma re"leo em torno de uma reta deste "eie' #2% De l, m e n no
pertencem a um mesmo "eie, ento T + uma re"leo com desli3amento'
Esta proposio + "ant&stica' Ela leva a uma classi"icao completa das
isometrias' <oc: pode se perguntar como o eio da re"leo com desli3amento
T est& relacionado com as tr:s retas dadas0 os eerc)cios 6$-66 respondem a
esta pergunta no caso euclidiano'
Figura ='1=
Demonstrao: , primeira parte da proposio ='1= segue das proposi*es
='8, ='11 e ='17#b%, portanto, suponha (ue as retas no pertenam a um
mesmo "eie' Escolha um ponto 5 de l' Deja m6 uma reta por 5 pertencente ao
"eie determinado por m e n' Ento eiste uma reta n6 tal (ue
M
m6
M
m
M
n
=M
n6
'
Deja B o p+ da perpendicular k a n6 por 5' 9omo l, m6 e k passam por 5, eiste
uma reta h tal (ue
M
l
M
m6
M
k
=M
h
'
Ento B no pertence a h #pelas hipteses sobre l, m e n% e, pela proposio
='18#"%, M
h
G
B
+ uma re"leo com desli3amento ao longo da perpendicular a
h por B' 7as
M
h
G
B
=M
h
(M
k
M
n6
)=M
l
M
m6
M
k
M
k
M
m6
M
m
M
n
=T.
%orol&rio: Bodo produto M
l
M
m
G
5
+ igual a um produto M
h
M
k
'
Demonstrao: Deja n a reta por 5 no "eie determinado por l e m' Deja h a
reta tal (ue
8 Wachmann introdu3 pontos ideais e ultra-ideais como sendo "eies do segundo e terceiro
tipos e, usando uma t+cnica desenvolvida pelo geLmetra dinamar(u:s K' Ejelmslev, ele
consegue provar (ue o plano assim estendido + um plano projetivo em (ue as coordenadas
so dadas por elementos de um corpo comutativo' <eja o ap:ndice W'
M
l
M
m
M
n
=M
h
e seja k a perpendicular a n por 5' Ento
M
l
M
m
G
5
=M
l
M
m
M
n
M
k
=M
h
M
k6
'
Definio: /ma isometria + chamada direta #ou prpria ou preserva a
orientao% se ela + a composta de duas re"le*es ou se + a identidade' A
chamada oposta #ou imprpria ou na* preserva orientao% se ela + uma
re"leo ou uma re"leo com desli3amento'
Toerema !"#: Boda isometria + ou direta ou oposta e no pode ser ambas' ;
conjunto das isometrias prprias + um grupo sob composio' , composta de
duas isometrias imprprias + prpria, en(uanto (ue a composta de uma
isometria prpria com uma imprpria + imprpria'
Demonstrao: Dabemos (ue toda isometria + o produto de no m&imo tr:s
re"le*es #corol&rio da proposio ='6% portanto, pela proposio ='1=, toda
isometria + prpria ou imprpria' ,s isometrias imprprias so caracteri3adas
pelo "ato de admitirem uma reta invariante cujos lados so levados um no
outro'
9onsidere uma composta (M
k
M
l
)(M
m
M
n
) de isometrias prprias' De l, m e n
pertencem a um mesmo "eie, M
l
M
m
M
n
=M
h
e a composta se redu3 a M
k
M
h

(ue + prpria' 9aso contr&rio temos M
l
M
m
M
n
=M
h
G
B
#proposio ='1= e
='18#b%% e o corol&rio nos garante (ue M
k
(M
h
G
B
) + prpria' Degue ento (ue
as isometrias prprias "ormam um grupo sob composio'
, composta de uma re"leo com uma isometria prpria + imprpria pela
proposio ='1=' , composta de uma re"leo com desli3amento com uma
isometria prpria + a composta de cinco re"le*es, (ue se redu3 Q composta de
tr:s re"le*es, pelas considera*es do par&gra"o anterior, e + portanto
imprpria pela proposio ='1=' ,nalogamente, a composta de (uatro ou seis
re"le*es redu3-se Q composta de duas re"le*es'
Obser6ao: , id+ia intuitiva (ue subja3 esta classi"icao + (ue o plano pode
ser orientado de duas "ormas distintas, de tal "orma (ue, por eemplo, os
v+rtices do tri1ngulo A5B3 podem ser ordenados no Isentido hor&rio'I
Figura ='2?
Fuando o tri1ngulo + movimentado por uma rotao, uma translao ou um
transporte paralelo, a orientao de A56B636 continua sendo no sentido
hor&rio, ao passo (ue sob uma re"leo ou uma re"leo com desli3amento, a
orientao passa a ser anti-hor&ria' #<eja eerc)cio 2$%'
;bservao8 -o plano el)ptico, no eistem tais invariantes preservados por
rota*es e invertidos por re"le*es j& (ue toda re"leo + uma rotao de 18?
o
0
no h& distino entre isometrias prprias e imprprias no plano el)ptico' ,s
4nicas isometrias so rota*es'
Orientao Pontos fixos retas
invariantes
Pontos fixos
ideais(plano
hiperblico)
5dentidade prpria todos todas todos
[e"leo M
l
imprpria pontos de l l e toda m com
ml
os etremos
de l
Dimetria
central G
5
prpria 5 todas as retas
por 5
nenhum
[otao (ue
no seja
involutiva
prpria um nenhum nenhum
Branslao
euclidiana ao
longo de t
prpria nenhum t e toda u com
ut
Branslao
hiperblica ao
longo de t
prpria nenhum somente t os etremos
de t
Bransporte
paralelo
prpria nenhum nenhum um
[e"leo com
desli3amento
imprpria nenhum t os etremos
de t
Babela ='18 Babela de isometrias
Automorfismos do modelo cartesiano
-osso primo objetivo + descrever rapidamente os grupos de isometrias em
termos de coordenadas em modelos das nossas geometrias' -s comeamos
com o modelo cartesiano do plano euclidiano e assumiremos, tanto nesta
seo como na prima, (ue o leitor tem uma certa "amiliaridade com vetores,
matri3es e n4meros compleos'
,s trans"orma*es mais simples a serem analisadas so as transla*es' 9omo
mostrado na demonstrao da proposio ='1?, uma translao movimenta
cada ponto de uma dist1ncia constante e numa direo "iada #na Figura ='8,
ela move de uma dist1ncia 25B e na direo 2

5B %' 5sto pode ser

representado por um vetor com origem na origem do nosso sistema de
coordenadas, de comprimento 25B e apontando numa dada direo' De as
coordenadas do etremo desse vetor so Qe,fR ento, por de"inio da adio
de vetores, a translao + dada por
T(x , &)=( x, &)+(e, f )=( x+e, &+f )
ou
x6=x+e
&6=&+f '
De aplicarmos uma segunda translao T6 correspondendo a um vetor de
coordenadas #e6, f6% ento a imagem #x66, &66% de #x,&% sob T6T + dada por
(x6 6 , &6 6)=(x6 , &6)+(e6 ,f 6)=( x+e+e6 , &+f +f 6) '
.ortanto, T6T + a translao correspondente Q soma dos vetores determinados
por T e T6' 5sto prova nossa prima proposio'
Figura ='21
roposio !"$0: -o modelo cartesiano do plano euclidiano, as transla*es
"ormam um grupo comutativo isomor"o ao grupo dos vetores sob a adio'
#He acordo com a nossa de"inio geral de modelos isomor"os, dois grupos so
isomorfos se eiste uma correspond:ncia 1-1 entre eles (ue preserva as leis
de grupo0 a(ui, os dois grupos so considerados como modelos do sistema de
aiomas de #1% a #>% (ue determina um grupo'%
Hi3emos (ue as transla*es "ormam um grupo a dois parUmetros j& (ue elas
dependem de duas vari&veis reais #e,f%'
=
roposio !"$#: -o modelo cartesiano do plano euclidiano, as transla*es
ao longo de uma reta dada "ormam um grupo a 1-par1metro isomor"o ao
grupo aditivo dos n4meros reais'
Demonstrao: Deja
(e
?
, f
?
)
um vetor unit&rio paralelo Q reta "ia l' Ento o
vetor correspondente Q translao B ao longo de l + da "orma
t(e
?
, f
?
)=(t e
?
, t f
?
) em (ue t + a dist1ncia de translao e t + positivo ou
= , teoria dos grupos de trans"orma*es (ue dependem de "orma cont)nua de par1metros
reais "oi inicialmente desenvolvida pelo matem&tico noruegu:s Dophus Gie no "inal do
s+culo R5R e tornou-se uma das id+ias mais "rut)"eras na matem&tica e na ")sica do s+culo
RR' #.or eemplo, esta teoria "oi usada para prever a eist:ncia de certas part)culas
subatLmicas - veja F'D' HJson, I7atehmatics in the .hJsical DciencesI, %cientific 5merican,
Detembro 1=@>'%
negativo dependendo do sentido de translao ser o mesmo (ue (e
?
, f
?
) ou
no' De T6 corresponde ao vetor t 6(e
?
, f
?
) , ento T6T corresponde ao vetor
t(e
?
, f
?
)+t 6(e
?
, f
?
)=(t+t6 )(e
?
, f
?
) ' , associao do par1metro t a T "ornece o
isomor"ismo'
Hiscutimos agora rota*es em torno de um ponto "io 5' ; primeiro passo +
redu3ir o problema ao caso em (ue 5 + a origem '8 se no "or, seja T a
translao ao longo de
5'

levando 5 em '' Ento #pela proposio ='11%

T=M
m
M
l
=M
l
+ M
m
Figura ='22
em (ue m + a mediatri3 de 5' e l e lV so as perpendiculares a
5'

por 5, ''
, rotao M, dada, em torno de 5 pode ser escrita #proposio ='8% como
M=M
l
M
k

em (ue k passa por 5. Deja kV a imagem de k pela re"leo em torno de m
#veja "igura ='2$%'
Figura ='2$
Ento M
+
=M
k
+ M
l
+ + a rotao em torno de ' e
T
1
M
+
T=(M
l
M
m
)(M
k
+ M
l
+)(M
l
+ M
m
)
=M
l
M
m
M
k
+ (M
l
+ )
2
M
m
=M
l
(M
m
M
k
+ M
m
)
=M
l
M
k
=M.
5sso mostra (ue a rotao M em torno de 5 + unicamente determinada pela
rotao MS em torno de '' ,l+m disso, a aplicao M
+
-T
1
M
+
T + um
isomor"ismo do grupo das rota*es em torno de ' sobre o grupo das rota*es
em torno de 5, como pode ser "acilmente veri"icado' .ortanto, podemos
assumir 5.''
.ela proposio ='8, a dada rotao em torno de ' pode ser escrita como
M=M
l
M
m
em (ue m + o eio x' De l m , ento M + representada em
coordenadas compleas por
A-A ,
#proposio ='@%' He outro modo, se o 1ngulo agudo "ormado de m para l tem
medida 0/ 2 em radianos, com ?0/ 2n/ 2 , ento M + representada, em
coordenadas compleas
1?
, por
A-e
i 0
A
#se l tem coe"iciente angular positivo%
A-e
i 0
A
#se l tem coe"iciente angular negativo%
#veja Figura ='@ e proposio ='8%' 9ombinando estes casos, vemos (ue as
rota*es em torno de ' so unicamente representadas pelas trans"orma*es
A-e
i 0
A (n0<n)'
9omo e
i
(e
i 0
A)=(e
i
e
i 0
) A , o produto de duas rota*es em torno de '
corresponde ao produto
e
i
e
i 0
dos n4meros compleos de mdulo 1' 5sto
prova a proposio seguinte'
roposio !"$$: -o modelo cartesiano do plano euclidiano, o grupo das
rota*es em torno de um ponto "io + isomor"o a o grupo multiplicativo a 1-
par1metro %
1
dos n4meros compleos
e
i 0
de mdulo 1 # 0 + o par1metro
real%'
<amos combinar nossos resultados com coordenadas compleas' De um ponto
tem coordenada complea A, o transladar por um vetor (e
?
, f
?
) + o mesmo
(ue somar a A o n4mero compleo
A
?
=e
?
+if
?
j& (ue a adio de n4meros
compleos + a mesma (ue a adio de vetores' De T + uma isometria prpria e
T leva a origem ' em '6 com coordenada complea
A
?
ento componha T
com a translao de
A
?
para obter uma isometria prpria (ue "ia '' Esta
isometria + uma rotao em torno de ; pelos nossos resultados pr+vios e
portanto, tem a "orma
A-e
i 0
A
' ,ssim, nossa isometria original + igual a esta
rotao seguida da translao de
A
?
' -s provamos a proposio seguinte'
roposio !"$': ; grupo das isometrias prprias do modelo cartesiano do
plano euclidiano + isomor"o ao grupo a $-par1metros dado em coordenadas
compleas por
A-e
i 0
A+A
?
'
Dejamos mais epl)citos a respeito da lei de multiplicao para este grupo'
Deja T com par1metros compleos (e
i 0
, A
?
) e T6 com par1metros (e
i 06
, A6
?
) '
Ento a imagem de A sob TT6 +
e
i 06
(e
i 0
A+A
?
)+A6
?
=e
i ( 0+06)
A+(e
i 06
A
?
+A6
?
)
1?Gembre (ue
e
i0
=cos0+i sen0
'
de "orma (ue os par1metros compleos so (e
i (0+06 )
,e
i 06
A
?
+A6
?
) ' Hito de outra
"orma, os par1metros de rota*es se multiplicam, mas os par1metros de
translao no se somam - h& uma toro envolvida no produto de
A
?
por
e
i 06
' 5sto tradu3 a no comutatividade do grupo #(ue, tecnicamente, + um
produto semi-direto de %
1
com o grupo aditivo C dos n4meros compleos%'
Hito de outra "orma, seja
T=T
1
M
1
e
T6=T
2
M
2
em (ue
T
i
so transla*es e
M
i
so rota*es em torno de ', i\1,2' Ento
T6 T=T
2
M
2
T
1
M
1
=T
2
M
2
T
1
( M
2
1
M
2
) M
1
=T
2
( M
2
T
1
M
2
1
)( M
2
M
1
) '
;s primeiros dois "atores da direita so o produto de duas rota*es em torno
de ' e o primeiro "ator Q es(uerda + a segunda translao' ; segundo "ator Q
es(uerda revela a toro , por(ue M
2
T
1
M
2
1
+ a translao de e
i 06
A
?
8
M
2
T
1
M
2
1
( A)=M
2
T
1
(e
i 06
A)
=M
2
(e
i 06
A+A
?
)
=e
i 06
(e
i 06
A+A
?
)
=A+e
i 06
A
?
'
%orol&rio: 5sometrias imprprias do plano cartesiano t:m uma 4nica
representao na "orma
A-e
i 0
A+A
?
'
Demonstrao: .elo teorema ='1, todas as isometrias imprprias so
obtidas compondo todas as isometrias prprias com uma isometria imprpria
particular, (ue podemos escolher como sendo uma re"leo em torno do eio
, A-A ' 9omo
e
i 0
=e
i 0
, o conjugado compleo de e
i 0
A+A
?
+ e
i 0
A+A
?
e
renomeando 0 por 0 e
A
?
por
A
?
obtemos o resultado'
Estes resultados se generali3am "acilmente para as semelhanas'
roposio !"$,: -o modelo cartesiano do plano euclidiano, uma
semelhana + representada em coordenadas compleas ou na "orma
A-"
?
A+A
?
,"
?
?
#caso em (ue + dita direta%, ou na "orma
A-"
?
A+A
?
,"
?
?
#caso em (ue + dita oposta%' ,s semelhanas diretas "ormam um grupo a >-
par1metros'
,(ui,
"
?
assume valores no grupo multiplicativo C
+
dos n4meros compleos
no nulos, en(uanto
A
?
assume valores no grupo aditivo C de todos os
n4meros compleos0 o grupo das semelhanas diretas + o produto semi-direto
de C
+
com C ' ; mdulo
k="
?

+ a constante de proporcionalidade da
semelhana' 2eometricamente, esta representao signi"ica (ue uma
semelhana direta + igual a uma homotetia de centro na origem seguida de
uma rotao em torno da origem seguida de uma translao0 uma semelhana
oposta + igual a uma re"leo em torno do eio x seguida de uma semelhana
direta' , demonstrao + deiada para o eerc)cio 2>'
Isometrias no modelo de oincar
.ara analisar a descrio das isometrias do plano hiperblico em termos de
coordenadas, a mais conveniente representao + o modelo do semi-plano de
.oincar+' Gembre (ue as retas de .oincar+ so ou semi-retas verticais de
origem num ponto do eio x ou semi-c)rculos com centro no eio x' ;s pontos
ideais so representados, neste modelo, pelos pontos do eio x e um ponto no
in"inito (ue + a outra etremidade de todas as semi-retas verticais'
Figura ='2>
-s vimos #eerc)cio .->, cap)tulo 7% (ue as re"le*es do plano hiperblico so
representadas, no modelo do disco de .oincar+, por re"le*es euclidianas em
torno de di1metros do c)rculo absoluto ou por invers*es em c)rculos 6
ortogonais a ' 7ostremos (ue, no modelo do semi/plano superior, as
reflexEes hiper9?licas s)o representadas por reflexEes euclidianas em torno
das semi/retas verticais ou por inversEes em c<rculos 6 ortogonais ao eixo x,
i'e' c)rculos 6 com centro sobre o eio x'
-o eerc)cio $8, voc: mostrar& (ue a aplicao
EF A-i
i+A
iA
+ uma bijeo entre o disco unit&rio e o semi-plano superior (ue leva i em
e todos os outros pontos do c)rculo unit&rio sobre o eio x'
,s retas de .oincar+ do modelo do disco so levadas sobre as retas de
.oincar+ do modelo do semi-plano superior - de "ato, todos os c)rculos
euclidianos e as retas so levados em c)rculos euclidianos ou retas por E e a
ortogonalidade + preservada #E + con"orme%' .ortanto, podemos usar E como
sendo o isomor"ismo (ue de"ine a congru:ncia na interpretao do semi-plano
superior #assim como estabelecemos congru:ncia no modelo de !lein via o
isomor"ismo =%'
Figura ='26
.or simplicidade, vamos chamar as re"le*es euclidianos em torno de retas de
Iinvers*esI0 isso nos permitir& evitar a discusso deste caso separadamente' ,
Figura ='2@ mostra uma re"leo hiperblica
M
l
no modelo do disco,
representada como inverso' .ara (ual(uer ponto 5, baie a
Figura ='2@
perpendicular hiperblica t de 5 sobre l e seja $ o p+ desta perpendicular
sobre l' Deja o o c)rculo hiperblico por 5 com centro hiperblico em $'
-o eerc)cio .-6 do cap)tulo 7, voc: mostrou (ue o + tamb+m um c)rculo
euclidiano #com centro euclidiano distinto de $%' , re"leo
5
l
de 5 em
torno de l + ento a outra interseo de o com t' o + ortogonal a l pois l +
a etenso do di1metro hiperblico de o ' .ortanto, o + levado sobre si
mesmo pela inverso em torno de l, assim como t #proposio 7'11%, e, assim
5
l
deve ser o inverso de 5 em l'
De aplicarmos E, esta "igura toda + trans"ormada sobre uma "igura isomor"a
no semi-plano superior' .ortanto, o argumento (ue acabamos de "ornecer,
mostra (ue
M
l
+ tamb+m representada no modelo do semi-plano superior por
uma inverso'
9alculamos, a seguir, as "rmulas para estas invers*es' .ara uma reta vertical
x.k, a inverso + dada por
(x , &)-(2'Nx, &) '
Em termos de uma 4nica coordenada complea A.x1i&, isto torna-se
A-2'NA '
.or consist:ncia na notao, escreva b\2N e, assim,
A-A+9 '
.ara um c)rculo com centro em #k,2% e raio r, "aa a mudana de coordenadas
x6.x/k, &6.& #i'e', translade o centro at+ a origem%0 a mudana de coordenadas
compleas + A6.A/k' Ento, por de"inio de inverso, a imagem "6 de A6 +
determinada pelas duas e(ua*es
A6"6=r
2
A6
A6
=
"6
"6
,
cuja soluo +
"6 ="6
A6
A6
=
r
2
A6
A6
A6
=
r
2
A6
j& (ue A6
2
=A6 A6 ' .ortanto, no sistema de coordenadas original com
"."61k, obtemos
"=
r
2
Ak
+k=
kA+r
2
k
2
Ak
'
.or conveni:ncia, pomos c=1/ r , a=kc e 9=r(1a
2
) ' , inverso assume
ento a "orma
A-
aA+9
c Aa
,
(ue inclui o caso anterior (uando "a3emos c.2 e a./1' ,cabamos de mostrar
roposio !"$-: -o modelo do semi-plano superior de .oincar+ do plano
hiperblico, as re"le*es so representadas em coordenadas compleas por
A-
aA+9
c Aa
, a
2
+9c=1
#em (ue a, 9 e c so n4meros reais%'
.odemos agora determinar a representao de todas as isometrias
hiperblicas prprias, j& (ue elas so produtos de duas re"le*es' ; c&lculo +
simpli"icado pela observao geral seguinte'
.ara (ual(uer corpo de coe"icientes K #assim como o corpo dos n4meros
reais ou corpo C dos n4meros compleos%, de"inimos a reta pro:etiva .
1
#K%
como sendo K em (ue I I signi"ica um outro ponto no em K' ,
cada ponto sobre esta IretaI associaremos coordenadas homog:neas
| x
1
, x
2

,
em (ue
x
1
, x
2
K
e no so ambos nulos' Essas coordenadas sero somente
determinadas a menos da multiplicao por um escalar no nulo \ 0 ou seja,
| x
1
, x
2
=|\ x
1
,\ x
2
, \? '
Especi"icamente, ao ponto xK associamos as coordenadas homog:neas
| x,1=| \ x,\ , \?
en(uanto (ue ao ponto esto associadas as coordenadas homog:neas
|1,?=|\ ,? , \? '
;peraremos sobre os pontos de .
1
#K% com matri3es 22 com coe"icientes em K
e no-singulares, da mesma "orma (ue se opera com matri3es sobre vetores8
|
a
11
a
12
a
21
a
22

|
x
1
x
2

=
|
a
11
x
1
+a
12
x
2
a
21
x
1
+a
22
x
2

,
em (ue colchetes em volta da matri3 signi"icam (ue suas componentes esto
determinadas a menos de uma constantes escalar multiplicativa' Estas
opera*es so chamadas de transforma(Ees pro:etivas e "ormam um grupo
sob a multiplicao de matri3es denotado P+BQ4,KR'
/ma transforma()o linear fracion>ria
x-
ax+9
cx+d
de"inida em K por ser assim obtida operando-se sobre as coordenadas
homog:neas ax,1b de x atrav+s da trans"ormao projetiva
|
a 9
c d

,
obtendoaax19,cx1db, e, ento, pondo a#ax19%S#cx1d%,1b' Hesta "orma, "ica
claro (ue a composta de duas tais trans"orma*es lineares "racion&rias pode
ser calculada atrav+s da multiplicao de matri3es, de "orma (ue esta
composta tamb+m + uma trans"ormao linear "racion&ria'
<oltando Q nossa representao de re"le*es, ns temos uma complicao a
mais (ue se deve ao aparecimento do compleo conjugado A na "rmula da
proposio ='2@0 mas + claro (ue no produto de duas re"le*es, os conjugados
compleos se cancelam e os coe"icientes, por serem reais, no se alteram'
,l+m disso, a condio a
2
+9c=1 na proposio ='2@ signi"ica (ue a matri3
|
a 9
c a

da trans"ormao tem determinante -1' .ela "rmula

det( 5B)=(det 5)(det B)
para o determinante do produto de duas matri3es, vemos (ue este produto
ter& determinante c1'
,"irmamos (ue, por outro lado, toda trans"ormao linear "racion&ria com
coe"icientes reais e determinante c1 + o produto de duas re"le*es
hiperblicas, i'e' a e(uao matricial
|
a6 96
c6 a6
|
a 9
c a

=
|
x &
u v

pode ser resolvida para as oito incgnitas da es(uerda, dados os (uatro

n4meros reais da direita8
9aso 1' u? ' Ento a soluo do sistema +
c6=?, a6=1, c=u, a=v , 96=(xv)/ u, 9=v96&.
9aso 2' u.2 e &.2' .odemos assumir xV2' Ento a soluo +
a=?=a6 , c=.x=96 ,c
1
=9=c6 '
9aso $' u.2 e x.v.1' Ento a soluo +
c6=?=c, a6=1=a, 96=?, 9=&.
9aso >' u.2' Este segue dos casos precedentes por(ue
|
x &
? x
1

=
|
x ?
? x
1
|
1 &/ x
? 1

e sabemos (ue o produto de (uatro re"le*es redu3-se ao produto de duas
#teorema ='1%'
5sso prova a prima proposio'
roposio !"$.: -o modelo do semi-plano superior de .oincar+, da
geometria hiperblica, as isometrias prprias so representadas por todas as
trans"orma*es lineares "racion&rias
A-
aA+9
cA+d
, ad9c=1
#a, 9, c, d reais%'
Este grupo + denotado P%B(2, ) e + chamado de grupo linear pro:etivo
especial sobre o corpo dos reais' A um grupo a $-par1metros #um dos (uatro
sendo eliminado pela condio de termos o determinante igual a c1%'
11
.odemos agora obter as isometrias hiperblicas imprprias atrav+s da
multiplicao de todas as isometrias prprias por uma isometria imprpria
"ia' 9onsidere ento uma re"leo em torno do eio J, AA ' ; resultado +
A-
aA+9
cA+d
,
(ue, aps renomear os termos, "ornece a seguinte proposio'
roposio !"$/: -o modelo do semi-plano superior de .oincar+, da
geometria hiperblica, as isometrias imprprias so representadas por todas
as trans"orma*es
A-
aA+9
cA+d
, ad9c=1
#a, 9, c, d reais%'
.odemos representar as isometrias prprias e imprprias por todas as
trans"orma*es projetivas da reta real projetiva .
1
# % , sendo (ue as
11 %B(2,) + o grupo das matri3es reais 22 com determinante c1' Ele d etremamente
importante na teoria anal)tica dos n4meros - veja o livro de D' Gang dedicado
eclusivamente a este grupo'
matri3es representam isometrias prprias ou imprprias de acordo com o
sinal positivo ou negativo do determinante 7, j& (ue
|
a 9
c d

=
|
a/ .7 9/ .7
c/ .7 d/ .7

e a matri3 da direita tem determinante !1 '

%orol&rio: ; grupo das isometrias hiperblicas + isomor"o a P+B(2,) '
Este isomor"ismo sugere analogias entre a geometria projetiva de dimenso 1
e a geometria hiperblica de dimenso 2'
12
.or eemplo, a proposio ='1@#c%
corresponde ao teorema da geometria projetiva (ue a"irma (ue para
(uais(uer duas triplas de pontos da reta projetiva, h& uma 4nica
trans"ormao projetiva (ue leva uma tripla sobre a outra #veja eerc)cio @$%'
Brans"orma*es projetivas so tamb+m classi"icadas atrav+s de seus pontos
"ios' , e(uao para um ponto "io +
x=
ax+9
cx+d
ou
cx
2
+(da) x9=?
mostrando (ue a (uantidade de pontos "ios "initos + ?, 1 ou 2' 9omo
|
a 9
c d
|
1
?

=
|
a
c

vemos (ue + um ponto "io se, e somente se, c\?0 neste caso, a e(uao
(uadr&tica acima torna-se linear e se a trans"ormao no + a identidade, ela
tem um ponto "io "inito somente se ad '
-ossa classi"icao de isometrias hiperblicas mostra (ue a (uantidade de
pontos "ios ideais + ? para rota*es, 1 para transportes paralelos e 2 para
re"le*es, transla*es e re"le*es com desli3amento'
Exemplo H. Heterminemos o grupo de todos os transportes paralelos em torno
de ' ,cabamos de mostrar (ue estes so representadas por matri3es com
c.2, e a.d0 elas "ormam o grupo de trans"orma*es
AA+9 ,
(ue + isomor"o ao grupo aditivo a 1-par1metro de todos os n4meros reais
#estas so as transla*es euclidianas ao longo do eio x%'
Eemplo >' 9onsidere os dois pontos "ios ideais ? e e o grupo das
transla*es hiperblicas ao longo da reta de .oincar+ (ue une estes pontos #a
parte positiva do eio &%' Elas so representadas pelas matri3es com c.9.2 e
12; Erlanger .rogramme de !lein apontava v&rias outras analogias entre geometrias cujos
grupos so isomor"os, e'g' as analogias entre o plano inversivo #eerc)cio .-17, cap)tulo 7%,
o plano projetivo compleo de dimenso 1 P
1
# C % #(ue , do ponto de vista real, + uma
geometria sobre a es"era% e a geometria hiperblica de dimenso $'
ad.10 elas "ormam o grupo de trans"orma*es
Aa
2
A
e como a
2
pode ser (ual(uer n4mero positivo, este grupo + isomor"o ao
grupo aditivo dos n4meros reais' Bomando-se o logaritmo, este grupo passa a
ser isomor"o ao grupo aditivo de todos os n4meros reais, assim como no caso
das transla*es euclidianas ao longo de uma direo determinada - proposio
='21' #,s trans"orma*es so homotetias euclidianas de centro ?'%
Exemplo K. .ara concluir, vamos determinar o grupo das rota*es hiperblicas
em torno do ponto i no semi-plano superior' Elas so isometrias prprias (ue
"iam i8
i=
ai+9
ci+d
de tal "orma (ue a.d e 9./c com 1=ad9c=a
2
+9
2
' Fa3endo a=cos0 e
9=sen0 , as rota*es em torno de i so representadas por
A
(cos0)Asen0
(sen0) A+cos0
'
7as a matri3
|
cos0 sen0
sen0 cos0

+ eatamente a matri3 de uma rotao euclidiana de 0 em torno da origem
no modelo cartesiano do plano euclidiano' .ortanto, estes dois grupos so
isomor"os entre si e com o grupo multiplicativo %
1
de todos os n4meros
compleos de mdulo 1'
Obser6ao: -a representao de rota*es hiperblicas do eemplo 6,
(uando A=n , A + levado em A e obtemos a rotao identidade, en(uanto (ue
uma rotao euclidiana de n + uma simetria central' .ortanto, para obter
uma aplicao 1-1 #ao inv+s de 2-1% do grupo das rota*es hiperblicas em
torno de i sobre o grupo das rota*es euclidianas em torno de ', devemos
representar as rota*es hiperblicas de 0 por
A
(cos
0
2
) Asen
0
2
(sen
0
2
)A+cos
0
2
'
%ongru7ncia descrita por isometrias
5sometrias podem ser usadas para de"inir congru:ncia de "iguras arbitr&rias,
i'e' % @ congruente a %6 se existe uma isometria T ;ue leva % so9re %6' .ela
proposio ='6, esta de"inio "ornece a mesma relao de congru:ncia para
tri1ngulos (ue temos #portanto, a mesma relao de congru:ncia para
segmentos e 1ngulos%'
/ma "igura particularmente importante + o flag, (ue + de"inido como
consistindo de um ponto 5, de uma semi-reta

5B de origem 5 e de um lado %
da reta
5B

'
Figura ='27
*ema !"': Fuais(uer dois flags so congruentes atrav+s de uma 4nica
isometria'
Demonstrao: Escolha W] tal (ue 5B56 B6 ' Escolha (ual(uer ponto
3% e seja 9] o 4nico ponto do lado D] de
56 B6

tal (ue A5B3A56B636

#problema 2, cap)tulo >%' .ela proposio ='6, eiste uma 4nica isometria B
levando ,, W e 9 respectivamente em ,], W] e 9]' Esta isometria leva

5B%
sobre

56 B6%6 '
Hi3emos (ue o grupo de isometrias opera de "orma simplesmente transitiva
sobre os flags' Esta propriedade epressa a homogeneidade do plano e
corresponde Q nossa intuio ")sica de reali3ar medi*es movimentando-se
uma r+gua' Esta propriedade + crucial para o nosso primo teorema (ue
resolve o problema inverso8 dado um modelo 7 para os aiomas de incid:ncia
e ordem e dado um grupo 2 de colinea*es de 7 (ue preservam ordem'
He"ina congru:ncia atrav+s da ao de 2, e'g' de"ina 5B56 B6 atrav+s da
eist:ncia de alguma trans"ormao T de 2 (ue leva 5B sobre 56B6 #o mesmo
para 1ngulos%' Fuais outras condi*es sobre 2 garantem (ue, com esta
de"inio, os aiomas de congru:ncia 9-1 at+ 9-@ valem em 7^
Teorema !"$: Duponha (ue o grupo 2 de colinea*es (ue preservam ordem
satis"aa as seguintes condi*es8
i' 2 opera de "orma simplesmente transitiva sobre os "lags'
ii' .ara (uais(uer dois pontos 5 e B, eiste pelo menos uma trans"ormao
T de 2 (ue leve 5 em B e B em 5'
iii' .ara (uais(uer duas semi-retas r, s de origem no mesmo v+rtice, eiste
pelo menos uma trans"ormao T de 2 (ue leva r em s e s em r'
Ento, com a congru:ncia de"inida em termos da ao de 2, os aiomas 9-1
at+ 9-@ valem e 2 + o gruop de isometrias'
Dabemos (ue estas condi*es so necess&rias para o grupo de isometrias -
condio #i% pelo lema , condio #ii% usando a re"leo em torno da mediatri3
de 5B e condio #iii% usando a re"leo em torno da bissetri3 de rs '
Demonstrao: , demonstrao da su"ici:ncia das condi*es segue 1?
etapas'
Etapa 1F 9ongru:ncia + re"leiva, sim+trica e transitiva#em particular, 9-2 e 9-
6 so v&lidos%' 2 + um grupo de automor"ismos'
,ssim, se T leva % em %6, ento T
1
leva %6 sobre %0 e se T6 leva %6
sobre %66, ento T6T leva % sobre %66' ;bviamente, - leva % sobre %' #/samos
a(ui a condio de 2 ser um grupo'% De %%6 , i'e' %6.T%, e 0 + um
elemento de 2, ento 0%6=(0T0
1
) 0% de tal "orma (ue 0%0%6 0 isto
mostra (ue 0 + um automor"ismo'
Etapa 4F Eist:ncia de re"le*es'
Deja P um ponto da reta l' Dejam %
1
e %
4
os dois lados de l e sejam r
1
e r
4
as
duas semi-retas de l de origem P' .ela condio #i%, eiste uma 4nica T de 2
(ue leva %
1
em %
4
e %
4
em %
1
e deia r
1
invariante'
9omo T
2
deia r
1
e %
1
invariante, T
2
=- #por #i%%' ,"irmamos (ue T "ia
todos os pontos de l8 pela de"inio de T, P + "io' 9omo T preserva ordem,
r
2
+ tamb+m invariante sob T' Duponha (ue o ponto 5 de l seja levado em 56
e (ue PS5S56' Ento Q56R6.5 j& (ue T
2
=- portanto, P6SQ56R6S56 o (ue contraria
a hiptese de (ue T preserva ordem' 9omo a re"leo M
l
+ um automor"ismo
involutivo (ue "ia cada ponto de l, podemos escrever T=M
l
'
Etapa HF Deja r uma semi-reta de l e r6 (ual(uer semi-reta' Ento eistem
eatamente duas trans"orma*es de 2 (ue levam r sobre r6 e ambas t:m o
mesmo e"eito sobre os pontos de l'
.ela condio #i%, dado um lado % de l, as duas trans"orma*es so unicamente
determinadas pela determinao do lado de l6 # r 6l 6 % sobre o (ual % +
levado' De T + uma tal trans"ormao, a outra + TM
l
e ambas coincidem
sobre l'
Etapa IF De 5B37 , ento eistem eatamente duas trans"orma*es em 2
(ue levam 5 em 3 e B em 7, e (ue coincidem sobre
5B

'
.or de"inio de congru:ncia, eiste uma trans"ormao T em 2 (ue leva o
segmento 5B sobre o segmento 37' De T leva 5 em 7 e B em 3, componha T
com a trans"ormao de 2 (ue troca 3 com 7 #condio #ii%%' .odemos,
portanto, assumir (ue 5 ser& levado em 3 e (ue B ser& levado em 7' 9omo a
ordem + preservada, a semi-reta

5B ser& levada na semi-reta

37 '
.ortanto, podemos aplicar a etapa $'
Etapa KF ; aioma de congru:ncia 9-1 vale' #5sto segue das etapas $ e >'%
Etapa LF ; aioma de congru:ncia 9-$ vale'
Duponha (ue T leva 5 em 56 e B em B6' De 5SBS3, ento T leva a semi-reta

B3 sobre a semi-reta

B6 36 com 56SB6S36' De B3B6 36 , ento eiste uma

isometria T6 (ue leva B em B6 e 3 em 36' .ela etapa $, T e T6 coincidem sobre
todos os pontos da reta por 5, B e 3' .ortanto, ambas levam 5 em 56 e 3 em 36
e, assim, 5356 36 '
Etapa NF ; aioma de congru:ncia 9-> vale'
Hados B53 , a semi-reta

56 36 e o lado %6 de

56 36 ' Deja % o lado de

53

(ue cont+m B' Deja T em 2 a 4nica trans"ormao (ue, de acordo com a

condio #i%, leva #

53 ,D% sobre #

56 36 ,D]%' De B6 + a imagem de B sob T,

ento B53B6 56 36 ' 5nversamente, se a congru:ncia + garantida pela
trans"ormao T6, com B6 em %6, ento T6 leva #

53 ,D% sobre #

56 36 ,D]%' de
tal "orma (ue, pela unicidade da condio #i%, T.T6 e a semi-reta

56 B6 em %6
+ unicamente determinada'
Etapa OF De B53B6 56 36 , eiste uma 4nica trans"ormao T de 2 (ue
leva

5B em

56 B6 e

53 em

56 36 '
.ela de"inio de congru:ncia, eiste T em 2 levando B53 em B6 56 36 '
De T leva

53 sobre

56 B6 e

5B sobre

56 36 , ento a condio #iii% nos

permite compor T com uma trans"ormao de 2 (ue permuta os lados de
B6 56 36 0 assim, podemos supor (ue T leva

53 em

56 36 e

5B em

56 B6 ' , unicidade decorre da demonstrao da etapa 7'

Etapa PF ; aioma de congru:ncia 9-@ #G,G% vale'
Hado 5B56 B6 , B53B6 56 36 e 5356 36 ' Duponha (ue esta
congru:ncia seja e"etuada pelas trans"orma*es T
1
, T
2
e T
$
de 2, em
(ue podemos supor, pelos passos > e 8, (ue T
1
leva 5 em 56 e B em B6, T
2
leva

5B em

56 B6 e

53 em

56 36 e T
$
leva 5 em 56 e 3 em 36' .ela
etapa $, T
2
coincide com T
1
sobre
5B

e T
2
coincide com T
$
sobre
53

' .ortanto, T
2
leva B em B6 e 3 em 36, de tal "orma (ue via T
2
temos
B3B6 36 , 5B356B636 e 53B5636 B6 '
Etapa 12F 2 + o grupo de isometrias'
Escolha um flag =' /ma isometria T trans"orma = em =6 e, pela condio #i%,
um automor"ismo T6 de + tem o mesmo e"eito0 pelo lema ='2, T.T6 de "orma
(ue toda isometria pertence a 2' .elo lema ='$ e o mesmo argumento, todo
membro de 2 + uma isometria'
; teorema ='2 + um passo do programa de !lein para descrever a geometria
em termos da ao de um grupo' F' Wachmann leva isso adiante descrevendo
pontos, retas e incid:ncia em termos de involu*es do grupo - veja eerc)cio
>8 e EMald'
1imetria
9onclu)mos este cap)tulo com uma breve discusso sobre simetria, (ue + uma
das principais aplica*es da geometria de trans"orma*es'
Hada uma "igura plana %, as isometrias (ue deiam % invariante #i'e' (ue leva
D nela mesma% so chamadas simetrias de %0 claramente, as simetrias de %
"ormam um grupo' 5ntuitivamente, (uanto maior "or este grupo, mais
sim+trica ser& a "igura'
.or eemplo, um c)rculo + altamente sim+trico' Deu grupo de simetrias
consiste de todas as rota*es em torno do centro ' de e de todas as
re"le*es em torno das retas por 'W este grupo tem a cardinalidade do
continuum'
/m (uadrado parece ra3oavelmente sim+trico e, mesmo assim, mostraremos
(ue ele admite apenas oito simetrias #veja eemplo @%'
; padro mostrado na Figura ='28 admite um grupo in"inito enumer&vel de
simetrias0 este consiste de todas as pot:ncias inteiras
T
n
de uma translao
"ia B (ue desloca o padro uma unidade para a direita'
Figura ='28
; primeiro problema + determinar o con:unto minimal de geradores do grupo
de simetrias' 5sto signi"ica encontrar a menor coleo de simetrias tal (ue
(ual(uer outra simetria seja o produto de simetrias desta coleo e de suas
inversas' .ara o padro da Figura ='28, h& um simples gerador T #ou
T
1
%'
/m segundo problema + descrever as rela(Ees b&sicas entre os geradores'
.ara o gerador T acima, no h& relao8 todas as pot:ncias so distintas'
9onsidere, no entanto, a Figura ='2='

,s 4nicas simetrias destas "iguras so a identidade -, a rotao M em torno do
centro ' de um 1ngulo de 12?
o
no sentido hor&rio e a rotao
M
2
em torno do
centro ' de um 1ngulo de 2>?
o
no sentido hor&rio' [ + o gerador deste grupo
e satis"a3 a relao
M
$
=-
' Hi3emos (ue este grupo + c)clico de ordem $'
Figura ='2=
He "orma mais geral, um grupo + dito c<clico de ordem n se ele tem um 4nico
gerador e n elementos0 ele + dito c<clico infinito se admite um 4nico gerador e
tem in"initos elementos #o grupo de simetrias do padro da Figura ='28 +
c)clico in"inito%' Henotemos por
3
n
(ual(uer grupo c)clico de ordem n
gerado por uma rotao de (
$@?
n
)
o
em torno de algum ponto' ,s constru*es
da Figura ='2= podem ser generali3adas de $ para n para obtermos uma
"igura admitindo
3
n
como grupo de simetrias' ; gra"o da Figura ='2=#b% +
chamado de tri(uetrum0 sua generali3ao para n\> + uma su&stica' ;s
pol)gonos conveos de 2n lados obtidos a partir da generali3ao da "igura
='2=#c% so chamados de pol)gonos de ratchet'
/m terceiro problema b&sico + descrever a estrutura do grupo de simetrias,
mostrando se poss)vel, se ele + isomor"o a algum grupo conhecido'
Exemplo LF [esolveremos estes problemas para o grupo de simetrias do
(uadrado'
Fual(uer simetria deve deiar o centro ' "io #j& (ue, e'g' ' + centro das
diagonais e cada uma das diagonais seria levada na outra ou nela mesma%'
.ortanto, as simetrias devem ser rota*es em torno de ' ou re"le*es em
torno de uma reta por '' ,s 4nicas rota*es em torno de ' (ue so simetrias
so -, M,
M
2
e
M
$
em (ue podemos considerar (ue M + a rotao em torno de
' de =?
o
no sentido anti-hor&rio0 estas "ormam um grupo c)clico de ordem >'
E& tamb+m (uatro re"le*es (ue so simetrias8 as duas re"le*es em torno das
diagonais c, d e as duas re"le*es em torno das mediatri3es a, 9 dos lados
#veja a Figura ='$?%' Deja T (ual(uer uma destas re"le*es0 por eemplo,
T=M
c
' Ento M,T + um conjunto minimal de geradores do grupo'
Figura ='$?
He "ato, M pode ser escrito de (uatro "ormas como sendo um produto de
re"le*es,
M=M
9
M
d
=M
c
M
9
=M
a
M
c
=M
d
M
a

se bem (ue
TM=M
c
( M
c
M
9
)( M
c
)
2
M
9
=M
9
TM
2
=(TM) M=M
9
( M
9
M
d
)=M
d
TM
$
=(TM
2
) M=M
d
( M
d
M
a
)=M
a
'
,s rela*es b&sicas entre estes geradores so
M
>
=-
T
2
=-
MT=TM
$
#a 4ltima por(ue MT=( M
a
M
c
) M
c
=M
a
=TM
$
%' Esta 4ltima relao mostra (ue o
grupo + no-comutativo' Ele + denotado
7
>
e chamada grupo diedral de
ordem 8'
De n$ ,
7
n
denota o grupo de simetrias de um pol)gono regular de n
lados' Ele admite 2n simetrias e + gerado por dois elementos M,T em (ue
M + uma rotao em torno do centro do pol)gono de (
$@?
n
)
o
e T + uma re"leo
em torno de uma reta determinada por um v+rtice e o centro' .ara n\2,
7
2
denota o grupo gerado por uma simetria central
G
P
e uma re"leo em torno
de uma reta por ., en(uanto (ue para n\1,
7
1
denota o grupo c)clico de
ordem 2 gerado por uma re"leo'
; "ant&stico teorema seguinte "oi atribu)do a Geonardo da <inci'
Teorema !"': Banto no plano hiperblico (uanto no plano euclidiano, os
4nicos grupos "initos de isometrias so os grupos
3
n
e
7
n
# n1 %'
, demonstrao seguir& a s+rie de lemas abaio, lema ='> at+ ='?'
*ema !"+: /m grupo "inito de isometrias no pode conter transla*es (ue no
sejam identidade, nem transportes paralelos e nem re"le*es com
desli3amento'
Demonstrao: , id+ia + mostrar (ue se T + uma isometria de (ual(uer um
destes tr:s tipos, ento nenhuma pot:ncia
T
n
, n? , ou T pode ser a
identidade -' 7ostraremos isto no caso
T=M
l
M
m
, ml
e deiaremos o caso
da re"leo com desli3amento para o eerc)cio 18' .elo eerc)cio 7, podemos
escrever
T=M
k
M
l
em (ue k + a imagem de m pela re"leo em torno de l'
,ssim,
T
2
=( M
k
M
l
)( M
l
M
m
)=M
k
M
m
'
[epetindo este argumento mostramos, por induo, (ue para (ual(uer
n4mero inteiro positivo n, podemos escrever
T
n
=M
h
M
m
,
em (ue h est& contida no semi-plano limitado por m e (ue cont+m l - em
particular, hm , e, portanto,
T
n
-
' ,plicando este resultado a
T
1
obtemos
T
n
-
para (ual(uer n4mero inteiro n'
De T pertence a um grupo "inito, temos
T
n
=T
m
para n4meros inteiros n e m
distintos0 mas ento
T
nm
=-
(ue + uma contradio'
*ema !",: De um grupo "inito de isometrias cont+m rota*es, ento todas as
rota*es t:m mesmo centro'
Demonstrao: Deja T uma rotao em torno de 5, 0 uma rotao em torno
de B5 e seja
l=5B

' .ela proposio ='8, eiste uma 4nica reta m por 5

#respectivamente, n por B% tal (ue
T=M
l
M
m
#respectivamente,
0=M
l
M
n
%'
Ento
0
1
T
1
0T
, (ue pertence ao grupo "inito, + igual a ( M
n
M
l
M
m
)
2
(ue +
uma translao #veja eerc)cio 16%' 5sso contraria o lema ='> a menos (ue a
translao seja a identidade' 7as isto implica (ue T0=0T (ue s pode
ocorrer se 0 ou T "or a identidade #veja a observao aps a proposio ='=%'

*ema !"-: De um grupo "inito de isometrias cont+m re"le*es, os eios destas

re"le*es so concorrentes'
Demonstrao: De assim no "osse, obter)amos uma contradio dos lemas
anteriores, j& (ue o grupo cont+m o produto
M
l
M
m
'
*ema !".: De um grupo "inito de isometrias cont+m uma rotao e uma
re"leo, o centro da rotao pertence ao eio da re"leo'
Demonstrao: He outro modo, o produto da rotao pela re"leo seria uma
re"leo com desli3amento #proposio ='1=%, contrariando o lema ='>'
%orol&rio: /m grupo "inito de isometrias de ordem Y 2 admite um 4nico
ponto "io'
Demonstrao: 9omo a ordem + maior (ue 2, o grupo deve conter uma
rotao distinta da identidade #pelo lema ='> e ='@% e toda simetria do grupo
"ia o centro desta rotao, (ue + unicamente determinado #pelos lemas ='>,
='6 e ='7%'
*ema !"/: De um grupo "inito de isometrias de ordem n cont+m somente
rota*es, ento ele + c)clico de ordem n'
Demonstrao: ;s casos n\1 e 2 so triviais portanto, suponha nY2' Deja '
o centro de todas as rota*es #lema ='6%' Escolha um ponto (ual(uer
P
1
'
'
,s imagens
P
1
,., P
n
de
P
1
sob as rota*es do grupo so todas distintas
#eerc)cio 1=%' <amos numerar as imagens de tal "orma (ue (P
1
'P
2
)
o
seja o
menor dentre todos os valores (P
i
'P
:
)
o
' Deja M a rotao (ue leva
P
1
em
P
2
' ,"irmamos (ue M gera o grupo'
Deja

i
a imagem de
P
1
sob
M
i1
, i\1,2,''' #de tal "orma (ue

1
=P
1
,

2
=P
2
%' Ento
(
i
'
i+1
)
o
=(P
1
'P
2
)
o
para cada i' De algum
P
:
no estiver entre os

i
6 s
, a semi-reta

'P
:
estaria entre uma

'
i
e uma

'
i+1
e, assim, (P
:
'P
i
)
o
seria menor (ue
(P
1
'P
2
)
o
contrariando nossa escolha de
P
2
' .ortanto, toda rotao do
grupo + igual a alguma pot:ncia de M'
*ema !"!: De um grupo "inito de isometrias cont+m uma re"leo, ele + um
grupo diedral
7
n
'
Demonstrao: particione o grupo 2 em duas partes8 o conjunto H das
isometrias prprias e o conjunto E das isometrias imprprias' Deja n o
n4mero de elementos em H' .elo lema ='8, H + um subgrupo c)clico de ordem
n gerado por uma rotao M' Deja T uma re"leo (ual(uer' Ento as
isometrias imprprias em E so tamb+m re"le*es e, como o produto de duas
re"le*es + uma isometria prpria, elas podem ser escritas na "orma
TM
i
, i=?,1,.,n.
Este + o grupo diedral
7
n
'
.ortanto, o teorema ='$ est& provado'
7uito j& se sabe a respeito de tipos particulares de grupos in"initos de
isometrias' .or eemplo, o grupo de frisos + um grupo de isometrias (ue
admite uma reta invariante t e cujas transla*es "ormam um grupo in"inito
c)clico ZTY gerado por uma translao particular T ao longo de t' -o +
di")cil provar (ue eistem eatamente sete grupos de frisos no plano
hiperblico ou no plano euclidiano8
#1%ZTY'
#2%; grupo ZT,
M
t
Y, gerado por T e a re"leo em torno de t'
#$%; grupo ZT,
M
u
Y, gerado por T e a re"leo em torno da perpendicular
u a t'
#>%; grupo c)clico in"inito Z+Y gerado pela 4nica re"leo com
desli3amento + tal (ue
+
2
=T
'
#6%; grupo ZT,
G
5
Y gerado por T e pela simetria central em torno do
ponto 5 de t'
#@%; grupo ZT,
G
5
,
M
t
Y '
#7%; grupo Z+,
G
5
Y '
#.ara a demonstrao, veja 7artin, p'$=2 ""' e eerc)cio 68%'
;utro tipo de grupo in"inito de simetrias + chamado grupo de mos&icos cujo
subgrupo das transla*es + gerado por duas transla*es ao longo de retas
secantes' -o plano euclidiano, h& eatamente de3essete grupos de mos&icos'
; padro ornamental desenhado nos muros de ,lhambra, na Espanha, pelos
mouros ilustra estes de3essete grupos'
; tratado cl&ssico sobre simetrias + o livro %&mmetr& de Eermann OeJl'
1$

<oc: encontrar& nele uma discusso a respeito dos de3essete grupos de
mos&icos al+m da an&lise das simetrias no espao tridimensional, incluindo a
generali3ao do nosso teorema ='$ para tr:s dimens*es' ; mais importante +
(ue voc: encontrar& tratamento "ascinante em palavras e imagens de como
estas abstra*es da matem&tica pura se relacionam com o universo ")sico na
"orma de cristais, esp+cimens biolgicos, e trabalhos de arte atrav+s dos
tempos'
1>
1$Eermann OeJl, %&mmetr& #.rinceton /niversitJ .ress, 1=62%'
1>;utras re"er:ncias ecelentes sobre este assunto so8 K'-' !apur, Transformation +eometr&
#,""iliated East-Oest .ress, 1=7@%0 Koe [osen, %&mmetr& 7iscovered #9ambridge /niversitJ
.ress, 1=76%0 e E'E' GocNMood en ['E' 7acmillan, +eometric %&mmetr& #9ambridge
/niversitJ .ress, 1=78%'