Você está na página 1de 21

Lembremos que um conjunto discreto de pontos de #, e um con-

Uma aplicaqlo da teoria das isometrias, desenvolvida no capitulo 11, junto que niio possui ponto de acumulaqiio, isto e, todo ponto do conjunto
liga a Matematica com a arte. E o estudo dos ornamentos no plano. Vimos tem uma vizinhanqa que niio contem pontos do conjunto.
nas paginas 25, 28, 29, 30, 72, 96, 97, 106, 132, 139 e 140 varios tipos de Lembremos tambem o famoso teorema:
ornamentos que estudaremos. Esses exemplos jli nos diio uma ideia da
quantidade que existe. Niio sera possivel considerarmos todos os dife-
rentes desenhos, pois e assunto do artista. 1.2. Teorema de Bolzano-Weierstras.: Todo conjunto infinite, limitado,
Podemos, porem, considerar o conjunto das ~sometriasque aplicam tem um ponto de acumulaqiio.
um determinado ornamento em si. Esse conjunto forma um grupo; e
grupos diferentes, isto e, grupos formados por diferentes tipos de isome-
1.3. Grupo discreto. Um grupo de transformaqdes de ,Y, chama-se dis-
trias determinam diferentes classes de ornamentos. Vamos determinar I
creto se qualquer ponto P E 9,possui um conjunto discreto de imagens
estas classes de ornamentos. i pelas transformaqdes do grupo.
A teoria dos ornamentos planos tem origem no estudo das formas
regulares dos cristais. 0 s grupos correspondentes no 'espaqo chamam-se
grupos cristalograficos, nome usado tambem para os grupos de isome- 1.4. Exemplos.
trias de ornamentos no plano.
I
1
Para o desenvolvimento do estudo dos ornamentos, precisamos de I ) Seja I; um vetor. Consideremos o conjunto das translaqdes ~ ( n ; ) ,
r -I
algumas definiqdes e conceitos preliminares. Vamos definir, tambem o n E Z.Ele forma um grupo discreto em relaqiio a compos~~iio, pois. se
6
Pi! que t. um ornamento, conceito que usamos aqui intuitivamente. P e um ponto arbitriirio de Y , , suas imagens pelas transformaqdes do
Q grupo siio
... , ( P ) T ( - 2?), ( P I T ( - 7 ) . ( P ) T ( ~ ?( )P, ) T ( ~( )P,) T ( ~ ?.). .,, ( P ) T ( ~ ? .)...
Estes pontos siio alinhados e eqiiidistantes, formando um conjunto
discreto. --t

27t
2 ) Seja 9 =- um ringulo orientado e F um ponto de 9,. 0 con-
+

111.1. GRUPOS DISCRETOS, ORNAMENTOS n


junto das rotaqdes A,$, 0°), A l ( F , g), A2(F. 2 5 ) - ... , A , , , ( F , ( n - 1 ) 5)
Seja -F uma figura no Plano Euclidiano, isto e, um conjunto n5o forma um grupo discreto em relaqiio Li composiqio, pois, se P t. um pon-
vazio de pontos de 9,. Considerando o conjunto das isometrias que to arbitrario de y,, os seus pontos imagens s i o
aplicam .F sobre si, isto e, que deixam .F fixa, observamos que, se R ,
e R2 siio tais isometrias, R,R, e R;' tambkm deixam 4 fixa. Logo,
o conjunto dessas isometrias forma um subgrupo do grupo de todas as Estes pontos siio eqiiidistantese estiio numa circunferencia de centro F.
isomekias. Definimos, ent8o :

1.1. Grupo simCtrico de urna figura. 0 grupo 3 de todas as isometrias 1.5. Omamento, grupo ornamental. Chamamos ornamento a uma ligura
que deixam fixa uma figura .?F no Plano Euclidiano chama-se grupo do plano 9,cujo grupo simetrico e discreto. Ao grupo simktrico de um
simetrico de .F. ornamento damos o nome de grupo ornamental.
Se o grupo simetrico de uma figura contem somente a identidade, Nos exemplos de ornamentos nas pp. 28, 29, 30, 72, 96 e 97. veri-
a figura e chamada assimetrica.
fique, em cada caso, que o grupo simetrico do desenho e um grupo dis-
creto.
1.6. Ornamentos equikalentes. Dois ornamentos s i o equlvalentes. se os 2-,& 2) 0 s dois ornamentos seguintes tambem s5o equivalentes:
seus grupos ornamentals contem o mesmo tipo de isometrias.

1.7. Exemplos.
I ) 0 s dols seguintes ornamentos s i o equivalentes, pois os dois gru-
b'
pos simetrlcos contPm quatro reflex6es em retas que dividem o plano
I
em olto setores igua~se quatro rotaqdes, pelo centro da figura, de Angulos 0°,
it it ?I
.-
I

I 7 . 2 . - 3
I & 2 2 '

Fig. 21

Fig. 22

Ambos os grupos ornamentais contem somente uma reflex50 numa


reta.
3) Podemos imaginar os seguintes ornamentos prolongados em am-
bos os lados infinitamente.

Fig. 20 Fig. 23
+ E claro s u e esse conceit0 de eauivalincia define uma relaciio de
equivalencia no conjunto dos ornamentos. A finalidade deste capitulo
e determinar as classes diferentes de ornamentos.
Classificaremos primeiramente os grupos discretos de isometrias do
plano conforme os tipos de isometrias que eles contCm. Para cada classe,
vamos dar um exemplo de um ornamento cujo grupo ornamental pertence
d
a classe dada, mostrando. assim, que todo grupo discreto de isometrias
Fig. 24 e um grupo ornamental.
Distinguiremos os seguintes tipos de grupos discretos de isometrias:
0 s dois grupos, o grupo ornamental 9, da primeira figura e o grupo a ) grupos discretos que niio contem translaqdes diferentes da iden-
ornamental 9, da segunda figura sEo equivalentes, pois contCm os mes- tidade.
mos tipos de isometrias : b) grupos discretos que tCm translaqdes diferentes da identidade,
mas somente numa unica direqlo.
9, contem 9, contem c) grupos discretos que tEm translaqdes em duas direqdes diferentes.

as reflexdes em retas C,;, ~ E Z Cgj, ~ E Z Definimos portanto :


as translaqdes ~ ( n v ) n, E Z ~(nw'),n E Z
as reflexdes em pontos C,,, i E Z CQi, ~ E Z 1.8. Grupo Roseta. 0 s grupos do tipo (a) chamamos grupos rosetas
e os ornamentos correspondentes, rosetas.
as translaqdes refletidas p
.7 ,
1.9. Grupo de fita. 0 s grupos do tip0 (b) chamamos grupos de fitas e
os ornamentos correspondentes, fitas.
0 s pontos Pi (respectivamente Q,) siio alinhados na reta s (respec-

1 I)
tivamente t), que C paralela a dire~iiodas translaqdes. A distsncia entre
! 1.10. Grupo cristalografico de dimensPo 2. 0 s grupos de tipo (c) chama-
dois pontos consecutivos e respectivamente e as retas ji mos grupos cristalograficos de dimensPo 2 e os ornamentos correspon-
dentes, ornamentos de dimensgo 2.
(respectivamente g , ) siio as mediatrizes dos segrnentos [Pipi+,I (respec-
tivamente [Q, Q;, ,I), i E Z . A discuss50 sobre grupos cristalograficos de dimensgo 2 segue o
4) 0 s dois ornamentos do exemplo anterior n5o siio equivalentes mesmo esquema da discussiio dos grupos de fitas. Como existem 17 casos
ao seguinte, a discutir, deixamos de fazC-lo e recomendamos ao leitor interessado
a leitura de 161.

1.11. Teorema: Se as isometrias proprias (diferentes) contidas num


j
grupo de isometrias siio O,, i E Y (9conjunto de indices), e a, uma
isometria impropria do grupo; entiio, as isometrias improprias (diferen-
tes) do grupo d o @a;, i~ Y .
Fig. 25 .. Demonstrapio: 0 s produtos @ai, ~ E Ysiio
, isometrias improprias
, (pois siio produtos de uma isometria impropria e de uma isometria pro-
pois o grupo ornamental deste ultimo ornamento somente contim as
pria) e pertencem ao grupo.
translaq8es nu'), n E Z .
A isometria @-' C tambkm urna isometria impropria do grupo. Um grupo poligonal, consequentemente, contem somente rotagdes
Seja @' urna isometria impropria arbitraria do grupo, entao @-'a' e tem as seguintes propriedades:
C urna isometria propria do grupo. Em consequencia, existe urna isometria
propria Qk, k € 9 , tal que @-lo' = Q k ; logo, @ ' = @ a k .
Para Qi # Q (i, j E Y ) , temos @a# @Qj . 2.2. Teorema: Um grupo poligonal contem somente rotaC6es de um
C
unico centro F.
1.12. Corolhrio: Num grupo finito de isometrias, o numero de isome-
trias proprias e igual ao numero de isometrias improprias. demons trap?^: Suponhamos, por absurdo, gue V seja um grupo
poligonal e contenha as duas rotagdes Al(Fl, 9,) e A,(F,, s',), com
Daremos a seguir urna enumeraqiio das transforma'das de urna
reflexlo numa reta Z,, de uma_translaglo ~(i!), de urna reflexlo num $,, 9, #0° e Fl # F,.
ponto Z p , de urna rotaglo A(F, 9) e de urna translaglo refletida p(Z,g), Pelo teorema anterior, a transformada A, 'AlA2 e urna rotagBo A,
de centro F; = (Fl)A, e Bngulo s', , que pertence a V. Observamos que
por urna isometria Q:
F; # Fl , p i s Fl e distinto do centro F, de A, e A, # I. 0 produto A; 'A
1 .I 3. Teorema: e urna translaggo r (p. 126, Teorema 9.1) do grupo V, e seja

Fl C diferente de Fl , pois F, e diferente do centro F; de A, e A # I. Por-


~ .-- tanto, r # I, o que e absurdo, pois o grupo niio contem translag6es di-
A((F)Q, $) se R C prbpria, ferentes da identidade. Logo, F1= F,, e o grupo % contem somente
d ) Q-'A(F, s')n =
A((F)Q, -5) se Q C impropria, rota@es de um unico centro F.

0 item (a) foi demonstrado no Teorema 3.8, p. 79. As outras demons- 2.3. Teorema: Um grupo poligonal e finito.
tragdes siio feitas representando ~ ( l i )Z, p ,A(F, $) e p(3, g), respectivamen-
te, por um produto de reflexdes em retas, aplicando a relaggo DernonstrapTo: Seja % um grupo poligonal e F o centro das rota-
g6es de %. Seja P um ponto arbitrario, P # F. As imagens de P, pelas
rotag6es de %, estiio numa circunferencia de centro F e fonnam um con-
junto discreto Y (pois o grupo V C discreto). Pelo Teorema de Bolzano-
-Weierstrass, esse conjunto Y 6 finito. Como urna rotaqiio de centro F
C determinada por um unico ponto P (P # F) e sua imagem, a cada pon-
111.2. GRUPOS ROSETAS to de Y corresponde uma, e somente uma, rotagiio do grupo V. Logo,
o grupo V contkm somente um numero finito de rotaqdes.
Comeqamos pel0 estudo dos grupos rosetas, isto 6 , dos grupos .dis-
cretos de isometrias que n5o possuem translagdes diferentes da identidade.
Consideraremos dois casos : 2.4. Teorema: Um grupo poligonal e ciclico.

A) Grupos rosetas contendo somente isometrias proprias. Demonslrapio: Seja V um grupo poligonal e F o centro das rota-
gdes de V. Seja P, P # F, um ponto arbitrario, e sejam os pontos Po=
2.1. Grupo poligonal. Um grupo roseta contendo somente isometrias
prbprias chama-se grupo poligonal. ,,
= P , P I , ... , Pn- imagens de P pelas rotag6es de V, enumerados de
mod0 que eles apareqam na ordem ciclica na circunfersncia que os contkm:
+
Logo, o grupo W e ciclico de ordem n, gerado pela rotaqdo A = A(F, 9 ) .
Como An = I, o 8ngulo orientado da rotaqdo A tem que ser

Indicamos por Ai a rotaqgo d o grupo W que aplica P em P i , Resumindo, provamos o seguinte teorema:
i = 0 , 1, ..., n- I . +
Sejam Pi e.P,+,dois pontos de distsncia minimal e 9 = 9:(PiFPi+,). 2.5. Teorema: Todo grupo poligonal e um grupo ciclico de ordem fi-
,
A rotaqdo A = An: ' A ,+ pertence a o grupo % e aplica Pi em PI+ , pois , 2n
4

nita n, gerado por uma rotaqdo de 8ngulo -. Este tipo de grupo e in-
n
dicado por W,.
Vamos mostrar que a rotaqgo A 6 um gerador d o grupo W. Para
isso mostraremos primeiramente que os pontos P, P , , .. . ,P n - , sdo equi- ~ a i e m o sa seguir exemplos de ornamentos cujos grupos simktricos
distantes, na circunferzncia. . , sdo W,, W, e W,, respectivamente, e que podem ser generalizados para
Seja A.i uma rotaqdo arbitraria do grupo W. A j A tambem pertence urn ornament0 cujo grupo simetrico e W n , para qualquer n E N.
ao grupo
- . 55 ; logo, existe um ponto P,, 0 < s < n - 1, tal que ( P ) A j A= P,
e, portanto, tal que

0 s dois triingulos A(P,FP,+,) e A(P,FP,,) s5o congruentes, pois


l f P i l = l f P i + , I = I F P j ( = I F Pe, ($ ( P ; F P j + l ) = $ : ( P j ~ ~ s ) e,= $
,
portanto, temos 1 P,P,+ I = ( Pi P, 1 . Como essa distincia e minimal,
,
temos P, = P i + , e, logo, I P,P,+, I = I P,P,+ I. Como j e arbitrario, 3 %4 06
J E {O,..., n - 1 i, os pontos P, P I , ..., P n - , s l o equidistantes. Fig. 26
Para A segue-se que:
B) Grupos rosetas contendo isometrias improprias.
( A= P , j = 0,1, ..., n - 1 (modn).
2.6. Grupo diedral. Um grupo roseta contendo isometrias improprias
chama-se grupo diedral.
A,+I e A , A sdo rotaq6es que aplicam o ponto P no ponto P j + , .
Logo, Um grupo diedral contem tambem isometrias proprias, pois o pro-
duto de duas isometrias improprias do grupo e uma isometria propria do
A,+ , = AiA, j~ 0, 1, ..., n - 1 (modn)
grupo. 0 conjunto das isometrias proprias contidas num grupo diedral 9 Seja X, uma reflex50 de 9. As isometrias improprias de 3 sgo, pelo
forma um subgrupo. Esse subgrupo e um grupo roseta contendo so- Teorema 1.1 l , p. 151,
mente isometrias proprias e e, portanto, um grupo poligonal %,.
Verificamos o seguinte teorema: X, X,-A, X,A2, ... , Z,An- l.

0 grupo 9 tem, portanto, 2n elementos : as n rotagdes I, A , A2, ..., An-


2.7. Teorema: 0 subgrupo das isometrias proprias de um grupo diedral
e um grupo poligonal %,, gerado por uma rotaggo A easnreflexdesemretasX,-i=X,A' F,- ( i") , i = O , 1 ,..., n - 1 .

Alem disso, um grupo diedral tem as seguintes propriedades, que


seriio enunciadas nos teoremas :
2.10. Teorema: Seja 9 um grupo diedral e XI-,, X,, , ..., X , n - l a s re-
flexdes em retas contidas em 9.As retas f,, f , , ... ,f,-, dividem o p l a n ~
em 2n setores congruentes.
2.8. Teorema: As isometrias improprias contidas num grupo diedral

(L,-A'.F)
s5o reflexdes em retas que passam pel0 centro das rotagdes do grupo.
Demonstraqcio : Seja A = A F, - a rotag5o geradora do subgru-
Demonstru~.cio:Suponhamos que 9 seja um grupo diedral e que po poligonal de 9 e seja, X,.; = usando o Teorema 1 .I 3(d), p. 152
i2 E 9 seja urna isometria impropria. $2e urna translag50 refletida p(3,fl segue-se que:
(p. 135, Teorema 10.5) e p2 e urna translaggo de vetor 21: 'de 9. Como
9 n5o contem translagdes diferentes da identidade, segue 23 = 6 e, logo,
v = 6 o que implica $2= p(3, fl = X, . As isometrias improprias do gru-
4

po 9 s5o ent50, reflexdes em retas.


Provaremos agora que estas reflexdes sgo reflexdes em retas que
f2
passam pel0 centro F das rotagaes do grupo. fl

Seja X, urna reflex50 de 9 e seja A = A


mada X,AX, e urna rotaggo de 9,
(F,-
i") E

de centro (F)X,. Como toda rotag5o


9. A transfor- Portanto, X,
( ?)
;x,,+, represents a
,
rotaqiio A F, - e j, e ji+ inter-
de 9 tem o centro F, segue + fo = f
X
ceptam-se sob o Bngulo - .
(F)q = F, n
isto e, F E ~ .
Resumindo, provamos :
2.9. Teorerha: Um grupo diedral contem o mesmo numero de reflexdes
em retas como de rotagdes. Um grupo diedral 6, portanto, um grupo 2.11. Teorema: Todo grupo diedral 9 C finito de ordem par 2n. 0
finito de ordem par.
- forma um subgrupo poligonal %, , gera-
conjunto das isometrias prbprias

Demonstrap?o: Seja 9 um grupo diedral e suponhamos que I, A,


I -\
+.
( ):
d o por uma rotag5o A F,- . As isometrias imprbprias de $2 s i o n

A2, ..., An-I sejam as rotagaes contidas em 9,onde A = A reflexdes em retas que passam por F e formam 2n setores congruentes.
Indicaremos esse t i p de grupo por 9,.
1..
Daremos a seguir exemplos de ornamentos cujos grupos simetricos I ) Grupos de fitas que cont6m somente isometrias proprias.
siio 9 , , 9, e g 6 , respectivamente. Entre eles distinguimos :
A) grupos de fitas que possuem somente translaqbes,
B) grupos de fitas que possuem translaqbes e rotaqbes.
2) Grupos de fitas que contem isometrias improprias. Entre eles
distinguimos :
C) grupos de fitas que possuem reflexbes em retas,
D) grupos de fitas que possuem translaqdes refletidas.
I
Vamos achar um unico grupo 8,do tipo (A) e um unico grupo ,F2
do t i p (B). No caso (C), existem dois grupos cujos subgrupos, das iso-
metrias proprias siio do tipo 8,,e dois grupos cujos subgrupos das iso-
metrias proprias siio do t i p P 2 . No caso (D) vamos encontrar um
unico grupo, que ainda n5o foi enumerado no caso (C). Vamos mostrar,
portanto, que existem sete tipos diferentes de grupos de fitas.

A) Grupos de fitas qw possuem somente translagks.


Seja 9 um grupo desse tipo. Todas as translaqbes contidas em .F
t6m a mesma direqiio.

3.1. Teorema: 9 e um grupo ciclico infinito, gerado por uma transla-


qiio ~ ( 3 ) .

Demonstra~clo:Como .F e um grupo discreto, podemos considerar


Fig. 27
1
a translaqiio r(3) E 9 cujo vetor tenha modulo minimal 3 1 > 0.
Seja r ( 4 ) uma translaqiio arbitraria pertencente ao grupo .F. Como
w' e 3 t6m a mesma direqgo, existe um h E R, tal que w' = 13.
Terminamos, assim, a discussiio sobre os grupos rosetas. Existem numeros i E Z e p E R, 0 < p < 1, tais que h = i + p e, por-
tanto, w' = i3 + p3.
A translaqiio r(w') e a translaqiio rCi(t;) siio elementos do grupo .F
III.~".RUPOS DE FITAS e, portanto, tambem o produto I
I

Estudaremos neste paragrafo os grupos de fitas, que siio os grupos


discretos de isometrias que possuem transla~besdiferentes da identidade,
mas somente em uma dirqiio.
com 0 < lp31< 131.
Seja .F um gruh de fita. 0 conjunto das transla~bese o conjunto -.
Como r(3) 6 a translaqiio de .F com vetor 3 de modulo minimal,
das isometrias proprias contidas em 5 formam dois subgrupos de 9. entzo (CiJI = 0 e, logo, p3 = o'. Como 3 # o', temos p = 0. Isso implica
Podemos, entso, distinguir os seguintes t i p s de grupos de fitas: w' = i?, ou seja, i3 e um multiplo inteiro de 3.
%E.
sE,sa - w
w
* w
w
5
L
C D
* o
3 Lr
g-ogz13
"%
5

P I E , P l o g
O 0 7 i 0 m ma
-.3 " -mg wg ?
0 CD'
= v l G P *
' $ 28 * O
a* $g
Es,p
*
O v , 3
o m .
>g"'a
: $5
1" gf 3 7
I
r
* zg
Xg -$ g %
v,
,E.
2a ""
2
o 0 5 0 .
" W

35 ,E.

-5
u 1
O i l 2%
% g3
"
a
CDE
p; 9
0 0

2.g
rno
42,
il
o w
(5'
51. % E
p g
3.6. Teorema: Se 9 C um grupo de fita contendo translaqbes e rotaqbes, 3 ) g l i;, e o subgrupo de 8, formado pelas isometrias proprias,
mas n l o isometrias improprias, os unicos elementos de .9slo: 6 do tipo 8 1 .
4 ) g l i;, e o subgrupo de 8 , formado pelas isometrias prbprias,
a ) as translaqaes: r(i3), i E Z.
-
b) as reflexaes em pontos : C,;, i E Z, com FiFi+ =
v
-

-.
+
e do tipo F 2 .
2 Vamos tratar estes casos nesta ordem.
Indicamos um grupo desse tipo pela letra P 2 .
1 ) Seja 9:urn grupo de fita de transla@o minimal T@), conten&
Vejamos duas fitas cujos grupos simetricos slo do tip0 P 2 :
a reflex60 Z, corn g // i;, cujo subgrupo das isometrias proprias seja &
tipo 8 , .
Pelo Teorema 1 . I I , p. I5 I , as isometrias contidas no grupo .Ff s5o:

translaqbes: ~ ( i ? )i ,E Z,
v translaq6es refletidas: Z,~(i2)= p(i5, g),
Fig. 29

Existem, portanto somente dois t i p s de grupos formados por iso- Vejamos algumas fitas cujos grupos simetricos s8o do t i p 9:
:
metrias proprias: 9l e F2.

C) Cnrpos de fitas que possuem uma reflex50 numa reta.


3.7. Teorerna: Se a reflexlo C, pertence ao grupo de fita 9 de transla-
G o minimal r@), ent5o

Demonstrapio: A transformada C,.c(i;) C, = r((i;)Z,) e uma transla-

*
G o do grupo 9;logo, o vetor @)C, tem que ter a direqiio de i;. Portanto,
(?)C# = 7.
Se (7) C, = 3, temos g // 7.
Se (7) C, = -i;, temos g 1'3. Fig. 30 1
Esse teorema implica que precisamos distinguir quatro t i p s de gru-
pos de* fitas contendo uma reflexlo numa reta: 2) Seja 9:urn grupo de fita de translapio minimal r(i;), contendo
Seja 9 um grupo de fita, r(i;) sua translaqgo minimal e C,E 9. a reflex60 Z, corn g // 3, cujo subgrupo das isometrias prbprias seja
Distinguimos os seguintes casos : tipo 9 2 .
1) g // 7, e o subgrupo de F , formado pelas isometrias proprias, C Como .% c .F:, .F: contem n l o sb translaqbes ~ ( i ? )~, E Zmas
, tambkm
do t i p s1. * reflexbes em pontos F ; , iEZ. Esses pontos s5o alinhados numa reta s,
-
2 ) g // 3, e o subgrupo de 9 , formado pelas isometrias proprias, s (2. Logo, temos s / / g .
t do t i p s2. Varnos mostrar primeiramente que s = g.
-
.: b
a

-%). 5$a t2,


"! c.
M
= $
$;
0s
I-2
"el
D
5
%. %
b k?
gs
09
2 %
B?
a ss
Pts
2
2. 5 :
g
?0. 2,
2.+
n
3a. 2s
3:
s8
0 produto Z F F 1k a translag50 refletida p ( 2 s 1 ,s), e p2(2@1, s) = Exernplos de fitas cujos grupos simetricos s5o do tipo 9;:
=~ ( 4 ~ 7e, uma
) translag50 do grupo. Logo, existe k E Z, tal que
4 c 1 = kg,
De (*), segue

- 0 < (k31 < 1231.


Corno FF, e 3 tCm o mesrno sentido, temos k =1 e, portanto,

Isso significa que g C a mediatriz do segrnento [FoFl].


Pelo Teorema 1.1 I , p. 151, o grupo B: contem os seguintes elementos:
, i E Z,
isometrias proprias: ~ ( i z )XFi,
, C,;, i E Z.
isornetrias improprias: C, ~ ( i i j )C,
Corno g e ortogonal a T;, existe urna reta fi tambkm ortogonal a 3,
tal que r(iv') = C,Cj e, portanto, C,r(iv') = C,C,CJ = CJ i , onde o vetor
--t
V
distrincia de g a t: i-. Logo, f i C? a mediatriz do segrnento [F#',+ ,I.
fi Fig. 33
2
As isometrias improprias Cgr(iv')d o , ent20, as reflexdes nas media-
trizes entre dois centros de reflexdes em pontos consecutivos. x- Terminamos, assim, a discuss50 sobre os grupos de fitas que contCrn
As isornetrias improprias XgCFis5o translagdes refletidas de eixo s urna reflex20 numa reta.
e vetores Zi, onde Zi C o dobro do vetor distsncia de g a Fi e, portanto,

D) Grupos de fitas que possuem uma translaqiio refletida.


Seja .F um grupo de fita de translag50 minimal r p ) , e p(d, g) uma
0 grupo 92,
contern, ent50, os seguintes elementos: translaggo refletida de 9.
CFi,i E Z,
isornetrias proprias: ~(iTi), Como p2(W',g)= r(2w') e uma translaq20 do grupo .F, existe i~ Z ,
tal que 2w'= iv'. Portanto, W' e g t6m a mesma direg2o de 3. Conforme i
isometrias improprias: C,.,,p seja par ou impar, existe urn k E Z, tal q u e i = 2k ou i = 2k + I.
a ) i = 2k.
Logo, 2w'= 2k3 ou w'= k3.
Nesse caso, o produto

e uma reflex20 do grupo 9 e, portanto, recaimos no caso (C). Como


a reta g 6 paralela a direg2o das transla@es, obtemos urn grupo do tip0
4 : ou .F:,conforme o subgrupo das isometrias proprias seja do tipo
$1 ou P2.
Como C,,,,,, 6 uma reflex20 num ponto do grupo, existe urn j E Z,
2 k + 1 , v. tal que ( F i ) p o= F j . Como o eixo g de po e paralelo a reta s, isso e pos-
EntZio 2ii7 = (2k + 1)3 ou ii7 =-
2 sivel somente para g = s.
Nesse caso, 9 contem tambkm o produto Nesse caso, o grupo ,F contem tambem o produto I

onde jo e a mediatriz do segrnento [Fo F , ] .


Estamos, entlo, no caso 4 p. 165. .F e um grupo de fita que contem
~
isto e, a translag20 refletida po = po (l-d ) ,
uma reflex20 numa reta perpendicular a s que n2o passa por nenhum dos
pontos F , , i E Z , e e, portanto, do tipo 9;.

1) Se o subgrupo de .F,formado pelas isometrias proprias, 15 do Terminamos, assim, a discuss20 sobre os grupos de fitas. Como vi-
tip0 9 , ,9 contem os seguintes elementos: 8 : ,8:,F2,Pi,
mos, existem 7 grupos diferentes de fitas: 9 , ,S:, 9:.

isometrias proprias: ~ ( i i ? )i ,E Z, 3.8. Exercicios.


isometrias improprias: p,~(iiJ)= p ( 2-
i i ~ , ~ i)E, Z . 1) Determinar o grupo simetrico de uma reta. Esse grupo e discreto?
2 ) Analisar os tipos dos grupos rosetas, determinados pelos seguin-
Ent2o .ycontem somente translagbes e translagbes refletidas de vetores tes ornamentos :
diferentes de d.
Este grupo 6 diferente dos grupos de fitas ja obtidos e sera indica-
do por .F:.
Exemplos de fitas cujo grupo simktrico e do tip0 9::

c Fig. 34

2 ) Consideremos o subgrupo de .F, formado pelas isometrias pr6- Fig. 35 Fig. 36


prias do t i p .F2,e sejam C,,, i E Z, as reflexbes em pontos do grupo 9,
e s a reta que passa pelos pontos F,, i E Z . 3) Determinar sistemas de geradores para cada um dos t i p s de
Consideremos a transformada pb ' Z f i p 0 , que e elemento de 9 . grupos de fitas. Existem grupos de fitas de diferentes tipos que s2o iso-
Temos : morfos?
4 ) Analisar os tipos dos grupos de fitas determinados pelas seguintes
PO ' Z ~ i =~ Zo( ~ i ) p o - figuras :
a reta g passa pelo ponto P ou que P esta na reta g . Se t r b pontos A ,
Daremos a seguir o sistema dos axiomas da Geometria Euclidiana B e C pertencem a mesma reta, diz-se que A, B e C sGo alinhados ou
de Hilbert, conforme o livro Foundation of geometry [9]. Apesar de ter colineares.
sido editado pela primeira vez em 1902, seu conteudo niio e antiquado. A relaqiio I satisfaz os seguintes axiomas:
Achamos importante conhec2-lo, pois nele foi definido satisfatoriamente,
pela primeira vez na historia da Matematica, sob o ponto-de-vista logico -h 1.1. Axiomas de incidCncia
o que e Geometria Euclidiana: o conjunto dos teoremas e conceitos de- ( I , ) Dados dois pontos distintos A e B, existe uma, e somente uma,
dutiveis do sistema de axiomas de Hilbert. reta passando por A e B, indicada por AB.
Somente nos ultimos anos foi feita uma mudanqa desses axiomas; ( I , ) Em cada reta estiio, no minimo, dois pontos distintos.
os Axiomas de congruencia foram substituidos por Axiomas sobre iso- (I,) Existem tres pontos niio colineares.
metrias e perpendicularismo de retas [4].
0 livro de Hilbert foi escrito para o Espaqo Euclidiano. Como nosso 1.2. ConseqiiCncias.
texto trata exclusivamente do plano, limitar-nos-emos tambem ao plano
e deixaremos de lado todos os axiomas que se referem ao espaqo. Segui- a ) Se duas retas distintas tSm um ponto comum, esse ponto e linico
remos o livro de Hilbert, adaptando em certos pontos a linguagem mate- e e chamado ponto de intersecqiio.
matica a linguagem moderna. Para as demonstraqdes dos teoremas, re- b) A uma reta corresponde biunivocamerite o conjunto dos pontos
comendamos a leitura de [2] e [9]. que estiio nela. Podemos, entiio, identificar esse conjunto de pontos com
Sejam dados dois conjuntos 9 e 9'. Chamaremos de pontos os ele- a reta e substituir conseqiientemente, a relaqiio I por "E": P 1 g se, e
mentos de 9, indicados por letras maiusculas P, Q, R , ... e de retas, os somente se, P E g. Deste ponto-de-vista, uma reta e um conjunto de pontos.
elementos de 9, indicados por letras minusculas, f , g , a, ... . Existem
certas relaq6es como "incidente", "entre", "congruente", "paralela" e "con-
tinua" que ligam pontos entre si, retas entre si e pontos com retas.-A
descriqiio dessas relaqdes e feita mediante os axiomas.
0 s axiomas da Geometria Euclidiana siio divididos em cinco grupos: IV.2. AXIOMAS DE ORDEM
.d
I ) Axiomas de incidencia I , - I , .
2.1. Ordem de pontos alinhados. No conjunto das ternas de pontos ali-
1 1 ) Axiomas de ordem 0 , - 0,.
nhados, distintos dois a dois, consideremos a relaqiio (ABC) (que se 16:
1 1 1 ) Axiomas de congruencia C , - C 5 .
"0 ponto A esta entre os pontos B e C") satisfazendo os seguintes axio-
IV) Axioma da paralela P.
mas, para quaisquer pontos A, B e C alinhados:
V ) Axiomas de continuidade T , - T,.
No total existem, portanto, 15 axiomas. 2.2. Axiomas de ordem.
b

( 0 , )(ABC) implica (CBA),e A # B, B # C e A # C , isto e, se B esta


entre A e C , entiio A , B e C d o distintos, e B esta tambem entre C e A .
(0,)Se A # B, existe um ponto C na reta AB, tal que (ABC).
(0,)Se (ABC)n8o pode valer nem ( A C D ) ,nem (BAC),isto e, dados

Consideremos uma relaqiio entre retas e pontos, para a qua1 escre-


. tr2s pontos de uma reta, no maximo urn deles esta entre os outros dois.

veremos g 1P ou P Ig. Usando a linguagem geombtrica, dizemos que Para enunciar o ultimo Axioma de ordem, precisamos do seguinte
conceito :
-
111 K?. a
n
a
h?
U
9
a
03R z
6

n
Pngulo (q, b). 0 interior e definido como intersec~iiodos dois semiplanos 0 8ngulo (6, a_*) e chamado ingulo suplementar do Pngulo (9, b_),
fechados, determinados pela reta a , contendo 4, e pela reta b, contendo 2. enquanto os 8ngulos (2, b) e (a_*, _b*) siio chamados opostos pelo vkrtice.

0 8ngulo (9, _b) e chamado reto se ( L Z , ~=) (4, q*). ,


Duas retas a e b que se interceptam no ponto 0,determinando semi-
-retas 5 e 4 nas retas a e b, respectivamente, chamam-se perpendiculares
se o 8ngulo (9,6) for reto.
+
b) 0 interior do ingulo (9,b) 0°, rc e um conjunto convexo.
c) Toda semi-reta de origem 0 esta contida inteiramente ou no
interior ou no exterior do Pngulo (a_,b)#OO, rc, de vertice 0.
-- - -
mam-se congruentes se.
2 A', B = B', C C'.
n -
-
3.9. Triiingulos congruentes. Dois tri8ngulos A(ABC) e .AcA1B'C')cha-
.[AB] = [A'B'], [BC] [B'C'], [CAI = [C'A'] e
3.6. Angulos congruentes. Consideremos no conjunto dos ingulos a
relaciio (9,h) = ( 4 , b_') (que se 12 "(y, 4) e congruente a (a_', y)") satis-
fazendo os seguintes axiomas:
,x,
-
3.10. Triiingulo isosceles. Um tridngulo A(ABC) chama-se isosceles se
dois dos seus lados slo congruentes. Por exemplo, [AB] [ACJ. Diz-se
nesse caso que B^ e sio os Pngulos da base do triingulo A(ABC).

3.7. Axiomas de congruencia de Ingulos. 3.1 1. ConseqiiCncias dos axiomas de congruencia.


(C,) a ) Todo dngulo e congruente a si mesmo, isto e , para todo
dngulo (a_,_b) temos: (a_,&) = ,(?, 6). -
a) Vale a unicidade do ponto B' no axioma (C1).
b) Seja A(ABC) um trisngulo e [AB] [AC]. Temos C^, isto C,

- -
b) Dados um dngulo (a, b), uma semi-reta u' da reta a', de origem 0' num triPngulo isosceles os dngulos da base s8o congruentes.
e um semi-piano fechado &,., existe uma, e uma so, semi-reta 4' c 8,. c) 1 .O Teorcma de congruincia de tri8ngulos: 0 s triingulos A(ABC)

- -
de origem 0', tal que (a_,_b) 5 (a_', 6').
(C,) Quaisquer que sejam os tri8ngulos A(ABC) e A(A1B'C'), se
[AB] rA 'B'], [AC] = [A'C'], 2 2,entiio B = B'.
Definimos :
n

-
e A(A1B'C') s i o congruentes se [AB] = [A'B'], [AC] [A'C'] e A^ z 2'.
d) 2." Teorema de congrdncia de tri8ngulos: 0 s trilngulos A(ABC)
e A(A'B1C')siio congruentes se [AB] [A'B'], 2 = A^' e B g'.
e) Se dois 8ngulos siio congruentes, seus Pngulos suplementares e
seus 8ngulos opostos pelo vertice sio tambem congruentes.

-
f) Existem dngulos ,retos.
3.8. Angulos suplementares, lngulos opostos pelo vCrtice, Pngulo reto, re-
g) 3." Teorema de congruincia de triingulos : Dois tri8ngulos A(ABC)
tas perpendiculares. i e A(A'BfC')siio congruentes se [AB] = [A'B'], [BC] [B'C'] e [AC]s [A'C'].
Sejam _a e _b duas semi-retas de vertice 0,e y* e t* suas semi-retas h) A rela~iiode congruincia no conjunto dos ingulos e uma relaqiio
opostas. de equivalincia.
Com a Defini~iio3.13, pligina anterior, podemos definir
3.12. Angulo livre. Cada classe de ingulos congruentes chama-se dngulo
livre. Indicamos os Bngulos livres por letras gregas minusculas a,P, y, ...
ou, se (a,b) e um representante d o ingulo livre a, escreveremos tam- 3.15. Angulo obtuso, lngulo agudo. U m ringulo livre chama-se obtuso
ou agudo se ele e maior ou menor, respectivamente, que um ingulo reto.
bem a = % (a_, 6).
0 conjunto dos ingulos zero e o conjunto dos ingulos rasos for- 3.16. Angulo externo de um trilngulo. Seja A(ABC) um triingulo. 0 s
mam dois ingulos livres, indicados por 0" e n, respectivamente. -, ingulos suplementares de A^, k e ?, respectivamente, chamam-se ingulos
Sejam dados dois ingulos (2,b) + e (a',
+ k'), distintos de 0" e n. Pelo externos d o triingulo A(ABC).
I
1
!
axioma (C,) (b), existe uma unica semi-reta c, no semiplano determinado

no semiplano determinado por a' que contern k', tal que (a_', 5') (a, -
por a que contem 4, tal que ( 2 ,5 ) = (a_', t ' ) , e uma unica semi-reta c',
+
b_).
Se nesta c o n s t r u ~ i oc esta no interior d o ingulo (a_, b), 5' esta no exterior
d o ingulo (g', _b') e, reciprocamente, se 5 esta no exterior de (g, b), c'
Analogamente A Propriedade 3.1 1 (h), p. 179, para ingulos, mostra-se
que a relacio de congruincia e uma relac20 de equivalincia no conjunto
dos segmentos.

esta no interior de (a_', h'). 3.17. Segmento livre. Uma classe de congruincia de segmentos e chama-
da segmento livre. 0 segmento livre representado pelo segmento [AB]
e indicado por d= [z].
Analogamente Definiqiio 3.13, da pligina anterior, temos:

3.18. ComparaqHo de segmentos Iivres. Dizemos quc um segmento livre


(1, = [ B ] 6 maior ou igual a o segmento livre c12 = [A'B'] se existe um
ponto C E [AB], tal que [AC] = [A'B']. Caso contririo, dizemos que o
segmento Iivre d, = e menor que o segmento livre d,= [A'B'].

Podemos, entilo, comparar ingulos livres: 3.19. Conseqiiencias.


a ) 0 ingulo externo de A^ num triingulo A(ABC) e maior que os
3.13. ComparaqHo de lngulos livres. 0 ingulo livre a= % (a_, _b) chama- ingulos B^ e ?. isto k , um ingulo externo de um triingulo 6 maior que
se maior ou igual a o ingulo livre 0 = % (a',
+
t ' ) , a,P # 0°, n se, na cons- cada um dos dois outros ingulos d o triingulo.
truqso acima, +c e urna semi-reta no interior de ( g , 6). Caso contrhrio, b ) Num tri5ngul0, o lado maior e oposto a o ingulo maior.
dizemos que a = % (a_, 4 ) e menor que p = % (a_', 4'). Em simbolos, te- c ) Dados uma reta g e um ponto P, P 4 g , existe uma reta por P
mos no l o caso a> j3 e no 2" caso a < p. que n i o intercepts g.
Definimos n > a e a > 0" para todo ingulo livre a.
*
3.14. Conseqiiencias.
a ) Se a,p e y s i o ingulos livres quaisquer, com a> P e >, y, en-
-
d ) U m triingulo com dois ingulos congruentes e isosceles.
e ) Dois triingulos A(ABC)
fi

[A'B'], 2 A' e C zi C'.


., e A(A1B'C') siio congruentes se [AB] =

f ) Para cada segmento [AB] existe um ponto medio M , isto e, um


t i 0 a> y. ponto M E [AB], tal que [AM] = [MB].
b ) Todos os ingulos retos silo congruentes e formam, portanto, um
ingulo livre, indicado por -.
n
2
tice d o ingulo (z,_h),
de origem 0 , tal que (a, + +
---
g ) (g, b), e (a, -
g ) Para cada ingulo (g, _h) existe uma bissetriz, isto e, se 0 e o ver-
existe uma reta g por 0, com as semi-retas g e g*
g*) (g*. h ) .
+ + 4 4
IV.4. AXIOMA DA PARALELA 4.5. Soma de ingulos livres. Sejam a = 3: (a_, 4 ) e P = 4: (r,g ) dois i n -

4.1. Retas paralelas. Duas retas a e b chamam-se paralelas (a // b ) se


elas n i o tEm ponto comum ou se a = b. -
gulos livres, a, P # 0°, n, e seja 0 o verlice de a. Existe, umi Znica serni-
reta c, de origem 0,no s e m ~ ~ l a ndeterrninado
tem q, tal que (b,): (+j , +
0 ingulo livre y = (2,~) +
g).
o pela reta b que niio con-

chama-se soma dos Sngulos livres a e P,


se 5 esth no mesmo semiplano em relacso a reta a como 4 : y = a + p.
4.2. Axioma da paralela.
'-..
(P) Dados uma reta g e urn ponto P , P E g , existe, no miiximo, uma
rcta por P, paralela a g .

a ) 0 Axioma da paralela junto


com o Teorema 3.19(c),p. 18 1, signi-
-P
fica que. dados uma reta I: e um pon-
to P, P f j g, existe uma, e uma so. reta [I

por P, paralela a g.
Usaremos a seguinte abrevia~rlo:
b ) A relacgo de paralelismo no conjunto das retas e urna relac20
de equivalencia. n 3: (g, 4 ) = 3: (a_, 5)+ 3: (5,& ) + ... + 3: (g. h_) (n somatorios).

C) Sejam u e h duas retas para- A soma dos ingulos livres representados pelos tres ingulos de um
lelas. Toda reta perpendicular a a e triingulo 6 igual a o ingulo livre raso.
*
tambem perpendicular a h. Todas as Analogamente a defini~iioanterior, temos:
retas perpendiculares'comuns a cr e a
b s2o paralelas entre si. 4.6. Soma de segmentos livres. Sejam d l = [B]e d2 = [El dois seg-
mentos Ijvres, A # B, F f G . Existe, na reta AB um unico ponto C , tal
4.4. Angu~oscorrespondentes, lngulos que ( A B C ) e [BC] = [ F q . 0 segmento livre d = [Ac]
chama-se soma
alternos internos e externos. Sejam dos segmentos livres d , e d2 :
a e h duas retas e c urna reta transver-
sal. Por u , b e r. s i o determinados [Aq= [AB] + [Bq.
os lngulos a, b, y, 9, a', b', y' e 9'. 9' 7'
indicados na figura do lado. Usaremos a seguinte abreviacrlo :
cl e cl', p 6 /l',
y e y' e 9 e 9' chamam-se 8ngulos correspondentes, 9 e /?', n [ D ]= [m]+ [m]+ ... + [m] (n somatorios).
y e cc', ingulos alternos internos, e cl e y', P e 9' Cngulos alternos externos.
Sejam u e h duas retas paralelas e c uma retra transversal a a e h. 4.7. CircunferCncia, diQmetro, corda. Dado um ponto M , chama-se cir-
EntGo. os ingulos correspondentes, os 2ngulos alternos internos e os cunfercncia k, de centro M , ao conjunto dos pontos X E Y 6 . tais que
ingulos alternos externos s i o congruentes. os segmentos [MXJ sejam congruentes. Dois pontos A e B, de k , cha-
Reciprocamente, se u e b sGo duas retas e c urna reta transversal a ' 6
mam-se diametrais se A e B s8o alinhados corn M. 0 segmento [AB]
a e b, tais que os lngulos correspondentes, ou os Bngulos alternos internos, chama-se, nesse caso, digmetro de k . Se A e B siio quaisquer pontos de k ,
ou os ingulos alternos externos sejam congruentes, entiio a // h. o segmento [AB] C chamado corda de k.
4.8. ConseqiiCncias. 5.1. Axiomas de continuidade.
a ) Consideremos trts pontos niio alinhados A , B e C. Existe, uma, ( T , ) Axiomu de Archimedes. Dados dois segmentos livres d l = [AX]
e somente uma, circunferencia que passa por A , B e C. e d, = [ m ] , A # B, C # D , existe um numero n E N, tal que
A intersecqiio de duas circunferencias k , e k 2 distintas sera, portan-
to, uma das alternativas:
i) dois pontos se k , e k, interceptam-se;
(T,) Axiomu du con~pketividudelinear. 0 conjunto dos pontos de uma
ii) um ponto se k, e k2 tangenciam-se; reta niio pode ser estendido de maneira que continuem a valer todos
iii) 0 se k , e k2 n8o ttm ponto comum. os Axiomas de incidsncia, ordem, congrusncia e o Axioma ( T , ) , em
b ) Dois pontos distintos A e B de urna circunfertncia k dividem o relaqiio a incidencia, ordem e congrusncia ja definidas no conjunto dos
conjunto dos pontos de k em dois subconjuntos disjuntos, k , e k, : os pontos antigos.
arcos de k, determinados pelos pontos A e B.
x3 5.2. ConseqiiCncias
C) Seja k , um arc0 da circunfe- a ) A cada segmento livre podemos associar biunivocamente um nu-
rtncia k, determinado pelos pontos mero real d, d 2 0, chamado comprimento do segmento [AB] ou distin-
A e B. 0 s ingulos A ~ siio
B congru- cia de A e B e indicado por I AB I. A soma de segmentos livres corresponde
entes para todos os pontos X E k , , a soma dos numeros reais correspondentes.
X f A , B. b ) A cada ingulo livre corresponde biunivocamente um numero
real h , 0 <h < n.
d ) Sejam A , B, C e D quatro = c) Num paralelogramo, lados opostos tsm o mesmo comprimento.
pontos distintos de urna circunferin- d ) Sejam u e b duas retas paralelas e g urna reta perpendicular a
cia k, tais que o quadrilatero A, B, a e b que intercepta u e b em pontos A e B, respectivamente. 0 compri-
C e D seja convexo. A soma de dois mento ( A B( n8o depende da reta g . Pode-se definir, portanto, I AB ( como
ingulos livres representados por i n - distincia das retas u e b.
gulos opostos, no quadrilatero e um k e) A soma de dois segmentos livres representados por dois lados
ingulo livre raso. lsto e, de um triingulo 6 maior do que o segmento livre representado pelo ter-
ceiro lado d o triingulo.

IV.5. AXIOMAS
DE CONTINUIDADE

A partir dos axiomas anteriores, podemos mostrar, c o r n vimos,


muitas propriedades conhecidas da Geometria Euclidiana. Podernos ate
associar a cada ponto um par de coordenadas (x, y), e a cada reta urna
equaq8o linear y = ax + b ou x= c, onde x, y, a, b e c n8o s8o necessaria-
mente numeros reais, mas numeros racionais. Para poder introduzir urna
Geometria Analitica sobre os numeros reais, faltam os seguintes axiornas: