Geometria não euclidiana

Alysson Antosz Carvalho

Dezembro de 2022

1 Introdução Histórica
No inı́cio, a geometria era uma coleção de regras para calcular comprimentos, áreas e volumes. Muitos
eram aproximações grosseiras obtidas por tentativa e erro. Este corpo de conhecimento, desenvolvido
e usado na construção, navegação e levantamento pelos babilônios e egı́pcios, foi transmitido aos
gregos. Abençoados com uma inclinação para o pensamento especulativo e o lazer para perseguir
essa inclinação, os gregos transformaram a geometria em uma ciência dedutiva. Cerca de 300 a.C.,
Euclides de Alexandria organizou parte do conhecimento de sua época de maneira tão eficaz que todos
os geômetras dos 2.000 anos seguintes usaram seu livro Os Elementos como ponto de partida.
Primeiro ele definiu os termos que usaria - pontos, linhas, planos e assim por diante. Então ele
escreveu cinco postulados que pareciam tão claros que alguém poderia aceitá-los como verdadeiros
sem provas. A partir desta base ele passou a derivar quase 500 declarações geométricas ou teoremas.
Em muitos casos, a verdade disso não era nada evidente, mas era garantida pelo fato de que todos
os teoremas haviam sido derivados estritamente de acordo com as leis aceitas da lógica a partir das
afirmações originais (autoevidentes).
Embora um grande avanço em seu tempo, os métodos de Euclides são imperfeitos pelos padrões
modernos. Para começar, ele tentou definir tudo em termos de uma noção mais familiar, às vezes
criando mais confusão do que removendo. Os exemplos a seguir fornecem uma ilustração:

Um ponto é aquilo que não tem parte. Uma linha tem comprimento sem largura. Uma linha reta é uma linha que
se encontra uniformemente com os pontos sobre si mesma. Um ângulo plano é a inclinação entre duas linhas que se
encontram. Quando uma linha reta colocada sobre uma linha reta faz ângulos adjacentes iguais entre si, cada um dos
ângulos iguais é um ângulo reto.

Euclides não definiu comprimento, distância, inclinação ou ”assento”. Depois de fazer suas de-
finições, Euclides nunca as usou. Em vez disso, ele usou as ”regras de interação”entre os objetos
definidos, conforme estabelecido em seus cinco postulados e outros postulados que ele assumiu impli-
citamente, mas não declarou. Os cinco postulados de Euclides eram os seguintes:

I. Para traçar uma linha reta de qualquer ponto a qualquer outro ponto.

II . Para produzir uma linha reta finita continuamente em uma linha reta.

III Para descrever um cı́rculo com qualquer centro e distância.

IV . Que todos os ângulos retos são iguais entre si.

V. Que, se uma linha reta caindo em duas linhas retas faz os ângulos internos do mesmo lado
menores que dois ângulos retos , as duas linhas retas , se produzidas indefinidamente , encontram - se
naquele lado em que os ângulos são menores que dois ângulos retos .

Euclides não sentiu necessidade de enunciar o seguinte postulado, embora o tenha usado em seu
primeiro teorema.

Dois cı́rculos, cuja soma de raios é maior que a distância entre seus centros, e cuja diferença de raios é menor que
essa distância, devem ter um ponto de interseção.

1
 É natural perguntar por que Euclides escolheu seus cinco postulados para menção explı́cita. Depois
de Euclides, os matemáticos tentaram tornar explı́citos os pressupostos que Euclides havia esquecido
de mencionar. O quinto postulado atraiu muita atenção. Era complicado, mas intuitivamente atraente,
e as pessoas achavam que poderia ser deduzido de outras suposições de Euclides. Muitas ”provas”do
quinto postulado foram propostas, mas geralmente continham uma suposição oculta equivalente ao
que deveria ser provado. Três dessas condições equivalentes eram :

i . Duas retas que se cruzam não podem ser paralelas à mesma reta. (Playfair)

ii. Linhas paralelas permanecem a uma distância constante umas das outras. (Proclus)

iii. Os ângulos internos de um triângulo somam dois ângulos retos. (Legen dre)

Em 1763 um homem chamado Klügel escreveu uma dissertação em Göttingen na qual avaliou todas
as tentativas significativas de provar o postulado paralelo nos 2000 anos desde que Euclides o declarou.
Das 28 provas que ele examinou, nenhuma foi considerada satisfatória. De particular interesse foi a
obra do jesuı́ta Saccheri (1667-1733). Saccheri assumiu a negação do quinto postulado e deduziu as
consequências lógicas, esperando chegar a uma contradição. Ele derivou muitos resultados de aparência
estranha, alguns dos quais ele alegou serem inconsistentes com os outros postulados de Euclides. Na
verdade, ele havia descoberto alguns fatos fundamentais sobre o que hoje chamamos de geometria
hiperbólica.
Gauss (1777-1855) foi, aparentemente, o primeiro matemático a quem ocorreu que essa negação
nunca poderia levar a uma contradição e que geometrias diferentes da de Euclides poderiam ser
possı́veis. O pensamento lhe pareceu tão revolucionário que ele não quis torná-lo público. Em 1829
ele escreveu que temia os ”gritos dos idiotas”, tão arraigadas eram as idéias de Euclides. Lobachevsky
(1793-1856) e Bolyai (1802-1860) elaboraram independentemente geometrias que pareciam consistentes
ainda negou o quinto postulado de Euclides. Essas obras foram publicadas em 1829 e 1832, respec-
tivamente. A experiência provou que Gauss havia superestimado os estúpidos. Eles não prestaram
atenção às novas teorias.
Quase 40 anos depois Beltrami (1835-1900) e Klein (1849-1925) produziram modelos dentro da ge-
ometria euclidiana da geometria de Bolyai e Lobachevsky (agora chamada de geometria hiperbólica).
Foi assim estabelecido que se a geometria de Euclides estava livre de contradição, então a geometria
hiperbólica também estava. Como a geometria hiperbólica satisfazia todas as suposições de Eucli-
des, exceto o postulado das paralelas, foi finalmente determinado que uma prova do postulado era
impossı́vel.
Com esta ramificação da geometria em euclidiana e não-euclidiana, tornou-se útil categorizar os
resultados de acordo com sua dependência do quinto postulado. Qualquer teorema de Euclides que não
fizesse uso do postulado das paralelas era chamado de teorema de geometria absoluta. Foi igualmente
válido na geometria euclidiana e hiperbólica. Em contraste, certos teoremas euclidianos que dependiam
apenas dos postulados I, II e V tornaram-se conhecidos como geometria afim. Os teoremas comuns à
geometria absoluta e afim são chamados de teoremas da geometria ordenada. O estudo da projeção
central foi imposto aos matemáticos pelos problemas de perspectiva enfrentados por artistas como
Leonardo da Vinci (1452-1519). A imagem feita por um pintor na tela pode ser considerada como
uma projeção do original na tela com o centro de projeção no olho do pintor. Neste processo, os
comprimentos são necessariamente distorcidos de uma forma que depende das posições relativas dos
vários objetos representados. Como é possı́vel que a estrutura geométrica do original ainda possa ser
normalmente reconhecida na tela? Deve ser porque existem propriedades geométricas invariantes sob
a projeção central.
A geometria projetiva é o corpo de conhecimento que se desenvolveu a partir dessas considerações.
Muitos dos fatos básicos da geometria projetiva foram descobertos pelo engenheiro francês Poncelet
(1788-1867) em 1813 enquanto prisioneiro de guerra, privado de livros, na Rússia. A geometria afim
e projetiva também estão intimamente relacionadas, porque o estudo das propriedades das figuras
que permanecem invariantes sob projeção paralela também leva à geometria afim. Este aspecto da
geometria afim foi reconhecido por Euler (1707-1783). Como o progresso na geometria foi frequen-
temente prejudicado pela falta de facilidade computacional, a invenção da geometria analı́tica por
Descartes (1596-1650) tornou possı́veis abordagens simples para mais problemas. Por exemplo, per-
mitiu um tratamento fácil da teoria das cônicas, um assunto que anteriormente era muito complicado.
Desde a época de Descartes, os métodos analı́ticos continuaram a ser frutı́feros porque permitiram aos
geômetras fazer uso de novos desenvolvimentos em álgebra e cálculo. O escopo da geometria foi gran-

2
demente ampliado por Riemann (1826-1866). Ele percebeu que a geometria das superfı́cies fornecia
numerosos exemplos de novas geometrias. Suponha que uma curva sobre a superfı́cie seja chamada
de linha se cada pequeno segmento dele é a curva mais curta unindo seus pontos finais. Então, por
exemplo, se a superfı́cie é uma esfera, as linhas são os grandes cı́rculos. Nesta geometria, denominada
geometria elı́ptica dupla, são válidos os seguintes teoremas:

i. Cada par de retas tem dois pontos de interseção. Esses pontos são antı́podas; isto é, eles estão
nas extremidades opostas do mesmo diâmetro.

ii. Cada par de pontos não antipodais determina exatamente uma reta. Um par antipodal tem
muitas linhas através deles.

iii.. A soma dos ângulos de um triângulo é maior que π. É possı́vel que um triângulo tenha três
ângulos retos.

Riemann e Schläfli (1814-1895) consideraram espaços euclidianos e esféricos de dimensão superior,

e em sua célebre palestra inaugural em Göttingen em 1854, Riemann lançou as bases da geometria
como um estudo de espaços gerais de qualquer dimensão, que agora são chamados de variedades Ri-
emannianas . Esses espaços são os principais objetos de estudo da geometria diferencial moderna.
Como o nome sugere, os métodos usados dependem do cálculo. A geometria de Riemann foi utili-
zada por Einstein (1879-1955) como base para sua teoria geral da relatividade (1916). Embora Gauss
tenha observado a relação entre a soma dos ângulos de um triângulo e a curvatura da superfı́cie na
qual ocorre, Riemann e aqueles que o seguiram levaram essas idéias para as variedades riemannianas.
Assim, a curvatura ainda é um fenômeno importante na geometria diferencial, e indica o quanto a
geometria do espaço estudado difere de ser euclidiana. Embora Euclides acreditasse que sua geometria
continha fatos verdadeiros sobre o mundo fı́sico, ele percebeu que estava lidando com uma idealização
da realidade. Ele não quis dizer que existe algo fisicamente como comprimento sem largura. Mas ele
estava confiando em muitas das propriedades intuitivas de objetos reais. A fim de libertar a geometria
da dependência de conceitos fı́sicos para suas provas, Hilbert (1862-1943) reescreveu os fundamentos
da geometria em 1899. Hilbert começou com objetos indefinidos (por exemplo, pontos, linhas, planos),
relações indefinidas (por exemplo, colinearidade, congruência, intermediação) e certos axiomas expres-
sos em termos de objetos e relações indefinidos. Qualquer coisa que pudesse ser deduzida disso pelas
regras usuais da lógica era um teorema geométrico válido naquela geometria particular. A escolha
dos axiomas foi uma questão de gosto. Claro, algumas geometrias seriam interessantes e outras não,
mas isso é um julgamento subjetivo. Os teoremas não dependem da natureza dos objetos indefinidos,
mas apenas dos axiomas que eles satisfazem. Vendo todas essas geometrias ao seu redor, Klein, em
1872, propôs classificá-las de acordo com os grupos de transformações sob as quais suas proposições
permanecem verdadeiras. Desde então, a teoria dos grupos tem sido de importância crescente para os
geômetras. As novas geometrias de Riemann deram lugar a complicados grupos de transformações.
Logo técnicas foram desenvolvidas para estudar esses grupos por conta própria. Muito trabalho sobre
o assunto foi feito por Sophus Lie (1842-1899), e esses grupos ficaram conhecidos como grupos de Lie
em sua homenagem. Grupos de Lie e geometria diferencial são áreas ativas da pesquisa matemática
atual. Três abordagens para o estudo da geometria.

1.1 Três abordagens para o estudo da Geometria

1. A ABORDAGEM AXIOMÁTICA: Seguindo Hilbert, começamos com alguns objetos indefi-
nidos, relações e um sistema de axiomas. Então deduzimos as consequências lógicas. Faremos algum
uso dessa abordagem. Entretanto, precisamos de alguma motivação para saber quais axiomas escolher
e como interpretar nossos resultados. Sem isso, o estudo não será muito interessante.

2. A ABORDAGEM ANALÍTICA: Um ponto é representado por um par ordenado, triplo,

e assim por diante, de números reais (ou, mais geralmente, elementos de alguma outra estrutura
algébrica). Pontos são definidos como colineares se satisfazem uma equação de um certo tipo. Então
toda equação algébrica que se pode derivar terá alguma interpretação geométrica. Nesta abordagem,
álgebra linear e matrizes são usadas para facilitar a computação.

3
 3. A ABORDAGEM EMPÍRICA: Nosso objetivo é descobrir fatos geométricos sobre o mundo
em que vivemos. Usamos apenas os fatos que podemos observar e suas conseqüências lógicas. Assim,
pode-se conceber tentar descobrir se o postulado paralelo é verdadeiro ou falso no mundo do espaço
fı́sico.

Gauss, de fato, tentou fazer isso localizando espelhos em três picos distantes de montanhas e
medindo a soma dos ângulos do grande triângulo formado por raios de luz enviados de um pico a
outro. Seus resultados foram inconclusivos porque os limites do erro experimental eram maiores do
que o desvio de sua medida de π.

1.2 Um exemplo da geometria empı́rica

Nossa experiência do mundo externo chega até nós por meio de nossos sentidos, especialmente a visão
e o tato. Conforme nos movemos e vemos os objetos de vários lugares, eles geralmente parecem
mudar de forma. Uma exceção importante é a linha reta cuja forma aparece inalterada por uma
mudança no ponto de vista. Três aspectos da colinearidade se apresentam. Três pontos são colineares
se parecem estar ”alinhados”, isto é, ver um a partir do outro obscurece o terceiro. Em segundo lugar,
se começarmos no ponto A e nos movermos ”em linha reta”em direção a B, percorreremos todos os
pontos do segmento de reta AB. Finalmente, se esticarmos um elástico de A até um ponto próximo
adequado B, o elástico cairá ao longo do segmento AB.
Se nosso objetivo principal fosse descrever as propriedades do espaço fı́sico, seria valioso construir e
estudar muitas geometrias axiomáticas para ver quais delas se encaixam melhor em nossa observação.
Na fı́sica nunca se pode ser completamente. certeza de que uma certa teoria está certa. Pode-se apenas
dizer que ela se ajusta melhor às observações do que qualquer outra teoria conhecida.
Uma questão básica é esta: O que podemos deduzir corretamente sobre a natureza do nosso espaço
por observação? Podemos esclarecer esse problema propondo um universo hipotético e estudando o
sistema de fora. Por muito tempo acreditou-se que a terra era plana. No entanto, se formos a um
ponto P no oceano, navegarmos 500 milhas em frente até Q, depois virarmos à direita e percorrermos
500 milhas até R, depois retornarmos direto para P , descobriremos que a distância de R até P é de
cerca de 667 milhas . Verificando nossos resultados com o teorema de Pitágoras, vemos que ele não
vale para o retângulo. triângulo P QR. Assim, vemos que é possı́vel realizar um experimento para
mostrar que a geometria da nossa Terra não é euclidiana.
Suponha agora que nossa Terra fosse um cilindro circular em vez de uma esfera. Se tivéssemos realizado
o mesmo experimento, terı́amos descoberto que a distância de R a P era de cerca de 707 milhas,
conforme previsto por Pitágoras. Nosso experimento não provaria, é claro, que nossa Terra é plana.
No entanto, isso não contradiria essa hipótese. Uma experiência mais ambiciosa seria tentar responder
à seguinte pergunta. Se você começar em um ponto e seguir em frente, é possı́vel que depois de um
tempo você comece a se aproximar de seu ponto de partida? Você pode realmente alcançar seu ponto
de partida dessa maneira?

1.3 Natureza do livro

Embora estejamos lidando com muitos dos aspectos da geometria mencionados no esboço histórico, não
os discutiremos em ordem cronológica. Contaremos fortemente com técnicas analı́ticas que, é claro,
não estavam disponı́veis para Euclides. O conceito de grupo será freqüentemente usado para tornar
nossas discussões mais transparentes. A álgebra linear, uma ferramenta indispensável para qualquer
tratamento moderno da geometria, será usada em quase todas as páginas.
O livro começa com uma investigação completa do plano euclidiano. Aqui definimos o padrão para
nosso estudo das geometrias não-euclidianas. Pontos, linhas, reflexões e distância são definidos.
Questões de paralelismo, perpendicularidade e simetria são estudados. As isometrias (transformações
que preservam a distância) são classificadas e a estrutura do grupo de isometrias é determinada.
Muitos dos fatos derivados sobre o plano euclidiano já são familiares para aqueles que estudaram ge-
ometria de outra abordagem. No entanto, o mesmo formato pode ser usado para investigar os planos
projetivo e hiperbólico. Os resultados são lindos e, em alguns casos, surpreendentes.
Quando tivermos completado nossa construção dos três modelos consistentes de geometria plana, te-
remos alguma apreciação pelo tipo de experimentos em geometria empı́rica com os quais dois modelos
concorrentes do universo poderiam ser testados. Embora tenhamos nos limitado ao caso bidimensi-
onal ao estudar planos, não é muito difı́cil ver como espaços euclidianos, elı́pticos e hiperbólicos de
dimensão superior poderiam ser estudados. A cosmologia moderna tenta descrever o universo em ter-

4
mos das propriedades geométricas de um ”espaço-tempo”quadridimensional. Embora a discussão de
tais modelos esteja além do escopo deste livro, esperamos que as técnicas e padrões de pensamento
desenvolvidos ao estudar este livro sejam útil para aqueles que mais tarde desejem trabalhar nesta
área. Uma referência não técnica interessante é Rucker [28].
Para uma leitura mais aprofundada sobre as idéias discutidas nesta introdução , os leitores devem
consultar Coxeter [8] , Faber [13] , Greenberg [16] , Meschkowski [23] , Tietze [30] e os Elementos de
Euclides apresentados por Heath [18].

2 PLANO GEOMETRIA EUCLIDIANA

2.1 O plano de coordenadas
Começamos com o plano familiar da geometria analı́tica. Cada par ordenado (P1 , P2 ) de números
reais determina exatamente um ponto P do plano. O ponto determinado por (0, 0) é chamado de
origem. O par ordenado (P1 , P2 ) também é referido como o vetor de coordenadas de P . Embora
matematicamente equivalentes, as palavras ”ponto”e ”vetor”têm conotações diferentes. Um vetor é
geralmente pensado como um segmento de linha direcionado de um ponto a outro. Podemos pensar
no vetor (P1 , P2 ) como o segmento de linha começando na origem 0 e terminando em P . Devemos
considerar as palavras ”ponto”e ”vetor”como intercambiáveis, usando o que sugere a imagem mais
apropriada. O conjunto de todos os vetores é denotado por R2 .

2.2 O espaço vetorial R2

Se x = (x1 , x2 ) e y = (y1 , y2 ) , então definimos

x + y = (x1 + y1 , x2 + y2 )
Se C é um número real e x é um vetor , então definimos

cx = (cx1 , cx2 )

Essas operações são chamadas de adição vetorial e multiplicação escalar, respectivamente. Em

particular, se c = −1, o vetor cx é denotado por −x. O vetor 0 = (0, 0) é chamado de vetor zero. As
operações de adição vetorial e multiplicação escalar desfrutam das seguintes propriedades algébricas
familiares:

Teorema 1. Para todos os vetores x, y e z, e números reais c e d.

i. ( x + y ) + z = x + ( y + z )
ii. x + y = y + x .
iii. x + 0 = x .
iv. x + ( -x ) = 0 .
v . 1x = x .
vi . c ( x + y ) = cx + cy .
vii. ( c + d ) x = cx + dx .
viii. c(dx) = (cd)x.

2.3 O espaço de produto interno R2

Dados dois vetores x e y , definimos
⟨x, y⟩ = x1 y1 + x2 y2
O número ⟨x, y⟩ é chamado de produto interno de x e y. Às vezes, também é chamado de produto
escalar ou produto escalar de x e y.
As seguintes identidades relativas ao produto interno podem ser facilmente verificadas.

5
 Teorema 2.
i. ⟨x, y + z⟩ = ⟨x, y⟩ + ⟨x, z⟩ para todo x , y , z e R2 .
ii. ⟨x, cy⟩ = c⟨x, y⟩ para todo x , y e R2 e todo c ∈ R
iii . ⟨x, y⟩ = ⟨y, x⟩ para todo x , y e R2 .
iv. Se ⟨x, y⟩ = 0 para todo x e R2 , então y deve ser o vetor zero .

Observação: O Teorema 1 diz que R2 é um espaço vetorial. O Teorema 2 diz que o produto interno
é bilinear, simétrico e não degenerado. Consulte o Apêndice D para uma discussão mais aprofundada
dessas noções. Para qualquer vetor x ∈ R, definimos o comprimento de x como

√
|x| = x1 + x2
. Observe que

|x|2 = ⟨x, x⟩
.
De modo que o comprimento e o produto interno estejam intimamente relacionados.

Teorema 3. A função comprimento tem as seguintes propriedades :

i . |x| ≥ 0 para todos os x ∈ R2
ii. Se |x| = 0, então x = 0 (o vetor zero).
iii . |cx| = |c||x| para todo x e R2 e todo c ∈ R

Agora enunciamos e provamos uma propriedade menos imediata da função de produto interno e
sua conseqüência para o comprimento .

iii . x + 0 = x .
iv . x + ( -x ) = 0 .
v. 1x = x .
vi . c( x + y ) = cx + cy .
vii. ( c + d )x = cx + dx .
viii. c(dx) = (cd)x.

2.4 O espaço de produto interno R2

Dados dois vetores x e y , definimos
⟨x, y⟩ = x1 y1 + x2 y2
O número 〈x, y〉 é chamado de produto interno de x e y . Às vezes, também é chamado de produto
escalar ou produto escalar de x e y.
As seguintes identidades relativas ao produto interno podem ser facilmente verificadas.

Teorema 2
i. 〈x , y + z〉 = 〈x , y〉 + 〈x , z〉 para todo x , y , de R2
ii. 〈x , cy〉 = c〈x, y〉 para todo x , y R2 e todo c ∈ R
iii. 〈x, y〉 = 〈y, x〉 para todo x , y e R2 .
v. Se 〈x, y〉 0 para todo x e R2 , então y deve ser o vetor zero.

Observação: O Teorema 1 diz que R2 é um espaço vetorial. O teorema 2 diz que o produto interno
é bilinear, simétrico e não degenerado. Consulte o Apêndice D para uma discussão mais aprofundada
dessas noções. Para qualquer vetor x ∈ R2 definimos o comprimento de x como sendo

6
 √
|x| = x1 + x2
. Observe que

|x| = ⟨x, x⟩
De modo que o comprimento e o produto interno estejam intimamente relacionados.

Teorema 3. A função comprimento tem as seguintes propriedades:

i. |x| ≥ 0 para todo x ∈ R2 .
ii. Se |x| = 0, então x = 0 (o vetor zero).
iii. |cx| = |c||x| para todo x e R2 e todo c ∈ R. Agora enunciamos e provamos uma propriedade menos
imediata da função de produto interno e sua conseqüência para o comprimento.
Teorema 4 (Desigualdade de Cauchy-Schwarz). Para dois vetores x e y ∈ R, temos:

|⟨x, y⟩| ≤ |x||y|

A igualdade vale se somente se x e y forem proporcionais

Prova: Restringimos nossa atenção aos vetores não nulos x e y, sendo a afirmação obviamente
verdadeira quando x ou y é zero.
Considere a função de valor real f definida por
f (t) = |x + ty|2 para t ∈ R.
Usando as propriedades indicadas acima , observamos que f (t) é não negativa para todo t e que
f (t) assume o valor 0 se e somente se x for um múltiplo de y.

Por outro lado , f é um polinômio de grau 2. Especificamente .

f (t) = |x|2 + 2t<x, y> + t2 |y|2 (1.1)

e como tal permanece não negativo, somente se ⟨x, y⟩2 ≤ |x|2 |y|2 , ou seja , |⟨x, y⟩| ≤ |x||y|.
Além disso, f (t) assume o valor zero somente se |⟨x, y⟩| = |x||y|, ou seja , |⟨x, y⟩| = |x||y|.
Assim, |⟨x, y⟩| = |x||y| se e somente se x e y são proporcionais.

Corolário: Para x, y ∈ R2 .

|x + y| ≤ |x| + |y| (1.2)

A igualdade vale se e somente se x e y são proporcionais com um fator de proporcionalidade não
negativo.
Prova:
|x + y|2 = |x|2 + 2⟨x, y⟩ + |y|2
.
|x + y|2 ≤ |x|2 + 2|x||y| + |y|2 (1.3)
.
|x + y|2 = (|x| + |y|)2
.
Portanto, |x + y| ≤ |x| + |y|

Se a igualdade vale aqui , então devemos ter

⟨x, y⟩ = |x| + |y|
Do nosso trabalho sobre a desigualdade de Cauchy-Schwarz, vemos que x e y devem ser proporci-
onais. Mas x = cy leva a
⟨x, y⟩ = c⟨y, y⟩ = c|y|2
e
|x||y| = c|y||y| = c|y|2
Assim , c deve ser igual a |c| ; portanto , c ≤ 0

7
2.5 O plano euclidiano E2
O plano tem aspectos algébricos e geométricos. Quando pensamos nas propriedades algébricas, estamos
pensando nas propriedades vetoriais de R2 .
Agora nos voltamos para o conceito geométrico de distância. Se P e Q são pontos , definimos a
distância entre P e Q pela equação
d(P, Q) = |Q − P |.
O sı́mbolo E² será utilizado para denotar o conjunto R2 equipado com a função de distância d.
O conceito de distância é fundamental em geometria. Vamos agora derivar as propriedades mais im-
portantes da distância. Eles são enunciados no seguinte teorema.

Teorema 5. Sejam P , Q e R pontos de E 2 . Então

i. d(P, Q) ≥ 0.
ii. d(P, Q) = 0 se e somente se P = 0 .
iii. d(P, Q) = d(Q, P ).
iv. d(P, Q) + d(Q, R) ≥ d(P, R) (a desigualdade triangular)

Prova: Porque d(P, Q) = |Q − P | = | − (Q − P )| = |P − Q| , as três primeiras propriedades se-

guem do Teorema 3. A quarta propriedade é equivalente a mostrar que

|Q − P | + |R − Q| ≥ |(Q − P ) + (R − Q) = |R − P |

. Isso, é claro, decorre do corolário do Teorema 4. Além disso, a igualdade vale se e somente se
Q − P = u(R − Q) para algum número não negativo u. Na próxima seção veremos que isso implica
que P, Q e R são colineares.

2.6 Linhas
Uma linha em geometria analı́tica é caracterizada pela propriedade de que os vetores que unem pares
de pontos são proporcionais. Definimos uma direção como sendo o conjunto de todos os vetores
proporcionais a um dado vetor diferente de zero.
Para um dado vetor v, seja

[v] = {tv|t ∈ R} .

Se P é qualquer ponto e vis um vetor diferente de zero, então

ℓ = {X|X − P ∈ [v]} (1.4)

é chamada de reta que passa por P com direção [v]. Veja a Figura 1.1. Também escrevemos (1.4) na
forma

ℓ = P + [v]
.

Quando ℓ = P + [v] é uma linha , dizemos que v é um vetor de direção de ℓ. Se ℓ é uma linha e X
é um ponto, existem muitas frases usadas para expressar a relação X ∈ ℓ. São sinônimos:
i. X ∈ ℓ .
ii. ℓ contém X.
iii. X está sobre ℓ.

8
iv. ℓ passa por X.
v. X e ℓ são incidentes.
vi. X é incidente com ℓ.
vii. ℓ é incidente com X.

Observação: Na geometria axiomática, normalmente toma-se pontos e linhas como objetos funda-
mentais e a incidência como uma relação fundamental. Então uma geometria de incidência consistiria
em conjuntos P e L e uma relação em P X L .
A relação é assumida para satisfazer certas propriedades das quais outras propriedades do sistema
axiomático são deduzidas. Veja Greenberg [16] . Estamos sendo mais especı́ficos aqui, mas nossas pro-
posições ocorrem como axiomas ou proposições em desenvolvimentos axiomáticos da geometria plana.
Uma propriedade fundamental de uma linha é que ela é exclusivamente determinada por quaisquer
dois pontos que estejam sobre ela. Assim, é importante mencionar o seguinte:

Teorema 6. Sejam P e Q pontos distintos de E 2 . Então existe uma única linha contendo P e Q
, que denotamos por C.

Demonstração: Seja u um vetor diferente de zero. A reta P + [v] passa por Q se e somente se
[Q − P ] = [v]. Isso significa que a reta [Q − P ] = [v]. Portanto, a linha P + [Q − P ] é a única linha
necessária. Veja a Figura 1.2.
←→
Assim , um ponto tı́pico X na reta ℓ = P Q é escrito

α(t) = P + t(Q − P ) = (1 − t)P + tQ (1.5)

(Veja a Figura 1.3 para uma interpretação de adição de vetor.) Esta equação pode ser considerada
como uma representação paramétrica da linha. À medida que t percorre os números reais, α(t) percorre
a linha. O parâmetro está relacionado à distância ℓ pela fórmula

d(α(t1 ), α(t2 )) = |t2 − t1 ||Q − P l. (1.6)

Se X = (1 − t)P + tQ , onde 0 < t < 1, dizemos que X está entre P e Q.

Esta caracterização algébrica de intermediação é equivalente à seguinte caracterização geométrica .

Teorema 7. Sejam P , X e Q pontos distintos de E 2 . Então X está entre P e Q se e somente se

d(P, X) + d(X, Q) = d(P, Q).

Prova: Suponha primeiro que X está entre P e Q. Então, para algum t ∈ (0, 1)

X = (1 − t)P + tQ.

Então também,
d(P, X) = |X − P | = |t(Q − P )| = t|Q − P |.

9
Também,
d(X, Q) = |Q − X| = |(1 − t)(Q − P )| = (1 − t)|Q − P |
Portanto,
d(P, X) + d(X, Q) = t|Q − P | + (1 − t)|Q − P |
= |Q − P | = d(P, Q).
Reciprocamente, suponha que X seja um ponto de E 2 satisfazendo d(P, X) + d(X, Q) = d(P.Q). Como
vimos no Teorema 5, existe um número positivo u tal que

X − P = u(Q − X).

Resolvendo para X dá

1 u
X= P+ Q
U +1 u+1
Definindo t = u/(1 + u) , vemos que 0 < t < 1 , enquanto 1 − t = 1/(1 + u) , de modo que
X = (1 − 1)P + tQ . Assim, X está entre P e Q.

Observação: O teorema 7 está ilustrado nas Figuras 1.4 e 1.5.

Sejam P e Q pontos distintos. O conjunto que consiste em P , Q e todos os pontos entre eles é
chamado de segmento e é denotado por P Q . P e Q pontos finais do segmento. Todos os outros
pontos do segmento são chamados de pontos interiores.
Se M é um ponto satisfazendo
1
d(P, M ) = d(M, Q) = d(P, Q),
2
então M é um ponto médio de PQ. Segue facilmente do Exercı́cio 8 que cada segmento tem um único
ponto médio, ou seja,
M = (P + Q).
Se duas retas ℓ e m passam por um ponto P , dizemos que elas se interceptam em P e P é seu ponto
de interseção. Deste ponto de vista reafirmamos parte do Teorema 6 .

Teorema 8. Duas retas distintas têm no máximo um ponto de interseção.

Como veremos mais adiante, duas retas em E 2 podem não ter nenhum ponto de interseção.
Se três ou mais retas passam por um ponto P , dizemos que as retas são concorrentes. Se três ou mais
pontos estiverem em alguma linha, dizemos que os pontos são colineares.

2.7 Pares ortonormais

Dois vetores u e w são considerados ortogonais se ⟨u, v⟩ = 0. Freqüentemente, é desejável ter um vetor
disponı́vel que seja ortogonal a um determinado vetor. Se v = (v1 , v2 ), definimos v −1 = (−v2 , v1 ).
Claramente, v e u são ortogonais e têm o mesmo comprimento. Também vemos facilmente que

v ⊥⊥ = −v

10
Um vetor de comprimento 1 é dito ser um vetor unitário. Um par {v, w} de vetores ortogonais unitários
é chamado de par ortonormal.

Teorema 9. Seja {v, w} um par ortonormal de vetores em R2 . Então para todo x ∈ R2

x = ⟨x, v⟩v + ⟨x, w⟩w

Demonstração: Porque v and w são linearmente independentes, eles formam uma base para R2
(ver Apêndice D). Assim, para qualquer x ∈ R2 , existem constantes únicas λ e µ tais que x = λvµw.
Mas então, usando as propriedades fundamentais do produto interno, obtemos

⟨x, v⟩ = λ⟨v, v⟩ + µ⟨w, v⟩ = λ

e
⟨x, w⟩ = λ⟨v, w⟩ + µ⟨w, w⟩ = µ

Observação: O teorema 9 é ilustrado na Figura 1.6

2.8 A equação de uma reta

Se ℓ é uma reta com vetor de direção v, o vetor v é chamado de vetor normal a ℓ. Claramente,
quaisquer dois vetores normais à mesma reta são proporcionais. Agora derivamos uma caracterização
de uma reta em termos de seu vetor normal.
Ver Figuras 1.7 e 1.8.

11
 Teorema 10. Seja P um ponto qualquer e seja {v, N } um par ortonormal de vetores. Então

P + [v] = {X|⟨X − P, N ⟩ = 0}
Prova : Pelo Teorema 9 temos a identidade

X − P = ⟨X − P, v⟩v + ⟨X − P, N ⟩N

para qualquer ponto X em R2 . Mostramos que X está na reta P +[v] se e somente se ⟨X −P, N ⟩ = 0

Primeiro , suponha que X = P + tv para algum número real t. Então

⟨X − P, N ⟩ = ⟨tv, N ⟩ = (v, N ) = 0
.
Inversamente, se ⟨X − P, N ⟩ = 0, a identidade se reduz a

X − P = ⟨X − P, v⟩v,
de modo que

X = P + ⟨X − P, v⟩v ∈ P + [v].
Corolário: Se N for qualquer vetor diferente de zero ,{X|⟨X − P, N ⟩ = 0} é a reta que passa por
P com vetor normal N e, portanto, vetor de direção N ⊥ .

Prova: Basta observar que ⟨X − P, N ⟩ = 0 se e somente se ⟨X − P, N/|N |⟩ = 0 e aplicar o teorema.

Recordamos da geometria analı́tica elementar que {(x, y)|ax + by + c = 0} deve representar uma
reta , desde que a2 + b2 ̸= 0 . Isso se encaixa em nosso esquema da seguinte forma:

Teorema 11. Sejam a, b e c números reais. Então {(x, y)|ax + by + c = 0} é

i. O conjunto vazio se a = 0 , b = 0 , e c + 0,
ii. Todo o plano R2 se a = 0 , b = 0 , e c = 0,
iii. Uma reta com vetor normal ( a , b ) caso contrário.

Prova: Casos (i) e (ii) são óbvios. Considere agora o caso onde a2 + b2 ̸= 0. Pode-se verificar que
o conjunto em questão não está vazio. Na verdade, pelo menos um dos pontos (−c/a, 0) e (0, −c/b)
deve ser definido e satisfazer a equação. Seja P = (x1 , y1 ) qualquer ponto satisfazendo a equação.
Então c = −(ax1 + by1 ) = 0 Assim ax + by + c = 0 se e somente se a(x − x1 + b(y − y1 ). Fazendo
N = (a, b), vemos que o conjunto em questão é apenas a reta que passa por P com vetor normal N .

2.9 Retas perpendiculares

Duas retas ℓ e m são ditas perpendiculares se tiverem vectores direccionais ortogonais. Neste caso
escrevemos ℓ ⊥ m. Dois segmentos são perpendiculares se as linhas sobre as quais eles se encontram
são perpendiculares.
Uma manifestação importante da perpendicularidade é o famoso teorema de Pitágoras.

Teorema 12 (Pitágoras). Sejam P , Q e R três pontos distintos. Então |R−P |2 = |Q−P |+|R−Q|
←→ ←→
se e somente se as linhas QP e RQ são perpendiculares.

Prova: Recordamos a fórmula (1.3):

|x + y|2 ≤ |x|2 + 2|x||y| + |y|2 .

Notamos que x + y 2 = x2 + y 2 se e somente se ⟨x, y⟩ = 0. Agora coloque x = Q − P e y = R − Q .

Vemos que x + y = R − P , e, portanto, |R − P |2 = |Q − P | + |R − Q| se e somente se ⟨Q − P, R − Q⟩ = 0.
Isso significa que o segmento P Q e o segmento QR são perpendiculares. A próxima propriedade das
linhas perpendiculares é mais evidente intuitivamente do que o teorema de Pitágoras, mas mais difı́cil
de provar. Veja a Figura 1.9.

12
 Teorema 13. Se ℓ ⊥ m, então ℓ e m têm um único ponto em comum .
Prova: Seja ℓ = P + [v] e m = Q + [w]. Podemos supor que v e w são vetores unitários, de modo
que {v, w} é um conjunto ortonormal. Escrevemos

P − Q = ⟨P − Q, v⟩v + ⟨P − Q, w⟩w,

e , portanto ,
P − ⟨P − Q, v⟩v = Q + ⟨P − Q, w⟩w.
Por fim,
F = P − ⟨P − Q, v⟩v = Q + ⟨P − Q, w⟩w
vemos que F reside em ℓ e m
F é o único ponto comum, pois se fossem dois, pelo Teorema 8 as retas deveriam coincidir. Este
resultado nos permite obter um resultado motivado por uma construção de Euclides.

Teorema 14. Seja X um ponto , e seja ℓ uma reta . Então existe uma única linha m através de
X perpendicular a ℓ . Além disso,
i. m = X + [N ], onde N é um vetor normal unitário a ℓ;
ii. ℓ e m intersectam-se no ponto F = ⟨X − P, N ⟩N , onde P é qualquer ponto em ℓ;
iii. d(X, F ) = ⟨X − P, N ⟩.

Observação: A construção de m e quando ℓ e X são dados é chamada de erguer uma perpendicular

de ℓ até X se X estiver sobre f . Caso contrário, é chamado de queda de uma perpendicular de ℓ de X.
Neste caso, o único ponto de interseção de ℓ e m é chamado de pé F da perpendicular. O teorema 14
é ilustrado nas Figuras 1.10 e 1.11.

Teorema 15. Seja ℓ uma reta qualquer, e seja X um ponto não pertencente a ℓ. Seja F o pé da
perpendicular de X a ℓ. Então F é o ponto de ℓ mais próximo de X. (Veja a Figura 1.12.)

13
 Prova: Seja P qualquer ponto em ℓ. Como P F ⊥ F X, o teorema de Pitágoras retorna |X − P |2 =
|X − F |2 + |F − P |2 . Assim, |X − P |2 = |X − F |2 com igualdade se e somente se P = F .

Definição. O número d(X, F ) é chamado de distância do ponto X à linha ℓ e é escrito d(X, ℓ).

Observação: d(X, ℓ) é a distância mais curta de X a qualquer ponto de ℓ.

Corolário. Seja ℓ uma reta com vetor normal unitário N . Seja X qualquer ponto de R2 . Se P é
qualquer ponto em ℓ, então
d(X, ℓ) = |⟨X − P, N ⟩|.
Agora apresentamos outra construção útil envolvendo perpendicularidade.
←→
Seja PQ um segmento. A linha que passa pelo ponto médio M de P Q que é perpendicular a P Q é
chamada de bissetriz perpendicular do segmento PQ. Veja a Figura 1.13.

Observação: A bissetriz perpendicular consiste precisamente em todos os pontos que são equidis-
tantes de P e Q.

2.10 Retas paralelas e que se interceptam

Duas rectas distintas ℓ e m dizem-se paralelas se não tiverem ponto de intersecção. Neste caso escre-
vemos ℓ||m.
À luz dos exercı́cios da seção sobre retas, se ℓ é qualquer reta, P é qualquer ponto em ℓ, e v é qualquer
vetor de direção de ℓ, então ℓ = P + [v].
Temos o seguinte critério para paralelismo.

Teorema 16. Duas retas ℓ e m distintas são paralelas se e somente se têm a mesma direção.
(Lembre-se que a direção de uma reta P + [v] é o conjunto [v].)

14
 Prova: Suponha que ℓ e m tenham um ponto comum F . Podemos escrever ℓ = F +[v] e m = F +[w]
para vetores diferentes de zero v e w. como ℓ e m são distintos , [v] ̸= [w].
Reciprocamente , suponha que ℓ e m tenham direções diferentes [v] e [w] . Seja P qualquer ponto de
ℓ, e seja Q qualquer ponto de m. Porque u e w não são proporcionais, existem números t e s tais que
P − Q = tv + sw. (Veja Apêndice D.) Isso significa que P − tv = Q + sw. Seja F = P − tv = Q + sw.
Então F é um ponto comum de ℓ e m.

As retas paralelas vêm em famı́lias, uma para cada direção. Uma reta m perpendicular a um
membro ℓ da famı́lia é também perpendicular a todas as outras. Assim, é possı́vel parametrizar a
famı́lia pelos números , essencialmente medindo a distância ao longo de m Embora esses fatos sejam
intuitivos e familiares , é necessário apontá-los explicitamente aqui para compará-los com as situações
análogas em geometrias não-euclidianas.
Deixamos as provas destes para os exercı́cios. Os casos (i)-(iii) são ilustrados nas Figuras 1.14-1.16,
respectivamente. A Figura 1.16 também ilustra o Teorema 18.

Teorema 17.
i. Se ℓ||m e m||n, então ℓ = n ou ℓ||n.
ii. Se ℓ||m e m ⊥ n, então ℓ ⊥ n.
iii. Se ℓ ⊥ n e m ⊥ n , então ℓ ⊥ n ou ℓ = m.

Teorema 18. Sejam ℓ e m linhas paralelas. então existe um único número d(ℓ, m) tal que
d(X, ℓ) = d(Y, m) = d(ℓ, m)
para todo X ∈ m e todo Y ∈ ℓ. De fato, se N é um vetor normal unitário para ℓ e m então para
quaisquer pontos X em m e Y em ℓ,
|⟨X − Y, N ⟩| = d(ℓ, m).
Assim , retas paralelas permanecem ”equidistantes”. As retas que se cruzam , por outro lado , se
comportam como segue:

15
 Teorema 19. Seja ℓ uma reta qualquer, e seja m uma reta interceptando ℓ em um ponto P . Sejam
v e w a direção unitária vetores de ℓ e m, respectivamente. Seja (t) = P + tw uma parametrização de
m. Então d(α(t), ℓ) = |t||⟨w, v ⊥ ⟩|. Assim como X varia através de m, d(X, ℓ) varia através de todos
os números reais não negativos, cada número real positivo ocorrendo duas vezes. Veja a Figura 1.17.

2.11 Reflexões
Qualquer subconjunto do plano é chamado de figura. Naturalmente, algumas figuras são mais inte-
ressantes do que outras. Figuras com alto grau de simetria são as mais interessantes, não apenas por
considerações estéticas, mas também porque ocorrem na natureza. Flocos de neve, moléculas e cristais
são três exemplos de objetos com seções transversais simétricas. O tipo mais simples de simetria que
uma figura plana pode ter é a simetria em relação a uma linha. Veja a Figura 1.18.

Agora formulamos esta noção com precisão. Seja ℓ uma linha passando por um ponto P e tendo
unidade normal N . Dois pontos X e X ′ são simétricos sobre ℓ se o ponto médio do segmento XX ′ é
o pé F da perpendicular de X a ℓ. Veja a Figura 1.19.

16
 Em outras palavras, X e X ′ são aproximadamente simétricos se tivermos
1
(X + X ′ ) = F.
2
Pelo Teorema 14, isso significa que
1 1
X + X ′ = X − ⟨X − P, N ⟩N,
2 2
1 ′ 1
X = X − ⟨X − P, N ⟩N,
2 2
X ′ = X − 2⟨X − P, N ⟩N
Para considerar a simetria sobre várias linhas, é conveniente adotar uma abordagem dinâmica ex-
pressando a relação entre X e X ′ em termos de uma transformação que leva X para X ′ ’.

Definição. Para uma linha ℓ a reflexão em ℓ é o mapeamento e de E 2 para E 2 definido por

Ωℓ X = X − 2⟨X − P, N ⟩N,

onde N é uma unidade normal a ℓ e P é qualquer ponto de ℓ.

Se é uma figura tal que F = F , então dizemos que F é simétrica em relação a ℓ. A linha ℓ é chamada
de linha de simetria ou eixo de simetria de F .
Investigaremos agora algumas das propriedades das reflexões.

Teorema 20.
i. d(Ωℓ X, Ωℓ Y ) = d(X, Y ) para todos os pontos X e Y em E 2 .
ii. Ωℓ Ωℓ X = X para todos os pontos X em E 2
iii. Ωℓ : E 2 → E 2 é uma bijeção.

Prova:
i. Ωℓ X − Ωℓ Y = X − Y − 2⟨X − Y, N ⟩N . Assim ,
|Ωℓ X − Ωℓ Y |2 = |X − Y |2 − 4(⟨X − Y, N ⟩)2 + 4(⟨X − Y, N ⟩)2 ⟨N, N ⟩
. = |X − Y |2 .

ii . Escreva Ωℓ X = X − 2λN , onde λ = ⟨X − P, N ⟩. Então

Ωℓ Ωℓ X = X − 2λN − 2⟨X − 2λN − P, N ⟩N
. = X − 2λN − 2⟨X − P, N ⟩N + 4λ⟨N, N ⟩N
. = X − 2λN − 2λN + 4λN
. =X

iii . Primeiro mostramos que Ωℓ , é injetivo. Se , Ωℓ X = Ωℓ Y , então Ωℓ Ωℓ X= Ωℓ Ωℓ Y e X = Y

, por (ii). Para mostrar que ele é sobrejetivo , seja Y qualquer ponto de E 2 . Seja X = Ωℓ Y . Então
Ωℓ X = Y , de modo que Y esteja na faixa de Ωℓ .

Teorema 21. Ωℓ X = X se e somente se X ∈ ℓ.

Prova: X − 2⟨X − P, N ⟩N = X se e somente se ⟨X − P, N ⟩N = 0, isto é, ⟨X − P, N ⟩ = 0. A

afirmação agora segue do Teorema 10.

Observação: Um ponto fixo de um mapeando T é um ponto X satisfazendo T X = X. Assim , o

Teorema 21 diz que os pontos fixos de uma reflexão são aqueles que estão sobre seu eixo.

17
 Observação: O Teorema 20 mostra que as reflexões são bijeções involutivas que preservam a
distância. Nós estudaremos bijeções que preservam a distância (isometrias) na próxima seção. Di-
zer que um mapeamento T é involutivo significa T 2 = T T = I , o mapeamento de identidade de E 2 .
(Veja também Apêndice B.)

2.12 Congruências e isometrias

Se F é qualquer figura e Ωℓ é qualquer reflexão, entãoΩℓ F é chamada de imagem espelhada de F na
reta ℓ. Observa-se que a figura e sua imagem espelhada têm o mesmo “tamanho” e “forma”. Se Ωm
é a segunda reflexão, então Ωm Ωℓ F tem novamente o mesmo tamanho e forma que F (Ver a fgura
1.20).

Pode-se pensar em se mover F ”rigidamente”no plano de modo que coincida com Ωm Ωℓ F . A

propriedade chave que torna precisas nossas noções intuitivas de tamanho, forma e movimento rı́gido
é que a distância entre cada par de pontos em F é igual à distância entre os pares de pontos corres-
pondentes em Ωm Ωℓ F . Apresentamos o conceito geral de mapeamento ou isometria que preserva a
distância da seguinte forma:

Definição. Um mapeamento T de E 2 em E 2 é dito ser uma isometria se para qualquer X e Y

em E 2 ,
d(T X, T Y ) = d(X, Y ).

Definição. Duas figuras F1 , e F2 são congruentes se existe uma isometria T tal que T F1 = F2 .

Mostramos na seção anterior que toda reflexão é uma isometria. Embora nem toda isometria seja
uma reflexão, veremos adiante que toda isometria é o produto (composição) de no máximo três re-
flexões. Assim, as reflexões são os blocos básicos de construção das isometrias. Toda isometria T é
uma bijeção de E 2 sobre E 2 . De fato, se T X = T Y , então
0 = d(T X, T Y ) = d(X, Y ),
de modo que X = Y . Portanto, o mapeamento inverso T −1 existe. De fato, também é uma isometria
porque
d(T −1 X, T −1 Y ) = d(T T −1 X, T T −1 Y ) = d(X, Y ).
Além disso, se T e S são isometrias , então
d(T SX, T SY ) = d(SX, SY ) = d(X, Y ).
Agora enunciamos esses resultados formalmente.

Teorema 22.
i. Se T e S são isometrias, T S também é.
ii. Se T é uma isometria, T −1 também é.
iii. O mapa de identidade I de E 2 é uma isometria.

Em outras palavras, o conjunto de todas as isometrias é um grupo denominado grupo de isometrias

de E 2 . É denotado por I (E 2 ).

18
2.13 Grupos de simetria
Seja F uma figura em E 2 . Então o conjunto

S (F ) = T ∈ I (E 2 )|T F = F


é um subgrupo de I (E 2 ) chamado grupo de simetria de F . O fato de S (F ) ser um subgrupo pode

ser facilmente verificado. O tamanho do grupo de simetria de F é uma medida do grau de simetria
da figura. Mostraremos, por exemplo, em um capı́tulo posterior que um triângulo equilátero (Figura
1.21) possui um grupo de simetria de ordem 6 gerado por reflexões nas três medianas. O triângulo
isósceles ABC (Figura 1.22) possui um grupo de simetria de ordem 2 gerado pela reflexão na mediana
AM . O cı́rculo tem um grupo de simetria infinito gerado por reflexões em todos os diâmetros. Para
uma discussão elementar de grupos de simetria, veja Alperin [2].

2.14 Translações
Existe uma maneira simples de descrever o produto de duas reflexões? Nesta seção, respondemos a
essa pergunta afirmativamente no caso em que os eixos de reflexão são paralelos. Especificamente, se
m e n são linhas paralelas , podemos escolher P arbitrariamente sobre m e escolher Q para ser o pé
da perpendicular de P para n. Então se N é um vetor normal unitário a n (e portanto para n), obtemos:

Ωm Ωn x = Ωn x − 2⟨Ωn X − P, N ⟩N
. = x − 2⟨x − Q, N ⟩N − 2⟨x − P, N ⟩N + 4⟨x − Q, N ⟩⟨N, N ⟩N
. = x − 2⟨x − Q, N ⟩N − 2⟨x − P, N ⟩N + 4⟨x − Q, N ⟩⟨N, N ⟩N
. = x + 2⟨P − Q, N ⟩N
. = x + 2(P − Q) (1.7)

O último passo usa o fato de que P Q é perpendicular a m.

Definição. Seja ℓ uma linha qualquer, e sejam m e n linhas perpendiculares a ℓ. A transformação

Ωm Ωn é chamada de translação ao longo de ℓ. Se m ̸= n, diz-se que a translação não é trivial.

Observação: Quando duas retas em E 2 são perpendiculares a ℓ, elas são, naturalmente, paralelas.
Por outro lado, quando duas retas são paralelas, existe uma reta (na verdade, infinitas retas)
perpendicular a ambas. Nas geometrias que estudaremos mais adiante neste livro, essas propriedades
não serão verdadeiras. No plano projetivo, por exemplo, duas retas podem ser perpendiculares a uma
terceira reta, mas não paralelas. Já no plano hiperbólico, existem retas paralelas sem nenhuma
perpendicular comum. Assim, se nossa terminologia aqui parece mais especı́fica do que o necessário,
ela está sendo configurada para que seja aplicável também às outras geometrias que estudamos.

Vemos agora que no plano euclidiano, uma translação não determina unicamente uma reta, embora
determine uma famı́lia paralela. Nos exercı́cios, você será solicitado a provar o seguinte:

Teorema 23. Seja T uma translação ao longo de ℓ . Se ℓ′ é qualquer linha paralela a ℓ, então T
também é uma translação ao longo de ℓ′ .

19
Também observamos que cada translação ao longo de ℓ tem o efeito de adicionar um vetor direção de
ℓ a cada vetor no plano.

Teorema 24. Seja T uma translação não trivial ao longo de ℓ. Então ℓ tem um vetor de direção v
tal que
Tx = x + v (1.8)
para todo x ∈ E 2 . Reciprocamente, se v é qualquer vetor diferente de zero e ℓ é qualquer linha com
vetor de direção v, então a transformação T determinada por (1.8) é uma translação ao longo de ℓ

Prova: Seja N um vetor de direção unitário para ℓ. Seja P um ponto arbitrário de E 2 . Sejam α e β
retas perpendiculares a ℓ . (Veja a Figura 1.23.) Sejam a e b os números únicos tais que P + aN ∈ α
e P + bN ∈ B. Nossa fórmula (1.7) torna-se por:

Ωα Ωβ x = x + 2(P + aN − P − bN )

= x + 2(a − b)N.
Se T ̸= I, devemos ter a ̸= b, de forma que 2(a − b)N seja o vetor de direção requerido.
Reciprocamente, suponha que para cada número real λ definimos uma aplicação Tλ po

Tλ x = x + λN. (1.9)
Se a e b são quaisquer dois números tais que λ = 2(a − b), construı́mos α = P + aN + [N ⊥ ] e
β = P + bN + [N ⊥ ] e observamos que Tλ = Ωα Ωβ

Agora investigamos o grupo de todas as isometrias geradas por reflexões em retas perpendiculares a
ℓ. Primeiro, devemos introduzir alguma nova terminologia.

Definição. O conjunto de todas as retas perpendiculares a uma dada reta ℓ ∈ E 2 é chamado de

pencil de paralelas. A linha ℓ é uma perpendicular comum para o pencil. (Veja a Figura 1.24.)

Notamos que pegar qualquer linha m ∈ E 2 junto com todas as linhas paralelas a m seria uma
construção equivalente.
Até agora descobrimos que o produto de duas reflexões em linhas de um pencil de paralelas é uma
translação ao longo da perpendicular comum ℓ. Investigamos agora mais a fundo a estrutura
algébrica do conjunto de isometrias formadas por reflexões de tal famı́lia.
Começamos com as translações. Denotamos o conjunto de todas as translações ℓ por TRANS(ℓ).

20
Teorema 25. TRANS(ℓ) é um grupo abeliano isomorfo ao grupo aditivo dos números reais.

Demonstração: Adotamos a notação do Teorema 24. Então

Tλ ◦ Tµ (x) = Tλ (x + µN ) = x + µN + λN
= x + (µ + λ)N = Tµ+λ x.
Da mesma forma,
Tµ ◦ Tλ (x) = Tλ+µ (x).
Como µ + λ = λ + µ as translações ao longo de ℓ comutam.
Além disso, definir λ = 0 produz T0 = I e Tλ ◦ T−λ = T0 = I, de modo que

(Tλ )−1 = T−λ

Assim, TRANS(ℓ) é um subgrupo de I (E 2 ). Além disso, o mapeamento λ → Tλ , de R para
TRANS(ℓ) é um isomorfismo. Isto é visto observando que T0 = I, Tλ−1 = T−λ , e Tλ Tµ = Tλ+µ

Seja P o pencil de todas as linhas que são perpendiculares a uma linha . Denotamos por REF(P) o
grupo gerado por todas as reflexões da forma Ωm , onde m ∈ P. Em outras palavras, REF(P) é o
menor subgrupo de I (E 2 ) contendo todo Ωm . Por sua vez , TRANS(ℓ) é um subgrupo de REF
REF(P).
Para discutir a álgebra de REF(P), precisamos ser capazes de calcular o produto de qualquer
número de reflexões na famı́lia determinada por P. Já sabemos que em nossa notação Ωα Ωβ = Tλ ,
Tomamos agora três linhas, α, β, γ, de P. correspondentes aos números a, b e c. Então

Ωα Ωβ Ωγ = Ωα ◦ T2(b−c)
Ωα Ωβ Ωγ x = Ωα (x + 2(b − c)N )
. = Ωα (2µN ) ⇐⇒ µ = 2(b − c)
. = x + µN − 2⟨x + µN − P − aN, N ⟩N
. = x − 2⟨x − P, N ⟩N + (2a − µ)N
. = x − 2⟨x − P, N ⟩N + (2a − b + c)N
. = x − 2⟨x − (P + (a − b + c)N ), N ⟩N

Reconhecemos o lado direito como a fórmula da reflexão na reta γ ∈ P passando pelo ponto P + dN ,
onde d = a − b + c. Assim, o produto de três reflexões em linhas de P é uma quarta reflexão em uma
linha do mesmo pencil. Esta é a nossa primeira instância de um teorema de três reflexões, que
desempenha um papel tão importante na classificação das isometrias das geometrias planas.

Teorema 26 (Teorema das três reflexões). Sejam α, β e γ três linhas de um pencil P com
perpendicular comum ℓ. Então existe uma única quarta linha γ deste pencil tal que

Ωα Ωβ Ωγ = Ωδ

. Existem muitas maneiras pelas quais uma dada tradução pode ser representada como o produto de
duas reflexões. Usando o teorema das três reflexões, podemos exibir essa flexibilidade com precisão.

21
Teorema 27 (Teorema de representação para translações). Seja T = Ωα Ωβ qualquer membro
de TRANS(ℓ).Semensãoretasarbitráriasperpendicularesaℓ, então existem retas únicas m′ e n′ tais
que

T = Ωm Ωn = Ωm′ Ωn′
Prova: Aplique o teorema das três reflexões m, α, e β para produzir uma única linha m′ tal que
Ωm Ωα Ωβ = Ωm′ . Em seguida, multiplicar ambos os lados por produz Ωα Ωβ = Ωm′ Ωm A linha n′ é
obtida analogamente.
Corolário. Cada elemento de REF(P) é uma translação ao longo de ℓ ou uma reflexão em uma
linha de P.
Prova: Isso fica claro na tabela de multiplicação de grupos a seguir, que resume os fatos que
estabelecemos.

Aqui, indexamos temporariamente as reflexões Ω por números em vez de linhas. Assim , por
exemplo, Ωa , é a abreviação de Ωα , onde Ωα = P + aN + [N ⊥ ].
Seja v qualquer vetor em E 2 . Definimos τ , a translação por v, por

τv x = x + v.

(Se v = 0, τv = I, e temos a translação trivial.) Embora todas as translações surjam da maneira que
descrevemos, é possı́vel discutir de forma elementar o produto de duas translações que não seguem a
mesma linha . Nós iremos.
Teorema 28. O conjunto F ( E ) de todas as translações é um subgrupo abeliano de ( E² ) . Prova:
As seguintes equações são fáceis de verificar e implicam as conclusões do teorema: Corolário. (E²) é
isomorfo ao grupo R² com adição de vetores. 0

22