Vous êtes sur la page 1sur 174

Fundamentos da Geometria

Fernando Manfio
ICMC USP

Sumrio
Introduo

iv

Linhas histricas da Geometria

Fundamentos da Geometria

1 Axiomas de Incidncia
1.1 Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
2
3

2 Axiomas de Ordem
2.1 Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4
4
7

3 Axiomas de Continuidade
3.1 Axiomas sobre medida de segmentos . . . . . . . . . . . . . .
3.2 Axiomas sobre medida de ngulos . . . . . . . . . . . . . . . .
3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8
8
11
15

4 Axiomas de Congruncia
17
4.1 Congruncia de segmentos e ngulos . . . . . . . . . . . . . . 17
4.2 Congruncia de tringulos . . . . . . . . . . . . . . . . . . . . 18
4.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5 O Teorema do ngulo Externo
23
5.1 O teorema do ngulo externo . . . . . . . . . . . . . . . . . . 23
5.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

II

Geometria Euclidiana Plana

32

6 Axioma das Paralelas


33
6.1 O axioma das paralelas . . . . . . . . . . . . . . . . . . . . . . 33
6.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
7 Polgonos
7.1 Introduo . . . . . . . . . . . . .
7.2 Polgonos regulares . . . . . . . .
7.3 Polgonos congruentes por cortes
7.4 Exerccios . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

39
39
40
44
47

8 rea
8.1 A unidade de medida . . .
8.2 rea de regies poligonais
8.3 Definio geral de rea . .
8.4 Aplicaes . . . . . . . . .
8.5 Exerccios . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

50
50
52
56
57
61

9 Semelhana
9.1 A definio de semelhana
9.2 Homotetias . . . . . . . .
9.3 Semelhana de tringulos
9.4 Exerccios . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

63
63
66
69
73

.
.
.
.
.

75
75
80
84
88
92

.
.
.
.

96
96
98
103
106

10 Circunferncia
10.1 A circunferncia . . . . . . . . . . . . . . . . . . . . . .
10.2 Polgonos inscritos numa circunferncia . . . . . . . . .
10.3 Potncia de um ponto em relao a uma circunferncia
10.4 Semelhana no crculo . . . . . . . . . . . . . . . . . .
10.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . .
11 Isometrias do plano
11.1 Introduo . . . . . . . . . . . . . . .
11.2 Exemplos de isometrias . . . . . . .
11.3 Classificao das isometrias do plano
11.4 Exerccios . . . . . . . . . . . . . . .

ii

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

III

Geometria Euclidiana Espacial

107

12 Pontos, Retas e Planos


108
12.1 Noes primitivas e axiomas . . . . . . . . . . . . . . . . . . . 108
12.2 Construo de pirmides e paraleleppedos . . . . . . . . . . . 111
12.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
13 Paralelismo
13.1 Paralelismo de reta e plano
13.2 Paralelismo de planos . . .
13.3 Proporcionalidade . . . . .
13.4 Exerccios . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

115
115
117
119
122

14 Ortogonalidade
123
14.1 Ortogonalidade entre reta e plano . . . . . . . . . . . . . . . . 123
14.2 Ortogonalidade de planos . . . . . . . . . . . . . . . . . . . . 128
14.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
15 Distncias, projees e ngulos
15.1 Distncias e projees . . . . . . . . . . . . . . . . . . . . . .
15.2 ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

132
132
137
139

16 Isometrias em E3
16.1 O grupo das isometrias Iso(E3 ) . . . . . . . . . . . . . . . . .
16.2 Classificao das isometrias em E3 . . . . . . . . . . . . . . .
16.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

140
140
143
144

17 Poliedros
17.1 Exemplos e relaes fundamentais . . . . . . . . . . . . . . . .
17.2 O Teorema de Euler para poliedros convexos . . . . . . . . . .
17.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

146
146
151
155

18 O terceiro problema de Hilbert


157
18.1 Volume de slidos . . . . . . . . . . . . . . . . . . . . . . . . . 157
18.2 O terceiro problema de Hilbert . . . . . . . . . . . . . . . . . 158
18.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
Referncias Bibliogrficas

163

iii

Introduo
Caro leitor,
Estas notas foram escritas para servir de texto a um curso de Geometria elementar para alunos iniciantes de graduao, tendo como objetivo
apresentar os fundamentos da Geometria sob o ponto de vista axiomtico,
caracterizando em seguida a Geometria Euclidiana Plana e discutindo alguns
problemas interessantes de Geometria Espacial.
O conjunto de axiomas escolhido aquele apresentado por A. Pogorelov
[14]. A vantagem desta escolha que esta leva o estudante rapidamente aos
teoremas mais importantes. O roteiro de apresentao dos axiomas segue os
moldes do excelente livro de Lucas Barbosa [3].
A primeira parte do texto corresponde aos fundamentos da Geometria.
Todos os resultados obtidos nesta parte so vlidos em qualquer geometria,
Euclidiana ou no. Mais precisamente, o conjunto de axiomas escolhido pode
ser adotado em qualquer geometria, de modo a obter os mesmos resultados
iniciais.
A segunda parte aborda a Geometria Euclidiana Plana. O ponto de partida o quinto postulado, ou o Axioma das Paralelas. Vrios teoremas e
aplicaes so discutidos. Especial ateno dada aos conceitos de rea de
polgonos, semelhanas, propriedades da circunferncia, culminando com as
transformaes do plano, onde apresentamos a classificao das isometrias
de um ponto de vista totalmente geomtrico.
Na terceira e ltima parte do texto, apresentamos rapidamente as noes primitivas e axiomas da Geometria espacial e, em seguida, discutimos
as noes de paralelismo e ortogonalidade entre retas e planos. Por fim, apresentamos alguns problemas acerca dos poliedros, como a noo de volume, o
teorema de Euler para poliedros convexos e o terceiro problema de Hilbert.

iv

Linhas histricas da Geometria


Os Elementos de Euclides
Os registros mais antigos que temos de atividades humanas acerca da
geometria remontam poca das antigas civilizaes da Mesopotmia. Embora o historiador grego Herdoto atribua aos egpcios o incio da geometria,
alguns tabletes de argila datados do perodo 1900 1600 a.C., durante o antigo imprio babilnico, contm textos e diagramas indicando algum tipo de
familiaridade desses povos com a geometria, com instncias do Teorema de
Pitgoras. Os babilnios, os egpcios e outros povos da Antiguidade que desenvolveram formas primitivas de geometria, como os hindus e os chineses,
eram motivados por necessidades prticas de medies geomtricas como,
por exemplo, a demarcao de terras.
O processo de transio, da geometria como um conjunto de regras impricas e teis, aplicadas a casos particulares e cujas justificativas eram
aparentemente negligenciadas, para uma geometria na concepo de cincia, buscando explicaes racionais para seus resultados, deve-se aos gregos.
Possivelmente, foi um processo lento e gradual. Vrios pensadores gregos
visitaram antigos centros de conhecimento, como o Egito e a Babilnia, e l
adquiriram conhecimentos sobre matemtica e astronomia. Muito pouco se
sabe sobre a vida e a obra desses pioneiros.
Tales de Mileto (624 547 a.C.) considerado como sendo o introdutor da
geometria na Grcia e o primeiro homem da histria a que foram atribudas
descobertas matemticas cientficas. Com o objetivo de verificar a correo
dos resultados estabelecidos, ele desenvolveu a primeira geometria lgica. A
sistematizao iniciada por Tales foi continuada, nos dois sculos seguintes,
por Pitgoras de Samos (569 475 a.C.) e seus discpulos. Conta-se que,
em suas viagens, Pitgoras teria encontrado Tales e sofrido influncia dele
e, mais tarde, Pitgoras teria fundado uma irmandade secreta em Croton,
uma colnia grega no sul da Itlia, cuja importncia avaliada pelas ideias
que difundiu. Pitgoras buscava na aritmtica e na geometria a chave para
v

a compreenso do universo e, devido s suas convices, frequentemente


citado como sendo o primeiro matemtico puro da histria. Foram os pitagricos, membros da sua irmandade, que descobriram os nmeros racionais.
Plato (427 347 a.C.) nasceu em Atenas, mas acabou tendo contato com
a escola pitagrica em suas viagens. Retornando a Atenas, por volta de 389
a.C., fundou sua famosa Academia e dedicou o resto de sua vida a escrever e
ensinar. Embora tenha feito poucos trabalhos originais em matemtica, deu
contribuies profundas na lgica e nos mtodos usados em geometria.
A ideia grega de usar a matemtica para compreender os mistrios do
universo dependia de uma noo de demostrao matemtica. A percepo
desse fato , provavelmente, a primeira descoberta importante na histria
da cincia. Credita-se a Tales e Pitgoras a introduo dessa noo. Mas
devido a Plato a compreenso da verdade nesse contexto. Segundo ele,
tanto as noes como as proposies matemticas no se referem a objetos
do mundo fsico, mas a certas entidades ideais que habitam um mundo diferente do mundo fsico. Por exemplo, uma reta que traamos em uma folha
de papel apenas uma representao, aproximada, da reta que vive em um
mundo de ideias ou, como alguns preferem, em um mundo platnico de entidades ideais. O mesmo se aplica s proposies matemticas verdadeiras.
Essa abordagem nos alerta para distinguirmos as noes matemticas precisas das aproximaes que encontramos no mundo fsico. Alm disso, as
proposies matemticas que habitam o mundo platnico, ditas verdadeiras,
esto submetidas a um padro de objetividade externo que no depende de
nossas mentes, opinies ou processos culturais.
Euclides (325 265 a.C.) provavelmente foi aluno da Academia de Plato
e foi o fundador da forte escola matemtica de Alexandria, numa poca em
que Atenas passava por um momento de declnio poltico. Sua obra principal,
os Elementos, consiste de treze volumes que contm a maior parte da matemtica conhecida na poca. Trata-se de um texto sistemtico, organizado
segundo os critrios de rigor lgico-dedutivo, mas tambm de experincia intuitiva. O volume I trata de geometria plana e sua construo baseia-se em
dez proposies, separadas em dois grupos: cinco foram classificadas como
axiomas e as outras como postulados. poca, os axiomas consistiam basicamente em verdades aplicveis a todas as cincias, enquanto que os postulados
eram verdades acerca da particular disciplina em estudo, como a geometria.
Os cinco axiomas eram:
1. Coisas que so iguais a uma mesma coisa so iguais entre si.
2. Se iguais so adicionados a iguais, os resultados so iguais.
vi

3. Se iguais so subtrados de iguais, os restos so iguais.


4. Coisas que coincidem uma com a outra, so iguais.
5. O todo maior do que qualquer uma de suas partes.
Os postulados eram:
1. Existe uma nica reta contendo dois pontos dados.
2. Todo segmento de reta pode ser estendido indefinidamente em todas
as direes.
3. Existe uma circunferncia com quaisquer centro e raio dados.
4. Todos os ngulos retos so iguais entre si.
5. Se uma reta intercepta outras duas retas formando ngulos colaterais
internos cuja soma menor do que dois retos, ento as duas retas, se
estendidas indefinidamente, interceptam-se no lado no qual esto os
ngulos cuja soma menor do que dois retos.
Nota-se, primeira vista, que a natureza do enunciado do quinto postulado diferente da dos precedentes. Segundo a Definio 23 do volume
I dos Elementos, retas paralelas so retas contidas num mesmo plano que,
se prolongadas indefinidamente, no se interceptam, de modo que ele descreve exatamente uma situao em que duas retas no so paralelas. Ainda
na poca dos gregos algumas dvidas foram levantadas quanto colocao
desse enunciado como um postulado e no como uma proposio passvel
de demonstrao. Dentre as tentavias gregas de prov-lo, destacam-se as de
Ptolomeu e Proclo. Posteriores a estes, outros famosos matemticos tentaram demonstr-lo: Nasiradin (1201 1274), John Wallis (1616 1703),
Gerolamo Sacheri (1667 1733), John H. Lambet (1728 1777), Adrien
M. Legendre (1752 1833), Louis Bertrand (1731 1812) e Carl F. Gauss
(1777 1855). Estes deixaram nas suas obras referncias relevantes sobre o
assunto.
Os primeiros que compreenderam que o quinto postulado de Euclides era
indemonstrvel e que se poderia, a partir de sua negao, construir geometrias novas e totalmente coerentes foram Gauss, Lobachevski (1792 1856)
e Bolyai (1802 1860), que chegaram s suas concluses de forma independente um dos outros. Para os gregos, principalmente para os seguidores de
Plato, o espao fsico era uma entidade absoluta, a realizao direta de um

vii

objeto platnico. A geometria Euclidiana era a cincia do espao fsico e, portanto, a nica geometria possvel e certamente a verdadeira, e constitua-se
do estudo de propriedades das figuras geomtricas mergulhadas nesse espao.
Com as descobertas de Gauss, Lobachevski e Bolyai, no apenas a geometria
Euclidiana deixou de ser a nica possvel, mas tambm deixou de ser aquela
verdadeira. Finalizou-se assim uma poca na histria da matemtica que
fora inaugurada dois milnios antes, originando-se uma transformao profunda no apenas do pensamento matemtico, mas tambm do pensamento
terico em geral, que acabaria por influenciar nossas concepes do universo
e do mundo fsico.
Os trabalhos de Gauss, Lobachevski e Bolyai mas, principalmente, dos
dois ltimos, foram levados s suas devidas propores por Friedrich B. Riemann (1826 1866) que deu incio a um segundo perodo no desenvolvimento
das geometria Euclidianas e no-Euclidianas, perodo este caracterizado pelas investigaes sob o ponto de vista do Clculo Diferencial, em contraste
com os mtodos sintticos previamente utilizados. A preocupao com a fundamentao da geometria em bases slidas dominou a pesquisa matemtica
sobre o assunto culminando com a reconstruo da geometria Euclidiana por
Hilbert o que, finalmente, encerrou a longa batalha com o quinto postulado
de Euclides.

Os Axiomas de Hilbert
Um sistema axiomtico consiste num conjunto de verdades acerca de uma
determinada realidade, organizado de tal forma que todos os conceitos so
definidos a partir de alguns poucos conceito bsicos, chamados termos primitivos, os quais no se define e que so conhecidos intuitivamente. Esses
conceitos so ento articulados por meio de algumas proposies primitivas,
chamados axiomas1 , que no se demonstram, pois sua veracidade evidente
pela intuio que temos acerca do domnio em estudo. As demais proposies, os teoremas, so ento obtidos por demonstrao a partir dos axiomas.
Alm disso, um sistema axiomtico deve satisfazer trs condies seguintes:
ser consistente, ou seja, os axiomas no podem contradizer uns aos outros,
por si mesmos ou por suas consequncias; deve ser completo, no sentido de
serem suficientes para provar verdadeiras ou falsas todas as proposies formuladas no contexo da teoria em questo; por fim, cada axioma deve ser
independente dos demais, no sentido de que no consequncia deles, sob
1

Hoje em dia, a distino entre axioma e postulado no mais feita, subentendendo


que significam a mesma coisa.

viii

pena de ser suprfluo.


A fundamentao da geometria estabelecida por David Hilbert (1862
1943) parte de dois termos primitivos que so as noes de ponto e reta. Entre
estes termos primitivos, Hilbert supe a existncia de trs relaes primitivas
que so expressas por um ponto pertence a uma reta, um ponto est entre
dois pontos e a relao de congruncia. Esses termos e relaes primitivas
devem satisfazer uma srie de axiomas. Hilbert apresenta esses axiomais, em
seu trabalho The Foundations of Geometry [11], em cinco grupos:
1. Axiomas de Incidncia,
2. Axiomas de Ordem,
3. Axiomas de Congruncia,
4. Axiomas de Continuidade,
5. Axioma das Paralelas.
Os axiomas de incidncia expressam a noo de estar em, enquanto os
axiomas de ordem expressam a noo de estar entre. Os axiomas de continuidade no envolvem uma nova relao primitiva mas tratam de garantir que
certas construes, que vo nos permitir medir distncias entre pontos, so
possveis. O axioma das paralelas abre porta Geometria Euclidiana. Nesse
texto, adotaremos o axioma enunciado por John Playfair (1748 1819), ao
invs do quinto postulado enunciado por Euclides:
Por um ponto fora de uma reta dada pode-se traar uma nica reta
paralela reta dada.

interessante notar que esse axioma j havia sido considerado por Proclo,
como o prprio Playfair apontou, mas normalmente associado ao nome de
Playfair.
O fundamental dos termos e relaes primitivas, bem como dos axiomas,
entender claramente o adjetivo primitivo. Com isso, o que se quer dizer
que estes termos e relaes no vo ser definidos atravs de outros, mas cada
pessoa deve fazer a sua prpria representao do que so pontos, retas, estar
em, etc. No importa a imagem que cada um faa desses objetos e relaes,
o que essencial que as interconexes entre eles, expressas pelos axiomas,
sejam reconhecidos como verdadeiras.

ix

Parte I

Fundamentos da Geometria

Captulo 1

Axiomas de Incidncia
Os axiomas de incidncia definem a ideia expressa pela noo de estar
em, alm de estabelecer uma conexo entre os termos primitivos do plano:
ponto e reta.

1.1

Axiomas

Axioma 1. Dados quaisquer dois pontos distintos, A e B, existe uma nica


reta que os contm.
De acordo com o Axioma 1, uma reta est completamente determinada
pela especificao de dois pontos distintos. Assim, denotaremos a nica reta
que passa pelos pontos distintos A e B por AB, e diremos a reta AB.
Definio 1.1.1. Se um ponto comum a duas retas, dizemos que este
ponto um ponto de interseo dessas retas. Duas retas que se interceptam
num nico ponto so chamadas de retas concorrentes.
r
P
s

Figura 1.1: Retas r e s concorrentes no ponto P .


Axioma 2. Em cada reta existem ao menos dois pontos distintos e existem
trs pontos distintos que no pertencem a uma mesma reta.
2

Segue do Axioma 2 que reta um subconjunto prprio do plano.


Proposio 1.1.2. Duas retas distintas ou no se interceptam ou se interceptam em um nico ponto.
Demonstrao. Dados duas retas distintas, suponha que elas se interceptam
em dois (ou mais) pontos. Pelo Axioma 1, estas retas sero coincidentes,
o que uma contradio pois, por hiptese, elas so distintas. Portanto, a
interseo dessas retas ou vazia ou s contm um ponto.
Definio 1.1.3. Pontos pertencentes a uma mesma reta so chamados
colineares; caso contrrio, so chamados no-colineares.
Observao 1.1.4. Ao estudarmos geometria comum darmos uma representao grfica aos termos primitivos. Imaginamos um plano como uma
superfcie de uma folha de papel que se estende indefinidamente em todas
as direes. Nela, a marca da ponta de um lpis representa um ponto e a
parte de uma reta obtida usando-se uma rgua. Por exemplo, na Figura
1.1, esto representadadas duas retas, r e s, e um ponto P , que o ponto de
interseo dessas retas. Muitas vezes faremos uso desse artifcio. No entanto,
os desenhos devem ser considerados apenas como um instrumento de auxlio
intuio e linguagem e, em momento algum, devem ser utilizados como
dados para demonstraes.

1.2

Exerccios

1. Quantos pontos comuns a pelo menos duas retas pode ter um conjunto
de trs retas distintas do plano? E um conjunto de quatro retas?
2. Prove que trs pontos no-colineares determinam trs retas. Quantas
retas so determinadas por quatro pontos, sendo que estes so trs a trs
no-colineares? E para o caso de seis pontos?
3. Usando apenas os conhecimentos estabelecidos at ento, discuta a seguinte questo: Existem retas que no se interceptam?
4. Por que o conjunto de todos os pontos do plano no pode ser uma reta?
O conjunto vazio pode ser uma reta do plano?
5. De acordo com os Axiomas 1 e 2, qual o nmero mnimo de pontos de
uma reta?

Captulo 2

Axiomas de Ordem
Os axiomas de ordem definem a ideia expressa pelo termo estar entre,
e tornam possvel, com base nessa ideia, descrever uma ordem de sequncia
dos pontos sobre uma reta. Os pontos de uma reta tm uma certa relao
um com o outro, e a noo de estar entre servir para descrev-la.

2.1

Axiomas

Axioma 3. Para quaisquer trs pontos distintos colineares, apenas um deles


est entre os outros dois.
As expresses um ponto C est entre A e B, um ponto C separa os pontos
A e B ou os pontos A e B esto em lados opostos do ponto C sero assumidas
como equivalentes.

A
Figura 2.1: O ponto C est entre A e B.
Axioma 4. Se A, B e C so pontos tais que C est entre A e B ento estes
trs pontos so distintos, colineares e C est entre B e A.
Definio 2.1.1. Dados dois pontos distintos, A e B, o conjunto dos pontos
A, B e todos os pontos que esto entre A e B chamado de segmento AB.
Se A e B so coincidentes, dizemos que AB o segmento nulo. Os pontos A
e B so chamados as extremidades do segmento AB.
4

Definio 2.1.2. Dados dois pontos distintos, A e B, a semi-reta de origem


A contendo o ponto B o conjunto dos pontos do segmento AB unido com
todos os pontos C tais que B est entre A e C.

B
Figura 2.2: Semi-reta SAB .

A semi-reta de origem A contendo o ponto B ser denotada por SAB .


Dois pontos distintos, A e B, determinam duas semi-retas, SAB e SBA , as
quais contm o segmento AB. Alm disso, temos a seguinte:
Proposio 2.1.3. As semi-retas SAB e SBA satisfazem as seguintes propriedades:
(a) SAB SBA a reta determinada por A e B, i.e., a reta AB.
(b) SAB SBA o segmento AB.
Demonstrao. (a) Como as semi-retas SAB e SBA so constitudas de pontos da reta AB, segue que SAB SBA est contido na reta AB. Por outro
lado, se P um ponto da reta AB, o Axioma 3 garante que apenas uma das
seguintes possibilidades ocorre:
(i) P est entre A e B,
(ii) A est entre B e P ,
(iii) B est entre A e P .
No caso (i), o ponto P pertence ao segmento AB; no caso (ii), P pertence
a SBA ; no caso (iii), P pertence a SAB . Portanto, em qualquer caso, P
pertence a SAB SBA .
(b) Dado um ponto P SAB SBA suponha, por absurdo, que P no pertena ao segmento AB. Assim, A est entre P e B ou B est entre A e P .
No primeiro caso, concluimos que P SBA e P 6 SAB , o que uma contradio. Analogamente para o segundo caso. Reciprocamente, todo ponto
P pertencente ao segmento AB pertence, por definio, s semi-retas SAB e
SBA logo, P est na interseo SAB SBA .
Axioma 5. Dados dois pontos distintos, A e B, existem um ponto C entre
A e B e um ponto D tal que B est entre A e D.
Decorre do Axioma 5 que entre quaisquer dois pontos existe uma infinidade de pontos. Alm disso, toda semi-reta SAB contm uma infinidade de
pontos alm daqueles pertencentes ao segmento AB.
5

Considere uma reta r e dois pontos distintos, P e Q, no pertencentes


a r. Dizemos que os pontos P e Q esto em um mesmo lado da reta r se o
segmento P Q no a intercepta. Caso contrrio, dizemos que P e Q esto em
lados opostos da reta r.

Q
P
r
R
Figura 2.3: P e Q esto do mesmo lado de r; P e R esto em lados opostos.
Definio 2.1.4. Dados uma reta r e um ponto P no pertencente a r, o
semi-plano determinado por r contendo P o conjunto de todos os pontos
Q tais que P e Q esto do mesmo lado de r, unido aos pontos de r.
A reta r chamada de origem do semi-plano.
Axioma 6 (Separao do plano). Uma reta r determina somente dois semiplanos distintos, cuja interseo a prpria reta r.
Uma figura geomtrica simplesmente um subconjunto prprio do plano.
Usando-se segmentos, podemos construir inmeras figuras geomtricas. Uma
das mais simples o tringulo, que formada por trs pontos no-colineares e
pelos segmentos definidos por esses trs pontos. Os trs pontos so chamados
vrtices do tringulo e os segmentos so os lados do tringulo.
Indicaremos o tringulo determinado pelos pontos A, B e C por ABC,
e diremos tringulo ABC.

Figura 2.4: Tringulo ABC.


Teorema 2.1.5 (Pash). Se ABC um tringulo e r uma reta que intercepta o lado AB em um ponto entre A e B, ento r tambm intercepta, pelo
menos, um dos outros dois lados.
6

Demonstrao. Se o ponto C pertence a r, o Teorema est provado pois,


neste caso, r intercepta os dois lados, AC e BC. Suponha, ento, que C 6 r
(cf. Figura 2.5). Como A e B no pertencem a r e o segmento AB intercepta
r segue, por definio, que A e B esto em lados opostos de r. Como C 6 r,
segue do Axioma 6 que C est do mesmo lado de A em relao a r ou do
mesmo lado de B em relao a r. Se A e C esto do mesmo lado de r, ento
B e C esto em lados opostos de r. Isso significa que r intercepta o segmento
BC e no intercepta AC. Se B e C esto do mesmo lado de r, analogamente
se prova que r intercepta o segmento AC e no intercepta BC.

Figura 2.5: Teorema de Pash.

2.2

Exerccios

1. So dados quatro pontos A, B, C e D e uma reta r que no contm


nenhum deles. Sabe-se que os segmentos AB e CD interceptam a reta r e
que o segmento BC no a intercepta. Mostre que o segmento AD tambm
no a intercepta.
2. Dados quatro pontos A, B, C e D, mostre que se os segmentos AB e CD
se interceptam, ento os pontos B e D esto em um mesmo semi-plano em
relao reta que passa por A e C.
3. Sejam AB e CD segmentos e E um ponto tais que AB CD = {E}.
Mostre que a reta que contm AB no pode conter CD.
4. Seja C um ponto pertencente semi-reta SAB , com C 6= A. Mostre que
SAB = SAC , BC SAC e que A 6 BC.
5. Podem existir dois segmentos distintos tendo dois pontos em comum? E
tendo exatamente dois pontos em comum?

Captulo 3

Axiomas de Continuidade
Os axiomas de continuidade no envolvem uma terceira relao primitiva
mas tratam de garantir que certas construes, que vo nos permitir medir
distncias entre pontos, so possveis.

3.1

Axiomas sobre medida de segmentos

O conceito de medida de um segmento introduzido mediante a adoo


de uma unidade de comprimento que, neste curso, a faremos axiomaticamente. Uma vez que soubermos medir segmentos estaremos aptos a poder
compar-los em tamanho.
Axioma 7. A cada segmento AB est associado um nico nmero real positivo, e ao segmento nulo est associado o nmero zero.
O nmero associado a um segmento AB, dado pelo Axioma 7, chamado de medida do segmento AB, ou comprimento do segmento AB, e ser
denotado por AB.
Axioma 8. Se um ponto C est entre dois pontos A e B ento
AB = AC + CB.
Dados uma reta r e um ponto O r, o ponto O divide r em duas semiretas opostas. A uma destas chamamos de parte positiva de r, a outra de
parte negativa. Considere um ponto A pertencente parte positiva de r, com
A 6= O. Ao ponto A fica associado um nico nmero real positivo OA, dado
pelo Axioma 7. Se A pertence parte negativa de r, com A 6= O, ele fica
associado um nico nmero real negativo OA. Se A O, temos OA = 0.
Portanto, todo ponto da reta r fica associado, de modo nico, um nmero
8

real que ser chamado a coordenada desse ponto. Note que, pelo Axioma 8,
essa correspondncia unvoca, no seguinte sentido. Se A e A0 so pontos
distintos de r, ento OA 6= OA0 .
Axioma 9. A todo nmero real positivo fica associado um segmento, cuja
medida igual ao nmero dado, sendo que ao nmero zero fica associado o
segmento nulo.
Axioma 10 (Transporte de segmento). Fixado um segmento arbitrrio AB,
para qualquer segmento CD, existe um nico ponto E pertencente semi-reta
SCD tal que AB = CE.
Os Axiomas 9 e 10 permitem-nos considerar a recproca da correspondncia estabelecida no pargrafo logo aps o Axioma 8. De fato, dado uma
reta r, fixe um ponto arbitrrio O sobre r. Dado um nmero real positivo x,
considere um segmento AB, com AB = x, dado pelo Axioma 9. Pelo Axioma
10, existe um nico ponto P sobre a parte positiva de r tal que OP = AB.
Se x = 0, tome P O; se x for negativo, considere P na parte negativa de
r. Portanto, a cada nmero real fica associado, de modo nico, um ponto da
reta r. Alm disso, pelo Axioma 9, esta correspondncia tambm unvoca.
Essas duas correspondncias, estabelecidas at agora, podem ser resumidas no seguinte:
Teorema 3.1.1. Existe uma correspondncia biunvoca entre pontos de uma
reta e nmeros reais.
A bijeo do Teorema 3.1.1 as vezes chamada de sistema de coordenadas
para a reta considerada. O nmero real, associado a cada ponto P dessa reta
, como j vimos, a coordenada de P em relao reta. O ponto da reta
associado ao nmero zero chamado a origem do sistema de coordenadas.
Dado um segmento AB, denotaremos por a e b as coordenadas de suas
extremidades A e B, respectivamente. Assim, a medida do segmento AB
ser a diferena entre o maior e o menor destes nmeros. Isso equivalente
a tomar a diferena entre a e b em qualquer ordem e, em seguida, considerar
o seu valor absoluto. Portanto,
AB = |a b|.

(3.1)

A relao (3.1) nos diz como determinar a medida de um segmento a partir


das coordenadas de suas extremidades. Como os nmeros reais so ordenados pela relao menor do que (ou pela relao maior do que), podemos
estabalecer uma relao de ordem para os pontos de uma reta.
9

Lema 3.1.2. Numa semi-reta SAB , se um segmento AC tal que AC < AB


ento C est entre A e B.
Demonstrao. Como A a origem de SAB e B, C SAB , o ponto A no
pode estar entre B e C. Se B estiver entre A e C, segue do Axioma 8 que
AC = AB + BC logo, AC > AB, o que uma contradio. Portanto, o
ponto C deve estar entre A e B.
Teorema 3.1.3. Sejam A, B, C trs pontos colineares e distintos, cujas
coordenadas so a, b e c, respectivamente. Ento, o ponto C est entre A e
B se, e somente se, c est entre a e b.
Demonstrao. Se o ponto C est entre A e B, decorre do Axioma 8 que
AB = AC + CB, ou seja,
|b a| = |c a| + |b c|.

(3.2)

Se a < b, decorre da igualdade (3.2) que


|c a| < b a e |b c| < b a.
Isso implica que
ca<ba e bc<ba
logo, c < b e a < c, i.e., c ent entre a e b. Concluso anloga se supormos
que a > b. Reciprocamente, suponha que c est entre a e b. Assim,
|b a| = |c a| + |b c|,
ou seja, AB = AC + CB e isso implica, em particular, que
AC < AB

e CB < AB.

(3.3)

Se B e C pertencem a uma mesma semi-reta com origem em A, segue do


Lema 3.1.2 que C est entre A e B. Resta provar que A no separa B e C.
Se isso ocorre, A est entre B e C e, assim, BC = BA + AC. Isso implica
que BC > AB, contradizendo (3.3).
Definio 3.1.4. O ponto mdio de um segmento AB um ponto C deste
segmento tal que AC = CB.
Teorema 3.1.5. Todo segmento AB tem um nico ponto mdio.

10

Demonstrao. Se a e b so as coordenadas dos pontos A e B, respectivamente, considere o nmero real c = 12 (a + b). Pelo Teorema 3.1.1, existe um
ponto C pertencente reta AB cuja coordenada c. Temos


1

AC = |c a| = (a + b) a = |b a|
2
e



1

CB = |c b| = (a + b) b = |a b|
2

logo, AC = CB. Como c est entre a e b, segue do Teorema 3.1.3 que C


est entre A e B. Portanto, o ponto C ponto mdio de AB. Quanto
unicidade, suponha que exista outro ponto C 0 pertencente ao segmento AB
tal que AC 0 = C 0 B. Se c0 a coordenada de C 0 , temos
c0 a = b c0 ,

se a < c0 < b

a c0 = c0 b,

se b < c0 < a.

ou
Em qualquer caso, obtemos
1
c0 = (a + b).
2
Assim, c0 = c e, pelo Teorema 3.1.1, concluimos que C = C 0 .

3.2

Axiomas sobre medida de ngulos

Analogamente ao caso de segmentos, introduziremos o conceito de medida de ngulo, o que tambm nos possibilitar compar-los em tamanho.
Definio 3.2.1. ngulo uma figura geomtrica formada por duas semiretas com mesma origem.
As semi-retas so chamadas de lados do ngulo e a origem comum o
vrtice do ngulo. Se os lados de um ngulo so semi-retas opostas, esse
ngulo chamado de ngulo raso; caso os lados so semi-retas coincidentes,
chamamos o ngulo de ngulo nulo.
Existem vrias formas de representar um ngulo. Por exemplo, se O
o vrtice e A, B so pontos distintos de um ngulo, um em cada lado do
\ ou BOA.
\ Quando nenhum
ngulo, este pode ser representado por AOB
11

A
O
B

\
Figura 3.1: ngulo AOB.
outro ngulo tem o mesmo vrtice, podemos usar apenas a letra que designa o vrtice para represent-lo. Assim, o ngulo da Figura 3.1 pode ser
b Em algumas ocasies, comum utilizar
representado simplesmente por O.
letras minsculas do alfabeto grego para representar um ngulo. Neste caso,
usual escrever a letra que designa o ngulo prximo do vrtice e entre as
duas semi-retas.

Figura 3.2: ngulo .


Semelhantemente aos axiomas sobre medida de segmentos, introduziremos agora os axiomas que nos diro como medir ngulo.
Axioma 11. A todo ngulo est associado um nico nmero real positivo.
Este nmero zero se, e somente se, o ngulo constitudo por duas semiretas coincidentes.
O nmero dado pelo Axioma 11 chamado de medida do ngulo.
Definio 3.2.2. Dizemos que uma semi-reta divide um semi-plano se ela
estiver contida neste semi-plano e sua origem for um ponto da reta que o
determina (cf. Figura 3.3).
Axioma 12. Dado um nmero real r > 0, possvel colocar em correspondncia biunvoca os nmeros reais entre 0 e r e as semi-retas de mesma origem que dividem um dado semi-plano, de modo que a diferena entres estes
nmeros seja a medida do ngulo formado pelas semi-retas correspondentes.
Aos ngulos raso e nulo ficam associados os nmeros r e zero, respectivamente, e reciprocamente.

12

Figura 3.3: Diviso de um semi-plano.


No caso em que r = 180, a medida de ngulo d o resultado em graus.
Quando r = 200, a medida em grados e, quando r = , a medida est dada
em radianos.
O nmero associado a cada semi-reta, dado pelo Axioma 12, chama-se a
coordenada da semi-reta. Assim, se a e b forem as coordenadas dos lados do
\ ento |a b| a medida deste ngulo, e escreveremos
ngulo AOB,
\ = |a b|.
AOB
Sejam SOA , SOB , SOC semi-retas com mesma origem O. Dizemos que
\ se o segmento AB intercepta SOC .
SOC divide o ngulo AOB
\ ento AOB
\=
Axioma 13. Se uma semi-reta SOC divide um ngulo AOB
[
\
AOC + COB.
Dois ngulos so chamados consecutivos se eles tm um lado em comum.
Se os outros lados dos ngulos esto em semi-planos opostos, definidos pelo
lado comum, esses ngulos so chamados adjacentes. Por exemplo, na Figura
\ e AOC
[ so consecutivos e adjacentes; no entanto, AOB
\
3.4, os ngulos AOB
\
e BOC so consecutivos mas no so adjacentes.

B
O
Figura 3.4: ngulos consecutivos e adjacentes.
Definio 3.2.3. Dois ngulos so chamados suplementares se a soma de
suas medidas 180o . O suplemento de um ngulo o ngulo adjacente ao
ngulo dado obtido pelo prolongamento de um de seus lados.
13

B
C
A

Figura 3.5: ngulos suplementares.


Decorre diretamente da definio que um ngulo e seu suplemento so
ngulos suplementares. Alm disso, se dois ngulos tm a mesma medida,
ento o mesmo ocorre com os seus suplementos.
Definio 3.2.4. ngulos opostos pelo vrtice so aqueles em que os lados
de um so as respectivas semi-retas opostas aos lados do outro.

A
O
B

Figura 3.6: ngulos opostos pelo vrtice.


Proposio 3.2.5. ngulos opostos pelo vrtice tm a mesma medida.
\ e COD
\ dois ngulos opostos pelo vrtice. Como
Demonstrao. Sejam AOB
\
o ngulo AOD suplementar a ambos, obtemos
\ + AOD
\ = 180o
AOB

\ + AOD
\ = 180o .
e COD

(3.4)

\ = COD.
\
Disso decorre que AOB
Definio 3.2.6. ngulo reto um ngulo cuja medida 90o . Duas retas
so chamadas perpendiculares se elas se interceptam e um dos quatro ngulos
formados por elas for reto.
Teorema 3.2.7. Por qualquer ponto de uma reta passa uma nica reta perpendicular a reta dada.

14

Demonstrao. Dados uma reta r e um ponto O r, considere as duas semiretas opostas determinadas por O; elas formam um ngulo raso. Considere
um dos semi-planos determinados por r. Pelo Axioma 12, existe uma nica
semi-reta com origem O, dividindo o semi-plano fixado e cuja coordenada
90o . Esta semi-reta forma com as semi-retas determinadas em r, pelo
ponto O, ngulos de 90o . Logo, a semi-reta assim construda est contida
numa reta s, que contm o ponto O, e perpendicular reta r. Quanto
unicidade, suponha que existam duas retas, s e s0 , passando pelo ponto
O, e perpendiculares a r. Fixemos um dos semi-planos determinados por
r. As instersees de s e s0 com este semi-plano so semi-retas que formam
um ngulo entre si, e formam outros dois ngulos e com as semi-retas
determinadas pelo ponto O r. Como s e s0 so perpendiculares a r tem-se
= = 90o . Por outro lado, como semi-retas opostas definem o ngulo
raso, temos + + = 180o . Isso implica que = 0o e, portanto, s e s0 so
coincidentes.

3.3

Exerccios

1. Considere trs pontos colienares A, B, C, sendo que B est entre A e C,


e AB = BC. Se M o ponto mdio de AB e N o ponto mdio de BC,
prove que M N = AB.
2. Sejam M , A, B pontos colineares e distintos. Dizemos que M divide
o segmento AB na razo a se a = M A/M B. Dado qualquer nmero real
positivo a, prove que existe um nico ponto M AB tal que M divide AB
na razo a.
3. Sejam A, B e C trs pontos no plano tais que a distncia de A a B
igual a soma das distncias de A a C e de C a B. O que podemos afirmar
sobre estes pontos?
4. Considere quatro pontos distintos, A, B, C e D, e uma reta r que no
contm nenhum dos pontos dados. Suponhas que os segmentos AB e CD
interceptam r e que AC no a intercepta. O que podemos afirmar sobre o
segmento BD?
5. Um ponto C pertencente a um segmento AB chamado seo urea de
AB se
AC/CB = AB/AC.
Prove que se C seo
urea de AB, ento

51
5+1
5+1
AC = 2 AB e que AB = 2 AC; o nmero 2 chamado nmero
ureo. Prove tambm que todo segmento possui uma seo urea.

15

6. Prove que duas retas concorrentes so perpendiculares se, e somente se,


elas formam ngulos adjacentes suplementares de mesma medida.
7. Prove que se um ngulo e seu suplemento tm a mesma medida ento o
ngulo reto.
8. Um ngulo chamado agudo se mede menos de 90o , e chamado obtuso
se mede mais de 90o . Prove que o suplemento de um ngulo agudo sempre
um ngulo obtuso.
9. Se duas retas se interceptam formando quatro ngulos e um deles reto,
prove que os outros tambm o so.
10. Dois ngulos so chamados complementares se sua soma um ngulo
reto. Considere dois ngulos complementares tais que o suplemento de um
deles mede tanto quanto o suplemento do segundo mais 30o . Quanto medem
os dois ngulos?
11. Por que o complemento de um ngulo sempre menor do que o seu
suplemento?
12. Qual a medida da diferena entre o suplemento de um ngulo e seu
complemento?
\ prove que existe uma nica semi-reta SOC tal
13. Dado um ngulo AOB,
[
\
\
que AOC = COB. A semi-reta SOC chamada de bissetriz do ngulo AOB.
14. Prove que as bissetrizes de um ngulo e do seu suplemento so perpendiculares.
15. Prove que as bissetrizes de dois ngulos opostos pelo vrtice so semiretas opostas.

16

Captulo 4

Axiomas de Congruncia
Os axiomas deste captulo expressam a ideia de congruncia ou de superposio. A ideia intuitiva que se procura precisar com a noo de congruncia
a de que dois segmentos ou ngulos congruentes tm a mesma medida ou
podem ser superpostos por um movimento rgido do plano, ou seja, por uma
aplicao que no distora as figuras. Essa noo de congruncia de segmentos e ngulos ser naturalmente estendida aos tringulos, onde obteremos
teoremas que nos do condies suficientes para a congruncia de tringulos.

4.1

Congruncia de segmentos e ngulos

Definio 4.1.1. Dois segmentos AB e CD so chamados congruentes se


eles tm a mesma medida, ou seja, se AB = CD. Diremos que dois ngulos
beB
b so congruentes se eles tm a mesma medida.
A
Denotaremos a congruncia entre os segmentos AB e CD utilizando o
smbolo e escreveremos AB CD. Assim, AB CD se, e somente se,
AB = CD. Da mesma forma para a congruncia de ngulos, diremos que os
beB
b so congruentes denotando por A
b B.
b
ngulos A
Neste texto usamos o termo congruente, e no igual, para distinguir do
termo igual, que significa, matematicamente, o mesmo objeto matemtico.
Com esta definio de congruncia, as propriedades que envolvem igualdade de nmeros reais passam a valer para a congruncia de segmentos e
de ngulos. Como consequncia disso, a relao uma relao de equivalncia, ou seja, satisfaz as propriedades reflexiva, simtrica e transitiva de
congruncia.

17

4.2

Congruncia de tringulos

A fim de simplificar a notao, denotaremos um tringulo, definido por


trs pontos no-colineares A, B e C, por 4ABC ou, simplesmente, por
ABC.
Definio 4.2.1. Dois tringulos so chamados de congruentes se existe uma
correspondncia biunvoca entre seus vrtices de modo que lados e ngulos
correspondentes sejam congruentes.
Isso significa que se ABC e XY Z so dois tringulos congruentes e se
: {A, B, C} {X, Y, Z}
a bijeo que define a congruncia, com
A 7 X,
B 7 Y,
C 7 Z,
ento valem as seguintes relaes:
b X,
b
A
b Yb ,
B

AB XY,
AC XZ,

b Z,
b
C

BC Y Z.

Os vrtices A e X, B e Y , C e Z so chamados correspondentes. ngulos


correspondentes so aqueles cujos vrtices so correspondentes, e lados correspondentes so os lados cujas extremidades so vrtices correspondentes.
Se ABC e XY Z so tringulos congruentes, escreveremos ABC XY Z,
significando que a congruncia leva A em X, B em Y e C em Z.
Axioma 14. Se dois tringulos ABC e XY Z so tais que AB XY ,
bX
b ento ABC XY Z.
AC XZ e A
Pelo Axioma 14, a fim de verificar a congruncia entre dois tringulos,
basta verificar apenas trs relaes, ao invs das seis relaes exigidas na
Definio 4.2.1. Este axioma chamado primeiro caso de congruncia de
tringulos ou, simplesmente, caso LAL.
Teorema 4.2.2 (caso ALA). Dois tringulos ABC e XY Z so congruentes
bX
b eB
b Yb .
se AB XY , A
18

bX
b
Demonstrao. Dados dois tringulos ABC e XY Z, com AB XY , A
b Yb , conside o ponto D sobre a semi-reta SAC tal que AD XZ.
e B
b X,
b segue
Considere o tringulo ABD. Como AB XY , AD XZ e A
\
do Axioma 14 que ABD XY Z. Disso decorre, em particular, que ABD
b
b
\
\
\
Y . Como, por hiptese, temos ABC Y , concluimos que ABD ABC.
Decorre da que as semi-retas SBD e SBC coincidem e, assim, os pontos B e
C so coincidentes. Portanto, os tringulos ABC e ABD so congruentes e,
pela transitividade da relao , concluimos que ABC XY Z.

B X

Figura 4.1: Caso ALA.


Definio 4.2.3. Um tringulo que tem dois lados congruentes chamado
issceles; os lados congruentes so as laterais e o terceiro lado a base do
tringulo. Um tringulo que tem os trs lados congruentes chama-se equiltero.
Proposio 4.2.4. Em qualquer tringulo issceles, os ngulos da base so
congruentes.
Demonstrao. Seja ABC um tringulo issceles, com AB AC. Provemos
b C.
b De fato, considere a aplicao : {A, B, C} {A, C, B}
que B
definida por
A 7 A,
B 7 C,
C 7 B.
b A,
b segue do
Por hiptese, temos que AB AC e AC AB. Como A
b
b
Axioma 14 que ABC ACB. Decorre, em particular, que B C.
A Proposio seguinte a recproca da Proposio 4.2.4.
Proposio 4.2.5. Se um tringulo tem dois ngulos congruentes, ento ele
iscsceles.

19

b C.
b Provemos que AB
Demonstrao. Seja ABC um tringulo, com B
AC. De fato, considere a aplicao : {A, B, C} {A, C, B} definida por
A 7 A,
B 7 C,
C 7 B.
b C,
b C
b B
b e BC CB, segue do Teorema 4.2.2 que ABC
Como B
ACB. Disso decorre, em particular, que AB AC.
Das Proposies 4.2.4 e 4.2.5 concluimos que um tringulo issceles se,
e somente se, os ngulos da base so congruentes.
Dado um tringulo ABC, considere um ponto D sobre a reta determinada
por B e C. Se D ponto mdio do segmento BC, o segmento AD chama-se
\
mediana do tringulo ABC relativo ao vrtice A. Se D tal que CAD
b
\
DAB, AD chama-se a bissetriz do ngulo A. Se D tal que a reta AD
perpendicular reta BC, AD chamada altura do tringulo ABC relativo
ao vrtice A.
Proposio 4.2.6. Em qualquer tringulo issceles, a mediana relativa
base tambm altura e bissetriz.
Demonstrao. Dado um tringulo issceles ABC, de base BC, seja AD
\ DAC
\ e BDA
\ = 90o .
sua mediana relativo a BC. Provemos que BAD
b C,
b segue do Axioma 14 que
De fato, como BD DC, AB AC e B
\ DAC
\ e ADB
\ ADC.
\ Como
ABD ACD. Assim, BAD
\ + ADC
\ = BDC
\ = 180o ,
ADB
\ = ADC
\ = 90o logo, AD perpendicular a BC.
concluimos que ADB
A

Figura 4.2: Proposio 4.2.6.

20

Teorema 4.2.7 (Teorema LLL). Dois tringulos so congruentes se possuem


os lados correspondentes congruentes.
Demonstrao. Sejam ABC e XY Z dois tringulos tais que AX XY ,
AC XZ e BC Y Z. Considere o semi-plano determinado pela semireta SAB e oposto ao vrtice C. Neste semi-plano, considere o ngulo com
b tendo por lado SAB . No outro lado
vrtice A, congruente ao ngulo X,
deste ngulo, considere o ponto D tal que AD XZ. Como AB XY ,
b segue do Axioma 14 que ABD XY Z. Provemos
\ X,
AD XZ e DAB
que ABD ABC. De fato, como
AD XZ AC

e DB Y Z BC,

os tringulos ACD e BCD so issceles. Assim,


\ ADC
\
ACD

\ BDC
\
e BCD

\ ADB.
\ Assim, pelo Axioma 14, tem-se ADB ACB. Porlogo, ACB
tanto, pela equivalncia da relao , concluimos que ABC XY Z.

D
Figura 4.3: Caso LLL.

4.3

Exerccios

1. Um ngulo raso dividido por duas semi-retas em trs ngulos adjacentes


congruentes. Prove que a bissetriz do ngulo do meio perpendicular aos
lados do ngulo raso.
2. Dois segmentos AB e CD se interceptam em um ponto M , o qual ponto
mdio dos dois segmentos. Prove que AC BD.
3. Em um tringulo ABC, a altura do vrtice A perpendicular ao lado BC
e o divide em dois segmentos congruentes. Prove que AB AC.
21

4. Prove que os pontos mdios de um tringulo issceles formam um tringulo que tambm issceles.
5. Prove que um tringulo equiltero tambm equiangular, ou seja, os trs
ngulos internos so congruentes.
6. Na Figura 4.4, o ponto A o ponto mdio dos segmentos CB e DE.
Prove que os tringulos ABD e ACE so congruentes.
B
A

E
C

Figura 4.4
7. Na Figura 4.5, ABD e BCD so tringulos issceles com base BD. Prove
\ ADC
\ e que AC bissetriz do ngulo BCD.
\
que ABC
B

D
A

Figura 4.5
8. A mediatriz de um segmento AB a reta perpendicular a AB passando
pelo seu ponto mdio. Prove que todo ponto pertencente mediatriz de AB
equidistante de A e B. Reciprocamente, prove que o conjunto dos pontos
que satisfaz a propriedade de serem equidistantes dos extremos A e B a
mediatriz do segmento AB.
9. Prove que em qualquer tringulo equiltero as trs medianas so congruentes.
10. Prove que todo tringulo, no qual uma altura e uma bissetriz so coincidentes, issceles.

22

Captulo 5

O Teorema do ngulo Externo


Neste captulo estudaremos vrios resultados envolvendo propriedades de
tringulos; nenhum axioma novo introduzido aqui. O resultado central
o teorema do ngulo externo e a partir dele obteremos inmeras aplicaes,
dentre elas a existncia de retas paralelas e a desigualdade triangular.

5.1

O teorema do ngulo externo

b B
beC
b de
Dado um tringulo ABC, comum chamarmos os ngulos A,
ngulos internos do tringulo. Os suplementos destes ngulos so chamados
\
de ngulos externos do tringulo. Por exemplo, na Figura 5.1, o ngulo CBD
\
um ngulo externo do tringulo ABC, adjacente ao ngulo interno CBA.

\
Figura 5.1: ngulo externo CBD.
Teorema 5.1.1 (ngulo externo). A medida de um ngulo externo de qualquer tringulo maior que a medida de qualquer um dos ngulos internos
no adjacentes a ele.
Demonstrao. Dado um tringulo ABC, considere um ponto D sobre a
be
\>A
semi-reta SAB tal que B esteja entre A e D. Provaremos que CBD
23

b De fato, sejam M o ponto mdio do segmento BC e N o ponto


\ > C.
CBD
na semi-reta SAM tal que M esteja entre A e N e AM M N . Temos:
CM BM,

AM M N

\
\
e AM
C BM
N.

Assim, pelo Axioma 14, os tringulos AM C e BM N so congruentes e,


b M
\
\
\
\
portanto, C
BN . Como M
BD = M
BN + N
DB, concluimos que
b
b
\
\ > A.
CBD > C. De forma inteiramente anloga se prova que CBD

N
M

Figura 5.2: Teorema do ngulo externo.


Corolrio 5.1.2. A soma das medidas de quaisquer dois ngulos internos
de um tringulo menor que 180o .
b+
Demonstrao. Dado um tringulo ABC, mostremos, por exemplo, que A
o
b
B < 180 . De fato, seja a medida do ngulo externo do tringulo ABC,
b Pelo Teorema 5.1.1, temos A
b < . Como e B
b so
adjacente ao ngulo B.
o
o
b = 180 logo, A
b+B
b < +B
b = 180 , como
suplementares, temos + B
queramos.

q
B

Figura 5.3: Corolrio 5.1.2.


Corolrio 5.1.3. Em todo tringulo existem, pelo menos, dois ngulos internos agudos.
Demonstrao. Se um tringulo possuir dois ngulos internos no agudos, a
soma deles maior ou igual a 180o , contradizendo o Corolrio 5.1.2.

24

Corolrio 5.1.4. Se duas retas distintas, r e s, so perpendiculares a uma


terceira, ento elas no se interceptam.
Demonstrao. Se r e s se interceptam, temos definido um tringulo com
dois ngulos retos, contradizendo o Corolrio 5.1.3.
O Corolrio 5.1.4 motiva a seguinte
Definio 5.1.5. Duas retas que no se interceptam so chamadas paralelas.
Corolrio 5.1.6 (Caso LAA). Dois tringulos ABC e XY Z so congruentes
bY eC
b Z.
se AB XY , B
Demonstrao. Sejam ABC e XY Z dois tringulos tais que
AB XY,

bY
B

b Z.
e C

Na semi-reta SY Z , considere o ponto W tal que BC = Y W . Queremos

Z
W

Figura 5.4
provar que os pontos W e Z so coincidentes. De fato, se W 6= Z, ento
W est entre Z e Y ou Z est entre W e Y . No primeiro caso, considere o
tringulo XY W . Pelo Axioma 14 (caso LAL), os tringulos ABC e XY W
b No tringulo XZW
\
so congruentes e, em particular, tem-se XW
Y C.
temos, em virtude do Corolrio 5.1.2, que
\
Zb + XW
Z < 180o .
b obtemos
\
\
\
Por outro lado, como XW
Z o suplemento de XW
Y e XW
Y Z,
\
Zb + XW
Z = 180o ,
o que uma contradio. Portanto, W no est entre Y e Z. Analogamente
se prova que Z no pode estar entre Y e W . Portanto, W deve coincidir
com Z e, assim, ABC XY Z.
Proposio 5.1.7. Por um ponto no pertencente a uma reta passa uma
nica reta perpendicular reta dada.
25

Demonstrao. Dados uma reta r e um ponto P 6 r, considere um ponto


A r. Se a reta AP j perpendicular reta r, ento a proposio est
\
provada. Caso contrrio, seja B r, com B 6= A, tal que P
AB seja um
ngulo agudo. No semi-plano determinado por r, oposto ao ponto P , considere a semi-reta com origem A formando com SAB um ngulo congruente
\
aP
AB. Nesta semi-reta, conside o ponto P 0 tal que AP AP 0 . Por consc0 . Se O denota o ponto de
truo, o tringulo P AP 0 issceles logo, Pb P
0
interseo das retas r e P P , concluimos, pelo Teorema 4.2.2 (caso ALA),
que os tringulos P AO e P 0 AO so congruentes. Em particular, segue que
0 OA. Como tais ngulos so suplementares, P
\
[
P[
OA P
OA = 90o . Por0
tanto, a reta P P perpendicular reta r. Quanto unicidade, se existissem
duas retas distintas, passando por P , ambas perpendiculares reta r, isso
contradiria o Corolrio 5.1.4.

P
A

P'
Figura 5.5: Proposio 5.1.7.
Dados uma reta r e um ponto P 6 r, a reta perpendicular a r passando
por P intercepta r em um ponto O, chamado o p da perpendicular baixada
do ponto P reta r. Se A r, com A 6= O, o segmento AP chamado
oblquio em relao a r; o segmento AO chamado projeo de AP sobre r.

Figura 5.6
b oposto ao lado BC,
Dado um tringulo ABC, dizemos que o ngulo A
b oposto ao lado AC e C
b oposto ao lado AB.
B

26

Proposio 5.1.8. Se dois lados de um tringulo no so congruentes ento


seus ngulos opostos no so congruentes e o maior ngulo oposto ao maior
lado.
Demonstrao. Seja ABC um tringulo, com AB 6= AC. Queremos provar
b 6= C.
b Se B
bC
b ento o tringulo ABC issceles com base BC e,
que B
em particular, tem-se AB = AC, o que uma contradio. Para a segunda
b > B.
b De fato, seja D
parte, suponha que AB > AC, e provemos que C
o ponto na semi-reta SAB tal que AD AC. Como AC < AB, o ponto
b
D pertence ao segmento AB e, assim, a semi-reta SCD divide o ngulo C.
Logo,
b > ACD.
\
C
Por outro lado, como o tringulo ACD issceles, temos
\ = ADC.
\
ACD
\ ngulo externo do tringulo CBD, tem-se
Ainda, como ADC
b
\ > B.
ADC
b > B,
b como queramos.
Portanto, C

A
D
C

Figura 5.7: Proposio 5.1.8.


A Proposio seguinte a recproca da Proposio 5.1.8.
Proposio 5.1.9. Se dois ngulos de um tringulo no so congruentes
ento os lados que se opem a estes ngulos tm medidas distintas e o maior
lado ope-se ao maior ngulo.
b 6= C.
b Provemos que AB 6=
Demonstrao. Seja ABC um tringulo, com B
AC. De fato, se tivssemos AB AC, ento o tringulo ABC seria issceles
b C,
b o que uma contradio.
com base BC; em particular, teramos B
b
b
Para a segunda parte, suponha que B > C e provemos que AC > AB. Pela
primeira parte, existem duas possibilidades: AC > AB ou AC < AB . Se
b > B,
b o que uma contradio.
AC < AB , segue da Proposio 5.1.8 que C
b > C,
b como queramos.
Portanto, devemos ter B
27

Teorema 5.1.10. Em qualquer tringulo, a soma dos comprimentos de dois


lados maior que o comprimento do terceiro lado.
Demonstrao. Dado um tringulo ABC, provemos, por exemplo, que
AB + BC > AC. De fato, na semi-reta SCB , considere o ponto D tal que
CD = AB + BC. Como BD = BA, o tringulo ABD issceles, com base
b BAD.
\ Como B est entre C e D, tem-se CAD
\ > BAD
\
AD. Logo, D
\
\
logo, no tringulo ACD, tem-se CAD > ADC e, pela Proposio 5.1.9,
concluimos que CD > AC, ou seja, BC + AB > AC.

Figura 5.8: Teorema 5.1.10.


Teorema 5.1.11 (Desigualdade triangular). Para quaisquer trs pontos do
plano, A, B e C, tem-se AB + BC AC e vale a igualdade se, e somente
se, B pertecente ao segmento AC.
Demonstrao. Se A, B e C no so colineares, eles determinam um tringulo ABC, e o resultado segue do Teorema 5.1.10. Suponha, agora, que
AB + BC = AC. Se a, b, c denotam as coordenadas de A, B e C, respectivamente, a igualdade acima significa que
|a b| + |b c| = |a c|,
ou seja, b est entre a e c. Logo, pelo Teorema 3.1.3, B est entre A e C.
Reciprocamente, se B est entre A e C, a igualdade segue do Axioma 8.
Observao 5.1.12. Em linguagem mais moderna, o Axioma 7, juntamente
com o Teorema 5.1.11, afirmam que o plano est munido de uma mtrica, i.e.,
uma aplicao d que a cada par (A, B) de pontos do plano, associa um nico
nmero real d(A, B) que satisfaz as seguintes propriedades para quaisquer
pontos A, B, C:
1. d(A, B) 0,
2. d(A, B) = 0 se, e somente se, A = B,
28

3. d(A, B) = d(B, A),


4. d(A, C) d(A, B) + d(B, C).
O Exemplo a seguir uma aplicao simples da desigualdade triangular.
Exemplo 5.1.13. Dados uma reta r e dois pontos A e B no pertencentes
a r, determinemos um ponto P r tal que AP + BP seja o menor possvel.
Para solucionar este problema, consideremos dois casos:
(i) A e B esto em semi-planos opostos em relao a r. Neste caso, o ponto
P , interseo das retas r e AB, a soluo do problema. De fato, seja P 0
outro ponto de r. Pela desigualdade triangular, tem-se AP 0 + P 0 B AB,
ocorrendo a igualdade se, e somente se, P 0 coincide com P .

A
P'

P
B

Figura 5.9: Exemplo 5.1.13, caso (i).


(ii) Se A e B esto em um mesmo semi-plano, seja O o ponto de interseo
de r com sua perpendicular passando pelo ponto B. Na semi-reta oposta
a SOB , seja B 0 o ponto tal que OB = OB 0 . Para qualquer P 0 r, tem-se
P 0 B = P 0 B 0 , assim AP 0 +P 0 B = AP 0 +P 0 B 0 . Portanto, o problema reduz-se
ao caso (i) e a soluo o ponto P obtido como interseo de r com a reta
AB 0 .

O
P

B'
Figura 5.10: Exemplo 5.1.13, caso (ii).

29

5.2

Exerccios

1. Prove que, se um tringulo tem dois ngulos externos congruentes, ento


ele issceles.
2. Um tringulo que possui um ngulo reto chamado tringulo retngulo.
O lado oposto ao ngulo reto chama-se hipotenusa, e os outros dois lados
so chamados catetos. Prove que um tringulo retngulo tem dois ngulos
externos obtusos.
\
\
3. Na Figura 5.11, o ponto P satisfaz BP BC. Prove que AP
B > BP
C.

A
P

Figura 5.11: Exerccio 3.


4. Se um tringulo ABC equiltero e D um ponto entre B e C, prove
que AD > DB.
5. Prove que, qualquer tringulo tem pelo menos um ngulo externo obtuso.
6. Dado um tringulo ABC, marca-se um ponto D sobre o lado AB. Prove
que o comprimento de CD menor que o comprimento de um dos lados AC
ou BC.
7. Sejam ABC e XY Z dois tringulos no retngulos tais que AB XY ,
b Z.
b D um exemplo para provar que essas hipteses no
BC Y Z e C
acarretam que os tringulos devam ser congruentes.
8. Prove que, por um ponto no pertencente a uma reta sempre passa uma
outra reta que no intercepta a reta dada.
9. Prove que, se duas retas tm uma perpendicular em comum ento elas
no se interceptam.
10. A soma dos comprimentos dos lados de um tringulo chamada de
permetro do tringulo, e a metade do permetro chamada semipermetro.
Prove que o comprimento de qualquer lado de um tringulo menor do que
seu semipermetro.
30

11. Prove que o lugar geomtrico dos pontos equidistantes das semi-retas
\
SOA e SOB a bissetriz do ngulo AOB.
12. Prove que, num tringulo retngulo cujos ngulos agudos medem 30o e
60o , o menor cateto mede metade do comprimento da hipotenusa e, reciprocamente.
13. Prove que todo tringulo retngulo tem dois ngulos externos obtusos.
14. Prove que em qualquer tringulo a soma dos comprimentos das medianas
est compreendida entre o permetro e o semipermetro.
15. Se ABC um tringulo e P um ponto de seu interior, prove que a soma
das distncias de P aos trs vrtices est compreendida entre o permetro e
o semipermetro do tringulo.

31

Parte II

Geometria Euclidiana Plana

32

Captulo 6

Axioma das Paralelas


A consistncia da geometria apresentada por Hilbert estabeleceu o quinto
postulado de Euclides como um axioma, independente dos demais. Este
axioma caracteriza o que hoje chamamos de Geometria Euclidiana Plana.
Adotaremos aqui, como j mencionado, o enunciado devido a Playfair. Nesta
forma equivalente, o axioma afirma a unicidade da reta passando por um
ponto e paralela a uma reta dada. Observe que, auxiliados pelos Teorema
3.2.7 e Proposio 5.1.7, o Corolrio 5.1.4 garante a existncia de retas paralelas e, tambm, fornece um mtodo de constru-las.

6.1

O axioma das paralelas

Axioma 15. Por um ponto no pertencente a uma reta r passa uma nica
reta paralela reta r.
Uma consequncia direta do Axioma 15 que o paralelismo de retas
satisfaz a propriedade de transitividade, como mostra a Proposio seguinte.
Proposio 6.1.1. Considere trs retas, r, s e t, duas a duas no coincidentes. Se r paralela a s e s paralela a t, ento r paralela a t.
Demonstrao. Se r e t no so paralelas, ela se interceptam em um ponto P .
Assim, temos duas retas passando por um mesmo ponto e ambas paralelas
reta s, contradizendo o Axioma 15.
Proposio 6.1.2. Se uma reta intercepta uma de duas retas paralelas,
ento ela intercepta tambm a outra.

33

Demonstrao. Sejam r e s duas retas paralelas e t uma reta que intercepta


r num ponto P . Se a reta t no intercepta s, ento t e s so paralelas.
Temos, assim, duas retas, r e t, passando por P , e ambas paralelas a s,
contradizendo o Axioma 15.
Observe que a Proposio 6.1.2 pode ser vista como um corolrio direto
da Proposio 6.1.1. De fato, sejam r e s retas paralelas e t uma reta que
intercepta r. Se t no intercepta s, ento t e s so paralelas. Assim, como r
paralelas a s e s paralela a t, segue da Proposio 6.1.1 que r paralela
a t, o que uma contradio.
Dados duas retas, r e s, interceptadas por uma transversal t, ficam deb e E,
b B
b e Fb,
terminados oito ngulos, como mostra a Figura 6.1. Os pares A

^
^ A
B
^
^ D
C
^ E
^
F
^
^ H
G
t

Figura 6.1: ngulos correspondentes.


b e G,
b D
b eH
b so chamados ngulos correspondentes.
C
Proposio 6.1.3. Se r e s so retas interceptadas por uma transversal t,
de modo que um par de ngulos correspondentes sejam congruentes, ento
r e s so retas paralelas.
Demonstrao. Suponha, por absurdo, que r e s se interceptam em um ponto
P . Sejam A o ponto de interseo de r com t, e B o ponto de interseo de
s com t. Assim, os pontos A, B e P definem um tringulo ABP . Suponha
que e seja o par de ngulos correspondentes congruentes. No tringulo
ABP (cf. Figura 6.2), um ngulo externo e um ngulo interno no
adjacente a . Pelo Teorema 5.1.1, temos > , contradizendo a hiptese
de termos = . Portanto, r e s so retas paralelas.
O Axioma 15 garante que a recproca da Proposio 6.1.3 tambm
verdadeira.
Proposio 6.1.4. Duas retas paralelas interceptadas por uma reta transversal determinam ngulos correspondentes congruentes.
34

r
P

A a

b
B

t
s

Figura 6.2: Proposio 6.1.3.


Demonstrao. Sejam r e s duas retas paralelas e t uma reta que intercepta
r e s nos pontos A e B, respectivamente. Considere uma reta r0 passando por
A formando com t quatro ngulos congruentes aos ngulos correspondentes
formados por s e t. Pela Proposio 6.1.3, r0 e s so retas paralelas e, pelo

t
A
r
r'
s
B
Figura 6.3
Axioma 15, r e r0 so coincidentes. Portanto, a reta r forma com t ngulos
congruentes aos correspondentes formados por s e t.
O teorema seguinte uma consequncia importante do Axioma 15. Mais
do que isso, possvel provar que ele equivalente ao quinto postulado de
Euclides e, portanto, equivalente ao Axioma 15.
Teorema 6.1.5. Em qualquer tringulo, a soma das medidas do ngulos
internos 180o .
Demonstrao. Dado um tringulo ABC, considere a reta r que passa pelo
vrtice C e paralela reta determinada por A e B. O ponto C determina
sobre r duas semi-retas. Sejam X e Y dois pontos, um em cada uma destas
semi-retas. Temos:
b + BCY
\+C
\ = 180o .
XCA

35

A
Figura 6.4

Como a reta AC transversal s paralelas r e AB, segue da Proposio 6.1.4


b Analogamente concluimos que BCY
b Portanto,
\ A.
\ B.
que XCA
b+B
b+C
b = XCA
b = 180o ,
\ + BCY
\+C
A
como queramos.
Corolrio 6.1.6. Em qualquer tringulo, a medida de um ngulo externo
igual soma das medidas dos ngulos internos no adjacentes a ele.
Demonstrao. Dado um tringulo ABC, seja o ngulo externo adjacente,
b + B.
b Do Teorema
por exemplo, ao ngulo C. Queremos provar que = A
6.1.5, temos
b+B
b+C
b = 180o .
A
b = 180o , segue que A
b+B
b = .
Como + C
Definio 6.1.7. Dados uma reta r e um ponto P no pertencente a r, a
distncia de P a r o comprimento do segmento AP , onde A o p da
perpendicular de P a r.
Gostaramos agora de falar em distncia entre duas retas. Diremos que a
distncia entre duas retas concorrentes zero. Para o caso de retas paralelas,
consideremos inicialmente a seguinte
Proposio 6.1.8. Retas paralelas so equidistantes, ou seja, se r e s so
retas paralelas, ento qualquer ponto de r dista igualmente de s.
Demonstrao. Sejam r e s duas retas paralelas. Dados dois pontos A, B r,
considere as retas perpendiculares a r por estes pontos. Sejam A0 , B 0 s
os ps destas perpendiculares (cf. Figura 6.5). Queremos provar que AA0
BB 0 . De fato, considere o segmento A0 B. Temos:
0B0
\0 BA
\
ABA

0B A
0 BB 0 .
\
\
e AA

Assim, pelo Teorema 4.2.2, os tringulos A0 AB e BB 0 A0 so congruentes.


Em particular, concluimos que AA0 BB 0 .
36

A'

B'

Figura 6.5: Proposio 6.1.8.


A partir da Proposio 6.1.8, temos a seguinte
Definio 6.1.9. A distncia entre duas retas paralelas a distncia de um
ponto qualquer de uma delas a outra.

6.2

Exerccios

1. Seja ABC um tringulo issceles com base AB. Sejam M e N os pontos


mdios dos lados AC e BC, respectivamente. Prove que o reflexo do ponto
C, em relao reta determinada por M e N , exatamente o ponto mdio
do segmento AB.
2. Determine a soma dos ngulos externos de um tringulo.
3. Um tringulo tm dois ngulos que medem 20o e 80o . Determine a medida
de todos os seus ngulos externos.
b e a bissetriz
4. Pode existir um tringulo ABC em que a bissetriz do ngulo A
do ngulo externo no vrtice B sejam paralelas?
5. Determine os ngulos de um tringulo retngulo issceles.
6. Por que um tringulo no pode ter dois ngulos externos agudos?
7. Na Figura 6.6, AB BC, AD uma altura, AE uma bissetriz e
b = 80o . Determine o ngulo DAE.
\
B
8. Pode um ngulo externo de um tringulo ser menor do que o ngulo
interno que lhe adjacente?
9. Seja ABC um tringulo issceles de base BC. Prove que a bissetriz do
seu ngulo externo no vrtice A paralela sua base.
10. Seja ABC um tringulo, P um ponto de AC e Q um ponto de AB.
b
Alm disso, sabe-se que BC BP P Q AQ. Supondo que o ngulo C
o
b
mede 60 , determine a medida do ngulo A.
37

B
D
E
A

C
Figura 6.6

11. Prove que a bissetriz de um ngulo externo, relativo ao vrtice de um


tringulo issceles, paralela base desse tringulo.
12. Sejam ABC um tringulo issceles e P um ponto qualquer da base BC.
Sejam P M e P N os segmentos perpendiculares s laterais desse tringulo.
Prove que P M +P N um valor constante, que a medida da altura relativa
a uma das laterais.
13. Prove que se P um ponto interior de um tringulo equiltero, ento a
soma das distncias de P aos lados do tringulo igual altura do mesmo.
14. Prove a recproca da Proposio 6.1.8, ou seja, se r uma reta cujos
pontos so equidistantes de uma reta s, ento r e s so retas coincidentes ou
paralelas.
15. Prove a equivalncia entre o Axioma 15 e o Teorema 6.1.5.

38

Captulo 7

Polgonos
Neste Captulo estudaremos alguns resultados bsicos sobre polgonos,
dando especial ateno aos polgonos convexos. Os resultados so, em geral, consequncias de resultados anteriores, principalmente daqueles sobre
congruncia e paralelismo.

7.1

Introduo

Um polgono uma figura geomtrica formada por um nmero finito de


pontos A1 , A2 , . . . , An e pelos segmentos A1 A2 , A2 A3 , . . . An1 An , satisfazendo as seguintes propriedades:
1. An = A1 ;
2. Os segmentos Ai1 Ai , chamados lados do polgono, interceptam-se somente em suas extremidades;
3. Dois lados com mesma extremidade no pertencem a uma mesma reta.
Os pontos A1 , A2 , . . . , An so os vrtices do polgono. Uma diagonal de
um polgono um segmento que tem por extremidades dois de seus vrtices que no pertencem a um mesmo lado. Por exemplo, na Figura 7.1, o
segmento CE uma diagonal do polgono.

39

A
E
B
D
C

Figura 7.1: Polgono com diagonal CE.


Uma classificao para os polgonos pode ser realizada segundo o nmero
de lados. Listamos a seguir alguns polgonos conhecidos.
Nmero de lados
3
4
5
6
7
8
9
10
11
12
15
20

7.2

Nome do polgono
tringulo
quadriltero
pentgono
hexgono
heptgono
octgono
enegono
decgono
undecgono
dodecgono
pentadecgono
icosgono

Polgonos regulares

Um polgono chamado convexo se ele est sempre contido em um dos


semi-planos determinados pelas retas que contm seus lados. Dois lados
consecutivos de um polgono determinam dois ngulos onde, em virtude da
condio (3), um deles mede menos de dois retos e o outro mais que dois
retos. Um ngulo de um polgono convexo, cuja medida menor que dois
retos, chama-se ngulo interno do polgono.
Definio 7.2.1. Um polgono regular um polgono convexo no qual todos
os lados so congruentes entre si e, tambm, todos os ngulos internos so
congruentes entre si.
Um quadriltero um polgono que possui quatro lados. Os vrtices
no consecutivos de um quadriltero so chamados opostos, assim como dois
40

C
P

A
B
Figura 7.2: Quadriltero ABCD.
ngulos e dois lados no consecutivos so chamados opostos. Assim, as diagonais de um quadriltero so segmentos cujas extremidades so os vrtices
opostos.
Proposio 7.2.2. As diagonais de um quadriltero convexo se interceptam
em um nico ponto.
Demonstrao. Dado um quadriltero convexo ABCD, provemos que AC
e BD se interceptam em um ponto P . De fato, considere as semi-retas
\ Se isso no
SAB , SAC e SAD . Afirmamos que SAC divide o ngulo BAD.
ocorre, ento SAB est entre SAC e SAD , ou SAD est entre SAB e SAC .
No primeiro caso, o segmento CD intecepta SAB , ou seja, C e D esto
em semi-planos opostos determinados pela reta AB. Isso contradiz o fato
de que ABCD convexo. Contradio anloga obtemos se supormos que
\ logo, BD
SAD est entre SAB e SAC . Assim, SAC divide o ngulo BAD
intercepta a semi-reta SAC . Porm, de forma inteiramente anloga, se prova
que o segmento BD intercepta SCA . Isso implica que os segmentos AC e
BD interceptam-se em um ponto P . Se existissem dois pontos, P e P 0 ,
pertencentes interseo de AC e BD, ento eles estariam sobre a mesma
reta, o que uma contradio.
Definio 7.2.3. Um paralelogramo um quadriltero cujos lados opostos
so paralelos.

Figura 7.3: Paralelogramo ABCD.

41

Todo paralelogramo ABCD convexo. De fato, suponha, por exemplo,


que C e D esto em semi-planos opostos em relao reta AB. Assim, as
retas AB e CD interceptam-se em, pelo menos, um ponto. Disso decorre, em
particular, que AB e CD no so paralelos (a menos que estejam contidos
em uma mesma reta), o que uma contradio.
Proposio 7.2.4. Todo paralelogramo satisfaz as seguintes propriedades:
(a) lados e ngulos opostos so congruentes;
(b) o ponto de interseo de suas diagonais o ponto mdio delas.
Demonstrao. (a) Dado um paralelogramo ABCD, considere a diagonal
\ ACD,
\ e como AD paAC. Como AB paralelo a DC, temos BAC
\ ACB.
\ Assim, os tringulos ABC e CAD so
ralelo a BC, temos CAD
b D,
b AB CD e AD BC.
congruentes e, portanto, concluimos que B
b
b
Disso tambm decorre que A C.
(b) Seja P o ponto de interseo das diagonais AC e BD. Do item (a),
temos:
\ CBD
\ e CAD
\ ACB.
\
AD BC, ADB
Assim, os tringulos AP D e CP B so congruentes e, portanto, AP P C e
DP P B.
Proposio 7.2.5. Um quadriltero um paralelogramo se:
(a) os lados ou ngulos opostos so congruentes;
(b) dois lados opostos so congruentes e paralelos;
(c) as diagonais interceptam-se mutuamente em seus pontos mdios.
Demonstrao. (a) Seja ABCD um quadriltero e suponha que AB CD
e BC AD. Considere a diagonal AC. Pelo Teorema 4.2.7, os tringulos

Figura 7.4: Quadriltero ABCD.

42

ABC e CAD so congruentes logo,


\ ACD
\
BAC

\ ACB.
\
e CAD

A primeira congruncia garante que AB paralelo a CD, enquanto a segunda


congruncia garante que AD e BC so paralelos. Portanto, ABCD um
paralelogramo. Suponha agora que o quadriltero ABCD tenha os ngulos
b C
b e B
b D.
b A fim de simplificar a
opostos congruentes, ou seja, A
\
\
\ e = CAD
\ (cf.
notao, denotemos por = CAB, = ACB, = ACD
Figura 7.5). Temos:

D
q
g
A

C
b

Figura 7.5: Quadriltero ABCD.


b + + = 180o = B
b + + .
D
Isso implica que
+ = + .

(7.1)

b C,
b ou seja, + = + . Temos, assim, duas
Por outro lado, temos A
equaes:
+ = + ,
+ = + .
Simplificando, obtemos + = + , ou seja, = . Assim, de
(7.1), concluimos que = . Isso implica que AB paralelo a CD e AD
paralelo a BC, ou seja, ABCD um paralelogramo.
(b) Suponha, por exemplo, que AB e CD sejam congruentes e paralelos, e
considere a diagonal AC (cf. Figura 7.4). Como AB e CD so paralelos,
\ BAC.
\ Assim, os tringulos ABC e ACD so congrutem-se que ACD
\ CAD.
\ Isso implica que AD e BC
entes. Segue, em particular, que ACB
so paralelos.

43

(c) Suponha que as diagonais AC e BD interceptam-se em seus pontos m\


\
dios, M . Como CM
D AM
D, pois so opostos pelo vrtice, concluimos
que os tringulos ABM e CDM so congruentes. Segue, em particular, que
\ DCM
\
BAM

\ ABM
\.
e CDM

Isso implica que AB paralelo a CD e AD paralelo a BC.


Teorema 7.2.6. O segmento ligando os pontos mdios de dois lados de um
tringulo paralelo ao terceiro lado e tem metade de seu comprimento.
Demonstrao. Dado um tringulo ABC, sejam D o ponto mdio do lado
AB e E o ponto mdio do lado AC. Queremos provar que DE paralelo a
BC e que DE = 12 BC. Na semi-reta SED , seja F o ponto tal que D esteja
entre E e F e F D DE. Temos:
AD BD,

\ BDF
\
ADE

e F D DE.

Assim, os tringulos ADE e BDE so congruentes. Segue, em particular,


\
\ e BF CE. Isso implica que BF e EC so congruentes
que DF
B AED
e paralelos. Pela Proposio 7.2.5, item (b), segue que BF EC um paralelogramo. Portanto, EF e BC so paralelos e congruentes. Como D ponto
mdio de EF , tem-se que DE = 12 BC, como queramos.

A
D

E
C

B
Figura 7.6: Teorema 7.2.6.

7.3

Polgonos congruentes por cortes

Discutiremos agora o problema de saber se dois polgonos dados so sempre congruentes por cortes.
Definio 7.3.1. Uma decomposio poligonal de um polgono P uma
coleo finita de polgonos P1 , P2 , . . . , Pn , cuja unio P, de modo que a
interseo de dois tais polgonos ou vazia, ou um vrtice comum ou um
lado comum a ambos.
44

Definio 7.3.2. Dois polgonos P e Q so ditos congruentes por cortes se


existem decomposies poligonais P1 , P2 , . . . , Pn e Q1 , Q2 , . . . , Qn de P e Q,
respectivamente, tais que Pk congruente a Qk , para todo 1 k n.
Uma decomposio poligonal para um polgono P ser denotada por
P = P1 +. . .+Pn , e quando P e Q forem congruentes por cortes, denotaremos
por P Q. Fica a cargo do leitor provar que esta relao , de fato, uma
relao de equivalncia. Alm disso, dois polgonos congruentes por cortes
tm sempre mesma rea.
Consideremos agora a recproca do fato acima. Mais precisamente, dois
polgonos com mesma rea so sempre congruentes por cortes? Este problema foi proposto por Bolyai e Gerwien, em 1833. Apresentaremos aqui
sua demonstrao numa sequncia de lemas.
Lema 7.3.3. Todo polgono admite uma decomposio poligonal formada
por tringulos.
Demonstrao. Dado um polgono P, fixe uma reta r que no seja paralela
a nenhum dos lados de P. As retas paralelas a r, que passam atravs dos
vrtices de P, decompem o polgono em tringulos e trapzios, e estes
podem agora ser decompostos em tringulos; basta considerar uma diagonal
do trapzio.
Lema 7.3.4. Quaisquer dois tringulos com mesmas base e altura so congruentes por cortes.
Demonstrao. Dado um tringulo ABC, considere a altura h relativa ao
vrtice A. Pelo ponto mdio de h, trace uma paralela ao lado BC, interceptando os lados AB e AC nos pontos M e N , respectivamente. Pelos vrtices
BP M e CAN , como na Figura ??. Pelo caso ALA, temos:
BP M AOM

e CQN AON.

Assim, o tringulo ABC e o retngulo BCQP , assim construdo, so congruentes por cortes. Finalmente, se dois tringulos ABC e XY Z, possuem
mesmas base e altura, ento eles so congruentes por cortes a um mesmo
retngulo, e o resultado segue pela transitividade.
Lema 7.3.5. Quaisquer dois tringulos com mesma rea so congruentes
por cortes.

45

Demonstrao. Em virtude do Lema 7.3.4, podemos supor que os tringulos


b e Yb , respectivamente. Alm disso,
dados, ABC e XY Z, so retngulos em B
a menos de um movimento rgido do plano, suponha que B Y , como na
Figura ??. Temos:
d(A, B) d(B, C)
d(B, Z) d(B, X)
= rea(ABC) = rea(XY Z) =
.
2
2
Disso decorre que
d(A, B)
d(B, Z)
=
,
d(B, X)
d(B, C)
logo os tringulos ABZ e XBC so semelhantes. Em particular, tem-se XC
paralelo a AZ. Assim, os tringulos CXA e CXZ tm mesmas base e altura,
logo tm mesma rea. Portanto, usando o Lema 7.3.4, obtemos:
ABC AXC + XBC XCZ + XBC XY Z,
como queramos.
Lema 7.3.6. Dados um retngulo R e um nmero b > 0, existe um retngulo
S, de base b e altura h, tais que R S.
Demonstrao. Considere o retngulo S, de base b e altura h = rea(R)/b.
As diagonais de R e S determinam tringulos T1 , T2 e U1 , U2 , respectivamente (cf. Figura ??). Como rea(R) = rea(S), tem-se rea(T1 ) =
rea(U1 ) e rea(T2 ) = rea(U2 ). Assim, segue do Lema 7.3.5 que T1 U1
e T2 U2 . Logo,
R T1 + T2 U1 + U2 S,
como queramos.
Lema 7.3.7. Se P um polgono formado por dois retngulos R1 e R2 ,
ento existe um retngulo S tal que S P.
Demonstrao. Pelo Lema 7.3.6, existe um retngulo R3 , com mesma base
de R2 , tal que R1 R3 . Considere, ento, S = R2 + R3 . Temos:
P R1 + R2 R2 + R3 S,
e isso prova o lema.
Observao 7.3.8. Se P um polgono constitudo por n retngulos R1 , . . . , Rn ,
podemos usar induo para determinar, tambm neste caso, um retngulo
S tal que S P.
46

Teorema 7.3.9 (Bolyai-Gerwien). Quaisquer dois polgonos, com mesma


rea, so congruentes por cortes.
Demonstrao. Sejam P e Q dois polgonos de mesma rea. Note, inicialmente, que todo tringulo T congruente por cortes a um tringulo retngulo
com altura igual a 2 e base igual a rea de T , e este congruente por cortes
a um retngulo com altura igual a 1 e base igual a rea de T . Denote este
retngulo por Rx , onde x a sua rea. Assim, para o polgono P, temos:
P T1 + . . . + Tn
Rrea(T1 ) + . . . + Rrea(Tn )
Rrea(T1 )+...+rea(Tn )
Rrea(P) .
Analogamente tem-se Q Rrea(Q) . Como Rrea(P) e Rrea(Q) so congruentes por cortes (cf. Exerccio 17), concluimos que P Q.

7.4

Exerccios

1. Um retngulo um quadriltero que tem todos os seus ngulos retos.


Prove que todo retngulo um paralelogramo.
2. Prove que as diagonais de um retngulo so congruentes.
3. Um losango um paralelogramo que tem todos os lados congruentes.
Prove que as diagonais de um losango interceptam-se em ngulo reto e so
bissetrizes dos seus ngulos.
4. Um quadrado um retngulo que tambm um losango. Prove que se as
diagonais de um quadriltero so congruentes e se interceptam em um ponto
que ponto mdio de ambas, ento o quadriltero um retngulo. Alm
disso, se as diagonais so perpendiculares uma a outra, ento o quadriltero
um quadrado.
5. Um trapzio um quadriltero em que dois lados opostos so paralelos.
Os lados paralelos de um trapzio so chamados bases e os outros dois so
chamados de laterais. Um trapzio chamado issceles se suas lateriais so
congruentes. Seja ABCD um trapzio em que AB uma base. Se ele
bB
beC
b D.
b
issceles, prove que A
6. Prove que as diagonais de um trapzio issceles so congruentes.
47

7. Determine a soma dos ngulos internos de um pentgono.


8. Na Figura 7.7, ABCD um quadrado e BCE um tringulo equiltero.
\
Determine o ngulo BDE.

B
E

C
Figura 7.7

9. Na Figura 7.8, ABCD um quadrado e CDE um tringulo equiltero.


\
Determine a medida do ngulo AED.

B
E

C
Figura 7.8

10. Prove que num trapzio issceles a mediatriz de uma de suas bases
mediatriz da outra base, e reciprocamente.
11. Prove que o segmento que liga os pontos mdios das laterais de um
trapzio paralelo s bases e que seu comprimento a mdia aritmtica dos
comprimentos das bases.
12. Prove que ligando-se os pontos mdios dos lados de um quadriltero
qualquer obtm-se um paralelogramo.
13. A partir de cada vrtice de um quadrado ABCD, cujos lados so percorridos em um mesmo sentido, marcam-se pontos X, Y, Z, W tais que AX
BY CZ DW . Prove que o quadriltero XY ZW tambm um quadrado.
14. Qual a figura geomtrica obtida quando ligamos os pontos mdios dos
lados de um retngulo?
48

15. Dado um paralelogramo ABCD, considere os tringulos equilteros


ABF e ADE construdos exteriormente ao paralelogramo. Prove que F CE
tambm equiltero.
16. Prove que dois paralelogramos com mesmas base e altura so congruentes
por cortes.
17. Prove que dois retngulos com mesma rea so sempre congruentes por
cortes.

49

Captulo 8

rea
Neste captulo discutiremos o conceito de rea de regies poligonais, que
ser feito mediante alguns axiomas, os quais permitiro introduzir as frmulas usuais para a rea de tringulos, retngulos e demais polgonos. Como
aplicaes do conceito de rea, veremos os famosos Teorema de Pitgoras e
o Teorema de Tales.

8.1

A unidade de medida

Nosso objetivo inicial estabelecer um mtodo de medir a regio do plano


delimitada por uma figura geomtrica F . Isso ser feito pela comparao da
figura F com uma unidade de medida. O resultado dessa comparao ser
um nmero, que dever exprimir quantas vezes a figura F contm a unidade
de medida.
Lembremos que o quadrado um quadriltero que tem os quatro lados
congruentes e os quatro ngulos internos retos. Uma regio quadrangular
o conjunto dos pontos do plano formado por todos os segmentos cujas
extremidades esto sobre os lados de um quadrado. O quadrado chama-se
a fronteira da regio quadrangular e o conjunto dos pontos de uma regio
quadrangular que no pertencem sua fronteira chamado de interior da
regio.
Adotaremos como unidade de medida uma regio quadrangular cujo lado
da fronteira mede uma unidade de comprimento. Esta regio ser chamada
de regio quadrangular unitria ou, simplemente, de regio unitria. Mais
precisamente, estabeleceremos o seguinte axioma.
Axioma 16. Qualquer regio unitria ter como medida o nmero real 1.

50

Figura 8.1: Regio quadrangular.


Este nmero real (igual a 1), associado a cada regio unitria, chamado
de rea da regio unitria. Portanto, qualquer regio unitria tem rea
igual a 1. Alm disso, o nmero real obtido da comparao de uma figura
geomtrica F com a regio unitria ser chamado a rea da figura F , e ser
denotado por rea(F ).
Observao 8.1.1. Na discusso acima, estamos admitindo que seja possvel realizar essa comparao. Ou seja, estamos supondo que as figuras
geomtricas no sejam segmentos ou retas, por exemplo. Neste caso, no faz
sentido falar em quantas vezes a figura F contm a regio unitria.
Seja Q uma regio quadrangular cuja medida do lado do quadrado um
nmero inteiro n. A regio Q pode ser decomposta, atravs de retas paralelas
aos lados do quadrado, em n2 regies unitrias justapostas. Assim, deve-se
ter rea(Q) = n2 .

Figura 8.2: Regio quadrangular Q.


Considere agora uma regio quadrangular Q cuja medida do lado do
quadrado 1/n, onde n um nmero inteiro. Decompomos a regio unitria
em n2 regies quadrangulares, todas congruentes a Q. Ento, como estas n2
regies compem a regio unitria, a rea de Q deve satisfazer condio
n2 rea(Q) = 1
e, portanto, rea(Q) = 1/n2 .
De forma mais geral, considere uma regio quadrangular Q cuja medida
do lado do quadrado um nmero racional m/n. Decompomos cada lado do
51

quadrado em m segmentos, cada um dos quais com medida 1/n. Traando


paralelas ao lados do quadrado a partir dos pontos de diviso, obtemos uma
decomposio de Q em m2 regies quadrangulares, onde a medida do lado
do quadrado de cada uma delas 1/n. Assim, a rea de cada uma destas
regies 1/n2 . Portanto, deve-se ter rea(Q) = m2 (1/n2 ) = m2 /n2 .
Analisemos agora o caso em que o lado do quadrado de uma regio quadrangular tem por medida um nmero irracional.
Proposio 8.1.2. Seja Q uma regio quadrangular cuja medida do lado
do quadrado um nmero irracional a. Ento, ainda neste caso, tem-se
rea(Q) = a2 .
Demonstrao. Provaremos que a rea de Q no pode ser um nmero b menor nem um nmero c maior do que a2 . Assim, concluiremos que
rea(Q) = a2 . Seja, ento, b um nmero real tal que b < a2 . Seja r
um nmero racional tal que b < r2 < a2 . No interior da regio Q, considere
uma regio quadrangular Q0 , cuja medida do lado do quadrado r. Como
r racional, tem-se rea(Q0 ) = r2 . Como Q0 est contida no interior de Q,
devemos ter
rea(Q0 ) < rea(Q),
ou seja, r2 < rea(Q). Portanto, como b < r2 , segue que b < rea(Q).
Assim, todo nmero real b, menor que a2 , tambm menor que a rea de Q.
Analogamente se prova que todo nmero real c, maior do que a2 , maior do
que a rea de Q. Portanto, a rea de Q no pode ser menor nem maior do
que a2 . Por excluso, deve-se ter rea(Q) = a2 .
A Proposio 8.1.2, juntamente com a discusso acima, pode ento ser
resumida na seguinte
Proposio 8.1.3. A rea de uma regio quadrandular, cuja medida do
lado do quadrado um nmero real positivo a, dada por rea(Q) = a2 .

8.2

rea de regies poligonais

Nosso objetivo agora calcular a rea de algumas regies poligonais.


Neste texto usaremos, frequentemente, expresses do tipo a rea de um polgono, quando queremos dizer a rea da regio poligonal cuja fronteira o
dado polgono.

52

Figura 8.3: Regio triangular.


Analogamente ao quadrado, chamamos de regio triangular o conjunto
dos pontos do plano formado por todos os segmentos cujas extremidades
esto sobre os lados de um tringulo.
Uma regio poligonal a unio de um nmero finito de regies triangulares que, duas a duas, no tm pontos interiores em comum. Dizemos
que um ponto interior a uma regio poligonal se existe alguma regio triangular contida na regio poligonal e contendo o ponto em seu interior. A
fronteira de uma regio poligonal constituda pelos pontos da regio que
no pertencem ao seu interior.
Proposio 8.2.1. A rea de um retngulo ABCD o produto AB AD.
Demonstrao. Lembremos que um retngulo um quadriltero que tem os
quatro ngulos internos retos. A fim de simplificar a notao, denotemos por
a = AD e b = AB. A partir do retngulo ABCD, construimos o quadrado
Q, de lado a+b, o qual contm duas cpias de ABCD e mais dois quadrados,
um de lado a e outro de lado b. Pela Proposio 8.1.3, temos

b
A

a
D

Figura 8.4: rea do retngulo ABCD.


rea(Q) = (a + b)2 = a2 + 2ab + b2 .
Por outro lado, como os quadrados menores tm reas iguais a a2 e b2 ,
respectivamente, temos
rea(Q) = a2 + b2 + 2 rea(ABCD).
Portanto, tem-se rea(ABCD) = a b = AB AD.
53

Outra regio poligonal simples aquela delimitada por um paralelogramo. Dado um paralelogramo ABCD, um segmento ligando as retas que
contm os segmentos AB e CD, e perpendicular a ambas, chama-se a altura
do paralelogramo ABCD relativo ao lado AB.
Proposio 8.2.2. A rea de um paralelogramo ABCD o produto da
medida de um de seus lados pela medida da altura relativa a este lado.
Demonstrao. Dado um paralelogramo ABCD, denotemos por b = AB e
por a a medida da altura de ABCD relativa ao lado AB. Construimos o
retngulo AF CE, de lados b + c e a, de modo que ABCD esteja contido
neste retngulo (cf. Figura 8.5). A rea desse retngulo dada por

a
c

b
A

Figura 8.5: rea do paralelogramo ABCD.


rea(AF CE) = a(b + c) = ab + ac.
Por outro lado, o retngulo AF CE formado pelo paralelogramo ABCD
mais dois tringulos que, juntos, formam um retngulo de rea ac. Portanto,
rea(ABCD) + ac = ab + ac,
donde rea(ABCD) = ab.
Corolrio 8.2.3. A rea de um tringulo a metade do produto da medida
de qualquer um de seus lados pela altura relativa a este lado.
Demonstrao. Dado um tringulo ABC, pelo vrtice C trace uma paralela
a AB, e por B trace uma paralela a AC. Estas retas definem o polgono
ABDC, que um paralelogramo, onde os tringulo ACB e DBC so congruentes. Assim,
1
rea(ABC) = rea(ABDC).
2
Como a altura relativa ao vrtice C do tringulo ABC coincide com a altura do paralelogramo ABDC relativo ao lado AB, o resultado segue da
Proposio 8.2.2.
54

Figura 8.6: rea do tringulo ABC.


Observao 8.2.4. Dado um tringulo ABC, considere a reta r paralela
reta BC, passando pelo ponto A. Sejam A0 outro ponto de r, com A0 6= A,
e D um ponto na semi-reta SBC . Tem-se BD = r BC, para algum nmero
real r > 0. Considere a algura AE do tringulo ABC, relativa ao vrtice A,
e a altura A0 E 0 do tringulo A0 BD, relativa ao vrtice A0 (cf. Figura 8.7).
Observe que, pela Proposio 6.1.8, estas alturas so congruentes, ou seja,
AE = A0 E 0 . Pelo Corolrio 8.2.3, temos:
1
rea(ABC) = BC AE.
2
Por outro lado, temos
1
1
rea(A0 BD) = BD A0 E 0 = r BC AD,
2
2
logo
rea(A0 BD) = r rea(ABC).

A'

E'

Figura 8.7

Finalizaremos esta seo calculando a rea de um trapzio.


Proposio 8.2.5. A rea de um trapzio metade do produto da medida
de sua altura pela soma das medidas de suas bases.
55

Demonstrao. Dado um trapzio ABCD, cujas bases so AB e CD, considere a diagonal AC. Considere tambm as alturas CE e AF dos tringulos ACB e ACD, respectivamente. Como AB e CD so paralelos, tem-se
CE AF . Assim,
rea(ABCD) = rea(ACB) + rea(ADC)
AB CE DC AF
=
+
2
2
1
=
CE(AB + CD),
2
como queramos provar.

Figura 8.8: rea do trapzio ABCD.

8.3

Definio geral de rea

At agora obtemos uma frmula para o clculo da rea de algumas regies


poligonais. Entretanto, no demos ainda uma definio geral para a rea de
uma figura geomtrica arbitrria F .
A rea de uma figura geomtrica F , que estamos denotando por rea(F ),
ficar bem determinada se conhecermos seus valores aproximados, por falta
ou por excesso. Os valores de rea(F ) aproximados por falta so, por definio, as reas das regies poligonais P contidas em F . Os valores de rea(F )
aproximados por excesso so as reas das regies poligonais Q que contm F .
Assim, quaisquer que sejam as regies poligonais P e Q, o nmero rea(F )
satisfaz
rea(P ) rea(F ) rea(Q).
Por simplicidade, ao invs de considerarmos regies poligonais quaisquer,
limitaremos nossa ateno s regies poligonais retangulares, que consistem
de uma unio de vrias regies retangulares justapostas. A rea de uma

56

regio poligonal retangular ou, abreviadamente, de um polgono retangular,


a soma das reas dos retngulos que o compem.
Para maior simplicidade ainda, limitaremos nossa ateno polgonos
retangulares contidos na figura F , cuja rea desejamos calcular. Definimos,
ento, a rea da figura F como o nmero real positivo cujas aproximaes
por falta so as reas dos polgonos retangulares contidos em F . Isso significa
que, para todo polgono retangular P , contido em F , tem-se
rea(P ) rea(F ).
Alm disso, dado qualquer nmero b < rea(F ), existe um polgono retangular P , contido em F , tal que
b < rea(P ) rea(F ).

Figura 8.9: Polgono retangular P contido na figura F .


Observe que poderamos ter definido a rea de F como o nmero real positivo cujas aproximaes por excesso so as reas dos polgonos retangulares
que contm F .

8.4

Aplicaes

Nesta seo obteremos o Teorema de Tales, respeito de retas paralelas,


e o famoso Teorema de Pitgoras acerca de tringulos retngulos.
Teorema 8.4.1 (Tales). Dado um tringulo ABC, considere uma reta paralela ao lado BC, interceptando os lados AB e AC nos pontos B 0 e C 0 ,
respectivamente. Ento,
AB 0
AC 0
=
.
AC
AB
57

(8.1)

Demonstrao. Como B 0 C 0 paralelo a BC, segue da Observao 8.2.4 que


rea(BB 0 C 0 ) = rea(CB 0 C 0 ).

(8.2)

Alm disso, os tringulos C 0 AB e B 0 AC tm, em comum, o tringulo AB 0 C 0 .


Assim, em virtude de (8.2),tem-se

A
D

C'

B'

C
Figura 8.10: Teorema de Tales.

rea(C 0 AB) = rea(B 0 AC).

(8.3)

Por outro lado, os tringulos C 0 AB e C 0 AB 0 tm mesma altura C 0 D relativa


ao vrtice C 0 . Assim, pelo Corolrio 8.2.3, obtemos:
1
rea(C 0 AB) = AB C 0 D
2

1
e rea(C 0 AB 0 ) = AB 0 C 0 D.
2

(8.4)

Analogamente, os tringulos B 0 AC e B 0 AC 0 tm mesma altura B 0 E relativa


ao vrtice B 0 . Logo,
1
rea(B 0 AC) = AC B 0 E
2

1
e rea(B 0 AC 0 ) = AC 0 B 0 E.
2

(8.5)

Portanto, de (8.3), (8.4) e (8.5), obtemos:


AB 0
rea(C 0 AB 0 )
rea(C 0 AB 0 )
AC 0
=
=
=
,
rea(C 0 AB)
rea(B 0 AC)
AB
AC
provando a relao (8.1).
O Teorema de Tales pode ser enunciado de uma forma mais geral.
Teorema 8.4.2 (Tales). Trs retas paralelas, interceptadas por duas retas
transversais, determinam segmentos proporcionais.
58

Demonstrao. Considere trs retas paralelas, r, s e t, que interceptam duas


retas, m e n, nos pontos A, B, C e A0 , B 0 , C 0 , respectivamente (cf. Figura
8.11). Queremos provar que
AB
A0 B 0
= 0 0.
AC
AC

(8.6)

Pelo ponto A, considere a reta n0 , paralela reta n, interceptando as retas


s e t nos pontos D e E, respectivamente. Pelo Teorema 8.4.1, tem-se
AB
AD
=
.
AC
AE

(8.7)

Agora, como ADB 0 A0 e DEC 0 B 0 so paralelogramos, segue que


AD A0 B 0

e DE B 0 C 0 .

(8.8)

Portanto, de (8.7) e (8.8), obtemos a relao (8.6).

n' m
A
B
C

n
A'
D

r
B' s

C' t

Figura 8.11: Teorema de Tales.


Teorema 8.4.3 (Pitgoras). Em qualquer tringulo retngulo, o quadrado
da medida da hipotenusa igual a soma dos quadrados das medidas dos
catetos.
b A
Demonstrao. Seja ABC um tringulo retngulo, cujo ngulo reto C.
fim de simplificar a notao, escrevamos a = BC, b = AC e c = AB. Na
semi-reta SCB , considere o ponto D tal que B esteja entre C e D e BD = b.
Considere agora a reta perpendicular reta BC, passando por D. Sobre esta
reta, considere o ponto E, situado no mesmo semi-plano que A em relao
reta BC, e tal que DE = a. Obtemos, assim, o tringulo retngulo BED.
Observe que, pelo caso LAL, os tringulos ABC e BED so congruentes.
De forma inteiramente anloga, construimos os tringulos retngulos EGF
59

e GAH, ambos congruentes ao tringulo ABC, como mostra a Figura 8.12.


Por construo, os quadrilteros CDF H e ABEG so quadrados. Temos:
rea(CDF H) = rea(ABEG) + 4 rea(ABC).

(8.9)

Pela Proposio 8.2.2 e pelo Corolrio 8.2.3, a igualdade (8.9) torna-se:


1
a b.
2

(a + b)2 = c2 + 4

(8.10)

Elevando ao quadrado e simplificando os termos, a relao (8.10) torna-se


a2 + b2 = c2 ,
como queramos.

D
b

B
a

c
c
b

Figura 8.12: Teorema de Pitgoras.


A recproca do Teorema de Pitgoras tambm verdadeira.
Teorema 8.4.4. Se num tringulo ABC vale a relao
2

BC = AB + AC ,
ento o tringulo retngulo e sua hipotenusa o lado BC.
Demonstrao. A partir do tringulo ABC, construimos um tringulo retngulo XY Z, cuja hipotenusa o lado ZY e os catetos XY e XZ satisfazem
XY AB e XZ AC. Pelo Teorema de Pitgoras, a hipotenusa Y Z mede
q
2
2
Y Z = AB + AC .
Portanto, o tringulo XY Z tem lados medindo AB, AC e BC logo, pelo
Teorema 4.2.7, os tringulos XY Z e ABC so congruentes. Isso implica que
ABC retngulo e sua hipotenusa o lado BC.
60

Figura 8.13: Recproca do Teorema de Pitgoras.

8.5

Exerccios

1. Dois hexgonos regulares tm lados medindo 2cm e 3cm. Qual a relao


entre as suas reas?
2. Dado um quadrado ABCD, de lado a, sejam O o ponto de interseo das
diagonais AC e BD. Se P e A denotam os pontos mdios dos segmentos AO
e BO, respectivamente, calcule a rea do quadriltero ABQP .
3. Prove que os pontos mdios de um quadriltero convexo qualquer so
vrtices de um paralelogramo cuja rea a metade da rea do quadriltero
dado.
4. Na Figura 8.14, ABCD um quadrado e M N C um tringulo equiltero.
Determine a rea deste tringulo.

Figura 8.14: Tringulo equiltero M N C.


5. Prove que a rea de um losango igual metade da medida do produto
das diagonais.
6. Prove que as trs medianas de um tringulo o decompem em seis tringulos de mesma rea.
7. Usando a Figura 8.15, d uma nova prova para o Teorema de Pitgoras.
8. Usando a Figura 8.16, d uma nova prova para o Teorema de Pitgoras.
61

a
b

c
c
b

Figura 8.15: Teorema de Pitgoras.

Figura 8.16: Teorema de Pitgoras, provado por Bhaskara.

Figura 8.17: Teorema de Pitgoras.


9. Usando a Figura 8.17, d uma nova prova para o Teorema de Pitgoras.
10. Prove que a rea A de um tringulo de semipermetro p e lados de
medida a, b, c dada por
p
A = p(p a)(p b)(p c).
Esta chamada a frmula de Heron para a rea de um tringulo (cf. [7]).

62

Captulo 9

Semelhana
Neste captulo discutiremos, de forma simples, o conceito geral de semelhana, permitindo que se desenvolva toda a teoria de forma elementar.
Obteremos, em particular, a teoria de semelhana de tringulos. Alm disso,
apresentaremos uma nova demonstrao dos teoremas de Tales e Pitgoras,
agora sob o ponto de vista de semelhana.

9.1

A definio de semelhana

Sejam F e F 0 duas figuras geomtricas e r um nmero real positivo.


Definio 9.1.1. Dizemos que F e F 0 so semelhantes, com razo de semelhana r, se existe uma bijeo : F F 0 , entre os pontos de F e os pontos
de F 0 , satisfazendo
(X)(Y ) = r XY ,
para quaisquer pontos X, Y pertencentes figura F .
A bijeo : F F 0 chama-se uma semelhana de razo r entre as
figuras geomtricas F e F 0 . A fim de simplificar a notao, denotaremos por
X 0 = (X) e Y 0 = (Y ) as imagens dos pontos X e Y pela bijeo .
Observao 9.1.2. Toda figura geomtrica F semelhante a si prpria, pois
a aplicao identidade : F F uma semelhana de razo 1. Alm disso,
se F semelhante a F 0 ento F 0 semelhante a F pois, se : F F 0 uma
semelhana de razo r, ento a inversa 1 : F 0 F uma semelhana de
razo 1/r. Finalmente, se F semelhante a F 0 e F 0 semelhante a F 00 , ento
F semelhante a F 00 . De fato, se : F F 0 e : F 0 F 00 so semelhanas
de razes r e r0 , respectivamente, ento a composta : F F 00
63

F'
F

j
Y'

Y
X

X'
Figura 9.1: Semelhana de razo r.

uma semelhana de razo r r0 . Isso mostra que a semelhana de figuras


geomtricas uma relao de equivalncia.
Definio 9.1.3. Uma semelhana de razo 1 chamada de isometria.
Neste caso, quando existe uma isometria entre as figuras F e F 0 , dizemos
que estas so congruentes.
Exemplo 9.1.4. Se dois segmentos AB e CD satisfazem CD = r AB,
para algum nmero real r > 0, definimos uma semelhana : AB CD,
de razo r, fazendo corresponder a cada ponto X do segmento AB o ponto
X 0 de CD tal que
CX 0 = r AX.
A fim de provar que de fato uma semelhana, sejam X, Y AB. Se X
est entre A e Y ento, pela definio de , o ponto X 0 est entre C e Y 0 .
Assim,
X 0 Y 0 = CY 0 CX 0 = r AY r AX
= r(AY AX) = r XY .
Analogamente se Y est entre A e X, Portanto, os segmentos AB e CD so
semelhantes.

B
Y

D
j

Y'

X
X'

A
C

Figura 9.2: Semelhana de segmentos.

64

Exemplo 9.1.5. Duas semi-retas SAB e SCD so figuras semelhantes. De


fato, dado qualquer nmero real r > 0, definimos uma semelhana
: SAB SCD , de razo r, fazendo corresponder a cada ponto X em
SAB o ponto X 0 = (X) em SCD tal que
CX 0 = r AX.
A prova de que uma semelhana se faz como no Exemplo 9.1.4. De forma
anloga se prova que duas retas quaisquer so semelhantes.
Veremos a seguir algumas propriedades das semelhanas.
Lema 9.1.6. Toda semelhana transforma pontos colineares em pontos colineares.
Demonstrao. Sejam : F F 0 uma semelhana de razo r e trs pontos
A, B, C em F tais que C pertence ao segmento AB. Provemos que C 0
pertence ao segmento A0 B 0 . De fato, como AB = AC + CB, temos:
A0 C 0 + C 0 B 0 = rAC + rCB = r(AC + CB)
= rAB = A0 B 0 ,
provando que C 0 pertence ao segmento A0 B 0 .
A proposio seguinte far uso do conceito do crculo. A fim de definlo, considere um ponto O do plano e a um nmero real positivo. O crculo
de centro O e raio a o conjunto de todos os pontos P do plano tais que
OP a. No Captulo 10, ao tratarmos da circunferncia, voltaremos a falar
do crculo com mais detalhes.
Proposio 9.1.7. Toda semelhana : F F 0 de razo r transforma:
(a) Todo segmento contido em F num segmento contido em F 0 .
(b) Um crculo de raio a contido em F num crculo de raio r a em F 0 .
(c) Pontos interiores a F em pontos interiores a F 0 .
(d) Pontos da fronteira de F em pontos da fronteira de F 0 .
(e) Vrtices de F em vrtices de F 0 (se F e F 0 forem polgonos).

65

Demonstrao. (a) Dados um segmento AB contido em F e um ponto


C AB, o ponto C 0 pertence ao segmento A0 B 0 em virtude do Lema
9.1.6. Reciprocamente, dado um ponto C 0 em A0 B 0 , tem-se C 0 = (C),
onde C = 1 (C 0 ). Como 1 uma semelhana, segue do Lema 9.1.6 que
o ponto C pertence ao segmento AB. Portanto, estabelece uma correspondncia biunvoca entre os pontos dos segmentos AB e A0 B 0 .
(b) Um crculo de centro O e raio a, contido em F , a unio de todos os
segmentos OX tais que OX = a. Sua imagem por a unio dos segmentos
O0 X 0 tais que O0 X 0 = r OX, ou seja, o crculo de centro O0 e raio r a.
(c) Dizemos que um ponto X est no interior de uma figura F se centro de
algum crculo inteiramente contido em F . Sua imagem X 0 , pelo item (b),
o centro de um crculo de raio r a, contido em F 0 . Portanto, X 0 ponto
interior de F 0 .
(d) Dizemos que um ponto X pertence fronteira de uma figura F se X F
mas no interior a F . Neste caso, o ponto X 0 deve pertencer fronteira
de F 0 pois, se X 0 estivesse no interior de F 0 ento, em virtude do item (c),
X = 1 ((X)) tambm estaria no interior de F .
(e) Suponha que F e F 0 sejam polgonos e que X seja um vrtice de F . Em
particular, X est na fronteira de F e, pelo item (d), sua imagem X 0 est na
fronteira de F 0 . Se X 0 no fosse vrtice, X 0 pertenceria a um lado A0 B 0 de
F 0 , sendo diferente de A0 e B 0 . Mas isso implicaria que X pertence ao lado
AB de F , com X 6= A e X 6= B, logo X no seria vrtice de F .

9.2

Homotetias

Fixemos um ponto arbitrrio O do plano e seja r um nmero real positivo.


Definio 9.2.1. Uma homotetia de centro O e razo r a aplicao do
plano tal que (O) = O e, para todo X 6= O, X 0 = (X) o ponto da
semi-reta SOX tal que OX 0 = r OX.
Uma homotetia de razo 1 simplesmente a aplicao identidade. Uma
homotetia de centro O transforma toda reta que passa por O em si mesma.
Alm disso, toda homotetia uma correspondncia biunvoca, cuja inversa
a homotetia de mesmo centro e razo 1/r.
Teorema 9.2.2. Toda homotetia uma semelhana que transforma qualquer
reta em si prpria ou numa reta paralela.
Demonstrao. Seja uma homotetia de centro O e razo r. Note que o
caso r = 1 trivial, pois a identidade. Supondo ento r 6= 1, considere
66

dois pontos quaisquer X, Y . Se X, Y e O so colineares ento, da Definio


9.2.1, tem-se X 0 Y 0 = r XY . Suponha ento que X, Y e O no sejam
colineares. Da hiptese
OX 0 = r OX

e OY 0 = r OY ,

e da Observao 8.2.4 concluimos (cf. Figura 9.3) que


rea(OXY 0 ) = r rea(OXY ) e rea(OY X 0 ) = r rea(OXY ),
logo
rea(OXY 0 ) = rea(OY X 0 ).

(9.1)

Subtraindo de ambos os membros de (9.1) a rea do tringulo comum OXY ,


resulta
rea(XY X 0 ) = rea(XY Y 0 ).
Como estes dois tringulos tm a mesma base XY , da igualdade de suas
reas segue-se que suas alturas so congruentes. Logo, pelo Exerccio 6.14,
XY paralelo a X 0 Y 0 . Provemos que X 0 Y 0 = r XY . De fato, usando
novamente a Observao 8.2.4, temos:
rea(Y OX) + rea(Y XX 0 ) = r rea(Y OX)

(9.2)

rea(Y OX) + rea(Y XX 0 ) + rea(X 0 Y Y 0 ) = rrea(OY X 0 )



= r rea(Y OX) + rea(Y XX 0 ) .

(9.3)

Subtraindo (9.2) de (9.3), obtemos


rea(X 0 Y Y 0 ) = r rea(Y XX 0 ).
Como XY e X 0 Y 0 so paralelos, os tringulos X 0 Y Y 0 e Y XX 0 tm a mesma
altura. Assim, a razo
rea(X 0 Y Y 0 )
r=
rea(Y XX 0 )
igual razo entre suas bases, ou seja,
X 0Y 0
= r,
XY
como queramos provar.
67

X'
X
O
Y
Y'
Figura 9.3
Usando o Teorema 9.2.2, podemos obter novamente o Teorema de Tales,
agora sob o ponto de vista de semelhana.
Corolrio 9.2.3 (Tales). Toda reta paralela a um dos lados de um tringulo,
que intercepta os outros dois lados, determina um novo tringulo semelhante
ao primeiro.
Demonstrao. Dado um tringulo ABC, considere uma reta paralela ao
lado BC, interceptando os lados AB e AC nos pontos D e E, respectivamente. Afirmamos que os tringulos ABC e ADE so semelhantes. De
AB
fato, considere a homotetia de centro A e razo r = AD
. Observe que
0
transforma D em B e E num ponto C sobre a semi-reta SAC . A imagem de
DE por o segmento BC 0 , paralelo a DE. Assim, C 0 pertence s retas
BC e AC, isto , C 0 C. Portanto, (A) = A, (D) = B e (E) = C, ou
seja, uma semelhana entre os tringulos ADE e ABC. Em particular,
obtemos
AD
AE
=
,
AC
AB
como queramos.

Figura 9.4: Teorema de Tales.

68

A recproca do Corolrio 9.2.3 tambm verdadeira.


Proposio 9.2.4. Num tringulo ABC, considere um ponto D sobre o
AB
AC
= AE
. Ento, DE paralelo
lado AB e um ponto E sobre AC tais que AD
a BC.
Demonstrao. Considere a homotetia de centro A e razo
r=

AB
AC
=
.
AD
AE

Como B = (D) e C = (E), segue do Teorema 9.2.2 que DE e BC so


paralelos.

9.3

Semelhana de tringulos

Na literatura a semelhana de tringulos definida de modo que dois


tringulos so semelhantes se existe uma bijeo entre seus vrtices de modo
que ngulos correspondentes so congruentes e lados correspondentes so
proporcionais. Provaremos agora que a definio de semelhana, dada na
Seo 9.1, quando aplicada a tringulos, reduz-se definio tradicional.
Teorema 9.3.1. Dois tringulos semelhantes tm ngulos correspondentes
congruentes e lados correspondentes proporcionais. Reciprocamente, se dois
tringulos tm ngulos correspondentes congruentes ou lados correspondentes
proporcionais, eles so semelhantes.
Demonstrao. Seja : ABC A0 B 0 C 0 uma semelhana de razo r entre
os tringulos ABC e A0 B 0 C 0 , com A0 = (A), B 0 = (B) e C 0 = (C).
Ento, pela definio de semelhana, temos:
A0 B 0
A0 C 0
B0C 0
=
=
= r,
AB
AC
BC
ou seja, os tringulos tm os lados correspondentes proporcionais. A fim de
provar que os ngulos correspondentes so congruentes, considere a homotetia de centro A e razo r; transforma o tringulo ABC no tringulo
parcial AB 00 C 00 , com B 00 C 00 paralelo a BC. Assim,
c00 B
b
B

c00 C.
b
e C

No entanto, como
AB 00 = A0 B 0 = r AB,
69

AC 00 = A0 C 0 = r AC
e
B 00 C 00 = B 0 C 0 = r BC,
os tringulos AB 00 C 00 e A0 B 0 C 0 so congruentes, portanto
c0 ,
bA
A

c0
bB
B

c0 .
bC
e C

Reciprocamente, sejam ABC e A0 B 0 C 0 dois tringulos tais que

C'

C''
A

B''

B'

B A'
Figura 9.5

c0 ,
bA
A

c0
bB
B

c0 .
bC
e C

Nas retas AB e AC, considere os pontos B 00 e C 00 , respectivamente, tais que


c0 , os tringulos AB 00 C 00 e A0 B 0 C 0
bA
AB 00 A0 B 0 e AC 00 A0 C 0 . Como A
c00 B
c0 , donde B
c00 . Portanto, as
b B
so congruentes. Isso implica que B
00
00
retas B C e BC so paralelas e, pelo Corolrio 9.2.3, os tringulos AB 00 C 00
e ABC so semelhantes. Como AB 00 C 00 e A0 B 0 C 0 so congruentes segue,
pela transitividade, que ABC e A0 B 0 C 0 so semelhantes. Sejam agora dois
tringulos ABC e A0 B 0 C 0 tais que
A0 B 0 = r AB,

A0 C 0 = r AC

e B 0 C 0 = r BC,

para algum nmero real r > 0. A homotetia de centro A e razo r transforma


o tringulo ABC no tringulo AB 00 C 00 cujos lados medem
AB 00 = r AB,

AC 00 = r AC

e B 00 C 00 = r BC.

Os tringulos AB 00 C 00 e A0 B 0 C 0 so congruentes pois tm os lados correspondentes congruentes. Como AB 00 C 00 semelhantes a ABC, pela transitividade, segue-se que ABC e A0 B 0 C 0 so semelhantes.
Veremos a seguir condies suficientes para que dois tringulos sejam
semelhantes.

70

Corolrio 9.3.2. Dois tringulos so semelhantes se dois ngulos correspondentes so congruentes.


bX
b eB
b Yb .
Demonstrao. Sejam ABC e XY Z dois tringulos, com A
Do Teorema 6.1.5, temos
b+B
b+C
b = 180o = X
b + Yb + Z
b
A
b Z,
b e o resultado segue do Teorema 9.3.1.
logo, C
bX
b
Teorema 9.3.3. Dois tringulos ABC e XY Z so semelhantes se A
AB
AC
e XY = XZ .
Demonstrao. A partir dos tringulos dados, construimos um tringulo
HIJ tal que
b A
b e Ib B.
b
HI XY, H
Pelo Corolrio 9.3.2, os tringulos ABC e XIJ so semelhantes, assim
AB
AC
=
.
HI
HJ
AC
= XZ
e a igualdade acima implicam
b H,
b pelo Axioma 14, segue que os
que HJ XZ. Como XY HI e X
tringulos XY Z e HIJ so conguentes. Como ABC e HIJ so semelhantes,
segue por transitividade que ABC e XY Z so semelhantes.

Como HI XY , a hiptese

AB
XY

C
A

Z
B X

Figura 9.6
A proposio seguinte fornece uma relao interessante entre as medidas
dos lados de um tringulo retngulo.
Proposio 9.3.4. Em qualquer tringulo retngulo, a altura relativa ao
vrtice do ngulo reto mdia geomtrica entre as projees dos catetos
sobre a hipotenusa.

71

Demonstrao. Dado um tringulo retngulo ABC, com ngulo reto no vrtice A, trace a altura AD relativa ao lado BC (cf. Figura 9.7). Provemos
que
2
AD = BD DC.
Como AD perpendicular a BC, os tringulos ADC e ADB so retngulos.
b + BAD
b+C
b = 90o , temos:
\ = 90o e B
Como B
b BAD.
\
C
Assim, pelo Corolrio 9.3.2, os tringulos ADC e BDA so semelhantes.
Desta semelhana, decorre que
AD
CD
=
,
BD
AD
ou seja,
2

AD = BD DC,
como queramos.

Figura 9.7: Tringulo retngulo ABC.


Corolrio 9.3.5 (Teorema de Pitgoras). Em qualquer tringulo retngulo,
o quadrado da medida da hipotenusa igual a soma dos quadrados das
medidas dos catetos.
Demonstrao. Dado um tringulo retngulo ABC, com ngulo reto no vrtice A, trace a altura AD do vrtice A ao lado BC. Pela Proposio 9.3.4,
os tringulos ABC, ADC e BDA so semelhantes. Da semelhana de ADC
e BAC, temos:
CD
AC
=
,
AC
BC
e da semelhana entre BDA e BAC, temos:
BD
AB
=
.
AB
BC
72

Assim,
2

AC = BC CD

e AB = BC BD.

Portanto,
2

AB + AC = BC(BD + CD) = BC ,
como queramos provar.

9.4

Exerccios

1. Se : F F 0 e 0 : F 0 F 00 so semelhanas de razes r e r00 ,


respectivamente, prove que a composta 0 : F F 00 uma semelhana
de razo rr0 , e a inversa 1 : F 00 F uma semelhana de razo 1/r.
2. Seja r uma reta do plano. A reflexo em torno de r a aplicao que
associa a cada ponto X do plano o ponto X 0 tal que r a mediatriz do
segmento XX 0 . Prove que toda reflexo uma isometria.
3. A simetria em torno de um ponto O a aplicao que faz corresponder
a cada ponto X o ponto (X) = X 0 tal que O o ponto mdio do segmento
XX 0 . Prove que toda simetria em torno de um ponto uma isometria.
4. Prove que dois tringulos equilteros so sempre semelhantes.
5. Se dois tringulos issceles tm os ngulos opostos base congruentes
entre si, prove que os tringulos so semelhantes.
6. Dado um tringulo ABC, considere o tringulo XY Z formado pelos pontos mdios dos lados de ABC. Qual a relao entre os permetros dos
tringulos?
7. Prove que alturas correspondentes em tringulos semelhantes esto na
mesma razo que os lados correspondentes.
8. Prove que se em um tringulo retngulo o menor cateto mede metade da
medida da hipotenusa, ento seus ngulos agudos so de 30o e 60o .
b o ngulo reto, trace a altura
9. Dado um tringulo retngulo ABC, sendo C
a partir do vrtice C. Se a e b so as medidas dos catetos e h a medida da
altura, prove que
1
1
1
= 2 + 2.
2
h
a
b
10. Sejam p e q inteiros positivos, com p > q. Prove que todo tringulo
cujos lados medem p2 q 2 , 2pq e p2 + q 2 , um tringulo retngulo.
73

11. Prove que em todo tringulo ABC, a medida ha da altura relativa ao


vrtice A dada por
ha =

2p
p(p a)(p b)(p c),
a

onde a = BC, b = AC, c = AB e p o semi-permetro do tringulo.

74

Captulo 10

Circunferncia
Este captulo ser dedicado ao estudo da circunferncia. A primeira parte
aborda propriedades bsicas sobre a geometria na circunferncia, em especial
aquelas relacionadas a arcos e ngulos e, em seguida, problemas relacionados
a polgonos inscritos e circunscritos a uma dada circunferncia. Na terceira
parte discutimos o conceito de potncia de um ponto em relao a uma
circunferncia e finalizamos com a questo da semelhana no crculo.

10.1

A circunferncia

Definio 10.1.1. Dados um ponto O do plano e um nmero real r > 0, a


circunferncia de centro O e raio r, denotada por C(O; r), o conjunto
C(O; r) = {P : OP = r}.
Um raio de uma circunferncia um segmento que une o centro a qualquer um de seus pontos. Corda um segmento determinado por dois pontos
da circunferncia; dimetro uma corda que passa pelo seu centro.

C
A

D
Figura 10.1: Dimetro AB e cordas AB e CD.

75

Proposio 10.1.2. Um raio perpendicular a uma corda, que no um


dimetro, se, e somente se, a divide em dois segmentos congruentes.
Demonstrao. Dado uma circunferncia C(O; r), seja OP o raio perpendicular corda AB. Sejam M o ponto de interseo de OP e AB. Como
b B.
b
OA = OB = r, o tringulo OAB issceles, com base AB. Assim, A
\
\
Como OP e AB so perpendiculares, os ngulos AM
O e BM
O so retos
\
\
logo, AM O BM O. Pelo caso LAL, os tringulos AOM e BOM so
congruentes. Segue, em particular, que AM M B. Reciprocamente, se
\
AM M B, os tringulos AM O e BM O so congruentes logo, AM
O
o
\
\
\
BM O. Como AM O + BM O = 180 , concluimos que cada um deles mede
90o , ou seja, o raio OP perpendicular corda AB.

O
M
A

B
P
Figura 10.2

Uma reta tangente a uma circunferncia uma reta que tem um nico
ponto em comum com ela; este ponto comum chama-se ponto de tangncia.
Proposio 10.1.3. Uma reta tangente a uma circunferncia se, e somente
se, ela perpendicular ao raio determinado pelo ponto de tangncia.
Demonstrao. Sejam t uma reta tangente a uma circunferncia C(O; r) e
T o ponto de tangncia. Seja P o p da perpendicular baixada de O reta
t. Provemos que P T . De fato, se P 6= T , ento os pontos O, P e
T determinam um tringulo retngulo OP T , cuja hipotenusa OT . Seja
T 0 t tal que P esteja entre T e T 0 e P T P T 0 (cf. Figura 10.3) Pelo
caso LAL, os tringulos OP T e OP T 0 so congruentes. Disso decorre, em
particular, que OT 0 = OT = r, ou seja, T 0 outro ponto da reta t que
tambm pertence a C(O; r), o que uma contradio. Portanto, P e T so
coincidentes. Reciprocamente, sejam OT um raio de C(O; r) e t uma reta
que passa por T e perpendicular a OT . Considere um ponto P t, com
P 6= T . Fica, assim, determinado o tringulo OP T , cuja hipotenusa o lado
OP . Disso decorre que r = OT < OP , ou seja, P 6 C(O; r). Portanto, T
o nico ponto comum a t e a C(O; r), isto , t a reta tangente a C(O; r)
no ponto T .
76

T'

P T

Figura 10.3: Proposio 10.1.3


Dados dois pontos A e B pertencentes a uma circunferncia C(O; r), a
reta AB separa o plano em dois semi-planos, cada um destes contendo uma
parte da circunferncia. Estas partes so chamadas de arcos determinados
pelos pontos A e B. Quando A e B so extremidades de um dimetro, estes
arcos so chamados de semi-crculos.
Quando a corda AB no um dimetro, o centro O situa-se em um dos
semi-planos determinados pela reta AB; o arco que fica no mesmo semi-plano
que O chama-se arco maior, e o outro de arco menor.
arco menor

A
O

arco maior

Figura 10.4: Arcos maior e menor.


Definio 10.1.4. Dois pontos A, B C(O; r) determinam um ngulo
\ chamado de ngulo central. A medida em graus do arco menor, deterAOB,
\ A medida em graus
minado por A e B, a medida do ngulo central AOB.
o
do arco maior 360 menos a medida do arco menor; se AB um dimetro,
a medida dos arcos 180o (cf. Figura 10.5).
Definio 10.1.5. Um ngulo inscrito numa circunferncia se o seu vrtice
um ponto da circunferncia e seus lados interceptam a circunferncia em
dois pontos distintos do vrtice.
O arco determinado pelos dois pontos distintos e que no contm o vrtice
77

A
O

\
Figura 10.5: ngulo central AOB.
do ngulo inscrito chamado arco subentendido pelo ngulo (cf. Figura 10.6).

A
A

C
O

O
C

\
Figura 10.6: Arco subentendido pelo ngulo inscrito ABC.

Teorema 10.1.6. A medida de um ngulo inscrito numa circunferncia


metade da medida do arco subentendido por esse ngulo.
Demonstrao. Temos trs casos a considerar:
1. Um dos lados do ngulo inscrito um dimetro.
2. O ngulo inscrito dividido pelo dimetro com extremidade em seu
vrtice.
3. O ngulo inscrito no dividido pelo dimetro com extremidade em
seu vrtice.
\ o ngulo inscrito com vrtice A e suponha que O AC.
Caso 1. Seja BAC
\ Como OA OB, o tringulo AOB
Assim, a medida do arco BC BOC.
\ OBA.
\ Como BOC ngulo externo
issceles com base AB assim, OAB
ao tringulo AOB, temos:
\ = OAB
\ + OBA
\ = 2OAB.
\
BOC

78

D
B
O
A

C
O

O
A

Figura 10.7: Arcos subentendidos.


Caso 2. Seja AD o dimetro com extremidade no vrtice A do ngulo inscrito. Pelo Caso 1, temos:
1\ \
BOD = BAD
2

1\ \
DOC = DAC.
2

\ = 1 BOD
\+
BAC
2

1\ 1\
DOC = BOC.
2
2

\ = BAD
\ + DAC,
\ temos:
Como BAC

\ temos
Caso 3. Considere o dimetro AD. Se AB divide o ngulo CAD,
\
\
\
DAC = DAB + BAC. Assim,
\ = DAC
\ DAB
\ = 1 DOC
\ 1 DOB
\ = 1 BOC.
\
BAC
2
2
2
\ o argumento inteiramente anlogo.
Se AC divide o ngulo BAD,
Corolrio 10.1.7. ngulos inscritos que subentendem um mesmo arco so
congruentes.
Demonstrao. Basta observar que a cada ngulo inscrito, nesta situao,
est associado ao mesmo ngulo central.
Corolrio 10.1.8. Sejam AB e CD cordas distintas de uma mesma circunferncia que se interceptam num ponto P . Ento,
AP P B = CP P D.
Demonstrao. Considere os tringulos BP D e AP C. Temos:
\
[
BP
D AP
C

[ BDP
\.
e CAP
79

C
B
P
A
D
Figura 10.8: Corolrio 10.1.8.
Assim, BP D e CAP so tringulos semelhantes logo,
AP
CP
=
,
PD
BP
ou seja, AP P B = CP P D, como queramos.

10.2

Polgonos inscritos numa circunferncia

Definio 10.2.1. Dizemos que um polgono est inscrito numa circunferncia se os seus vrtices pertencem circunferncia. Neste caso, dizemos
que a circunferncia circunscrita ao polgono.

A
C
B
Figura 10.9: Polgono ABCDE inscrito numa circunferncia.
Proposio 10.2.2. Todo tringulo est inscrito em uma nica circunferncia.
Demonstrao. Dado um tringulo ABC, denotemos por r e s as mediatrizes
de AB e AC, respectivamente, e seja O o ponto de interseo de r e s. Como
todo ponto de r equidistante de A e B, e todo ponto de s equidistante de
A e C (cf. Exerccio 4.7), o ponto O equidistante de A, B e C. Considere,
ento, a circunferncia C(O; r), onde r = OA = OB = OC. Seja, agora,
80

outra circunferncia C(O0 ; r0 ) circunscrita ao tringulo ABC. Sejam M e N


os pontos mdios de AB e AC, respectivamente. Pela Proposio 10.1.2, o
raio que passa por M perpendicular a AB e, assim, O0 pertence mediatriz
de AB. Da mesma forma, O0 pertence mediatriz de AC. Isso implica que
O0 O. Alm disso,
r0 = O0 A = OA = r.
Portanto, as circunferncias C(O; r) e C(O0 ; r0 ) so coincidentes.

r M

N
O

B
Figura 10.10: Tringulo ABC inscrito numa circunferncia.
A Proposio 10.2.2 pode ser enunciada da seguinte forma equivalente:
Proposio 10.2.3. Trs pontos no colineares determinam uma nica circunferncia.
O centro O da circunferncia circunscrita a um dado tringulo ABC,
dado pela Proposio 10.2.2, tem a propriedade de ser equidistante de A, B
e C. Assim, pelo Exerccio 4.7, o ponto O pertence s trs mediatrizes do
tringulo ABC. Podemos ento enunciar o seguinte corolrio da Proposio
10.2.2.
Corolrio 10.2.4. As mediatrizes de um tringulo interceptam-se num
nico ponto, e este chamado o circuncentro do tringulo.
Proposio 10.2.5. Um quadriltero pode ser inscrito em uma circunferncia se, e somente se, possui um par de ngulos opostos suplementares.
Demonstrao. Seja ABCD um quadriltero inscrito em uma circunfernbeC
b subentendem os dois arcos determinados por B e D.
cia. Os ngulos A
beC
b 180o , isto ,
Como estes dois arcos somam 360o , a soma dos ngulos A
so suplementares. Reciprocamente, suponha que um quadriltero ABCD
tem um par de ngulos opostos suplementares. Pelos vrtices A, B e C, considere a circunferncia determinada por esses pontos. Em relao ao ponto
D, temos trs possibilidades: ele est sobre, fora ou dentro da circunferncia. Suponha que D esteja fora da circunferncia. Considere o segmento
81

Figura 10.11: Quadriltero ABCD inscrito numa circunferncia.


BD e seja D o ponto de interseo de BD com a circunferncia. O quadriltero ABCE est inscrito na circunferncia logo, seus ngulos opostos so
suplementares. Em particular, tem-se
\ + AEC
[ = 180o .
ABC
Por hiptese, temos
\ + ADC
\ = 180o .
ABC
\ = AEC.
[ Por outro lado, temos
Assim, ADC
\ > ADB
\
AEB

\ > BDC,
\
e BEC

pois so ngulos externos. Assim,


[ = AEB
\ + BEC
\ > ADB
\ + BDC
\ = ADC,
\
AEC
o que uma contradio. Portanto, D no pode estar fora da circunferncia.
Analogamente se prova que D no pode estar dentro da circunferncia.

E
D

Figura 10.12: Quadriltero ABCD.


Proposio 10.2.6. Todo polgono regular est inscrito em uma circunferncia.

82

Demonstrao. Dado um polgono regular A1 A2 . . . An , considere a circunferncia que passa pelos pontos A1 , A2 e A3 . Seja O o centro da circunferncia.
\
\
Como OA2 = OA3 , o tringulo OA2 A3 issceles logo, OA
2 A3 OA3 A2 .
Como o polgono regular, tem-se
\
A\
1 A2 A3 A2 A3 A4 .
\
Assim, A\
1 A2 O OA3 A4 . Alm disso, como
A1 A2 A3 A4

e OA2 OA3 ,

os tringulos OA1 A2 e OA3 A4 so congruentes. Em particular, OA4 OA1 ,


isto , A4 tambm um ponto da circunferncia. Analogamente se prova que
A5 , A6 , . . . , An pertencem circunferncia.

A1
A2
O
A3
A4
Figura 10.13: Polgono regular A1 A2 . . . An inscrito numa circunferncia.
Definio 10.2.7. Uma circunferncia est inscrita em um polgono se todos
os lados do polgono so tangentes circunferncia. Neste caso, dizemos que
o polgono circunscreve a circunferncia.
Proposio 10.2.8. Todo tringulo possuiu uma nica circunferncia inscrita.
b
Demonstrao. Dado um tringulo ABC, trace as bissetrizes dos ngulos A
b
e B, que se interceptam em um ponto O. Denotemos por E, F , G os ps das
perpendiculares baixadas de O aos lados AB, AC e BC, respectivamente.
Provemos que OE OF OG. De fato, pelo caso ALA, os tringulos OAE
e OAF so congruentes, logo OE OF . Analogamente, tem-se OF OG.
Assim, pela Proposio 10.2.3, O o centro de uma circunferncia que passa
por E, F e G. Como os lados do tringulo ABC so perpendiculares aos raios
OE, OF e OG, eles so tangentes circunferncia. Portanto, a circunferncia
83

de centro O e raio r = OE = OF = OG est inscrita no tringulo. Quanto


unicidade, seja C(O0 ; r0 ) outra circunferncia inscrita no tringulo ABC.
Denotemos por E 0 , F 0 , G0 os ps das perpendiculares de O0 baixadas aos lados
AB, AC e BC, respectivamente. Como os tringulos retngulos O0 E 0 A e
O0 F 0 A possuem hipotenusa comum e um par de catetos congruentes, eles so
b Analogamente
congruentes. Disso decorre que O0 A a bissetriz do ngulo A.
0
0
b Assim, O o ponto de interseo das
se prova que O B a bissetriz de B.
b
b
bissetrizes de A e B logo, deve-se ter O0 O. Devido unicidade da
perpendicular a uma reta passando por um ponto, tem-se E 0 E, F 0 F
e G0 G. Portanto, as circunferncias C(O0 ; r0 ) e C(O; r) tm o mesmo
centro e raios iguais logo, so coincidentes.
A
E

F
O

Figura 10.14: Tringulo ABC inscrito numa circunferncia.


Analogamente ao Corolrio 10.2.4, temos o seguinte
Corolrio 10.2.9. As bissetrizes de um tringulo interceptam-se num nico
ponto, e este chamado o incentro do tringulo.
Demonstrao. Dado um tringulo ABC, denotemos por O o ponto de inb e B.
b Queremos provar que OC a
terseo das bissetrizes dos ngulos A
b Sejam E, F , G os ps das perpendiculares de O
bissetriz do ngulo C.
baixadas aos lados AB, AC e BC, respectivamente. Como vimos na prova
da Proposio 10.2.8, temos que OE OF OG. Assim, os tringulos retngulos OF C e OGC tm a hipotenusa comum e um par de catetos
congruentes, logo so congruentes (cf. Figura 10.14). Disso decorre, em
b
particular, que OC a bissetriz do ngulo C.

10.3

Potncia de um ponto em relao a uma circunferncia

Nesta seo discutiremos o conceito de potncia de um ponto em relao


a uma circunferncia, e veremos que atravs deste conceito podemos obter
84

aplicaes em problemas que tratam de relaes mtricas entre secantes e


tangentes a uma dada circunferncia.
Definio 10.3.1. Dados uma circunferncia C(O; r) e um ponto P , definimos a potncia de P em relao a C(O; r), denotada por Pot(P ), pondo
Pot(P ) = d2 r2 ,
onde d = OP .
Decorre da definio que se P um ponto exterior circunferncia, sua
potncia um nmero positivo; se P C(O; r), sua potncia zero e, se P
interior circunferncia, sua potncia negativa.
Se P um ponto exterior circunferncia C(O; r) e se P T tangente
circunferncia em T , decorre diretamente da Definio 10.3.1 e do Teorema
de Pitgoras que
2
Pot(P ) = P T .

T
P
O

Figura 10.15: Tangente a C(O; r) passando por P .

Proposio 10.3.2. Dados uma circunferncia C(O; r) e um ponto P , considere uma reta que passa por P e intercepta C(O; r) em dois pontos distintos,
A e B. Ento, o produto P A P B constante.
Demonstrao. Denotando por M o ponto mdio da corda AB, faamos
m = M A = M B e d = OP . Se P C(O; r), ento A P ou B P e,
neste caso, tem-se P AP B = 0. Se P exterior circunferncia e lembrando
que OM perpendicular corda AB (cf. Proposio 10.1.2), temos:
2

P A P B = (P M m)(P M + m) = P M m2
2

= P M + OM OM m2
= d2 r2
= Pot(P ).
85

Se P interior circunferncia, temos:


2

P A P B = (m P M )(m + P M ) = (P M m2 )
2

= (P M + OM OM m2 )
= (d2 r2 )
= Pot(P ),
como queramos.
Observao 10.3.3. O fato que o produto P A P B constante para qualquer secante passando por P j era conhecido pelos gregos. Para maiores
detalhes, cf. Proposies 35 e 36 do livro III dos Elementos [10]. O termo
potncia foi utilizado pela primeira vez por Jacob Steiner (1796 1863),
matemtico suo que deu contribuies relavantes ao desenvolvimento da
Geometria.
O conjunto dos pontos que possuem potncia igual potncia de um
ponto P , em relao a uma circunferncia C(O; r), outra circunferncia,
contendo P , e concntrica com C(O; r). Um problema interessante investigar o conjunto dos pontos que possuem mesma potncia em relao a duas
circunferncias dadas (cf. Exerccio 10.14).
Finalizaremos esta seo provando que em qualquer tringulo, o raio da
circunferncia circunscrita no menor que o dobro do raio da circunferncia
inscrita. Esse resultado decorre diretamente da frmula que d a distncia
entre o incentro e o circuncentro de um tringulo.
Proposio 10.3.4. Dado um tringulo XY Z, a distncia d entre o incentro
I e o circuncentro C dada por
p
d = R2 2rR,
(10.1)
onde r e R denotam os raios das circunferncias inscrita e circunscrita, respectivamente, ao tringulo XY Z.
Demonstrao. Como na Figura 10.16, considere as bissetrizes XD, Y I dos
b e Yb , respectivamente, o dimetro DE circunferncia circunscrita
ngulos X
\ e DY
\
e F o p da perpendicular de I a XZ. Como os ngulos DXZ
Z
subentendem o mesmo arco, temos
\
\ DXY
\.
DY
C DXZ
Assim, como Y I bissetriz de Yb , temos:
86

E
F

D
Figura 10.16: Distncia entre o incentro e o circuncentro.
[I = DY
\
[I = Y\
[I = DIY
[,
DY
Z + ZY
XD + XY
ou seja, o tringulo DY I issceles, logo
DY DI.

(10.2)

Por outro lado, denotemos por M o ponto de interseo de Y Z e DE. Como


D ponto mdio do arco Y Z e DE dimetro, DM perpendicular a Y Z.
Assim, os tringulos Y DM e XIF so semelhantes. Disso decorre que
r
DM
IF
=
.
=
DY
XI
XI

(10.3)

Como DE dimetro, o tringulo Y DE retngulo em Yb . Alm disso,


\
\ , os tringulos Y DE e M DY so semelhantes. Disso
como DY
Z DEY
decorre que
DY
DM
=
,
DE
DY
ou seja,
2
DY = 2RDM .
Assim, usando (10.2) e (10.3), temos:
DI = 2R

DM
r
= 2R
.
DY
XI

Portanto,
DI XI = 2rR.
87

Fazendo d = IC e calculando a potncia do ponto I em relao circunferncia circunscrita C(O; R), obtemos:
Pot(I) = d2 R2 = DI XI = 2rR,
ou seja,
d=

p
R2 2rR,

como queramos.

10.4

Semelhana no crculo

No Captulo 9 definimos o crculo de centro O e raio r como sendo o


conjunto de todos os pontos do plano que esto a uma distncia r do ponto
O. Nosso objetivo agora estabalecer uma relao entre rea e semelhana
no crculo.
Lema 10.4.1. Quaisquer dois crculos, de mesmo raio, so figuras congruentes.
Demonstrao. Dados dois crculos C(O; r) e C(O0 ; r), de raios congruentes,
considere a reta OO0 . Esta reta determina os dimetros AB e CD nos
crculos C(O; r) e C(O0 ; r), respectivamente, tais que B est entre A e C,
e C est entre B e D. Definimos uma aplicao : C(O; r) C(O0 ; r) do
seguinte modo. Para cada ponto X no segmento AB, seja X 0 = (X) o ponto
no segmento CD tal que CX 0 AX. Em particular, tem-se (O) = O0 .
Qualquer outro ponto X C(O; r), no pertencente ao dimetro AB, est
em um dos semi-planos determinados pela reta OO0 . Consideremos, ento,
o ponto X 0 = (X) C(O0 ; r), neste mesmo semi-plano, de modo que
O0 X 0 e OX sejam congruentes e paralelos. Disso decorre, em particular,
que OXX 0 O0 um paralelogramo. Se Y outro ponto do crculo C(O; r),
no pertencente reta OX, obtemos o tringulo OXY que, pela definio
de , congruente ao tringulo O0 X 0 Y 0 . Tem-se, assim, que X 0 Y 0 XY .
Se Y C(O; r) est sobre a reta OX ento, claramente, tem-se X 0 Y 0
XY . Portanto, uma isometria entre os crculos C(O; r) e C(O0 ; r), como
queramos.
Proposio 10.4.2. Quaisquer dois crculos so figuras semelhantes e a
razo de semelhana a razo entre seus raios.
Demonstrao. Em virtude do Lema 10.4.1, podemos supor que os crculos
C(O; a) e C(O0 ; a0 ) sejam concntricos, i.e., tm o mesmo centro O O0 . A
88

X
A
O
Y

X'

B
C

D
O'
Y'

Figura 10.17: Isometria entre os crculos C(O; r) e C(O0 ; r).


homotetia de centro O e razo r = a0 /a transforma cada segmento OX, de
medida a, no segmento OX 0 , de medida a0 , sobre a mesma reta. Portanto,
essa homotetia define uma semelhana entre C(O; a) e C(O; a0 ).

X'
X
O

Figura 10.18
Da frmula obtida para a rea de um retngulo (cf. Proposio 8.2.1),
segue que se multiplicarmos a base e a altura de um retngulo pelo mesmo
nmero positivo r, a rea desse retngulo fica multiplicada por r2 . O teorema
seguinte usa este caso particular para provar que essa uma situao geral.
Teorema 10.4.3. A razo entre as reas de duas figuras semelhantes o
quadrado da razo de semelhana.
Demonstrao. Seja : F F 0 uma semelhana de razo r entre duas
figuras geomtricas F e F 0 . Provemos que a rea de F 0 igual a r2 vezes
a rea de F . Se F e F 0 so polgonos retangulares, o teorema verdadeiro.
Assim, todo polgono retangular P , contido em F , transformado por num
polgono retangular P 0 , contido em F 0 , tal que a rea de P 0 igual a r2 vezes
a rea de P . Reciprocamente, todo polgono retangular Q0 , contido em F 0 ,
transformado por 1 num polgono retangular Q cuja rea 1/r2 vezes
a rea de Q0 , logo a rea de Q0 r2 vezes a rea de Q. Assim, a rea de F 0
o nmero real cujas aproximaes por falta so r2 vezes as aproximaes
por falta da rea de F . Portanto, tem-se
rea(F 0 ) = r2 rea(F ),
89

como queramos.
Da Proposio 10.4.2 e do Teorema 10.4.3 segue que a rea de um crculo
de raio r r2 vezes a rea do crculo de raio 1. Denotando, como de costume,
com a letra grega a rea do crculo de raio 1, segue que a rea A de um
crculo de raio r dada pela frmula
A = r2 ,
onde o nmero , por definio, a rea de um crculo de raio 1.
O teorema seguinte permite-nos caracterizar a rea de um crculo como
o limite das reas dos polgonos regulares nele inscritos (ou circunscritos)
quando o nmero de lados cresce indefinidamente.
Teorema 10.4.4. A rea do crculo o nmero real cujas aproximaes por
falta so as reas dos polgonos regulares nele inscritos e cujas aproximaes
por excesso so as reas dos polgonos regulares a ele circunscritos.
Demonstrao. Denotemos por Pn e Qn os polgonos regulares de n lados,
respectivamente inscrito no, e circunscrito ao, crculo C(O; r). Temos que
rea(Pn ) < r2 < rea(Qn ).
Provemos que, tomando n suficientemente grande, as reas de Pn e Qn podem
tornar-se to prximas de r2 quanto se queira. Ou seja, dados > 0 e
> 0, com < r2 < , provaremos que existe n N tal que
< rea(Pn ) < r2 < rea(Qn ) < .
De fato, observe que o raio r a hipotenusa de um tringulo retngulo, cujos
catetos medem ln /2 e an , onde ln denota a medida do lado de Pn e an denota
o aptema de Pn . Assim,
r < an + ln /2.
p
Dado um nmero real > 0, com < r2 , seja s = /. Ento, = s2
e s < r. Assim, o crculo C(O; s) tem rea e est contido em C(O; r).
Tomemos n suficientemente grande tal que ln /2 < r s. Assim,
r < an + ln /2 < an + r s,
donde an > s. De s < an resulta que o crculo C(O; s) est contido no
polgono Pn e, portanto,
= rea(C(O; s))) < rea(Pn ).
90

ln
r

an

Figura 10.19: Polgono regular Pn inscrito na circunferncia C(O; r).


Isto completa a prova de que as reas dos polgonos regulares inscritos em
C(O; r) so aproximaes por falta da rea de C(O; r). Analogamente se
prova para as reas dos polgonos regulares circunscritos Qn . Para maiores
detalhes, cf. Teorema 3.7 de [13].
A fim de estabelecer uma frmula para o comprimento da circunferncia,
denotaremos por Pn (respectivamente Qn ) o permetro do polgono regular
de n lados, inscrito (respectivamente circunscrito) na circunferncia C(O; r).
Definio 10.4.5. O comprimento da circunferncia C(O; r) o nmero real
C cujas aproximaes por falta so os permetros Pn e cujas aproximaes
por excesso so os permetros Qn .
Em virtude da Definio 10.4.5, tem-se
Pn < C < Qn ,
para todo natural n 3.
Teorema 10.4.6. O comprimento da circunferncia C(O; r) igual a 2r.
Demonstrao. Provemos inicialmente que C no pode ser menor do que
2r. De fato, se fosse C < 2r, teramos (C/2) r < r2 . Pelo Teorema 10.4.4, podemos obter um polgono regular Pn , de n lados, inscrito em
C(O; r) tal que (C/2) r < rea(Pn ). A rea do polgono Pn a soma das
reas dos tringulos que o compem, os quais tm o centro O como vrtice
e os lados de Pn como base (cf. Figura 10.19). Assim, essa rea igual a
Pn an /2, onde an o aptema de Pn (altura dos tringulos). Assim,
C r
Pn an
<
2
2
91

e da, C < Pn (an /r). Como an /r < 1, concluimos que C < Pn , o que
uma contradio. Portanto, no se pode ter C < 2r. Analogamente,
usando polgonos regulares circunscritos, concluiremos que no se pode ter
C > 2r.
Observao 10.4.7. O nmero , definido inicialmente como a rea de um
crculo de raio 1, satisfaz tambm a igualdade = C/2r, ou seja, a razo
entre o comprimento de uma circunferncia e seu dimetro. O primeiro a
designar a razo C/2r por foi W. Jones (1675 1749) sendo que este s
passou a smbolo standard aps sua utilizao por Euler. E foi s em 1767
que J. H. Lambert (1728 1777) demonstrou que no racional.

10.5

Exerccios

1. Dado uma circunferncia C(O; r), ao conjunto dos pontos P tais que
OP < r chamamos de interior da circunferncia; ao conjunto dos pontos
P tais que OP > r chamamos de exterior da circunferncia. Prove que o
segmento de reta, ligando um ponto do interior com um ponto do exterior
da circunferncia, intercepta a circunferncia num nico ponto.
2. Dado uma circunferncia C(O; r), prove que a distncia entre quaisquer
dois pontos do interior da circunferncia menor do que 2r.
3. Considere duas circunferncias de raio r que no se interceptam. Prove
que a medida do segmento ligando seus centros maior do que 2r.
4. Duas circunferncias C(O; r) e C(O0 ; r0 ) se interceptam em dois pontos.
O que podemos afirmar sobre a medida do segmento OO0 ?
5. Considere dois pontos A e B de uma circunferncia C(O; r). O que
podemos afirmar sobre o tringulo OAB?
6. Dizemos que duas circunferncias so tangentes se so tangentes a uma
mesma reta em um mesmo ponto; este ponto chamado de ponto de tangncia. Prove que, quando duas circunferncias so tangentes, os dois centros e
o ponto de tangncia so colineares.
7. Prove que a mediatriz de uma corda passa pelo centro da circunferncia.
8. Em um tringulo equiltero, prove que as circunferncias inscrita e circunscrita tm o mesmo centro.
9. Em uma circunferncia, so traadas duas cordas paralelas partir das
extremidades de um dimetro. Prove que as duas cordas so congruentes.
92

10. Na Figura 10.20, P R tangente circunferncia no ponto P e P Q OP .


Prove que OQ QR.

O
Q
R

P
Figura 10.20

11. Na Figura 10.21, tem-se AC BD. Prove que AB CD e que AD


paralelo a BC.

Figura 10.21
12. Prove que todo paralelogramo inscrito numa circunferncia retngulo.
13. Na Figura 10.22, P um ponto pertencente ao exterior da circunferncia.
Prove que AP P B = CP P D.

D
C
Figura 10.22
14. Considere um ponto P que tenha mesma potncia em relao a duas
2
2
circunferncias C(O1 ; r1 ) e C(O2 ; r2 ), ou seja, O1 P r12 = O2 P r22 .
Prove que o conjunto dos pontos que possuem mesma potncia que P em
relao s duas cinrcunferncias a reta que passa por P e perpendicular
a O1 O2 . Analise este problema para o caso de trs circunferncias (cf. [16]).
93

15. Sejam P T e P U duas tangentes, contendo P , duas circunferncias


concntricas, com P pertencente circunferncia menor. Se P T intercepta
2
2
2
a circunferncia maior num ponto Q, prove que P T P U = QT .
16. Na Figura 10.23, as retas so tangentes comuns s duas circunferncias. Prove que m e n se interceptam na reta que passa pelo centro das
circunferncias. Alm disso, se os raios das circunferncias so diferentes,
prove que as retas r e s tambm se interceptam na reta dos centros.

r
m
n
s
Figura 10.23
17. Dado um tringulo retngulo ABC, constri-se um semicrculo sobre
cada um de seus lados, tendo os lados como dimetros. Prove que a soma
das reas dos semicrculos, situados sobre os catetos, igual a rea do semicrculo situado sobre a hipotenusa. Prove que, se ao invs de construirmos
semicrculos, construirmos tringulos equilteros, obtemos o mesmo resultado. O resultado continua vlido se construirmos polgonos regulares?
18 (Lnulas de Hipcrates). Uma lnula uma figura geomtrica limitada por dois arcos de circunferncia de raios distintos. Dado um tringulo
retngulo ABC, com ngulo reto em C, sejam O, P , Q os pontos mdios
dos lados AB, BC e AC, respectivamente. Com centro em O, traa-se um
semicrculo de raio OA. Com centro em P , traa-se um semicrculo de raio
P B, e com centro em Q traa-se um semicrculo de raio AQ. Essa construo
delimita duas lnulas, L1 e L2 , como na Figura 10.24. Prove que a soma das
reas das lnulas igual a rea do tringulo ABC.
19. A regio limitada por dois raios e um arco de uma circunferncia
chamada de setor circular. Prove que a rea de um setor circular 21 rs,
onde r o raio da circunferncia e s a medida do arco.
20 (Teorema da borboleta). Dado uma circunferncia C(O; r), considere
uma corda P Q de C(O; r) e seja M o ponto mdio de P Q. Considere tambm
94

L1

L2

Q
P
A

Figura 10.24
duas cordas AB e CD de C(O; r) passando por M . Se AD e BC interceptam
P Q em X e Y , respectivamente, prove que M tambm ponto mdio do
segmento XY .

Y
X
P

M
C

Figura 10.25: Teorema da borboleta.

95

Captulo 11

Isometrias do plano
O principal objetivo deste captulo o de classificar as isometrias do
plano e estudar algumas de suas propriedades.

11.1

Introduo

Neste captulo admitiremos que foi fixada uma unidade de medida no


plano, aquela dada pelo Axioma 7, e denotaremos, como de costume, por
AB a distncia do ponto A ao ponto B no plano, ou seja, a medida do
segmento AB.
Definio 11.1.1. Uma isometria do plano uma aplicao que preserva
distncias, ou seja, para quaisquer pontos X, Y do plano, tem-se
X 0 Y 0 = XY ,
onde X 0 = (X) e Y 0 = (Y ).
Toda isometria injetora pois, se X 6= Y ento X 0 Y 0 = XY > 0,
logo X 0 6= Y 0 . Veremos a seguir que uma isometria tambm sobrejetora.
Analogamente ao caso de semelhanas (cf. Lema 9.1.6), temos a seguinte
Proposio 11.1.2. Toda isometria transforma retas em retas.
Demonstrao. De fato, dado uma reta r, considere dois pontos distintos
A, B r e denotemos por r0 a reta que passa por A0 e B 0 . Dado qualquer
ponto X r, um dos trs pontos A, B, X est entre os outros dois. Suponha
que X esteja entre A e B, i.e., X AB. Os demais casos so tratados
analogamente. Assim, AB = AX + XB e, portanto,
A0 B 0 = AB = AX + XB = A0 X 0 + X 0 B 0 ,
96

ou seja, X 0 pertence ao segmento A0 B 0 . Assim, os pontos A0 , B 0 , X 0 so


colineares. Isso prova que a restrio de a r uma isometria entre r e r0 .
Como toda isometria entre retas sobrejetora (cf. Observao 9.1.2), tem-se
(r) = r0 .
Proposio 11.1.3. Toda isometria transforma retas perpendiculares em
retas perpendiculares.
Demonstrao. Sejam r, s duas retas perpendiculares, que se interceptam
num ponto O. Considere dois pontos A, B em r, equidistantes de O, e um
ponto C sobre s, distinto de O. A isometria transforma a mediana OC
do tringulo issceles ABC na mediana O0 C 0 do tringulos issceles A0 B 0 C 0 ,
logo O0 C 0 perpendicular a A0 B 0 , ou seja, r0 perpendicular a s0 .

s
C

s'
C'

r'
A

A'

O'

B'

Figura 11.1
Proposio 11.1.4. Toda isometria uma bijeo, cuja inversa 1
ainda uma isometria.
Demonstrao. J vimos que injetora. Para provar a sobrejetividade,
considere um ponto arbitrrio X 0 e tracemos uma reta qualquer r. A imagem
de r por uma reta r0 . Se X 0 r0 ento, por definio de imagem,
existe um ponto X r tal que (X) = X 0 . Caso contrrio, seja s0 a reta
perpendicular baixada de X 0 sobre r0 (cf. Figura 11.2). Denotemos por Y 0
a interseo de r0 e s0 . Como Y 0 r0 , existe Y r tal que (Y ) = Y 0 . Seja
s a reta perpendicular a r passando por Y . A imagem de s por a reta
perpendicular a r0 e contm Y 0 , logo (s) = s0 . Como X 0 s0 , existe X s
tal que (X) = X 0 .
Segue diretamente da definio que se e so isometrias ento a composta tambm uma isometria. Assim, como a aplicao identidade

97

s'

s
j

X'

X
Y

Y'

r'

Figura 11.2
isometria, o conjunto de todas as isometrias, munido da operao de composio, forma um grupo.
Proposio 11.1.5. Se uma isometria possui trs pontos fixos no colineares ento a identidade.
Demonstrao. Sejam A, B, C pontos no colineares tais que (A) = A,
(B) = B e (C) = C. Considere as retas AB e AC. A imagem da reta
AB por a reta que passa pelos pontos (A) e (B), logo (AB) = AB.
Assim, a restrio de reta AB uma isometria da reta AB, com dois
pontos fixos distintos, A e B. Afirmamos que (X) = X, para todo X AB.
De fato, suponha que exista um ponto X AB tal que X 0 = (X) 6= X.
Como isometria, tem-se X 0 A = XA, logo A ponto mdio do segmento
XX 0 . Analogamente, como X 0 B = XB, segue que B tambm ponto
mdio de XX 0 . Da unicidade do ponto mdio, segue que A B, o que
uma contradio. Analogamente se prova que (Y ) = Y , para todo Y AC.
Seja agora Z um ponto qualquer do plano, e por ele traamos uma reta r que
intercepta AB e AC respectivamente nos pontos X e Y . Como (X) = X
e (Y ) = Y , concluimos que deixa fixos todos os pontos da reta r. Em
particular, (Z) = Z. Como Z foi escolhido de forma arbitrria, resulta que
a aplicao identidade.
Corolrio 11.1.6. Sejam , isometrias e A, B, C trs pontos no colineares tais que (A) = (A), (B) = (B) e (C) = (C). Ento = .
Demonstrao. A isometria = 1 deixa fixos os pontos A, B e C.
Assim, pela Proposio 11.1.5, a aplicao identidade, logo = .

11.2

Exemplos de isometrias

Exemplo 11.2.1 (Reflexo em torno de uma reta). Dado uma reta r, a


reflexo em torno da reta r a aplicao Rr assim definida: Rr (X) = X, para
98

todo X r e, para X 6 r, Rr (X) = X 0 tal que a mediatriz do segmento


XX 0 a reta r. A fim de provar que Rr uma isometria, consideremos dois
casos.

X
r
X'
Figura 11.3
1o caso: X e Y esto no mesmo semi-plano determinado por r. Traamos
os segmentos XA e X 0 A0 , paralelos a r, com A e A0 sobre Y Y 0 (cf. Figura
11.4). Os tringulos retngulos XAY e X 0 A0 Y 0 tm os catetos com a mesma
medida, logo suas hipotenusas so congruentes, i.e., X 0 Y 0 = XY .

Y
A

r
A'

X'

Y'
Figura 11.4
2o caso: X e Y esto em semi-planos opostos determinados por r. Denotemos
por A e B os pontos de interseo de XY e XX 0 com a reta r. Os tringulos
retngulos ABX e ABX 0 tm o cateto AB em comum e BX BX 0 (cf.
Figura 11.5). Assim, os tringulos AXX 0 e AY Y 0 so issceles, portanto
\0 e Y
\0 . Por
\ = BAX
\
suas medianas so bissetrizes, ou seja, XAB
AC = CAY
\
\
outro lado, tem-se XAB = AY C, por serem ngulos opostos pelo vrtice.
Assim,
\0 = Y
\0 .
\ + BAX
\
XAB
AC + CAY
\0 o suplemento do ngulo XAY
\0 , segue-se que XAB
\
\+
Como Y
AC + CAY
0
0
0
\ tambm o , logo X , A e Y so pontos colineares. Portanto,
BAX
X 0 Y 0 = X 0 A + AY 0 = XA + AY = XY .

99

Y'
X
B

A
X'
Y
Figura 11.5
Observe que os pontos fixos da reflexo Rr so os pontos da reta r. Alm
disso, para todo ponto X, tem-se Rr (Rr (X)) = X, i.e., Rr Rr a aplicao
identidade, logo (Rr )1 = Rr .
Exemplo 11.2.2 (Translao). Dados dois pontos distintos do plano, A
e B, a translao do segmento AB a aplicao TAB definida do seguinte
modo. Se X pertence reta AB, pomos X 0 = TAB (X) como sendo o ponto
da reta AB tal que XX 0 = AB e, alm disso, o sentido de percursso de X
para X 0 o mesmo de A para B. Se X qualquer outro ponto do plano,

X'

Figura 11.6
sua imagem X 0 = TAB (X) o quarto vrtice do paralelogramo que tem AB
e AX como lados. Assim, qualquer que seja a posio de X no plano, sua

X'
M

B
Figura 11.7

imagem X 0 por TAB fica caracterizada pelo fato de que os segmentos AX 0 e


BX tm o mesmo ponto mdio M . Na definio de TAB essencial levar em
considerao a ordem em que so considerados os pontos A e B. A translao
TBA diferente de TAB ; na realidade, tem-se TBA = (TAB )1 . As vezes
til mencionar o segmento de reta orientado AB para significar que o ponto
A foi tomado como origem e o ponto B como extremidade. Alm disso, a
100

translao TAB no possui pontos fixos. Na realidade, para todo ponto X,


com X 0 = TAB (X), tem-se
XX 0 = AB.

(11.1)

A fim de provar que a translao TAB uma isometria, considere dois pontos
arbitrrios X, Y e suas imagens X 0 e Y 0 , respectivamente. Suponha, inicialmente, que a reta r que contm X e Y paralela reta s que contm A
e B. Temos dois casos a considerar, expressos na Figura 11.8. No primeiro

Y'

X' Y

Y X'

Y'

Figura 11.8
caso, os segmentos XX 0 e Y Y 0 no tm pontos interiores em comum e, no
segundo, tm. Ento, usando (11.1), valem, respectivamente, as seguintes
relaes:
X 0 Y 0 = X 0 Y + Y Y 0 = X 0 Y + XX 0 = XY
ou
X 0 Y 0 = Y Y 0 X 0 Y = XX 0 X 0 Y = XY .
Em qualquer caso, tem-se X 0 Y 0 = XY . Por outro lado, se r no paralela
nem igual a s ento XX 0 e Y Y 0 so lados opostos de um paralelogramo, logo
o mesmo ocorre com XY e X 0 Y 0 . Segue-se, portanto, que X 0 Y 0 = XY .

Y'

Y
X

X'

B
Figura 11.9

\
Exemplo 11.2.3 (Rotao). Dados um ponto O e um ngulo = AOB,
de vrtice O, a rotao de ngulo em torno do ponto O a aplicao RO,
assim definida: RO, (O) = O e, para todo X 6= O, X 0 = RO, (X) o ponto
do plano tal que
\0 =
OX 0 = OX, XOX
e o sentido de rotao de A para B o mesmo de X para X 0 . A condio
\0 = significa que se tomarmos os pontos A e B tais que OA = OB =
XOX
101

OX = OX 0 ento AB XX 0 . A exigncia de que o sentido de rotao


de X para X 0 seja o mesmo que o sentido de A para B pode ser formulada
\0 tm a mesma bissetriz. A fim de
\ e AOX
dizendo-se que os ngulos BOX

X'
A
O
Figura 11.10
provar que RO, isometria, considere dois pontos X, Y do plano, distintos
0 OY e XOY
\
\0 tm a mesma bissetriz, segue-que
de O. Como os ngulos X
0
0
\
\
XOY X OY . Alm disso, como OX OX 0 e OY OY 0 , concluimos que
os tringulos XOY e X 0 OY 0 so congruentes. Disso decorre, em particular,
que X 0 Y 0 = XY , ou seja, RO, uma isometria, cujo nico ponto fixo O.
A fim de que a rotao RO, esteja bem definida, necessrio que a ordem
das semi-retas SOA e SOB seja levada em considerao: SOA a primeira e
\ um ngulo orientado. Ele
SOB a segunda. Diz-se ento que = AOB
\ Mais precisamente,
considerado diferente do ngulo orientado = BOA.
tem-se
RO, = (RO, )1 .
Proposio 11.2.4. Se uma isometria possui dois pontos fixos distintos
ento ou a aplicao identidade ou a reflexo em torno da reta que
contm esses pontos.
Demonstrao. Sejam A, B dois pontos distintos tais que (A) = A e
(B) = B. Ento deixa fixo todos os pontos da reta r = AB. Considere agora um ponto C no pertencente reta r. Se (C) = C, ento a
aplicao identidade, pela Proposio 11.1.5. Se, entretanto, C 0 = (C) 6= C
ento, como AC AC 0 e BC BC 0 , a reta r a mediatriz do segmento
CC 0 , logo C 0 = Rr (C). Portanto, coincide, nos pontos no-colineares A,
B e C, com a reflexo em torno da reta r, logo = Rr .
Corolrio 11.2.5. Sejam , isometrias e suponha que existam dois pontos
distintos A e B tais que (A) = (A) e (B) = (B). Ento ou = ou
= Rr , onde Rr a reflexo em torno da reta r = AB.
102

C
A

C'
Figura 11.11
Demonstrao. A aplicao = 1 uma isometria com dois pontos
fixos distintos, A e B. Portanto, pela Proposio 11.2.4, ou 1 a
aplicao identidade ou ento 1 = Rr , donde = Rr .

11.3

Classificao das isometrias do plano

O objetivo dessa seo provar o seguinte


Teorema 11.3.1. Existem apenas trs tipos de isometrias do plano: translao, rotao e reflexo, alm da aplicao identidade ou composio das
aplicaes anteriores.
Demonstrao. Seja uma isometria diferente da aplicao identidade. Assim, existe um ponto A tal que A0 = (A) 6= A. Seja A00 = (A0 ). Temos,
assim, que A0 A00 = AA0 > 0, logo os pontos A, A0 e A00 so dois a dois
distintos. Consideremos os trs seguintes casos.
Caso 1: A, A0 e A00 so no-colineares. Neste caso, a imagem do tringulo
AA0 A00 pela isometria um tringulo A0 A00 B. Como os lados deste tringulo tm medidas congruentes s dos lados do tringulo AA0 A00 , existem
duas possveis posies para o vrtice B, conforme ele e o ponto A estejam
ou no no mesmo semi-plano determinado pela reta A0 A00 . No primeiro caso,

B
A''

A'

B
Figura 11.12
103

o ponto B = (A00 ) forma com A, A0 e A00 a poligonal convexa AA0 A00 B,


c0 e A
c00 so congruenna qual os lados tm a mesma medida e os ngulos A
tes, logo ela pode ser inscrita numa circunferncia de raio OA, cujo centro
O a interseo das mediatrizes dos segmentos AA0 , A0 A00 e A00 B. Seja

A'

A''

A
O
Figura 11.13

O0 = (O). Como OA = OA0 = OA00 , temos O0 A0 = O0 A00 = O0 B, logo O0


pertence s mediatrizes dos segmentos A0 A00 e A00 B, donde O0 O. Assim,
\0 , temos:
se considerarmos a rotao RO, , onde = AOA
RO, (A) = A0 = (A),
RO, (A0 ) = A00 = (A0 ),
RO, (A00 ) = B = (A00 ).
Portanto, segue da Proposio 11.2.4, que = RO, uma rotao. Na
segunda hiptese, para o ponto B, temos um paralelogramo no qual AA0 e
A00 B so lados opostos e A0 A00 uma diagonal. Disso decorre que os pontos
mdios M , P , N dos segmentos AA0 , A00 B e A0 A00 , respectivamente, esto
sobre uma reta r. Considere a isometria = TM N Rr , composta da trans-

A'
M
A

B
N

A''
Figura 11.14

lao TM N com a reflexo em torno da reta r. Segue que e coincidem


nos trs pontos no-colineares A, A0 e A00 . Portanto, pela Proposio 11.1.5,
tem-se = , ou seja, a composio de uma translao com uma rotao.
Caso 2: A, A0 e A00 so pontos distintos e colineares. Como AA0 = A0 A00 , A0
104

o ponto mdio do segmento AA00 . A reta r, que contm os trs pontos dados,
transformada em si mesma por . Alm disso, coincide nos pontos A e
A0 com a translao TAA0 : r r. Assim, em todos os pontos da reta r,
coincide com TAA0 . Considere agora um ponto B 6 r. O tringulo AA0 B

B'

A''

A'

B'
Figura 11.15
transformado por no tringulo A0 A00 B 0 , congruente a AA0 B. Existem duas
posies possveis para o vrtice B 0 , conforme ele e B estejam no mesmo ou
em semi-planos opostos determinados pela reta r. Na primeira hiptese, AB
e A0 B 0 so lados opostos de um paralelogramo. Assim, considerando a translao TAA0 , vemos que e TAA0 coincidem nos trs pontos no-colineares A,
A0 e B. Segue ento da Proposio 11.1.5 que = TAA0 uma translao.
Na segunda hiptese, o ponto B 0 o simtrico, em relao a r, do ponto B 0
do caso anterior. Assim, considerando a isometria = TAA0 Rr , vemos que
(A) = (A) = A0 , (A0 ) = (A0 ) = A00 e (B) = (B) = B 0 . Portanto,
pela Proposio 11.1.5, segue que = TAA0 Rr .
Caso 3: Suponha A00 = A. Neste caso, transforma o segmento AA0 em si
mesmo, logo (M ) = M , onde M o ponto mdio de AA0 . Disso decorre
que a mediatriz s do segmento AA0 transformada em si mesma por . Seja

s
B

r
A'

Figura 11.16
B um ponto dessa mediatriz, diferente de M . H duas possibilidades: ou
(B) = B ou B 0 = (B) o simtrico de B em relao reta r = AA0 .
No primeiro caso, coincide com a reflexo Rs nos pontos A, A0 e B, logo
105

= Rs . Na segunda hiptese, coincide com a rotao RM,180o nos pontos


no-colineares A, B e M , logo = RM,180o . Portanto, uma translao
ou uma rotao.

11.4

Exerccios

1. Prove que toda isometria transforma retas paralelas em retas paralelas.


2. Sejam ABC e A0 B 0 C 0 dois tringulos congruentes. Prove que existe uma
nica isometria do plano tal que (A) = A0 , (B) = B 0 e (C) = C 0 .
3. Sejam uma isometria e A um ponto tais que (A) 6= A e ((A)) = A.
Prove que uma reflexo em torno de uma reta ou uma rotao.
4. Dado uma isometria , prove que, para toda reta r, os pontos mdios dos
segmentos XX 0 , com X r e X 0 = (X), esto todos sobre uma mesma
reta s.

106

Parte III

Geometria Euclidiana Espacial

107

Captulo 12

Pontos, Retas e Planos


Analogamente Geometria plana, faremos nestas notas uma exposio
da Geometria espacial sob o ponto de vista axiomtico. No entanto, como
estamos admitindo conhecidos os fundamentos da Geometria plana, faremos
aqui apenas a passagem da Geometria plana para a espacial, ou seja, admitiremos conhecidos todos os resultados da Geometria plana vlidos em cada
plano do espao, e abordaremos apenas as propriedades adicionais que devem
exprimir as relaes fundamentais de pontos, retas e planos no espao.

12.1

Noes primitivas e axiomas

A fundamentao da Geometria espacial parte de trs termos primitivos


que so as noes de ponto, reta e plano; o ambiente de trabalho ser chamado
de espao. Embora no seja necessrio enunciar propriedades a respeito de
retas e pontos contidos em um plano, devemos reafirmar, para o espao, as
propriedades bsicas de pontos e retas.
Axioma 17. Por dois pontos distintos do espao passa uma nica reta.
Axioma 18. Dado uma reta do espao, existem pontos que pertencem reta
e pontos que no pertencem reta.
Enunciamos agora as propriedades bsicas a respeito de pontos e planos.
Axioma 19. Por trs pontos no colineares do espao passa um nico plano.
Axioma 20. Dado um plano do espao, existem pontos que pertencem ao
plano e pontos que no pertencem ao plano.

108

O Axioma 19 estabelece que, enquanto a reta um objeto unidimensional,


o plano um objeto bidimensional. Alm disso, decorre do Axioma 20 que
todo plano um subconjunto prprio do espao.
Proposio 12.1.1. Se uma reta r tem dois de seus pontos pertencentes a
um plano , ento ela est contida neste plano.
Demonstrao. Considere dois pontos A, B r tais que A, B . Segue
ento da Geometria Plana que existe uma nica reta s contendo A e
B. Por outro lado, pelo Axioma 17, A e B determinam uma nica reta
do espao, que a reta r; portanto, r coincide com s, que est contida no
plano.
Observe que, de acordo com a Proposio 12.1.1, uma reta e um plano
no espao s podem ter uma das seguintes posies relativas: a reta pode
estar contida no plano, a reta e o plano interceptam-se num nico ponto, ou
no possuem pontos em comum.
Proposio 12.1.2. Existe um nico plano que contm uma reta r e um
ponto A no pertencente a ela.
Demonstrao. Considere dois pontos distintos B, C r. Como A, B e C
so no colineares, segue do Axioma 19 que existe um nico plano contendo
tais pontos. Como B, C , segue da Proposio 12.1.1 que r .

A
B

C
r

Figura 12.1
Segue do Axioma 17 que duas retas distintas tm no mximo um ponto
em comum. De fato, como existe uma nica reta contendo dois pontos
distintos, duas retas que tenham mais de um ponto comum so coincidentes.
Quando duas retas tm apenas um ponto em comum, elas so chamadas de
retas concorrentes.
Proposio 12.1.3. Por duas retas concorrentes r e s passa um nico plano.
Demonstrao. Seja P o ponto de interseo de r e s, e considere pontos
Q r e R s, distintos de P . Pelo Axioma 19, existe um nico plano
contendo P , Q e R. Alm disso, como r e s tm, cada uma, dois pontos no
plano, a Proposio 12.1.1 implica que r e s esto contidas em .
109

Definio 12.1.4. Duas retas do espao chamam-se paralelas se no possuem pontos em comum e esto contidas em um mesmo plano. Quando duas
retas do espao no esto contidas no mesmo plano elas so chamadas de
retas reversas.
Da Proposio 12.1.3 segue que duas retas reversas no possuem pontos
em comum. Alm disso, o plano que contm duas retas paralelas nico.
Proposio 12.1.5. Dados uma reta r e um ponto P 6 r, existe uma nica
reta passando por P e paralela a r.
Demonstrao. Denotemos por o plano determinado por r e P , e por s a
paralela a r, passando por P e contida em . Suponha que exista outra reta
s0 , paralela a r e passando por P . Como r e s0 so paralelas, existe um plano
0 contendo r e s0 . O plano 0 contm r e P , logo coincide com . Assim, s
e s0 so duas retas contidas em , paralelas a r e passando por P . Portanto,
pelo Axioma das paralelas, s e s0 so coincidentes.

P
r

s
s'

Figura 12.2
O paralelismo de retas no espao possui propriedades semelhantes ao paralelismo no plano. Em particular, se duas retas distintas r e s so paralelas
a uma mesma reta t, ento r e s so paralelas entre si.
O axioma seguinte se refere tridimensionalidade do espao.
Axioma 21. Se dois planos possuem um ponto em comum, ento eles possuem, pelo menos, mais um ponto em comum.
Decorre do Axioma 21 que existem apenas duas posies relativas para
dois planos distintos do espao: eles podem paralelos (quando no tm ponto
em comum) ou secantes (quando tm uma reta em comum).
O teorema seguinte , as vezes, adotado no lugar do Axioma 21, como
um axioma capaz de caracterizar a tridimensionalidade do espao. Mais
precisamente, este teorema expressa a propriedade que um plano tem de
separar o espao.

110

Teorema 12.1.6. Todo plano divide o espao em dois semi-espaos tais


que, se dois pontos A e B esto em um mesmo semi-espao, o segmento AB
est contido neste semi-espao e no intercepta o plano; se A e B esto em
semi-espaos opostos, AB intercepta o plano.
Demonstrao. Utilizaremos, na demonstrao, o fato da Geometria Plana
de que qualquer reta divide o plano em dois semi-planos. Dados um plano
e um ponto P 6 , dividimos os pontos do espao que no esto em em dois
conjuntos, chamados de semi-espaos, do seguinte modo: um semi-espao
formado pelos pontos Q 6 tais que P Q = ; o outro semi-espao
formado pelos pontos Q 6 tais que P Q 6= . Dados dois pontos A
e B no semi-espao que contm P , seja o plano passando por A, B e P .
Se no intercepta , AB no intercepta . Suponha, ento, que e
interceptam-se ao longo de uma reta r, que divide em dois semi-planos.
Como os segmentos P A e P B no interceptam , eles no interceptam r.
Logo, A e B esto em um mesmo semi-plano determinado por r. Isso significa
que AB est contido neste semi-plano e, assim, no intercepta r, logo no
intercepta . Analogamente se A e B esto no semi-espao que contm P .
P
a
B

r
p

Figura 12.3
Suponha agora que A est num semi-espao e B no outro. Seja o plano
passando por A, B e P , interceptando numa reta r. Como A est num
semi-plano determinado por r, e B no outro, o segmento AB intercepta a
reta r, logo intercepta (cf. Figura 12.7).

12.2

Construo de pirmides e paraleleppedos

Com as poucas propriedades j estabelecidades, podemos construir alguns poliedros que passaremos, inicialmente, a defin-los.
111

P
a

r
A

Figura 12.4: A e B em semi-espaos distintos.


Definio 12.2.1. Um poliedro uma regio do espao delimitada por um
nmero finito de regies poligonais planas, chamadas faces do poliedro, tais
que:
(a) A interseo de duas faces vazia, ou um vrtice comum s duas, ou
um lado comum s duas;
(b) Cada lado de uma face lado de exatamente mais outra face.
Exemplo 12.2.2. Dados um polgono A1 A2 . . . An e um ponto V exterior
ao plano do polgono, traamos os segmentos V A1 , V A2 , . . . V An . Cada
dois vrtices consecutivos de A1 A2 . . . An determinam com V um tringulo. Estes tringulos, junto com o polgono A1 A2 . . . An , delimitam uma
regio do espao, que a pirmide de base A1 A2 . . . An e vrtice V . Os
segmentos V A1 , V A2 , . . . V An so chamados arestas laterais e os tringulos
V A1 A2 , V A2 A3 , . . . , V An1 An so as faces laterais da pirmide.
V

A1

A5

A2
A3

A4

Figura 12.5
Exemplo 12.2.3. Considere uma pirmide de base retangular ABCD e
vrtice V . Considere os planos e determinados pelos pontos V, A, C e
V, B, D, respectivamente. Os planos e so distintos, logo sua interseo
112

uma reta r que passa por V . As intersees de e com o plano da base


so as diagonais AC e BD, respectivamente, do quadriltero ABCD. Seja
P o ponto de interseo de AC e BD. Assim, P um ponto comum aos
planos , e ABCD, logo pertence reta r. Portanto, e se interceptam
segundo a reta que passa por V e pelo ponto de interseo de AC e BD.

D
C
P

Figura 12.6: Pirmide de base retangular ABDC.


Exemplo 12.2.4. Considere trs segmentos AB, AD e AE, no coplanares.
Por B e D, considere as paralelas a AD e AB, respectivamente, obtendo o
paralelogramo ABCD. A seguir, traamos as paralelas a AE pelos pontos
B, C e D. Tomando segmentos congruentes a AE sobre estas retas, no
mesmo semi-espao que E, so obtidos os pontos F , G e H. Trace, ento,
os segmentos EF , F G, GH e HE, que so coplanares, pois EF e GH so
paralelos. O poliedro, assim obtido, chama-se o paraleleppedo de vrtices
A, B, C, D, E, F, G, H.

Figura 12.7: Paraleleppedo ABCDEF GH.

113

12.3

Exerccios

5. Considere um conjunto de, pelo menos, trs retas distintas. Mostre que,
se duas quaisquer destas retas so concorrentes, ento elas esto todas num
mesmo plano ou passam todas pelo mesmo ponto.
6. Duas retas r e s so concorrentes em um ponto A. Fora do plano determinado por r e s, considere um ponto P qualquer. Determine a interseo
do plano determinado por r e P com o plano determinado por s e P .
7. Prove que a noo de paralelismo de retas no espao satisfaz a propriedade
de transitividade.
8. Sejam r, s e r0 , s0 dois pares de retas concorrentes tais que r e r0 so
paralelas entre si e, s e s0 tambm so paralelas entre si. Prove que o ngulo
formado por r e s igual ao ngulo formado por r0 e s0 .
9. Sejam A, B, C e D pontos quaisquer do espao. Sejam M , N , P e Q os
pontos mdios de AB, BC, CD e DA, respectivamente. Mostre que M N P Q
um paralelogramo.
10. Mostre que os trs segmentos que unem os pontos mdios das arestas
opostas de um tetraedro qualquer ABCD se encontram em um mesmo ponto.

114

Captulo 13

Paralelismo
13.1

Paralelismo de reta e plano

Consideremos um plano e uma reta r no espao. Se existir um nico


ponto comum a r e , diremos que r e so secantes. Se r e no possuem
pontos em comum, diremos que eles so paralelos. O teorema seguinte estabelece uma condio necessria e suficiente para que uma reta e um plano
sejam paralelos.
Teorema 13.1.1. Um plano e uma reta r no contida em so paralelos
se, e somente se, existe uma reta s contida em e paralela a r.
Demonstrao. Suponha que r e sejam paralelos. Dado um ponto P ,
considere o plano determinado por r e P . Os planos e , por terem o
r
a
s

Figura 13.1
ponto P em comum, se interceptam ao longo de uma reta s. As retas r e
s so paralelas, pois so coplanares e no possuem pontos em comum. De
fato, se existisse algum ponto comum a ambas, ele seria um ponto comum
a r e , o que uma contradio. Reciprocamente, suponha que uma reta
115

s seja paralela a r. Queremos provar que r paralela a . Para isso,


considere o plano determinado por r e s. Se r interceptasse o plano ,
seria necessariamente um ponto da interseo s de e , o que impossvel,
pois r e s so paralelas. Logo, r e so paralelos.
Exemplo 13.1.2. Considere uma pirmide V ABCD, onde a base ABCD
um paralelogramo. O plano , determinado pelos vrtices V, A, B e a reta
CD so paralelos, pois CD paralela reta AB contida em .
V

Figura 13.2: Pirmide cuja base ABCD um paralelogramo.


Exemplo 13.1.3. Dado um paraleleppedo ABCDEF GH, considere o plano
determinado pelas arestas opostas AE e CG, e o plano determinado por
BF e DH. Considere os pontos O e P , interseo das diagonais das bases
(cf. Figura 17.4). Tais pontos pertencem a e a ; assim, a reta r, determinada por O e P , est contida em e . Alm disso, r paralela s arestas
AE, BF , CG e DH. De fato, AE paralela a , j que paralela reta
BF contida em . Como AE , AE paralela reta r, interseo de e
. Analogamente para os demais casos.
r
H
G

P
E
F

O
A
B

Figura 13.3: Paraleleppedo ABCDEF GH.

116

13.2

Paralelismo de planos

Dois planos distintos do espao, que possuem uma reta em comum, so


chamados de secantes; caso eles no possuem nenhum ponto em comum,
diremos que eles so planos paralelos. Nesta seo, mostraremos como construir pares de planos paralelos. Para isso, estabeleceremos, inicialmente, um
critrio de paralelismo de planos baseado em retas.
Proposio 13.2.1. Se e so planos paralelos, ento paralelo a toda
reta contida em . Reciprocamente, se paralelo a duas retas concorrentes
contidas em , ento e so paralelos.
Demonstrao. Suponha que e sejam paralelos. Dado uma reta r , r
no pode interceptar o plano pois, do contrrio, interceptaria o plano .
Assim, r e so paralelos. Reciprocamente, sejam r e s duas retas contidas
em , concorrentes em um ponto A, e paralelas ao plano . Suponha que
e se interceptem ao longo de uma reta t. Como r e s so paralelas ao plano
, r e s no interceptam a reta t. Assim, como t , r e s so paralelas a
t. Isso contradiz a unicidade da paralela a t passando por A. Portanto, e
so paralelos.
Proposio 13.2.2. Por um ponto P , exterior a um plano , passa um
nico plano paralelo a .
Demonstrao. Sejam r e s duas retas concorrentes contidas em . Pelo
ponto P , considere as retas r0 e s0 , paralelas a r e s, respectivamente. Seja
o plano determinado por r0 e s0 . Como r0 e s0 so paralelas ao plano , segue
da Proposio 13.2.1 que paralelo a . Quanto unicidade, suponha
t1
r

s
a

Figura 13.4
que existam dois planos 1 e 2 passando por P e paralelos a . Como
P 1 2 , a interseo de 1 e 2 uma reta r, paralela a . Seja s uma
reta contida em , no paralela a r, determinando com P um plano . A
117

interseo de e 1 uma reta t1 , que paralela reta s, pois s e t1 so


coplanares e esto contidas em planos paralelos. Isso implica que t1 e r so
distintas. Analogamente, a interseo de e 2 uma reta t2 , paralela a s.
Como t1 e t2 passam por P , elas so necessariamente coincidentes. Assim, 1
e 2 contm, alm da reta r, uma segunda reta comum t1 . Portanto, 1 e 2
so coincidentes, ou seja, o plano paralelo a passando por P nico.
A proposio 13.2.2 permite-nos contruir novos poliedros, como mostra
o exemplo seguinte.
Exemplo 13.2.3. Considere um polgono A1 A2 . . . An contido em um plano
e escolha um ponto B1 no pertencente a . Por B1 , traamos o plano
paralelo a . Pelos demais vrtices A2 , . . . , An traamos retas paralelas a A1 B1 , que interceptam nos pontos B2 , . . . , Bn . Escolha dois segmentos consecutivos assim determinados: A1 B1 e A2 B2 , por exemplo. O

B5

B6
B1

B4
B2

B3

A6

A5
A4

A1
A2

A3
Figura 13.5

quadriltero A1 B1 B2 A2 plano, pois os lados A1 B1 e A2 B2 so paralelos. Mas isso implica que os outros dois lados tambm so paralelos, pois
esto contidos em planos paralelos. Portanto, o quadriltero um paralelogramo. Os paralelogramos assim determinados, juntamente com os polgonos
A1 A2 . . . An e B1 B2 . . . Bn determinam um poliedro, chamado de prisma de
bases A1 A2 . . . An e B1 B2 . . . Bn . As arestas A1 B1 , A2 B2 , . . . , An Bn so chamadas de arestas laterais. Todas as arestas laterais so paralelas e congruentes; arestas laterais consecutivas formam paralelogramos, que so chamados
de faces laterais do prisma. As bases A1 A2 . . . An e B1 B2 . . . Bn so congruentes, pois estes polgonos possuem lados respectivamente congruentes e
paralelos.

118

Observao 13.2.4. Quando a base de um prisma um paralelogramo, o


prisma um paraleleppedo, construdo de outra forma na Seo 17.1. Paraleleppedos so prismas que tm a particularidade de que qualquer uma de
suas faces pode ser escolhida como base.
Proposio 13.2.5. Se uma reta intercepta um plano, ela intercepta tambm qualquer plano paralelo a este. Se um plano intercepta uma reta, ele
intercepta tambm qualquer reta paralela a ela.
Demonstrao. Sejam e dois planos paralelos e r uma reta secante ao
plano num ponto A. Isso implica que r no est contida em . Suponha
que r seja paralela a . Assim, pelo Teorema 13.1.1, existe uma reta s
paralela a r. O plano , determinado por s e A, intercepta ao longo de
uma reta t, que contm o ponto A. O fato de que e so paralelos implica
que s e t tambm so paralelas. Assim, r e t so duas retas passando por
A e paralelas a s. Isso implica que r e t so necessariamente coincidentes
e, portanto, r est contida em , o que uma contradio. Suponha agora

b
s
A
t
a
Figura 13.6

que um plano intercepta uma reta r, e seja r0 uma paralela a r (cf. Figura
13.7). O plano , determinado por r e r0 , secante a ao longo de uma reta
s. Como r secante a s, a reta r0 , que est contida no mesmo plano que r e
s, tambm secante a s, logo secante a .

13.3

Proporcionalidade

Na Geometria espacial existe um teorema anlogo ao Teorema de Tales


para feixe de planos paralelos. Para demonstr-lo, precisaremos do seguinte
lema.
Lema 13.3.1. Dois segmentos paralelos compreendidos entre planos paralelos so congruentes.
119

r'

Figura 13.7
Demonstrao. Sejam AB e CD dois segmentos paralelos compreendidos
entre os planos paralelos e . Assim, o quadriltero ABDC plano. Como
AC e BD esto contidas em planos paralelos, elas no possuem pontos em
comum, logo so paralelas. Portanto, ABDC um paralelogramo e, assim,
AB CD.

C
A

D
B
Figura 13.8: Segmentos compreendidos entre planos paralelos.

Teorema 13.3.2. Um feixe de planos paralelos determina segmentos proporcionais subre duas retas secantes quaisquer.
Demonstrao. Sejam 1 , 2 , 3 trs planos paralelos e r, s duas retas secantes quaisquer. A reta r intercepta os planos nos pontos A1 , B1 , C1 , e
s intercepta os planos nos pontos A2 , B2 , C2 (cf. Figura 13.9). Queremos
provar que
A1 B 1
B1 C1
A1 C 1
=
=
.
A2 C 2
A2 B 2
B2 C2

(13.1)

Pelo ponto A1 , traamos a reta s0 , paralela a s, que intercepta os planos 2


e 3 nos pontos B20 e C20 , respectivamente. As retas r e s0 determinam um
120

plano, que intercepta os planos 2 e 3 segundo as retas paralelas B1 B20 e


C1 C20 , respectivamente. Assim, pelo Teorema de Tales, temos:
A1 B 1
A2 B20

B1 C1
B20 C20

A1 C 1
.
A2 C20

(13.2)

Pelo Lema 13.3.1, temos A1 B20 A2 B2 , B20 C20 B2 C2 e A1 C20 A2 C2 .


Substituindo em (13.2), obtemos as iguladades em (13.1).

s'

s
a1
A2

A1

a2
B'2

B1

B2
a3

C2'

C1 C2

Figura 13.9: Feixe de planos paralelos.


Exemplo 13.3.3. Considere uma pirmide de base A1 A2 A3 A4 e vrtice V .
Tracemos um plano paralelo base, interceptando as arestas laterais segundo
o quadriltero B1 B2 B3 B4 . Este plano divide a pirmide em dois poliedros:
a pirmide de base B1 B2 B3 B4 e vrtice V , e o tronco de pirmide de bases
A1 A2 A3 A4 e B1 B2 B3 B4 . Na face lateral V A1 A2 , por exemplo, o segmento
B1 B2 paralelo base A1 A2 . Assim, pelo Teorema de Tales, temos:
V B1
V B2
B1 B2
=
=
= k.
V A1
V A2
A1 A2
Aplicando o mesmo raciocnio para as demais faces laterais, concluiremos
que a razo entre duas arestas correspondentes das duas pirmides sempre
igual a k. Mais precisamente, estas duas pirmides so semelhantes na razo
k, ou seja, possvel estabelecer uma correspondncia entre seus pontos de
modo que a razo entre os comprimentos de segmentos correspondentes nas
duas figuras seja constante. Para maiores detalhes, veja [5].
121

13.4

Exerccios

1. Prove que se uma reta paralela a dois planos secantes, ento ela
paralela reta de interseo dos dois planos.
2. Construa, por um ponto P , um plano paralelo duas retas no paralelas
r e s.
3. Sejam r uma reta secante a um plano e P um ponto exterior a . Prove
que existe uma nica reta que passa por P , intercepta r e paralela a .
4. Por um ponto qualquer da aresta AB de um tetraedro qualquer ABCD,
traado um plano paralelo s arestas AC e BD. Mostre que a seo
determinada por este plano no tetraedro um paralelogramo.
5. Seja P um ponto exterior a um plano . Para cada ponto Q de , seja
X o ponto do segmento P Q que o divide na razo
XP
= k,
XQ
onde k > 0 um nmero dado. Qual o lugar geomtrico dos pontos X
quando Q percorre o plano ?

122

Captulo 14

Ortogonalidade
O conceito de ortogonalidade (ou perpendicularismo) entre retas vem da
Geometria plana. Duas retas concorrentes so ortogonais quando se interceptam formando quatro ngulos congruentes. Esta definio continua sendo
vlida para retas concorrentes do espao. Para estender o conceito para um
par r, s de retas reversas, considere duas retas r0 , s0 , concorrentes em um
ponto P , e paralelas a r e s, respectivamente. O ngulo entre r e s definido
como o ngulo formado por r0 e s0 . Segue, do Exerccio 4, que o ngulo entre
r e s independe da escolha das retas r0 e s0 . Portanto, diremos que duas
retas reversas r e s so ortogonais se as retas r0 e s0 so ortogonais.

14.1

Ortogonalidade entre reta e plano

Definio 14.1.1. Dizemos que uma reta r ortogonal a um plano se r


ortogonal a toda reta contida em .
Para que r seja ortogonal a basta que r seja ortogonal s retas de
que passam pelo ponto P , interseo de r com . De fato, se isso ocorre, r
ser ortogonal a qualquer outra reta de , pois toda reta de possui uma
paralela passando por P (cf. Figura 14.1).
Proposio 14.1.2. Se uma reta r e um plano so ortogonais, toda reta
r0 , paralela a r, ortogonal a . Alm disso, todo plano 0 , paralelo a ,
ortogonal a r.
Demonstrao. Seja s0 uma reta contida em e secante a r0 . Pelo ponto
de interseo de r com , trace a reta s, contida em e paralela a s0 . O
ngulo entre r0 e s0 igual ao ngulo entre r e s, que 90o . Logo, r0 e s0 so
ortogonais e, portanto, r0 ortogonal a .
123

P
p

Figura 14.1: A reta r ortogonal ao plano .


Proposio 14.1.3. Se duas retas distintas, r e r0 , so ortogonais a um
plano , ento elas so paralelas. Se dois planos distintos, e , so ortogonais a uma reta r, ento eles so paralelos.
Demonstrao. Suponha que r e r0 no sejam paralelas. Pelo ponto de interseo de r0 e , traamos a reta s, paralela a r. Como r0 e s so distintas, elas
determinam um plano , que intercepta segundo uma reta t. Pela Proposio 14.1.2, a reta s ortogonal ao plano . Como r0 e s so ortogonais a ,
elas so ortogonais reta t. Assim, no plano existem duas retas ortogonais
reta t passando pelo mesmo ponto, o que e uma contradio. Portanto, r
e r0 devem ser paralelas. Analogamente se prova a segunda afirmao.

r'

Figura 14.2: Retas r e r0 ortogonais ao plano .


O teorema seguinte, alm de proporcionar uma condio suficiente para
que uma reta seja ortogonal a um plano, nos dar ferramentas que permitam,
de fato, construir retas e planos ortogonais.
Teorema 14.1.4. Se uma reta r ortogonal a duas retas concorrentes, contidas em um plano , ento r ortogonal a .
124

Demonstrao. Sejam s e t duas retas contidas em , concorrentes em um


ponto P , e suponha que sejam ortogonais reta r. Podemos supor, sem
perda de generalidade, que r intercepta no ponto P . Dado uma reta u
contida em , passando por P , considere uma reta v, tambm contida em ,
que intercepta as retas s, t, u nos pontos S, T e U , respectivamente, distintos
de P (cf. Figura 14.3). Temos trs possibilidades: S est entre T e U , T
est entre S e U , e U est entre S e T . Suponha que S esteja entre T e U .
Em cada semi-espao determinado por , considere dois pontos A1 , A2 r
tais que P A1 P A2 . Pelo caso LAL, os tringulos A1 P T e A2 P T so
congruentes. Analogamente os tringulos A1 P S e A2 P S so congruentes.
\
\
Disso decorre que A
1 SU A2 SU . Assim, pelo caso LAL, os tringulos
A1 SU e A2 SU so congruentes. Em particular, tem-se A1 U A2 U . Isso
implica, pelo caso LLL, que os tringulos A1 P U e A2 P U so congruentes.
\
\
Disso segue que A
1 P U A2 P U . Como A1 , P, A2 so colineares, segue que
o
\
\
A1 P U = 90 = A2 P U . Portanto, r ortogonal a u. Os demais casos podem
ser provados de forma inteiramente anloga.

r
A1

U
P

u
s

S
T
t

p
A2

Figura 14.3
O teorema seguinte permite-nos, finalmente, construir retas e planos ortogonais.
Teorema 14.1.5. Por um ponto dado, pode-se traar um nico plano ortogonal a uma reta dada. Por um ponto dado, pode-se traar uma nica reta
ortogonal a um plano dado.
Demonstrao. Dados uma reta r e um ponto P no espao, consideremos
dois planos 1 e 2 contendo a reta r. Dado um ponto A r, considere
125

uma reta t1 contida em 1 e uma reta t2 contida em 2 , ambas ortogonais


a r no ponto A. O plano , determinado por t1 e t2 , contm duas retas
concorrentes e ortogonais a r. Assim, pelo Teorema 14.1.4, ortogonal a
r. Pelo ponto P , traamos um plano 0 paralelo a , que tambm ortogonal
a r, em virtude da Proposio 14.1.2. Se existisse outro plano passando por
P e ortogonal a r, ele seria tambm paralelo a . No entanto, s existe um
plano paralelo a passando por P . Para provar a segunda parte do teorema,
r
P
A
a1

a2

t2

t1

Figura 14.4: Unicidade do plano ortogonal a uma reta dada.


consideremos um plano e um ponto P no espao. Sobre , considere duas
retas t1 e t2 , concorrentes num ponto A. Pelo ponto A, considere o plano
1 ortogonal a t2 , e o plano 2 ortogonal a t1 . A reta r, interseo de 1
e 2 , ortogonal a t1 e t2 logo, pelo Teorema 14.1.4, ortogonal a . Pelo
ponto P , considere a reta r0 paralela a r. Segue da Proposio 14.1.2 que r0
ortogonal a . Se existisse outra reta passando por P e ortogonal a , ela
tambm seria paralela a r. No entanto, existe somente uma reta passando
por P e paralela a r.
r'

r
P
b1

b2

A
t1

t2

Figura 14.5: Unicidade da reta ortogonal a um plano dado.


Exemplo 14.1.6. Um prisma reto o prisma obtido considerando-se, como
arestas laterais, retas ortogonais ao plano da base (cf. Figura 17.6). Como
126

consequncia, as faces laterais so retngulos. Quando a base um retngulo,


obtemos um paraleleppedo retngulo, no qual cada face um retngulo. Um
caso mais particular o caso do cubo, no qual cada face um quadrado.

Figura 14.6: Prisma reto.


Exemplo 14.1.7. Uma pirmide regular construda considerando-se um
polgono regular A1 A2 . . . An como base e escolhendo como vrtice um ponto
V sobre a reta ortogonal ao plano do polgono passando pelo seu centro O
(cf. Figura 17.7). Os tringulos V OA1 , V OA2 , . . . , V OAn so tringulos
retngulos congruentes, por possuirem catetos respectivamente congruentes.
Como consequncia, tem-se V A1 V A2 . . . V An , o que faz com que as
faces laterais sejam tringulos issceles congruentes.

A6
A1

A5
A4

O
A3

A2

Figura 14.7: Pirmide regular.


Exemplo 14.1.8. Considere uma pirmide regular de base ABC e vrtice
V . Um tetraedro regular obtido escolhendo o vrtice V de modo que as
arestas laterais V A, V B e V C sejam congruentes s arestas AB, AC e BC
da base (cf. Figura 17.8). As faces da pirmide assim obtida so tringulos
equilteros congruentes. Alm disso, se pelo vrtice A considerarmos a reta
ortogonal ao plano V BC, que intercepta este plano em P , os tringulos
retngulos AP B, AP V e AP C so congruentes, j que suas hipotenusas so
127

congruentes e o cateto AP comum a todos os trs trngulos. Assim, temos


P B P C P V . Portanto, P o centro do tringulo equiltero V BC, o
que faz com que a pirmide seja regular qualquer que seja a face considerada
como base.

A
O

M
B

Figura 14.8: Tetraedro regular.

14.2

Ortogonalidade de planos

Sejam e dois planos secantes ao longo de uma reta r. Considere um


plano ortogonal reta r, interceptando e ao longo das retas s e t,
respectivamente. Se s e t formam um ngulo reto, dizemos que os planos
e so ortogonais.

a
s

r
b

Figura 14.9
Proposio 14.2.1. Dois planos e so ortogonais se, e somente se, um
deles contm uma reta ortogonal ao outro.
Demonstrao. Se e so ortogonais, ento a reta s contida em
ortogonal s retas r e t contidas em , logo s uma reta contida em
128

ortogonal a . Reciprocamente, seja r uma reta contida em ortogonal a


. O plano intercepta ao longo de uma reta t, ortogonal a r. Pelo ponto
de interseo de r e t, considere a reta s, contida em e ortogonal a t. O
plano definido por r e s ortogonal a t, pois contm duas retas ortogonais a
t. Como r e s so ortogonais, segue que e so ortogonais.

a
r
t
b

s
Figura 14.10
Exemplos de planos ortogonais aparecem num prisma reto; as faces laterais so ortogonais ao plano da base. Outro exemplo em que podemos
verificar essa situao num tetraedro regular (cf. Exemplo 17.1.9). O
plano contendo as alturas V O e AP do tetraedro regular V ABC ortogonal
s faces ABC e V BC.
Planos ortogonais podem auxiliar a mostrar que uma reta ortogonal a
um plano, atravs da seguinte proposio.
Proposio 14.2.2. Sejam e dois planos ortogonais. Se uma reta r,
contida em , ortogonal reta de interseo de e , ento r ortogonal
a .
Demonstrao. Seja r uma reta contida em que ortogonal reta t, interseo de e . Pelo ponto de interseo de r e t, considere a reta s, contida
em e ortogonal a t (cf. Figura 14.11). O plano determinado por r e s
ortogonal a t. Como e so ortogonais, o ngulo entre r e s reto. Assim,
r ortogonal s retas t e s, contidas em , logo ortogonal a .
Como consequncia da Proposio 14.2.4, obtemos o seguinte corolrio.
Corolrio 14.2.3. Se uma reta r e um plano so ambos ortogonais a um
mesmo plano , ento r paralela a ou est contida em .
129

a
r

t
b

s
Figura 14.11
Demonstrao. No plano , traamos uma reta s ortogonal reta t, interseo de e . A reta s, pela Proposio 14.2.4, ortogonal a e, assim,
paralela a r. Portanto, r paralela a ou est contida em .
Consideremos agora o problema de traar um plano ortogonal a um plano
dado. Se fornecermos apenas um ponto P que o plano deva conter, temos
infinitas solues. De fato, basta considerar a reta r ortogonal ao plano dado
passando por P . Qualquer plano contendo esta reta ortogonal ao plano
dado.
No entanto, quando impomos a condio de que o plano ortogonal contenha uma reta no ortogonal ao plano dado, a soluo para o problema
nica, como mostra a seguinte proposio.
Proposio 14.2.4. Por uma reta no ortogonal a um plano, passa um
nico plano ortogonal a este plano.
Demonstrao. Seja r uma reta no ortogonal a um plano . Por um ponto
P r, considere a reta s ortogonal a (cf. Figura 14.12). Como r no
ortogonal a , r e s so concorrentes e, assim, definem um plano , ortogonal a . Se existisse outro plano 0 , contendo r e ortogonal a , ento 0
conteria a reta s. Mas r e s definem um nico plano, logo e 0 devem ser,
necessariamente, coincidentes.

14.3

Exerccios

1. Prove que por um ponto dado pode-se traar uma nica reta ortogonal a
duas retas no paralelas dadas.

130

b
r

P
a

Figura 14.12
2. Sejam A, B e C trs pontos no colineares. Se as retas AB e AC so
ortogonais a uma reta r, ento BC tambm ortogonal a r.
3. Prove que os centros das faces de um tetraedro regular so vrtices de
outro tetraedro regular. Qual a razo entre as arestas dos dois tetraedros?
4. Mostre que dois planos so ortogonais se, e somente se, duas retas respectivamente ortogonais a cada um deles so ortogonais.
5. Prove que se um plano contm uma reta ortogonal a um plano , ento
o plano contm uma reta ortogonal ao plano .
6. Em um cubo ABCDEF GH, prove que a diagonal AC ortogonal ao
plano diagonal BF HD. Prove tambm que os planos diagonais ABHG e
EF DC so ortogonais.

131

Captulo 15

Distncias, projees e ngulos


Este ser um captulo de aplicaes, onde usaremos os conceitos estudados nos captulos anteriores para tratar de alguns problemas mtricos.

15.1

Distncias e projees

Na Geometria plana a distncia entre dois pontos , frequentemente,


obtida utilizando o teorema de Pitgoras. Veremos que isso tambm ocorre
no espao. Um exemplo simples calcular o comprimento da diagonal BH
de um paraleleppedo retngulo ABCDEF GH (cf. Exerccio 1). Vejamos
outras aplicaes.
Exemplo 15.1.1. Dados dois pontos distintos do espao, A e B, denotemos
por M o ponto mdio do segmento AB. Seja P um ponto que equidista de
A e B, i.e., P A P B. Isso implica, pelo caso LLL, que os tringulos P M A
e P M B so congruentes (cf. Figura 15.1). Disso decorre, em particular, que

A
P

M
B

Figura 15.1
\
P
M A = P\
M B = 90o , ou seja, a reta P M ortogonal a AB. Reciprocamente, se P um ponto do espao tal que P M ortogonal a AB ento,
132

pelo caso LAL, os tringulos P M A e P M B so congruentes. Em particular,


tem-se que P A P B. Isso prova que o conjunto dos pontos P que so
equidistantes de A e B so todos aqueles pontos P tais que a reta P M
ortogonal a AB. Este conjunto de pontos coincide com o plano que passa
por M e ortogonal a AB, chamado de plano mediador do segmento AB.
Exemplo 15.1.2. As arestas opostas de um tetraedro regular ABCD so
ortogonais. De fato, considere AC e BD, por exemplo. Como BC CD,
segue que C equidistante de B e D. Assim, pelo Exemplo 15.1.1, C pertence ao plano mediador de BD. Analogamente, A pertence a este plano.
Portanto, a reta AC est contida do plano mediador de BD. Como a reta
BD ortogonal a este plano , em particular, ortogonal reta AC.

B
C
Figura 15.2

Definio 15.1.3. Sejam um plano e P um ponto do espao. O ponto Q,


onde a reta ortogonal a traada por P intercepta , chama-se a projeo
ortogonal de P sobre . A medida do segmento P Q , por definio, a
distncia de P ao plano .
Note que se R outro ponto qualquer do plano , segue do Teorema de
Pitgoras que P Q < P R.
Definio 15.1.4. Considere uma reta r paralela a um plano . Dado um
ponto P r, a distncia de r a , por definio, a medida do segmento
P Q, onde Q a projeo ortogonal de P a .
Observe que se P 0 outro ponto de r, obtemos um retngulo P QQ0 P 0 .
Segue, em particular, que P Q P 0 Q0 . De forma anloga podemos definir a
distncia entre dois planos paralelos.
O exemplo seguinte uma aplicao simples da Definio 15.1.3.
Exemplo 15.1.5. Dado um tetraedro regular ABCD, cujas arestas medem a, calculemos a medida da altura deste tetraedro. Denotando por O
133

a projeo ortogonal do vrtice A sobre o plano determinado por B, C e


D, queremos calcular a medida do segmento AO. Como AO ortogonal ao
plano BCD e DC est contida neste plano, ento AO e CD so ortogonais.
Como A pertence ao plano mediador de CD, isso implica que O tambm
pertence a este plano. Em particular, temos OC OD. Agora, como o
tringulo BCD equiltero, temos
OC OD OB.
No tringulo BCD, temos a semelhana dos tringulos retngulos BM O e
DM B (cf. Figura 15.3). Disso decorre que
BO
BM
=
.
BD
DM

Como BD = a, BM = a/2 e DM = a 3/2, segue de (15.1) que

a 3
BO =
.
3

(15.1)

Finalmente, aplicando
o Teorema de Pitgoras ao tringulo retngulo ABO,

obtemos AO = a 3 6 .

D
a
O
B

Figura 15.3
Definio 15.1.6. Dados uma reta r e um ponto P no espao, seja Q r
o ponto onde o plano ortogonal a r, passando por P , intercepta r. O ponto
Q chama-se a projeo ortogonal de P sobre r. A medida do segmento P Q
, por definio, a distncia de P reta r.
Note que, se R outro ponto de r, segue do Teorema de Pitgoras que
P Q < P R.
Observao 15.1.7. Se a reta r est contida em um plano , podemos calcular a distncia de P a r do seguinte modo. Projetamos P ortogonalmente
134

sobre , obtendo o ponto P 0 . No plano , considere a reta ortogonal a r


passando por P 0 , interceptando r no ponto Q. Como P P 0 e P 0 Q so ambas ortogonais reta r, r ortogonal ao plano determinado por P , P 0 e Q.
Portanto, P Q a distncia de P a r.

P
r

P'
Q
Figura 15.4
Exemplo 15.1.8. Em um cubo ABCDEF GH, cujas arestas medem a,
calculemos a distncia do vrtice B diagonal AG. Devemos, assim, considerar a perpendicular BT , traada de B reta AG. Para isso, consideremos
o plano AEGC, que contm a reta AG. Para traar a reta ortogonal ao
plano AEGC, basta traar por B a perpendicular reta AC, interseo dos
planos AEGC e ABCD. Mas como AC a diagonal do quadrado ABCD,
a perpendicular traada por B a outra diagonal BD do quadrado, que
intercepta AC no ponto mdio O de ambas. Finalmente, pelo ponto O,

G
G

E
T
D

C
O

Figura 15.5
traamos a perpendicular OT a AG. Da semelhana dos tringulos AOT e
AGC, temos:
OT
OA
=
.
GC
AG
Disso decorre que OT =

a 6
6 .

Aplicando o Teorema de Pitgoras ao tringulo

135

retngulo BOT , obtemos

a 6
BT =
.
3

Proposio 15.1.9. Dados duas retas reversas, r e s, existem dois planos


paralelos e contendo r e s, respectivamente.
Demonstrao. Dado um ponto A r, seja s0 a reta passando por A e
paralela a s; dado um ponto B s, seja r0 a reta passando por B e paralela
a r. As retas r e s0 determinam um plano , e as retas s e r0 determinam
um plano . Como s paralela a s0 e s0 , a reta s paralela ao plano .
Analogamente, r0 paralela a . Assim, o plano paralelo a duas retas
concorrentes, s e r0 , contidas em , logo e so paralelos.

A
a

s'

r'

B
b

s
Figura 15.6

Sejam r e s duas retas no espao. Se r e s so concorrentes, definimos a


distncia entre elas igual a zero. Se r e s so paralelas e, portanto, coplanares,
definimos a distncia entre as duas no sentido da Geometria Plana.
Caso elas sejam reversas, considere os planos paralelos, e , contendo
r e s, respectivamente, dados pela Proposio 15.1.9. Por um ponto A1 r,
considere a reta t1 , ortogonal ao plano , que o intercepta num ponto B1
(cf. Figura 15.7). Por B1 , traamos a reta r0 , paralela a r. A reta r0 est
contida em e intercepta s no ponto B2 . Pelo ponto B2 , traamos a reta
t2 , paralela a A1 B1 . Como as retas r, r0 , t1 e t2 so coplanares, a reta t2
intercepta r num ponto A2 . Como a reta t1 ortogonal aos planos e , e
t2 paralela a t1 , t1 ortogonal a e , logo forma ngulo reto com r e s e
concorrente com ambas. Portanto, t2 uma perpendicular comum a ambas.
Definimos, ento, a distncia entre as retas reversas r e s como a medida do
segmento A2 B2 .

136

A1

A2
a

s'
b

r'
B1
B2

Figura 15.7
Exemplo 15.1.10. Considere as diagonais AC e F H de duas faces opostas
do cubo ABCDEF GH. A reta ortogonal, comum s retas AC e F H a
reta OO0 , onde O e O0 so as intersees das diagonais AC, BD e EG, F H,
respectivamente.

G
O'

F
D

C
O

B
Figura 15.8

15.2

ngulos

Considere dois planos e . Se e so paralelos ou coincidentes, o


ngulo entre eles igual a zero, por definio. Se e so secantes, traamos
um plano ortogonal reta de interseo de e , interceptandos-os ao
longo das retas r e s, respectivamente. A medida do ngulo entre r e s ,
por definio, a medida do ngulo entre e .
Proposio 15.2.1. O ngulo formado por dois planos igual ao ngulo
formado por duas retas respectivamente ortogonais a estes planos.
Demonstrao. Sejam e dois planos secantes ao longo de uma reta t.
Sejam um plano ortogonal a t e P um ponto qualquer de . Sejam r e s
137

as retas obtidas pela interseo de com os planos e , respectivamente.


Pelo ponto P traamos as retas r0 e s0 , ortogonais a e , respectivamente.
As retas r0 e s0 esto contidas em e so ortogonais a r e s, respectivamente.
Portanto, o ngulo formado por r0 e s0 igual ao ngulo formado por r e s
que, por sua vez, igual ao ngulo entre e .

P
q

r'

t s'
b

q
s

Figura 15.9
Definio 15.2.2. Considere uma reta r e um plano no espao. Se r
ou se r paralela a , o ngulo entre r e igual a zero, por definio. Se r
e so secantes num ponto P , definimos o ngulo entre r e como o ngulo
que r forma com sua projeo ortogonal sobre .

p
q
P

Figura 15.10
Considere agora uma reta s, contida em e passando por P . Sejam 0 o
ngulo entre r e s, e o ngulo entre r e . A fim de comparar os ngulos
e 0 , considere um ponto O r, exterior a . Pelo ponto O, traamos a reta
OQ ortogonal a e a perpendicular OR reta s. Os tringulos retngulos
OP Q e OP R tm a hipotenusa comum OP , enquanto os catetos opostos
aos ngulos e 0 so tais que OR OQ. Assim, sin 0 sin e, portanto,
138

0 . Alm disso, a igualdade ocorre quando a reta s a projeo ortogonal


de r sobre .

p
P
R

Q
s

Figura 15.11

15.3

Exerccios

1. Dado um paraleleppedo retngulo ABCDEF GH, calcule a medida da


diagonal BH.
2. Determine o lugar geomtrico dos pontos equidistantes de duas retas
dadas. Examine as possves posies relativas das retas.
3. Seja O a projeo ortogonal de um ponto P sobre um plano . Considere
uma circunferncia de centro em O contida em . Prove que todas as retas
tangentes a esta circunferncia esto mesma distncia de P .
4. Sejam r e s duas retas ortogonais e r0 s0 suas projees ortogonais sobre
um plano . Sob que condies r0 e s0 formam ngulo reto?

139

Captulo 16

Isometrias em E3
16.1

O grupo das isometrias Iso(E3 )

Como realizado no plano Euclidiano E2 , induziremos a estrutura de espao vetorial real de R3 sobre o espao, e este ser denotado por E3 e chamado
de espao Euclidiano.
Definio 16.1.1. Uma isometria do espao Euclidiano uma aplicao
: E3 E3 que preserva distncias, i.e.,
d((v), (w)) = d(v, w),
para quaisquer v, w E3 .
Analogamente ao caso de isometrias do plano, temos as seguintes propriedades, quer sero deixadas a cargo do leitor.
Proposio 16.1.2. Toda isometria : E3 E3 satisfaz as seguintes propriedades:
(a) injetora.
(b) transforma retas em retas.
Proposio 16.1.3. Toda isometria : E3 E3 transforma planos em
planos.
Demonstrao. Dado um plano E3 , considere duas retas r, s que se
interceptam num ponto O. A imagem de r e s por so as retas r0 e s0 ,
respectivamente, que se interceptam no ponto O0 = (O). Denotando por
0 o plano determinado pelas retas r0 e s0 , afirmamos que, para todo ponto
140

P , tem-se P 0 = (P ) 0 . De fato, dado um ponto P , considere


uma reta t , contendo o ponto P , que no seja paralela a r e s, e tal que
O 6 t. Denote por R a interseo de t e r, e por S a interseo de t e s.
Pela construo de t, temos R 6= S. A imagem da reta t por uma reta t0
em E3 que contm o ponto P 0 , e passa pelos pontos R0 = (R) e S 0 = (S).
Como R0 , S 0 0 , segue que t0 0 . Assim, () 0 . Como a restrio de
ao plano uma isometria entre e 0 , e toda isometria entre planos
sobrejetora, concluimos que () = 0 .
Considere uma reta r que intercepta um plano no ponto P . Dizemos
que r e so ortogonais se r ortogonal a toda reta de que passa por P .
Observe que, para que isso ocorra, basta que r seja ortogonal a duas retas
distintas, contidas em , e passando por P .
Proposio 16.1.4. Toda isometria : E3 E3 preserva ortogonalidade
entre reta e plano.
Demonstrao. Considere uma reta r ortogonal a um plano no ponto P .
Sejam s, t duas retas distintas, contidas no plano , passando pelo ponto
P . As retas s0 = (s) e t0 = (t) so retas distintas, contidas no plano
0 = (), ambas passando pelo ponto P 0 = (P ). Como r e s so ortogonais
e preserva ortogonalidade de retas (cf. Exerccio 1), segue que r0 e s0 so
ortogonais. Da mesma forma, r0 e t0 so ortogonais. Portanto, r0 ortogonal
s retas s0 e t0 , ambas contidas no plano 0 , logo r0 ortogonal ao plano
0.
Proposio 16.1.5. Toda isometria : E3 E3 bijetora, cuja inversa
1 tambm isometria.
Demonstrao. Em virtude da Proposio 16.1.2, resta provar que sobrejetora. De fato, dado um ponto P 0 E3 , considere um plano arbitrrio
E3 e seja 0 = (). Se P 0 0 , ento existe um ponto P com
(P ) = P 0 . Caso contrrio, considere a reta r0 , ortogonal ao plano 0 e
passando por P 0 . Denote por A0 a interseo de r0 com 0 . Como 0 = (),
existe A tal que (A) = A0 . Seja r a reta ortogonal ao plano passando
por A. Segue da Proposio 16.1.4 que (r) = r0 . Assim, existe um ponto
P r tal que (P ) = P 0 , provando a sobrejetividade de . Finalmente,
dados A, B E3 , temos A = (1 (A)) e B = (1 (B)). Assim,

d(A, B) = d (1 (A)), (1 (B)) = d(1 (A), 1 (B)),
provando que 1 isometria.
141

Vejamos a seguir exemplos de isometrias no espao.


Exemplo 16.1.6 (Reflexo em torno de um plano). Dado um plano E3 ,
a reflexo em torno de a aplicao R : E3 E3 que associa a cada ponto
X E3 o ponto X 0 de modo que seja o plano mediador do segmento XX 0 .
Disso que d(B, X) = d(B, X 0 ), para todo ponto B . Considere dois
pontos X, Y E3 e sejam X 0 = R (X) e Y 0 = R (Y ). Se X, Y , ento
X 0 X e Y 0 Y , logo d(X 0 , Y 0 ) = d(X, Y ). Se um desses pontos, digamos
X, no pertence ao plano , considere o plano 0 determinado pela reta XX 0
e o ponto Y . Seja r a interseo dos planos e 0 . Restrita ao plano 0 , R
coincide com a reflexo Rr : 0 0 em torno da reta r. Segue ento do
Exemplo ?? que d(X 0 , Y 0 ) = d(X, Y ), provando que R isometria.
Exemplo 16.1.7 (Rotao em torno de uma reta). Dado uma reta r E3 ,
\ cujo vrtice O pertence a r e cujos lados
considere um ngulo = AOB,
esto sobre um plano ortogonal a r. Definimos a rotao de ngulo em
torno da reta r como a aplicao Rr, : E3 E3 que associa a cada ponto
X E3 o ponto X 0 determinado pelas seguintes condies:
1. X 0 pertence ao plano que passa por X e ortogonal a r.
2. Se O a interseo desse plano com r, ento d(O, X) = d(O, X 0 ).
\0 igual a , onde orientado significa que
3. O ngulo orientado XOX
OX o primeiro lado e OX 0 o segundo lado.
A fim de mostrar que Rr, isometria, considere dois pontos X, Y E3 .
Seja o plano ortogonal a r, contendo a reta XX 0 . Considere tambm os
pontos Y0 e Y00 , projees ortogonais sobre dos pontos Y e Y 0 , respectivamente. O segmento de reta XY a hipotenusa do tringulo retngulo
XY Y0 . Analogamente, X 0 Y 0 a hipotenusa do tringulo retngulo X 0 Y 0 Y00 .
Observe que Rr, , restrita ao plano uma isometria. Mais precisamente,
Rr, | a rotao de centro O = r e ngulo . Disso decorre que
d(X 0 , Y00 ) = d(X, Y0 ). Alm disso, d(Y, Y0 ) = d(Y 0 , Y00 ), pois Y e Y 0 pertencem ao mesmo plano ortogonal a r. Portanto, os tringulos retngulos XY Y0
e X 0 Y 0 Y00 so congruentes. Em particular, tem-se d(X 0 , Y 0 ) = d(X, Y ).
Exemplo 16.1.8 (Translao). Dados dois pontos distintos A e B, definimos
a translao do segmento AB como a aplicao TAB : E3 E3 que associa a
cada ponto X E3 o ponto X 0 de modo que d(X, X 0 ) = d(A, B), o segmento
XX 0 seja paralelo a AB e o sentido de percurso de X para X 0 o mesmo
que de A para B. O fato que TAB isometria segue de forma inteiramente
anloga ao caso de translaes no plano.
142

16.2

Classificao das isometrias em E3

Analogamente ao caso das isometrias do plano, o conjunto de todas as


isometrias de E3 , munido da operao de composio, forma um grupo, e
este ser denotado por Iso(E3 ). O objetivo dessa seo descrever, completamente, todos os elementos do grupo Iso(E3 ).
Teorema 16.2.1. Existem apenas trs tipos de isometrias em E3 : translao, rotao em torno de uma reta e reflexo em torno de um plano, alm
da aplicao identidade ou composio das aplicaes anteriores.
Demonstrao. Considere uma isometria Iso(E3 ), diferente da aplicao
identidade. Assim, existe um ponto A tal que A0 = (A) 6= A. Denotando
por A00 = (A0 ), temos d(A0 , A00 ) = d(A, A0 ) > 0. Disso decorre, em particular, que A0 6= A00 . Suponha agora que tenha algum ponto fixo, i.e., existe
um ponto O tal que (O) = O. Para essa situao, dividiremos a prova em
trs casos distintos.
Caso 1(a): A, A0 e A00 so pontos distintos e colineares. Neste caso, a reta
r, determinada pelos pontos A, A0 e A00 , transformada em si mesma por
. A restrio de a r uma isometria, que coincide com a translao do
segmento AA0 , ou seja, |r = TAA0 : r r. Como TAA0 no tem ponto fixo,
o ponto O no pertence reta r. Como d(O, A) = d(O, A0 ) = d(O, A00 ),
concluimos que os trs pontos colineares A, A0 e A00 esto na mesma circunferncia de centro O, o que uma contradio. Portanto, este caso no pode
ocorrer.
Caso 1(b): Suponha A00 = A. Seja r a reta determinada pelos pontos A e
A0 , e denote por M o ponto mdio do segmento AA0 . Observe que, restrita
reta r, a reflexo em torno do ponto M . O plano , plano mediador
do segmento AA0 , transformado em si mesmo por . Assim, a isometria
, restrio de ao plano , uma isometria desse plano, que tem M como
ponto fixo. Em virtude do Teorema ??, pode ser a aplicao identidade,
uma rotao em torno de M ou a reflexo em torno de uma reta s ,
contendo o ponto M . Supondo que seja a aplicao identidade, considere
trs pontos no-colineares B, C, D . Assim, coincide com a reflexo
R nos quatro pontos no-coplanares A, B, C e D. Pelo Exerccio 16.1.3,
concluimos que = R . Se : uma rotao de ngulo em torno
do ponto M , considere um ponto B , diferente de M . Assim, coincide,
nos quatro pontos no-coplanares A, M , B e B 0 , com a composio R .
Finalmente, suponha que seja a reflexo em torno de uma reta s , com
M s. Neste caso, coincide, nos pontos A, A0 e em todos os pontos de s,
143

com a rotao de ngulo em torno de s. Portanto, pelo Exerccio 16.1.3,


concluimos que = Rs, .
Caso 1(c): Os pontos A, A0 e A00 so no-colineares. Seja o plano determinado por tais pontos. Se o ponto fixo O pertence a ento, como
d(O, A) = d(O, A0 ) = d(O, A00 ) e d(A, A0 ) = d(A0 , A00 ),
concluimos que os tringulos OAA0 e OA0 A00 tm os respectivos lados congruentes, logo
0 OA00 = .
\0 = A\
AOA
Assim, a isometria coincide, nos trs pontos no- colineares A, A0 e A00 ,
com a rotao de ngulo em torno da reta ortogonal ao plano passando
por O. Pelo Exerccio 16.1.3, segue que coincide com essa rotao. De
fato, se elas no fossem iguais, esta rotao seria a composta de com uma
reflexo, o que uma contradio. Caso o ponto O no pertena ao plano
, considere a reta r, ortogonal a , passando por O. Seja P o ponto de
interseo de e r. Os tringulos retngulos OP A e OP A0 tm o cateto OP
em comum e as hipotenusas OA e OA0 congruentes, logo d(P, A) = d(P, A0 ).
Analogamente tem-se d(P, A0 ) = d(P, A00 ). Como d(A, A0 ) = d(A0 , A00 ), os
tringulos P AA0 e P AA00 tm os trs respectivos lados congruentes. Assim,
0 P A00 = . Portanto, a isometria coincide, nos quatro pontos
\
AP
A0 = A\
no-coplanares O, P , A e A0 , com a rotao de ngulo em torno da reta
r = OP , logo devemos ter = Rr, .
Caso 2: Suponha agora que no tenha pontos fixos. Dado um ponto O
E3 , seja A = (O). Compondo com a translao TAO , obtemos a isometria
= TAO que tem O como ponto fixo. Assim, valem todas as possibilidades
para a isometria descritas nos casos 1(a) e 1(b) e, consequentemente,
obtemos as possveis descries para .

16.3

Exerccios

1. Prove que toda isometria : E3 E3 preserva ortogonalidade de retas


em E3 .
2. Seja : E3 E3 uma isometria que deixa fixos quatro pontos nocoplanares. Prove que a aplicao identidade.
3. Considere duas isometrias , : E3 E3 e suponha que existam quatro
pontos no-coplanares A, B, C, D tais que (A) = (A), (B) = (B),
(C) = (C), e (D) = (D). Prove que = .
144

4. Seja : E3 E3 uma isometria que deixa fixos trs pontos no-colineares.


Prove que a aplicao identidade ou a reflexo em torno do plano determinado por esses trs pontos.
5. Considere duas isometrias , : E3 E3 que coincidem em trs pontos
no-colineares A, B e C. Prove que = ou = R0 , onde 0 o plano
determinado pelos pontos A0 = (A), B 0 = (B) e C 0 = (C).
6. Seja : E3 E3 uma isometria e suponha que existam pontos A, B E3
tais que (A) = B e (B) = A. Prove que o plano mediador do segmento
AB transformado em si mesmo por .
7. O plano mediador de um segmento AB o plano ortogonal a AB passando
pelo seu ponto mdio. Prove que todo ponto pertencente ao plano mediador
de AB equidistante de A e B. Reciprocamente, prove que o conjunto de
todos os pontos que equidistam de A e B o plano mediador do segmento.

145

Captulo 17

Poliedros
17.1

Exemplos e relaes fundamentais

Com as poucas propriedades j estabelecidades, podemos construir alguns poliedros simples. Inicialmente, apresentamos a definio de poliedro.
Definio 17.1.1. Um poliedro uma regio do espao delimitada por um
nmero finito de regies poligonais planas, chamadas faces do poliedro, tais
que:
(a) A interseo de duas faces ou vazia, ou um vrtice comum s duas,
ou um lado comum s duas;
(b) Cada lado de uma face lado de exatamente mais outra face.
Exemplo 17.1.2. Dados um polgono A1 A2 . . . An e um ponto V exterior
ao plano do polgono, traamos os segmentos V A1 , V A2 , . . . V An . Cada
dois vrtices consecutivos de A1 A2 . . . An determinam com V um tringulo. Estes tringulos, junto com o polgono A1 A2 . . . An , delimitam uma
regio do espao, que a pirmide de base A1 A2 . . . An e vrtice V . Os
segmentos V A1 , V A2 , . . . V An so chamados arestas laterais e os tringulos
V A1 A2 , V A2 A3 , . . . , V An1 An so as faces laterais da pirmide (cf. Figura
17.1).
Exemplo 17.1.3. Considere uma pirmide de base retangular ABCD e
vrtice V . Considere os planos e determinados pelos pontos V, A, C e
V, B, D, respectivamente. Os planos e so distintos, logo sua interseo
uma reta r que passa por V . As intersees de e com o plano da base
so as diagonais AC e BD, respectivamente, do quadriltero ABCD. Seja
146

A1

A5

A2
A4

A3

Figura 17.1: Pirmide de base A1 A2 . . . An e vrtice V .


P o ponto de interseo de AC e BD. Assim, P um ponto comum aos
planos , e ABCD, logo pertence reta r. Portanto, e se interceptam
segundo a reta que passa por V e pelo ponto de interseo de AC e BD.

D
C
P

Figura 17.2: Pirmide de base retangular ABDC.


Exemplo 17.1.4. Considere trs segmentos AB, AD e AE, no coplanares.
Por B e D, considere as paralelas a AD e AB, respectivamente, obtendo o
paralelogramo ABCD. A seguir, traamos as paralelas a AE pelos pontos
B, C e D. Tomando segmentos congruentes a AE sobre estas retas, no
mesmo semi-espao que E, so obtidos os pontos F , G e H. Trace, ento,
os segmentos EF , F G, GH e HE, que so coplanares, pois EF e GH so
paralelos. O poliedro, assim obtido, chama-se o paraleleppedo de vrtices
A, B, C, D, E, F, G, H.
Exemplo 17.1.5. Dado um paraleleppedo ABCDEF GH, considere o plano
determinado pelas arestas opostas AE e CG, e o plano determinado por
BF e DH. Considere os pontos O e P , interseo das diagonais das bases
147

Figura 17.3: Paraleleppedo ABCDEF GH.


(cf. Figura 17.4). Tais pontos pertencem a e a ; assim, a reta r, determinada por O e P , est contida em e . Alm disso, r paralela s arestas
AE, BF , CG e DH. De fato, AE paralela a , j que paralela reta
BF contida em . Como AE , AE paralela reta r, interseo de e
. Analogamente para os demais casos.
r
H
G

P
E
F

O
A
B

Figura 17.4: Paraleleppedo ABCDEF GH.


Exemplo 17.1.6. Considere um polgono A1 A2 . . . An contido em um plano
e escolha um ponto B1 no pertencente a . Por B1 , traamos o plano
paralelo a . Pelos demais vrtices A2 , . . . , An traamos retas paralelas a A1 B1 , que interceptam nos pontos B2 , . . . , Bn . Escolha dois segmentos consecutivos assim determinados: A1 B1 e A2 B2 , por exemplo. O
quadriltero A1 B1 B2 A2 plano, pois os lados A1 B1 e A2 B2 so paralelos. Mas isso implica que os outros dois lados tambm so paralelos, pois
esto contidos em planos paralelos. Portanto, o quadriltero um paralelogramo. Os paralelogramos assim determinados, juntamente com os polgonos
A1 A2 . . . An e B1 B2 . . . Bn determinam um poliedro, chamado de prisma de
148

B5

B6
B1

B4
B2

B3

A6

A5
A4

A1
A2

A3
Figura 17.5

bases A1 A2 . . . An e B1 B2 . . . Bn . As arestas A1 B1 , A2 B2 , . . . , An Bn so chamadas de arestas laterais. Todas as arestas laterais so paralelas e congruentes; arestas laterais consecutivas formam paralelogramos, que so chamados
de faces laterais do prisma. As bases A1 A2 . . . An e B1 B2 . . . Bn so congruentes, pois estes polgonos possuem lados respectivamente congruentes e
paralelos.
Exemplo 17.1.7. Um prisma reto o prisma obtido considerando-se, como
arestas laterais, retas ortogonais ao plano da base (cf. Figura 17.6). Como
consequncia, as faces laterais so retngulos. Quando a base um retngulo,
obtemos um paraleleppedo retngulo, no qual cada face um retngulo. Um
caso mais particular o caso do cubo, no qual cada face um quadrado.

Figura 17.6: Prisma reto.


Exemplo 17.1.8. Uma pirmide regular construda considerando-se um
polgono regular A1 A2 . . . An como base e escolhendo como vrtice um ponto
V sobre a reta ortogonal ao plano do polgono passando pelo seu centro O
(cf. Figura 17.7). Os tringulos V OA1 , V OA2 , . . . , V OAn so tringulos
retngulos congruentes, por possuirem catetos respectivamente congruentes.
149

Como consequncia, tem-se V A1 V A2 . . . V An , o que faz com que as


faces laterais sejam tringulos issceles congruentes.

A6
A1

A5
A4

O
A3

A2

Figura 17.7: Pirmide regular.


Exemplo 17.1.9. Considere uma pirmide regular de base ABC e vrtice
V . Um tetraedro regular obtido escolhendo o vrtice V de modo que as
arestas laterais V A, V B e V C sejam congruentes s arestas AB, AC e
BC da base (cf. Figura 17.8). As faces da pirmide assim obtidas so
tringulos equilteros congruentes. Se pelo vrtice A considerarmos a reta
ortogonal ao plano V BC, que intercepta este plano em P , os tringulos
retngulos AP B, AP V e AP C so congruentes, j que suas hipotenusas so
congruentes e o cateto AP comum a todos os trs trngulos. Assim, temos
P B P C P V . Portanto, P o centro do tringulo equiltero V BC, o
que faz com que a pirmide seja regular independente da base.
V

A
O

M
B

Figura 17.8: Tetraedro regular.


Dado um poliedro, denotemos por A o nmero de arestas, F o nmero
de faces e V o nmero de vrtices. Denotemos tambm por Fn , n 3, o
nmero de faces que possuem n arestas e por Vn o nmero de vrtices nos

150

quais concorrem n arestas. Temos, ento:


F

= F3 + F4 + F5 + . . .

= V3 + V4 + V5 + . . .

Para determinar A, basta multiplicar o nmero de tringulos por 3, o nmero


de quadrilteros por 4, o nmero de pentgonos por 5, e assim por diante.
Como cada aresta do poliedro lado de exatamente duas faces, a soma
anterior igual ao dobro do nmero de faces, ou seja,
2A = 3F3 + 4F4 + 5F5 + . . . .

(17.1)

Analogamente, temos
2A = 3V3 + 4V4 + 5V5 + . . . .

(17.2)

Proposio 17.1.10. Em qualquer poliedro, valem as desigualdades 2A


3F e 2A 3V .
Demonstrao. Da equao (17.1), obtemos:
2A = 3F3 + 4F4 + 5F5 + . . .
= 3(F3 + F4 + F5 + . . .) + F4 + 2F5 + . . .
= 3F + F4 + 2F5 + . . .
3F.
Alm disso, vale a igualdade se, e somente se, o poliedro tiver apenas faces
triangulares. A segunda desigualdade pode ser provada de forma inteiramente anloga.

17.2

O Teorema de Euler para poliedros convexos

Nesta seo apresentaremos o belssimo teorema de Euler acerca dos poliedros convexos. Comecemos, ento, por defin-los.
Definio 17.2.1. Dizemos que um poliedro convexo se qualquer reta no
paralela a nenhuma de suas faces o intercepta em, no mximo, dois pontos.
Teorema 17.2.2 (Euler). Em qualquer poliedro convexo, com A arestas, V
vrtices e F faces, vale a relao
V A + F = 2.
151

(17.3)

Figura 17.9: Um poliedro convexo e um no convexo.


Demonstrao. Denotando por P o poliedro dado, enumeremos suas faces
de 1 a F , e denotemos por nk o gnero da k-sima face, com 1 k F . A
soma dos ngulos internos de um polgono convexo de gnero n (n 2).
Como o poliedro convexo, todas as suas faces so convexas, e a soma dos
ngulos internos de suas faces
S = (n1 2) + (n2 2) + . . . + (nF 2),
ou seja,
S = ((n1 + n2 + . . . + nF ) 2(1 + 1 + . . . + 1)) .
Assim, podemos escrever
S = (2A 2F ) = 2(A F ).

(17.4)

Considere agora uma reta r que no seja paralela a nenhuma das faces de P ,
e um plano H que no o intercepta e seja ortogonal a r. H divide o espao
em dois semi-espaos, um dos quais contm o poliedro. Denotemos por P 0 a
projeo ortogonal do poliedro P sobre H. Como P convexo, cada ponto de
P 0 projeo de um ou dois pontos de P . Alm disso, P 0 tem como fronteira
um polgono convexo K 0 , projeo de uma poligonal fechada K formada por
arestas de P . Cada ponto de K 0 projeo de um nico ponto de P , e cada
ponto interior de P 0 projeo de dois pontos de P . Dados dois pontos de
P , que tm a mesma projeo, ao mais distante de H chamamos de ponto
iluminado e ao mais prximo ponto sombrio. Denotemos por V1 o nmero
de vrtices iluminados, V2 o nmero de vrtices sombrios e V0 o nmero de
vrtices de K. Assim, V = V0 + V1 + V2 . A projeo das faces iluminadas
um polgono convexo com V0 vrtices em seu contorno e V1 pontos interios,
projeo dos vrtices iluminados de P . A soma de todos os ngulos desta
projeo
S1 = (V0 2) + 2V1 .
152

(17.5)

H
Figura 17.10: Projeo P 0 do poliedro P sobre H.
De forma anloga obtemos que a soma dos ngulos da sombra das faces
sombrias
S2 = (V0 2) + 2V2 .

(17.6)

Somando (17.5) e (17.6), obtemos:


S = S1 + S2 = 2(V1 + V2 + V0 2)
= 2(V 2).

(17.7)

Comparando (17.4) e (17.7), obtemos


V A + F = 2,
como queramos.
Observao 17.2.3. H muito tempo se conhecem exemplos de poliedros
para os quais V A + F 6= 0. A Figura 17.11 exibe um poliedro no qual se
tem V A+F = 1632+16 = 0. Por outro lado, fcil encontrar exemplos
de poliedros no convexos que satisfazem a relao (17.3). Por exemplo, o
poliedro no convexo da Figura 17.9 satisfaz (17.3). Mais geralmente, se um
poliedro P no convexo puder ser colocado em uma posio de modo que
sua projeo seja um polgono onde cada um de seus pontos seja projeo
de no mximo dois pontos de P , a prova que apresentamos continua vlida
e a relao (17.3) se verifica.

153

Figura 17.11: Poliedro no qual V A + F = 0.


Exemplo 17.2.4. Considere a bola de futebol da Copa de 70, formada por
12 faces pentagonais e 20 faces hexagonais, todas regulares. Determinemos
o nmero de vrtices da bola. Temos
F5 = 12 e F6 = 20.
Assim, F = F5 + F6 = 32. O nmero de arestas dado pela relao
2A = 5F5 + 6F6 = 5 12 + 6 20 = 180,
logo A = 90. Como a bola convexa, segue do Teorema 17.2.2 que o nmero
de vrtices V dado por V = 2 + A F = 60.
Exemplo 17.2.5. Quais so as possibilidades para um poliedro convexo que
possui 13 faces e 20 arestas? Para responder a esta questo, consideremos a
relao
2A = 3F + F4 + 2F5 + . . . .
Como A = 20 e F = 13, temos
1 = F4 + 2F5 + . . . ,
o que s possvel se F4 = 1 e F5 = F6 = . . . = 0. Assim, o poliedro deve
possuir uma nica face quadrangular e todas as outras 12 faces triangulares.
Definio 17.2.6. Um poliedro convexo chamado regular quando todas as
faces so polgonos regulares congruentes e em todos os vrtices concorrem
o mesmo nmero de arestas.
Como consequncia do Teorema 17.2.2, obtemos o seguinte
Teorema 17.2.7 (Plato). Existem apenas cinco poliedros regulares.
Demonstrao. Denotemos por n o nmero de arestas de cada face e por p
o nmero de arestas que concorrem em cada vrtice. Temos, ento:
2A = nF = pV,
154

ou seja,
A=

nF
2

e V =

nF
.
p

Substituindo estes valores na relao (17.3), obtemos:


nF
nF

+ F = 2.
p
2
Isolando F na relao acima, obtemos
F =

4p
.
2p + 2n np

Como F representa o nmero de faces do poliedro, devemos ter 2p+2nnp >


0, ou seja,
2n
> p.
n2
2n
Como p 3, devemos ter n2
> 3, ou seja, n < 6. Esgotando todas as
possibilidades para n, com 3 n < 6, obtemos os poliedros desejados. Mais
precisamente, se n = 3, temos

F =

4p
.
6p

Assim, para p = 3, obtemos o tetraedro (F = 4); se p = 4, obtemos o octaedro


(F = 8); se p = 5, obtemos o icosaedro (F = 20). Se n = 4, obtemos
F =

4p
.
8 2p

Assim, para p = 3, obtemos o cubo (F = 6). Finalmente, se n = 5, obtemos


F =

4p
.
10 3p

Assim, para p = 3, obtemos o dodecaedro (F = 12).

17.3

Exerccios

1. Considere um conjunto de, pelo menos, trs retas distintas. Mostre que,
se duas quaisquer destas retas so concorrentes, ento elas esto todas num
mesmo plano ou passam todas pelo mesmo ponto.

155

2. Duas retas r e s so concorrentes em um ponto A. Fora do plano determinado por r e s, considere um ponto P qualquer. Determine a interseo
do plano determinado por r e P com o plano determinado por s e P .
3. Prove que a noo de paralelismo de retas no espao satisfaz a propriedade
de transitividade.
4. Sejam r, s e r0 , s0 dois pares de retas concorrentes tais que r e r0 so
paralelas entre si e, s e s0 tambm so paralelas entre si. Prove que o ngulo
formado por r e s igual ao ngulo formado por r0 e s0 .
5. Sejam A, B, C e D pontos quaisquer do espao. Sejam M , N , P e Q os
pontos mdios de AB, BC, CD e DA, respectivamente. Mostre que M N P Q
um paralelogramo.
6. Mostre que os trs segmentos que unem os pontos mdios das arestas
opostas de um tetraedro qualquer ABCD se encontram em um mesmo ponto.
7. Um poliedro convexo de 20 arestas e 10 vrtices s possui faces triangulares e quadrangulares. Determine os nmeros de faces de cada gnero.
8. Diagonal de um poliedro qualquer segmento que une dois vrtices que
no esto na mesma face. Quantas diagonais possui um icosaedro regular?
9. Prove que, para todo poliedro convexo, valem as seguintes desigualdades:
(a) A + 6 3F
(b) A + 6 3V
10. Prove que se um poliedro convexo tem 10 arestas ento ele tem 6 faces.
11. Descreva todos os poliedros que possuem 10 arestas.
12. Um poliedro convexo P possui A arestas, V vrtices e F faces. Com
bases em cada uma das faces constroem-se pirmides com vrtices exteriores
a P . Fica formado ento um poliedro P 0 que s possui faces tringulares.
Determine os nmeros de arestas, faces e vrtices de P 0 .
13. Prove que em qualquer poliedro convexo, o nmero de faces que tm um
nmero mpar de arestas par.
14. Calcule o nmero de vrtices de um poliedro convexo que tem 16 faces
triangulares.

156

Captulo 18

O terceiro problema de Hilbert


18.1

Volume de slidos

157

18.2

O terceiro problema de Hilbert

Definio 18.2.1. Uma decomposio de um poliedro P uma coleo


finita de polidros P1 , P2 , . . . , Pn , cuja unio P, de modo que a interseo
de quaisquer dois tais polidroos ou vazia, ou um vrtice comum, ou uma
aresta comum ou uma face comum a ambos.
Definio 18.2.2. Dois poliedros P e Q so ditos congruentes por cortes se
existem decomposies P1 , . . . , Pn e Q1 , . . . , Qn de P e Q, respectivamente,
tais que Pk congruente a Qk , para todo 1 k n.
Analogamente ao caso do plano, denotaremos uma decomposio de um
poliedro P por P = P1 + . . . + Pn . Quando dois poliedros P e Q forem
congruentes por cortes, denotaremos por P Q.
Em uma conferncia do Congresso Internacional de Matemticos de Paris, em 1900, David Hilbert apresentou uma lista com 23 problemas. O
terceiro problema era o seguinte:
Dois poliedros de mesmo volume so sempre congruentes por cortes?
Em 1902, Max Dehn respondeu negativamente a questo. Dehn provou
que o cubo e o tetraedro regular, de mesmo volume, so exemplos de poliedros
que no so congruentes por cortes.
Analogamente ao problema para polgonos, o volume um invariante
para a congruncia por cortes, i.e., dois poliedros que so congruentes por
cortes tm mesmo volume. Dehn definiu um novo invariante para essa congruncia, hoje conhecido como invariante de Dehn, que passaremos a descrever.
Definio 18.2.3. Considere um subconjunto A R. Dizemos que uma
funo f : A R aditiva no conjunto A se, para qualquer combinao
linear nula
n1 1 + . . . + nk k = 0,
onde ni Z e i A, tivermos
n1 f (1 ) + . . . + nk f (k ) = 0.
Considere dois planos 1 e 2 que se interceptam ao longo de uma reta
r. O ngulo determinado por 1 e 2 definido da seguinte forma. Dado
um ponto P r, considere uma reta s 1 , ortogonal a r e passando por
P , e uma reta t 2 , ortogonal a r e passando por P . O ngulo entre 1 e
2 definido como o ngulo determinado por s e t, e usualmente chamado
de ngulo diedral dos planos 1 e 2 ao longo de r.
158

Definio 18.2.4. Dado um poliedro P, seja A = {1 , . . . , n } o conjunto


dos ngulos diedrais de P e, para cada 1 k n, denote por lk o comprimento da aresta de P que contm o vrtice do ngulo k . Dado uma funo
aditiva f : A R no conjunto A, o nmero
Df (P) =

n
X

lk f (k )

k=1

chamado o invariante de Dehn de P associado a f .


Lema 18.2.5. Considere uma decomposio P = P1 + . . . + Pn de um poliedro P. Seja A o conjunto contendo e os ngulos diedrais de P, P1 , . . . , Pn ,
e considere uma funo aditiva f : A R no conjunto A tal que f () = 0.
Ento
Df (P) = Df (P1 ) + . . . + Df (Pn ).

(18.1)

Demonstrao. Fixado uma aresta a da decomposio P1 , . . . , Pn , considere


os poliedros Pi1 , Pi2 , . . . , Pij da decomposio que contm a aresta a e, para
cada 1 s j, denote por s o ngulo diedral de Pis associado a a. Denotando por l o comprimento da aresta a, estudaremos a soma
j
X

l f (s ).

s=1

Para isso, consideremos trs casos:


Caso 1: A aresta a est inteiramente contida no interior de P exceto, possivelmente, suas extremidades. Neste caso, temos
1 + 2 + . . . + j = 2.
Assim,
0 = f (1 ) + . . . + f (j ) 2f ()
= f (1 ) + . . . + f (j )
= lf (1 ) + . . . + lf (j ).
Caso 2: A aresta a est contida em uma face de P, mas no areta do
poliedro P. Neste caso, temos
1 + 2 + . . . + j = ,
159

logo
0 = f (1 ) + . . . + f (j ) f ()
= f (1 ) + . . . + f (j )
= lf (1 ) + . . . + lf (j ).
Caso 3: A aresta a est contida em uma aresta de P. Se o ngulo diedral
de P associado aresta, ento a soma 1 + . . . + j deve ser igual a ou
. Em qualquer caso, a hiptese f () = 0 implica
f (1 ) + . . . + f (j ) = f (),
e assim
lf (1 ) + . . . + lf (j ) = lf ().
Portanto, se a soma percorre todas as arestas da decomposio do poliedro
P, obtemos o lado direito de (18.1).
Lema 18.2.6. Sejam f : A R uma funo aditiva em A R e 6 A.
Ento f pode ser estendida a uma funo aditiva no conjunto A {}.
Teorema 18.2.7. Dados dois poliedros P e Q, defina o conjunto
M = AP AQ {},
onde AP e AQ so os conjuntos dos ngulos diedrais de P e Q, respectivamente. Suponha que exista uma funo aditiva f : M R em M tal que
f () = 0. Se P e Q so congruentes por cortes, ento Df (P) = Df (Q).
Demonstrao. Considere decomposies
P = P1 + . . . + Pn

e Q = Q1 + . . . + Qn ,

onde Pk Qk , para todo 1 k n. Em virtude do Lema 18.2.6, podemos


estender f a uma funo aditiva no conjunto constitudo de M e de todos
os ngulos diedrais dos subpoliedros. Como Df (Pk ) = Df (Qk ), para todo
1 k n, obtemos
Df (P) = Df (P1 ) + . . . + Df (Pn )
= Df (Q1 ) + . . . + Df (Qn )
= Df (Q),
em virtude do Lema 18.2.5.
160

Exemplo 18.2.8. Denotemos por C o cubo unitrio e por T o tetraedro


regular, tambm de volume igual a 1. Cada ngulo diedral de C igual a /2
e cada ngulo diedral de T igual a = arccos(1/3). Seja A = {, /2, }
e defina f : A R pondo
f () = 0,

f (/2) = 0 e f () = 1.

Mostremos que f aditiva no conjunto A. De fato, suponha


n1 + n2

+ n3 = 0,
2

onde n1 , n2 , n3 Z. Se n3 = 0, temos:
 
 
+ n3 f () = n1 f () + n2 f
= 0.
n1 f () + n2 f
2
2
Se n3 6= 0, ento

(2n1 + n2 )
=
.

2n3
Como 1 arccos(1/3) 6 Q, a igualdade acima contraditria. Finalmente,
calculemos os invariantes de Dehn de C e T associados a f . O comprimento
de cada lado de C igual a 1, logo
Df (C) =

12
X

1f

k=1

 
2

= 0.

Por outro lado, o comprimento de cada lado de T igual a

Df (T ) =

6
X
k=1

s
3

q
3
12/ 2. Assim,

s
12
12
f () = 6 3 6= 0.
2
2

Portanto, segue do Teorema 18.2.7 que C e T no so congruentes por cortes.


A recproca do Teorema 18.2.7, estabelecendo uma condio suficiente
para que dois poliedros sejam congruentes por cortes foi estabelecida por
Sydler em 1965:
Teorema 18.2.9. Se P e Q so dois poliedros de mesmo volume com a
propriedade de que Df (P) = Df (Q), para toda funo aditiva satisfazendo
f () = 0, ento P e Q so congruentes por cortes.

161

18.3

Exerccios

1. Calcule a medida de um ngulo diedral de um tetraedro regular. Se o


volume deste tetraedro for igual a 1, calcule a medida de sua aresta.
2. Em um cubo ABCDEF GH, cujas arestas medem a, calcule a distncia
do vrtice B diagonal AG.
3. Dado um paraleleppedo retngulo ABCDEF GH, calcule a medida da
diagonal BH.
4. Prove que

arccos(1/3) 6 Q.

162

Referncias Bibliogrficas
[1] A. Aaboe, Episdios da Histria Antiga da Matemtica, Sociedade Brasileira de Matemtica, 1984.
[2] G. vila, Euclides, Geometria e Fundamentos, Revista do Professor de
Matemtica, SBM, 45, 2001.
[3] J. L. M. Barbosa, Geometria Euclidiana Plana, Sociedade Brasileira de
Matemtica, 2006.
[4] M. P. do Carmo, Geometrias no-Euclidianas, Matemtica Universitria, SBM, 6, 25 48, 1987.
[5] P. C. P. Carvalho, Introduo Geometria Espacial, Sociedade Brasileira de Matemtica, 1993.
[6] H. S. M. Coxeter, Geometry Revisited, New Mathematical Livrary, The
L. W. Singer Company, 1967.
[7] M. Dalcin, A demonstrao feita por Heron, Revista do Professor de
Matemtica, 36, 3 5, 1998.
[8] C. Gorodski, Um panorama histrico da Geometria, Matemtica Universitria, SBM, 44, 14 29, 2008.
[9] T. L. Heath, The Thirteen Books of Euclids Elements, Vol. 1, Dover
Publications, 1956.
[10] T. L. Heath, The Thirteen Books of Euclids Elements, Vol. 2, Dover
Publications, 1956.
[11] D. Hilbert, The Foundations of Geometry, The Open Court Publishing
Company, 1950.
[12] E. L. Lima, Isometrias, Sociedade Brasileira de Matemtica, 2007.
163

[13] E. L. Lima, Medida e Forma em Geometria, Sociedade Brasileira de


Matemtica, 1991.
[14] A. Pogorelov, Geometry, Mir Publishers, 1987.
[15] D. J. Struik, A Concise History of Mathematics, Dover Publications,
1987.
[16] E. Wagner, Potncia de um ponto em relao a uma circunferncia,
Revista do Professor de Matemtica, 45, 29 34, 2001.

164