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
nas paginas 25, 28, 29, 30, 72, 96, 97, 106, 132, 139 e 140 varios tipos de
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.
Podemos, porem, considerar o conjunto das ~sometriasque aplicam
um determinado ornamento em si. Esse conjunto forma um grupo; e
grupos diferentes, isto e, grupos formados por diferentes tipos de isome-
trias determinam diferentes classes de ornamentos. Vamos determinar
estas classes de ornamentos.
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-
trias de ornamentos no plano.
I
1
Para o desenvolvimento do estudo dos ornamentos, precisamos de
r -I
algumas definiqdes e conceitos preliminares. Vamos definir, tambem o
6
Pi! que t. um ornamento, conceito que usamos aqui intuitivamente.
Q grupo siio
111.1. GRUPOS DISCRETOS, ORNAMENTOS
Seja -F uma figura no Plano Euclidiano, isto e, um conjunto n5o
vazio de pontos de 9,. Considerando o conjunto das isometrias que
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
isomekias. Definimos, ent8o :
1.1. Grupo simCtrico de urna figura. 0 grupo 3 de todas as isometrias
que deixam fixa uma figura .?F no Plano Euclidiano chama-se grupo
simetrico de .F.
Se o grupo simetrico de uma figura contem somente a identidade,
a figura e chamada assimetrica.
tem uma vizinhanqa que niio contem pontos do conjunto.
Lembremos tambem o famoso teorema:
1.2. Teorema de Bolzano-Weierstras.: Todo conjunto infinite, limitado,
tem um ponto de acumulaqiio.
1.3. Grupo discreto. Um grupo de transformaqdes de ,Y, chama-se dis-
I
creto se qualquer ponto P E 9,possui um conjunto discreto de imagens
i pelas transformaqdes do grupo.
1.4. Exemplos.
I ) Seja I; um vetor. Consideremos o conjunto das translaqdes ~ ( n ; ) ,
n E Z.Ele forma um grupo discreto em relaqiio a compos~~iio, pois. se
P e um ponto arbitriirio de Y , , suas imagens pelas transformaqdes do
... , ( 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-
+
n
junto das rotaqdes A,$, 0°), A l ( F , g), A2(F. 2 5 ) - ... , A , , , ( F , ( n - 1 ) 5)
forma um grupo discreto em relaqiio Li composiqio, pois, se P t. um pon-
to arbitrario de y,, os seus pontos imagens s i o
Estes pontos siio eqiiidistantese estiio numa circunferencia de centro F.
1.5. Omamento, grupo ornamental. Chamamos ornamento a uma ligura
do plano 9,cujo grupo simetrico e discreto. Ao grupo simktrico de um
ornamento damos o nome de grupo ornamental.
Nos exemplos de ornamentos nas pp. 28, 29, 30, 72, 96 e 97. veri-
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.
Seja @' urna isometria impropria arbitraria do grupo, entao @-'a'
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 .
C
1.12. Corolhrio: Num grupo finito de isometrias, o numero de isome-
trias proprias e igual ao numero de isometrias improprias.
Daremos a seguir urna enumeraqiio das transforma'das de urna
reflexlo numa reta Z,, de uma_translaglo ~(i!), de urna reflexlo num
ponto Z p , de urna rotaglo A(F, 9) e de urna translaglo refletida p(Z,g),
por urna isometria Q:
1 .I 3. Teorema:
Um grupo poligonal, consequentemente, contem somente rotagdes
e tem as seguintes propriedades:
2.2. Teorema: Um grupo poligonal contem somente rotaC6es de um
unico centro F.
demons trap?^: Suponhamos, por absurdo, gue V seja um grupo
poligonal e contenha as duas rotagdes Al(Fl, 9,) e A,(F,, s',), com
$,, 9, #0° e Fl # F,.
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
F; # Fl , p i s Fl e distinto do centro F, de A, e A, # I. 0 produto A; 'A
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-
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
111.2. GRUPOS ROSETAS
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.3. Teorema: Um grupo poligonal e finito.
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-
to de Y corresponde uma, e somente uma, rotagiio do grupo V. Logo,
o grupo V contkm somente um numero finito de rotaqdes.
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 ,
i = 0 , 1, ..., n- I . +
Sejam Pi e.P,+,dois pontos de distsncia minimal e 9 = 9:(PiFPi+,).
,
A rotaqdo A = An: ' A ,+ pertence a o grupo % e aplica Pi em PI+ , pois
Resumindo, provamos o seguinte teorema:
2.5. Teorema: Todo grupo poligonal e um grupo ciclico de ordem fi-
, 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
siio 9 , , 9, e g 6 , respectivamente.
Fig. 27
Terminamos, assim, a discussiio sobre os grupos rosetas.
III.~".RUPOS DE FITAS
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.
Seja .F um gruh de fita. 0 conjunto das transla~bese o conjunto
das isometrias proprias contidas em 5 formam dois subgrupos de 9.
Podemos, entso, distinguir os seguintes t i p s de grupos de fitas:
I ) Grupos de fitas que cont6m somente isometrias proprias.
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
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.
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
e, portanto, tambem o produto I
I
com 0 < lp31< 131.
-.
Como r(3) 6 a translaqiio de .F com vetor 3 de modulo minimal,
entzo (CiJI = 0 e, logo, p3 = o'. Como 3 # o', temos p = 0. Isso implica
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.

2 k + 1 , v.
EntZio 2ii7 = (2k + 1)3 ou ii7 =-
2 sivel somente para g = s.
Nesse caso, 9 contem tambkm o produto
isto e, a translag20 refletida po = po (l-d ) ,
1) Se o subgrupo de .F,formado pelas isometrias proprias, 15 do
tip0 9 , ,9 contem os seguintes elementos:
isometrias proprias: ~ ( i i ? )i ,E Z,
isometrias improprias: p,~(iiJ)= p ( 2-
i i ~ , ~ i)E, Z .
Ent2o .ycontem somente translagbes e translagbes refletidas de vetores
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-
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 .
Consideremos a transformada pb ' Z f i p 0 , que e elemento de 9 .
Temos :
PO ' Z ~ i =~ Zo( ~ i ) p o -
Como C,,,,,, 6 uma reflex20 num ponto do grupo, existe urn j E Z,
tal que ( F i ) p o= F j . Como o eixo g de po e paralelo a reta s, isso e pos-
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
~
uma reflex20 numa reta perpendicular a s que n2o passa por nenhum dos
pontos F , , i E Z , e e, portanto, do tipo 9;.
Terminamos, assim, a discuss20 sobre os grupos de fitas. Como vi-
8 : ,8:,F2,Pi,
mos, existem 7 grupos diferentes de fitas: 9 , ,S:, 9:.
3.8. Exercicios.
1) Determinar o grupo simetrico de uma reta. Esse grupo e discreto?
2 ) Analisar os tipos dos grupos rosetas, determinados pelos seguin-
tes ornamentos :
Fig. 35 Fig. 36
3) Determinar sistemas de geradores para cada um dos t i p s de
grupos de fitas. Existem grupos de fitas de diferentes tipos que s2o iso-
morfos?
4 ) Analisar os tipos dos grupos de fitas determinados pelas seguintes
figuras :

Daremos a seguir o sistema dos axiomas da Geometria Euclidiana
de Hilbert, conforme o livro Foundation of geometry [9]. Apesar de ter
sido editado pela primeira vez em 1902, seu conteudo niio e antiquado.
Achamos importante conhec2-lo, pois nele foi definido satisfatoriamente,
pela primeira vez na historia da Matematica, sob o ponto-de-vista logico
o que e Geometria Euclidiana: o conjunto dos teoremas e conceitos de-
dutiveis do sistema de axiomas de Hilbert.
Somente nos ultimos anos foi feita uma mudanqa desses axiomas;
os Axiomas de congruencia foram substituidos por Axiomas sobre iso-
metrias e perpendicularismo de retas [4].
0 livro de Hilbert foi escrito para o Espaqo Euclidiano. Como nosso
texto trata exclusivamente do plano, limitar-nos-emos tambem ao plano
e deixaremos de lado todos os axiomas que se referem ao espaqo. Segui-
remos o livro de Hilbert, adaptando em certos pontos a linguagem mate-
matica a linguagem moderna. Para as demonstraqdes dos teoremas, re-
comendamos a leitura de [2] e [9].
Sejam dados dois conjuntos 9 e 9'. Chamaremos de pontos os ele-
mentos de 9, indicados por letras maiusculas P, Q, R , ... e de retas, os
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:
I ) Axiomas de incidencia I , - I , .
1 1 ) Axiomas de ordem 0 , - 0,.
1 1 1 ) Axiomas de congruencia C , - C 5 .
IV) Axioma da paralela P.
V ) Axiomas de continuidade T , - T,.
No total existem, portanto, 15 axiomas.
b
Consideremos uma relaqiio entre retas e pontos, para a qua1 escre-
veremos g 1P ou P Ig. Usando a linguagem geombtrica, dizemos que
a reta g passa pelo ponto P ou que P esta na reta g . Se t r b pontos A ,
B e C pertencem a mesma reta, diz-se que A, B e C sGo alinhados ou
colineares.
A relaqiio I satisfaz os seguintes axiomas:
-h 1.1. Axiomas de incidCncia
( I , ) Dados dois pontos distintos A e B, existe uma, e somente uma,
reta passando por A e B, indicada por AB.
( I , ) Em cada reta estiio, no minimo, dois pontos distintos.
(I,) Existem tres pontos niio colineares.
1.2. ConseqiiCncias.
a ) Se duas retas distintas tSm um ponto comum, esse ponto e linico
e e chamado ponto de intersecqiio.
b) A uma reta corresponde biunivocamerite o conjunto dos pontos
que estiio nela. Podemos, entiio, identificar esse conjunto de pontos com
a reta e substituir conseqiientemente, a relaqiio I por "E": P 1 g se, e
somente se, P E g. Deste ponto-de-vista, uma reta e um conjunto de pontos.
IV.2. AXIOMAS DE ORDEM
.d
2.1. Ordem de pontos alinhados. No conjunto das ternas de pontos ali-
nhados, distintos dois a dois, consideremos a relaqiio (ABC) (que se 16:
"0 ponto A esta entre os pontos B e C") satisfazendo os seguintes axio-
mas, para quaisquer pontos A, B e C alinhados:
2.2. Axiomas de ordem.
( 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
. tr2s pontos de uma reta, no maximo urn deles esta entre os outros dois.
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: