Geometria

Antonio Nogueira

Captulo 1
Aspectos hist
oricos da Geometria
1.1

Origens da Geometria

A palavra Geometria vem do grego geometrein (geo: terra, metrein: medir): a

geometria era essencialmente a ciencia de medir a terra.
A geometria antiga era feita essencialmente atraves da experimentacao, observacao de analogias e raros momentos de intuicao. Em resumo, a geometria era
um assunto totalmnte emprico no qual as respostas aproximadas eram suficientes
para os propositos praticos.
Com os gregos, comecando com Tales de Mileto (sec. 6 a.C.), a Geometria
passou a ser vista de um modo diferente: eles insistiam que resultados geometricos
fossem estabelecidos por raciocnio dedutivo ao inves de por tentativa e erro.
Seguindo Tales vieram os Pitagoricos e seus discpulos. Depois vem a escola
Platonica, fundada por Platao em 387 a.C.
Da escola Platonica surgiu Euclides que, por volta do ano 300 a.C. produziu
a obra de geometria mais importante de toda a historia. Euclides compilou em
13 volumes todo o conhecimento matematico existente ate sua epoca, sendo os
volumes de I a IV e tambem o volume VI devotados `a Geometria. Esta obra-prima
recebeu o nome de Elementos.
Os Elementos de Euclides permaneceu por mais de 2000 anos como o u
nico
manual de geomteria em todo o mundo. O metodo introduzido por Euclides
e o prototipo do que hoje se denomina Matematica Pura: pura no sentido de
que nenhum experimento fsico necessita ser feito para verificar a validade das
afirmacoes; somente o raciocnio nas demonstracoes precisam ser checados.
Euclides baseou a construcao de sua geometria em 10 afirmacoes, denominadas
1

axiomas, separadas em dois grupos: cinco foram classificadas como nocoes comuns
e as outras como postulados. As cinco nocoes comuns eram:
1. Coisas que sao iguais a uma mesma coisa sao tambem iguais entre si.
2. Se iguais sao adicionados a iguais, os resultados sao iguais.
3. Se iguais sao subtrados de iguais, os restos sao iguais.
4. Coisas que coincidem com outras coisas sao iguais uma a outra.
5. O todo e maior do que qualquer de suas partes.
Os postulados eram:
I Pode-se tracar uma reta por quaisquer dois pontos.
II Pode-se continuar uma reta indefinidamente.
III Pode-se descrever uma circunferencia com qualquer centro e qualquer raio.
IV Todos os angulos retos sao iguais.
V Se uma reta corta duas outras retas formando angulos colaterais internos cuja
soma e menor do que dois angulos retos, entao as duas retas, se continuadas
inifinitamente, encontram-se no lado no qual estao os angulos cuja soma e
menor do que dois retos.

1.2

O m
etodo axiom
atico

O que Euclides fez for construir axiomaticamente a Geometria Plana, atraves do

que hoje chamamos de metodo axiomatico.
Matematicos podem fazer uso de tentativa e erro, experimentos, computacao de
casos especiais, suposicoes, ou qualquer outra forma para descobrirnovos teoremas. O metodo axiomatico e uma maneira de provar que os novos resultados sao
corretos. Muitos resultados importantes em Matematica tiveram provas incompletas
(alguns resultados de Euclides, por exemplo). Entretanto, provas completas foram
apresentadas mais tare (`as vezes bem mais tarde).
Assim, as provas ou demonstracoes, nos dao a certeza de que determinados resultados sao corretos. Em muitos casos, elas nos fornecem resultados bem mais gerais.
Por exemplo, os egpcios e hind
us sabiam, por experimentacao, que um triangulo
com lados de comprimentos 3, 4 e 5 e um triangulo retangulo. Mas, os gregos provaram que se um triangulo tem lados de comprimento a, b e c, onde a2 + b2 = c2 ,
2

etnao o triangulo e um triangulo retangulo. Imaginem a quanatidade de experimentos necessarios para cheacr este resultado!!! ainda mais levando-se em conta que
experimentos fornecem apenas resultados aproximados. Assim, as demonstracoes,
como as que serao feitas no decorrer deste curso, nos ajudam a organizar nossas
ideias de uma maneira coerente.
Mas, afinal, o que e o metodo axiomatico? Digamos que eu queira convencer
voces atraves de puro raciocnio a acreditar na validade de uma certa afirmacao
que chamaremos de A1 . Para isto, eu poderia mostrar a voces de que forma esta
afirmacao segue logicamente de alguma outra afirmacao A2 que voces ja tenham aceitado. Entretanto, caso alguem nao esteja convencido da validade da afirmacao A2 ,
eu teria que mostrar porque ela verdadeira mostrando, por exemplo, que a mesma
e consequencia de uma outra afirmacao A3 . Este procedimento pode ter que ser
repetido varias vezes ate chegar a algum resultado que seja aceito sem a necessidade
de uma prova. Esta u
tlima afirmacao faz o papel de um axioma (ou postulado). Se
nao for possvel atingir uma afirmacao que seja aceita sem demonstracao, estaremos
entrando numa regressao infinita, tendo que apresentar uma demonstracao apos outra sem nunca terminar. Assim, existem basicamente, duas exigencias que devem
ser feitas para que se possa concordar que uma demonstracao esteja correta:
1. Aceitacao de certas afirmacoes, chamadas axiomas ou postulados, sem previa
justificativa.
2. Concordancia sobre como e quando uma dada afirmacao segue logicamente de
outra, isto e, devemos ter em mente certas regras de raciocnio.
O grande feito de Euclides foi enunciar alguns poucos postulados, afirmacoes
que foram aceitas sem previa justificativa e, a partir delas, deduzir 465 proposicoes,
muitas delas complicadas e nao intuitivamente obvias, que continham todo o
conhecimento geometrico de seu tempo. Uma das razoes pela qual os Elementos e
considerada uma das obras mais belas e que muito pode ser obtido a partir de tao
pouco.
Outro aspecto fundamental do metodo axiomatico e o:
entendimento mutuo do significado das palavras e smbolos usados no discurso.
Nao se tera nenhum problema em alcancar este entendimento m
utuo desde que
usemos termos familiares. No entanto, se um termo desconhecido ou nao familiar
e usado, pode-se exigir uma definicao do mesmo. Definicoes nao podem ser dadas
arbitrariamente; elas estao sujeitas `as regras de raciocnio citadas (mas nao especificadas) na exigencia (2) acima. Por exemplo, se definirmos um angulo reto como
sendo um angulo de 90o e em seguida definimos um angulo de 90o como sendo um
angulo reto estaramos violando a regra contra raciocnios circulares. Tambem nao e
3

possvel definir todos os termos que usados. De fato, para definir um termo devemos
usar outros termos e, para definir estes outros termos deveremos usar ainda outros
e a, assim por diante. Se nao nos fosse permitido deixar alguns termos indefinidos
estaramos envolvidos em uma rede sem fim de definicoes.
Euclides tentou definir todos os termos geometricos, por exemplo, definiu ponto
como aquilo que nao tem parte e reta como aquilo que tem comprimento sem largura.
Estas definicoes nao sao muito u
teis; para entende-las e necessario ter em mente a
imagem de uma reta e de um ponto. Assim, sera mais interessante deixar os termos
ponto e reta sem definicao. Os cinco termos geometricos que sao a base para definir
os demais entes geometricos na Geometria Euclidiana Plana sao:
ponto
reta
incidencia (ou pertinencia)
estar entre
congruencia
A lista de termos indefinidos apresentada acima e devida a David Hilbert (1862
- 1943) que estabelceu, em seu tratado The Foundations of Geometry (1899) o conjunto completo de axiomas para a Geometria euclidiana. Hilbert teve o cuidado de
apresentar um conjunto minimal de axiomas, isto e, de nao incluir axiomas redundantes.

1.3

Os postulados de Euclides

Como ja mencionado acima os quatro primeiros postulados de Euclides sao:

I Pode-se tracar uma reta por quaisquer dois pontos.
II Pode-se continuar uma reta indefinidamente.
III Pode-se descrever uma circunferencia com qualquer centro e qualquer raio.
IV Todos os angulos retos sao iguais.
Antes de tratarmos do V Postulado, vale a pena fazermos algumas observacoes:
1. Euclides provou, com estes 4 postulados, 28 proposicoes.
2. Nos postulados I e II os termos entre parenteses nao foram utilizados por Euclides, porem pela forma como ele os aplica fica claro que eles foram tacitamente
assumidos.
4

3. Euclides tinha em mente, tracar um crculo e o Postulado III se fez necessario

para garantir que tal construcao pudesse ser feita, por exemplo, com um compasso.
4. Euclide define angulo sem falar em medida e define um angulo reto como
sendo um angulo que e congruente ao seu suplementar, da a necessidade do
Postulado IV.

1.3.1

O Quinto Postulado

Se considerarmos os axiomas da geometria como abstracoes de nossas experiencias,

veremos uma grande diferenca entre o V postulado e os demais. Os dois primeiros
podem ser vistos como abstracoes de nossas experiencias em tracarmos segementos
com uma regua; o terceiro pode ser abstrado da experiencia que temos com
o compasso; o quarto talvez seja menos obvio como uma abstracao mas pode
ser visto como uma abstracao de nossa experiencia em medir angulos com um
transferidor (onde a soma de angulos suplementares e 180o, e entao se estes angulos
suplementares forem congruentes cada um deve medir 90o ).
A diferenca principal entre o quinto postulado e os quatro anteriores reside no
fato em que nao podemos verificar empiricamente se duas retas se intersectam ou
nao, pois na verdade so podemos tracar segmentos de retas e nao retas. Podemos
estender os segmentos mais e mais para ver se os mesmos se encontram, mas nao
podemos fazer isso para sempre. O u
nico recurso seria investigar o paralelismo
indiretamente, usando outros criterios alem da definicao.
Devido a esta natureza questiionavel muitos matematicos tentaram provar o V
Postulado como uma consequencia dos quatro primeiros. Alguns matematicos que
tentaram obter esta demonstracao do V postulado sao: Proclus (410 - 485), Nasir
Edin (1201-1274), John Wallis (1616-1703), Girolamo Sacherri (1667-1733), Johann
Heinrich Lambert (1728-1777), Wolfgang Bolyai (1775-1856), Johann Bolyai (18021860), Nikolai Lobachewsky (1793-1856) e Karl F. Gauss (1777-1855). Todas as
tentativas de provar o quinto postulado cairam por terra. Apesar disso, estas tentativas nao foram em vao. Toda a controversia surgida devido ao quinto postulado
levou a uma reformulacao geral de toda a geometria. O grande matematico do final
do seculo 19 e comeco do seculo 20, foi David Hilert. Em 1899, em seu tratado The
Foundations of Geometry, ele revisou e completou a geometria de Euclides, corrigindo tambem algumas falhas dos Elementos. Ele introduziu novos axiomas os quais
ele dividiu em cinco grupos:
axiomas de incidencia (3 axiomas)
axiomas de ordem (4 axiomas)
axiomas de congruencia (6 axiomas)
5

 axiomas de continuidade (2 axiomas)

axioma das paralelas (1 axioma)

Captulo 2
Os axiomas de Hilbert
Os termos indefinidos da geometria sobre os quais serao introduzidos os axiomas sao:
ponto, reta, estar em (relacao de pertinencia ou incidencia), estar entre (relacao
de ordem) e congruencia. Fixando a notacao: pontos serao denotados por letras
mai
usculas e retas por letras min
usculas.

2.1

Axiomas de Incid
encia

Os termos indefinidos aqui sao pontos, retas e a relacao de incidencia entre um ponto
e uma reta, escrita P esta em l ou l passa por P ou ainda P l ou ainda o ponto P
e a reta l sao incidentes. Estes tres termos indefindos estao sujeitos aos tres axiomas
abaixo (o primeiro deles e o primeiro postulado de Euclides):
Axioma de Incidencia 1 (I-1): Para todo ponto P e todo ponto Q, P = Q,
existe uma u
nica reta l que passa por P e Q.
Axioma de Incidencia 2 (I-2): Para toda reta l existem pelo menos dois pontos
distintos em l.
Axioma de Incidencia 3 (I-3): Existem tres pontos distintos que nao pertencem a uma mesma reta.

Notacao: dados os pontos P e Q, P = Q, a reta que passa por P e Q sera

denotada por P Q.
Algumas primeiras conclusoes podem ser tiradas deste conjunto de axiomas.
1. Toda reta possui pelo menos dois pontos (axioma I-2);
2. Nao existe uma reta que contenha todos os pontos do plano (axioma I-3);
7

3. Existem pelo menos tres pontos no plano (axioma I-3).

Podemos agora fazer algumas definicoes.
Definic
ao 2.1 Diremos que duas retas distintas sao concorrentes quando elas tem
um ponto em comum.
Definic
ao 2.2 Se duas retas nao se intersectam dizemos que elas sao retas paralelas.
Definic
ao 2.3 Dizemos que tres ou mais pontos sao colineares se todos pertencem
a uma mesma reta.
Alguns resultados importantes podem ser obtidos a partir da lista de axiomas
acima.

Proposic
ao 2.1 Se l e m sao duas retas distintas e nao paralelas entao l e m tem
um u
nico ponto em comum.
Prova:
Como l e m nao sao paralelas entao elas se intersectam. Suponha que l e m se
intersectem em pelo menos dois pontos distintos. Entao, pelo axioma de incidencia
I-1, l e m devem coincidir o que contraria o fato de que l e m sao distintas.

Proposic
ao 2.2 Para toda reta l existe pelo menos um ponto que nao esta em l.
Proposic
ao 2.3 Para todo ponto P existe pelo menos uma reta l tal que P
/ l.
Proposic
ao 2.4 Para todo ponto P existe pelo menos duas retas distintas passando
por P .
Proposic
ao 2.5 Existem tres retas distintas que nao sao conocorrentes.
Exerccio 2.1 Prove as proposicoes 2.2, 2.3, 2.4 e 2.5.

2.2

Axiomas de Ordem

Para ilustrar a necessidade de novos axiomas, vamos considerar a seguinte demonstracaode que os angulos da base de um triangulo isosceles sao congruentes. Esta
em si nao e a prova apresentada por Euclides nos Elementos, mas e um argumento
bastante comum em livros didaticos.
Prova:
Dado o triangulo ABC com AC
= BC. Mostrar que A
= B.
(1) Considere a bissetriz do angulo C. Esta bissetriz encontra o lado AB em um
ponto D.
(2) Nos triangulos ACD e BCD, tem-se AC
= BC (hipotese)
(3) ACD
= BCD (definicao de bissetriz)
(4) CD
= CD (Axioma C-2)
(5) ACD
= BCD (LAL).
(6) Portanto A
= B (sao angulos correspondentes de triangulos congruentes).

Considere o primeiro passo da prova acima, cuja justificativa e que todo angulo
tem uma bissetriz. Esta afirmacao e uma afirmacao verdadeira e pode ser provada
separadamente. Mas como temos certeza de que a bissetriz de C de fato encontra

AB, ou se ela encontra, como podemos ter certeza de que o ponto de intersecao esta
entre A e B? Apesar de que isto possa parecer obvio, se quisermos ser rigorosos e,
este e o caso, esta afirmacao necessita ser provada. Uma vez introduzidos os axiomas
de ordem sera possvel provar (apos uma consideravel quantidade de trabalho) que

a bissetriz de C de fato encontra a reta AB em um ponto D entre A e B, de modo

que o argumento acima ficara completo (ao final dests secao apresentaremos um
resultado, conhecido como teorema do crossbar, que supre esta falha). Existe, entretanto, uma prova mais facil deste teorema que sera apresentada na secao seguinte.
Notacao: Usaremos a notacao
ABC
para indicar, abreviadamente, que o ponto B esta entre o ponto A e o ponto C.
Axioma de Ordem 1 (O-1): Se A B C, entao A, B e C sao tres pontos
distintos e colineares e C B A.
9

Axioma de Ordem 2 (O-2): Dados dois pontos distintos B e D, existem pontos

A, C e E na reta BD tais que A B D, B C D e B D E.

Axioma de Ordem 3 (O-3): Se A, B e C sao tres pontos distintos e colineares,
entao uma e somente uma das relacoes seguintes acontece: ou A B c ou
A C B ou B A C.
Observa
c
ao 2.2.1

O axioma O-2 assegura que sempre existem pontos entre

B e D e que a reta BD nao termine em B ou D. Em outras palavras, este

axioma assegura que existem infinitos pontos em ma reta.
O axioma O-3 assegura que uma reta nao e circular; se os pontos estivessem
em um crculo, nao seramos capazes de dizer qual dos tres pontos estaria
entre os outros dois.
Antes de introduzir o proximo axioma vamos analisar algumas consequencias
dos axiomas acima.
Definic
ao 2.4 Dados dois pontos A e B o segmento AB e o conjunto formado pelos

pontos A e B e por todos os pontos da reta AB que estao entre A e B.

Definic
ao 2.5 Dados dois pontos A e B a semirreta AB e o conjunto de todos os
pontos do segmento AB juntamente com todos os pontos X tais que A B X.
Observa
c
ao 2.2.2 O axioma O-2 garante a existencia de pontos X como na de

finicao de semirreta acima; desta forma a semirreta ABe maior que o segmento
AB.
Proposic
ao 2.6 Dados os pontos A e B tem-se:

1. AB BA= AB

2. AB BA=AB
Prova:

(1) De acordo com a definicao de segmento e semirreta temos AB AB e AB BA;

logo devemos ter AB AB BA.

Reciprocamente, seja C um ponto de AB BA; devemos mostrar que C AB.

Se C = A ou C = B, entao C e um dos extremos do segmento AB e portanto
C AB; caso contrario, A, B e C sao tres pontos distintos e colineares e, entao,
pelo Axioma O-3 uma, e somente uma das seguintes relacoes se verifica:
A C B ou A B C ou B A C.
10

Se A B C, entao C nao pode pertencer `a semirreta BA e se C A B entao

C nao pertence `a semirreta AB. Em qualquer desses dois casos C nao pertence a

AB BA. Conclumos entao que A C B, isto e, C AB.

Do que foi visto acima segue que AB BA= AB.

(2) Exerccio.

Observa
c
ao 2.2.3

1. Se C A B, entao a semirreta AC e chamada de se

mirreta oposta `a semirreta AB. Estas semirretas sao distintas. O axioma O-2

garante que todas semirreta AB possui uma semirreta oposta AC.

2. Parece claro que todo ponto P sobre a reta l determindada pelos pontos A, B

e C, com C A B, deve pertencer ou `a semirreta AB ou `a semirreta oposta

AC. Porem, esta afirmacao nao pode ser provada somente com os axiomas
e resultados ate aqui obtidos. Para prova-lo e necessario a introducao de um
novo axioma.
Definic
ao 2.6 Sejam l uma reta e A e B pontos fora de l. Se A = B ou se o
segmento AB nao contem pontos de l, dizemos que A e B estao de um mesmo lado
da reta l, enquanto que se A = B e o segmento AB intersecta l, dizemos que A e
B estao em lados opostos de l. (ver figura 2.1)
A

Figura 2.1: A e B estao de um mesmo lado de l; C e D estao em lados opostos

Axioma de Ordem 4 (O-4): Para toda reta l e para quaisquer tres pontos A, B
e C fora de l tem-se:
(i) se A e B estao de um mesmo lado de l e B e C estao de um mesmo lado
de l, entao A e C estao de um mesmo lado de l;
(ii) se A e B estao em lados opostos de l e B e C estao em lados opostos de
l, entao A e C estao de um mesmo lado de l.
11

A
B
C

A
C

l
B

Figura 2.2: Axioma O-4(i)

Figura 2.3: Axioma O-4(ii)

Observa
c
ao 2.2.4 Conclui-se facilmente do Axioma O-4 que se, A e B estao em
um mesmo lado de l e B e C estao em lados opostos de l, entao A e C estao em
lados opostos de l.
Definic
ao 2.7 Dada uma reta l e um ponto A fora de l, o conjunto dos pontos
de l juntamente com os pontos X tais que A e X estao de um mesmo lado de l e
chamado de semiplano limitado por l e contendo A.
Proposic
ao 2.7 Toda reta l limita exatamente dois semiplanos cuja intersecao e a
reta l.
Prova:
Exerccio: Justifique cada passo na demonstracao abaixo:
Passo 1: Existe um ponto A fora de l.
Passo 2: Existe um ponto O pertencente a l.
Passo 3: Existe um ponto B tal que B O A.
Passo 4: Entao A e B estao em lados opostos de l. Logo l possui pelo menos dois
lados.
Passo 5: Seja C um ponto fora de l diferente de A e B. Se C e B nao estao em
um mesmo lado de l, entao A e C estao em um mesmo lado de l.
Passo 6: Entao l possui exatamente dois lados.
Passo 7: Se C e um ponto que esta em cada um dos lados e C
/ l entao, pelo
Axioma O-4(i), A e B deverao estar de um mesmo lado de l, o que e absurdo.
Logo C l.

Proposic
ao 2.8 Dados os pontos A, B, C e D tais que A B C e C D,
entao B C D e A B D.
12

Prova:
Exerccio.

Proposic
ao 2.9 Se C A B e l e a u
nica reta passando por A, B e C (axioma

O-1), entao para todo ponto P l, ou P pertence `a semirreta AB ou P pertence `

a

semirreta AC.
Prova:

Passo 1: Ou P AB ou P
/ AB.

Passo 2: Se P AB, acabou. Suponha entao que P

/ AB. Logo, pelo axioma O-3,

devemos ter P A B. Na sequencia, vamos mostrar que P AC.

Passo 3: Se P = C, entao P AC (definicao de semirreta). Suponha que P = C.

Entao, pelo axioma O-3, exatamente uma das relacoes seguintes se verifica:
C A P , C P A ou P C A.
Passo 4: Suponnha, por absurdo, que C A P .
Passo 5: Pelo axioma O-3, uma e somente uma das relacoes seguintes se verifica:
B C P , C P B ou P B C.
Passo 6: Se B C P , combinando isto com B A C (hipotese e axioma O-1),
temos que A C P (ver proposicao 2.8), o que contraria o passo 4.
Passo 7: Se C P B, isto combinado com C A P (passo 4), nos da A P B
(ver proposicao 2.8), o que contraria o passo 2.
Passo 8: Se P B C, entao combinando isto com P A B (passo 2), obtemos
A B C (novamente proposicao 2.8), o que contraria a hipotese.
Passo 9: Como em cada um dos tres caso obtivemos uma contradicao, entao C
A P nao pode ocorrer.
Passo 10: Portanto, temos C P A ou P C A (passo 3), e isto significa que

P deve pertencer `a semirreta AC.

Teorema 2.2.5 (Teorema de Pasch) Se A, B e C sao tres pontos distintos e

nao colineares e l e qualquer reta que intersecta o segmento AB em um ponto entre
A e B, entao l intersecta tambem o segmento AC ou o segmento BC (figura 2.4).
Se C noa esta em l entao l nao intersecta ambos AC e BC.
13

Figura 2.4: Teorema de Pasch

O conte
udo intuitivo deste teorema - o qual Euclides usava sem prova - e que
se uma reta entraem um triangulo atraves de um de seus lados entao ela deve
sairatraves de um dos outros lados.
Prova:
(1) Ou C l ou C
/ l. Se C l, o resultado se verifica e nao temos mais nada a
fazer. Suponha entao que C
/ l.
(2) Por hipotese A e B nao pertencem a l e o segmento AB intersecta l em um
ponto entre A e B.
(3) Entao A e B estao em lados opostos de l (definicao de lado).
(4) Como C
/ l, entao ou C esta do mesmo lado de l que A ou C esta do mesmo
lado de l que B (Axioma O-4).
(5) Se C esta do mesmo lado de l que A entao C e B estao em lados opostos de
l, o que significa que l intersecta BC e nao intersecta AC; analogamente, se
C esta do mesmo lado de l que B, entao l intersecta AC e nao intersecta BC
(axioma O-4).

Exerccio 2.2
1. Dados A B C. Mostre que AC = AB BC e que B e o u
nico ponto
comum aos segmentos AB e BC.

2. Dados A B C. Mostre que B e o u

nico ponto comum `as semirretas BA e

BC e que AB=AC
Definic
ao 2.8 Um angulo com vertice A e a figura formada por duas semirretas
de origem em A. As semirretas sao os lados do angulo. Se estas semirretas sao
semirretas opostas diremos que o angulo e um angulo raso.

14

Definic
ao 2.9 Dado um angulo BAC, diz-se que um ponto D esta no interior

de BAC
se D e B estao de um mesmo lado de AC e D e C estao de um mesmo

lado de AB. (Assim, o interior de um angulo e a intersecao de dois semiplanos).

B
D

interior

Figura 2.5: Interior do angulo BAC

Proposic
ao 2.10 Dado um angulo BAC e um ponto D em BC, entao D est
a
no interior de BAC se, e somente se, B D C.
Proposic
ao 2.11 Se D esta no interior de BAC, entao:

1. todo ponto da semirreta AD, exceto A, esta no interior de BAC;

2. nenhum ponto da semirreta oposta a AD esta no interior de BAC;

3. se C A E, entao B esta no interior de DAE (ver figura 2.6).
C
D

B
E

Figura 2.6

Definic
ao 2.10 A semirreta AD esta entre as semirretas AB e AC se AB e AC
nao sao semirretas opostas e se D esta no interior de BAC.
O proximo resultado preenche a lacuna observada na demonstracaode que os
angulos das base de um triangulo isosceles sao congruentes.
15

Teorema 2.2.6 (Teorema do Crossbar) Se AD esta entre AC e AB, entao AD

intersecta o segmento BC.
C
D

Figura 2.7: Teorema do Crossbar

Prova:
Seja E tal que C A E. Como D esta no interior de BAC segue da parte (c) da
proposicao 2.11 que B esta no interior de DAE. Por definicao tem-se entao que B

e E estao de um mesmo lado da reta AD. Como E e C estao em lados opostos de

AD (pois C intersecta AD em A) segue do axioma O-4 que B e C estao em lados

opostos de AD. Assim, AD intersecta BC em um ponto F entre B e C. Segue

agora das partes (a) e (b) da proposicao 2.11 que F AD.

Exerccio 2.3
1. Prove a proposicao 2.8.
2. Prove a proposicao 2.10.
3. Prove a proposicao 2.11.

2.3

Axiomas de Congru
encia

Lembre que congruenciae o nosso u

ltimo termo indefinido (ou primitivo); ele
expressa uma relacao entre segmentos ou entre angulos. Usaremos o smbolo
=
para denotar esta relacao.
Listamos a seguir os axioma de congruencia.

Axioma de Congru
encia 1 (C-1): Se A e B sao pontos distintos e A e qualquer
ponto, entao para cada semirreta r com origem em A existe um u
nico ponto
B em r tal que B = A e AB
= A B .

16

B
A

Figura 2.8
Axioma de Congru
encia 2 (C- 2): Se AB
=
= EF , entao CD
= CD e AB
EF . Alem disso, todo segmento e congruente a si mesmo.
Axioma de Congru
encia 3 (C-3): Se A B C, A B C , AB
= A B e
BC
= A C .
= B C , entao AC
Figura 2.9
Axioma de Congru
encia 4 (C-4): Dado qualquer angulo BAC e dada qual

quer semirreta A B com origem em um ponto A qualquer, entao existe uma

u
nica semirreta A C , em um dos lados de A B , tal que B A C
= BAC.
Figura 2.10
Axioma de Congru
encia 5 (C-5): Se A
= B e A
= C, entao B
= C.
Alem disso, todo angulo e congruente a si mesmo.
Exerccio 2.4
1. Mostre que se AB
= CD, entao CD
= AB.
2. Mostre que se A
= B, entao B
= A.
Definic
ao 2.11 Se A, B e C sao tres pontos nao colineares entao o triangulo com
vertices A, B e C e lados AB, BC e AC e o conjunto
ABC = AB BC AC.
Os angulos ABC, BAC e ACB sao os angulos (internos) do triangulo.
Definic
ao 2.12 Dois triangulo ABC e EF G sao congruentes se existe uma
correspondencia biunvoca entre os seus vertices de modo que lados e angulos correspondentes sejam congruentes. Quando escrevermos ABC
= EF G queremos
dizer que A corresponde a E, B corresponde a F e C corresponde a G.
Observa
c
ao 2.3.1 Definicoes semelhantes podems ser dadas para quadrilateros
congruentes, pentagonos congruentes, etc.
17

Seria natural agora introduzir um axioma de soma de angulos para congruencia

de angulos analogo ao axioma C-3 (axioma da adicao de segmentos). Isto nao sera
feito entretanto pois tal propriedade pode ser provada usando o proximo axioma de
congruencia.

Axioma de Congru
encia 6 (LAL): Dados dois triangulo ABC e EF G, se

AB = EF , AC = EG e A
= EF G.
= E, entao ABC
O axioma acima e o conhecido criterio de congruencia lado-angulo-lado ou,
abreviadamente, LAL. Como uma primeira aplicacao do mesmo segue uma porva
bastante simples do teorema sobre os angulos da base de um triangulo isosceles,
devida a Pappus (300 D.C.).
Proposic
ao 2.12 Se no triangulo ABC tem-se AB
= AC, etnao B
= C.
Prova: (Pappus)
(1) Considere a seguinte correspondencia de vertices:
A A, B C e C B.
Sob esta correspondencia os triangulos ABC e ACB sao tais que AB
=

AC, AC = AB e A = A (hipotese e axioma C-5 que diz que todo angulo

econgruente a si mesmo).
A

Figura 2.11
(2) Entao pelo axioma C-6, segue que ABC
= ACB. Em particular, pela
definicao de congruencia de triangulos, segue que B
= C.

Na sequencia sao apresentados alguns resultados importantes sobre congruencia.

Alguns serao demonstrados e outros serao deixados como exerccio.

18

Proposic
ao 2.13 Se A B C, D E F , AB
= DF , entao
= DE e AC
BC
= EF .
Prova:

Proposic
ao 2.14 Dado que AC
= DF , entao para qualquer ponto B entre A e C,
existe um u
nico ponto E entre D e F tal que AB
= DE.
Prova:

Definic
ao 2.13
1. Dados os segmentos AB e CD diz-se que AB e menor do que CD e escrevese AB < CD (ou CD > AB), se existe um ponto E entre C e D tal que
AB
= CE.
2. Diz-se que o angulo ABC e menor que o angulo DEF e escreve-se

ABC < DEF (ou DEF > ABC), se existe uma semirreta EG en

tre as semirretas ED e EF tal que DEG

= ABC.
Proposic
ao 2.15
1. Uma e somente uma das condicoes seguintes se verifica (tricotomia):
AB < CD, AB
= CD ou AB > CD.
2. Se AB < CD e CD
= EF , entao AB > EF .
3. Se AB > CD e CD
= EF , entao AB > EF .
4. Se AB < CD e CD < EF , entao AB < EF .
5. Uma e somente uma das relacoes seguintes se verifica (tricotomia):
P < Q, P
= Q ou P > Q.
6. Se P < Q e Q
= R, entao P < R.
7. Se P > Q e Q
= R, entao P > R.
8. Se P < Q e Q < R, entao P < R.
Definic
ao 2.14

1. Se dois angulos BAD e CAD tem um lado comum AD e os outros dois

lados AB e AC sao semirretas opostas, diz-se que os angulos sao suplementares

(ou que um angulo e o suplemento do outro).
19

2. Um angulo BAD e um angulo reto se ele tem um angulo suplementar que

lhe e congruente.
3. Duas retas l e m sao perpendiculares se elas se intersectam em um ponto A
formando um angulo reto.

Quando duas retas distintas OA e OB se intersectam quatro angulo sao formados

(figura 2.12). Os angulos AOB e DOC sao opostos pelo vertice. Do mesmo
modo, sao tambem opostos pelo vertice, os angulos AOD eBOC.
A
D

O
B
C

Figura 2.12

Proposic
ao 2.16 Angulos
congruentes tem suplementares congruentes.
Prova: Justifique os passos, abaixo, na demostracao da proposicao 2.16.
Dados os angulos ABC
= DEF , queremos mostrar que seus suplementares
CBG e F EH sao congruentes (figura 2.3).
1) Dados os pontos A, C e G nos lados de ABC e de seu suplemento, podemos
escolher os pontos D, F e H nos lados de DEF e de seu suplemento tais que
AB
= DE, CB
= F E e BG
= EH.
2) Entao ABC
= DEF .
3) Entao AC
= D.
= DF e A
4) Tambem, AG
= DH.
5) Logo ACG
= DF H.
6) Portanto, CG
= H.
= F H e G
7) Entao CBG
= F EH.
8) Segue da que CBG
= F EH.

Proposic
ao 2.17 Angulos
opostos pelo vertice sao congruentes.
Prova: Exerccio.

20

Proposic
ao 2.18 Para toda reta l e para todo ponto P existe uma reta perpendicular a l passando por P .
Prova:

Veremos na sequencia os criterios de congruencia ALA e LLL.

Proposic
ao 2.19 (Crit
erio ALA para congru
encia de tri
angulos) Dados os
triangulos ABC e DEF , se A
= DF , entao
= F e AC
= D, C

ABC = DEF .

Prova: Seja X um ponto da semirreta AB tal que AX

= DE. Considere o triangulo
AXC e compare-o com o triangulo DEF . Pelo Axioma C-6 (LAL), temos
que AXC
= DEF . Segue entao que ACX
= F . Mas , por hipotese,
F
= ACB. Pelo Axioma C-4 as
= C. Logo, por transitividade, ACX

semirretas CX e CB devem ser coincidentes; logo X e B devem coincidir, isto

e, X = B. Entao, pelo que vimos acima, AB
= D
= DF e A
= DE, AC

(hipotese). Logo, pelo cirterio de congruencia LAL, segue que ABC = DEF .

O criterio de congruencia acima e conhecido como criterio angulo-lado-angulo

ou, abreviadamente, ALA. Como consequencia do criterio ALA provaremos a seguir
a recproca do teorema 2.12.
Proposic
ao 2.20 Se no triangulo ABC tem-se B
= AC, ou
= C, entao AB
seja, o triangulo ABC e isosceles.
Prova: Vamos comparar o triangulo ABC com ele mesmo fazendo a seguinte
correspondencia dos vertices:
A A, B C, C B.
Notemos que os angulos B e C do triangulo ABC correspondem, respectivamente, aos angulo C e B do triangulo ACB. Assim, teremos B
= C

(hipotese), BC = CB e C = B. logo, pelo cirterio ALA de congruencia de

triangulos seguq que ABC
= ACB. Portanto, AB
= AC e o triangulo e
isosceles.

As proposicoes 2.12 e 2.20 podem entao ser reescritas na seguinte forma.

Proposic
ao 2.21 (Teorema do tri
angulo is
osceles) No triangulo ABC tem

se AB = AC se, e somente se, B = C.

21

Proposic
ao 2.22 (Crit
erio LLL para congru
encia de tri
angulos) Dados os
triangulo ABC e DEF , se AB
= DE, AC
= DF e BC
= EF , entao

ABC = DEF

Prova: Pelo axioma C-4 existe uma u

nica semirreta AC do lado de AB oposto ao

nico ponto
que esta o ponto C tal que C AB
= D. Pelo axioma C-1 existe um u

X na semirreta AC tal que AX

= DF . Como AB
= DE e BAX
= D segue,

pelo criterio LAL, que ABX = DEF . Por outro lado, como AX
= AC
= DF
e BX
= BC, segue que os triangulos AXC e BXC sao ambos isosceles.
= EF
Segue da que AXC
= ACX e BCX
= BXC. Entao ACB
= AXB.

Temos assim que: AX = AC, BX = BC e ACB = AXB. Logo, por LAL, segue
que ABC
= ABX e como ABX
= DEF segue, por transitividade, que

ABC = DEF .

A proposicao seguinte e o conte

udo do IV postulado de Euclides. A demons
tracao da mesma serdeixada
como um exerccio.

Proposic
ao 2.23 (IV Postulado de Euclides) Dois angulos retos sao sempre
congruentes.
Prova: Exerccio.

2.4

Axiomas de Continuidade

Axioma de Arquimedes: Se AB e CD sao segmentos quaisquer, entao existe

um n
umero natural n tal que se o segmento CD e disposto n vezes sobre a

semirreta AB a partir de A, entao um ponto E sera atingido de modo que

n CD
= AE e B esta entre A e E.
Para ilustrar o conte
udo do Axioma de Arquimedes, considere por exemplo um
segmento que mede, digamos, unidades de comprimento; para atingir um ponto
E tal que A B E como no enunciado do axioma teramos que dispor o segmento
CD, lado a lado, pelo menos 4 vezes.
COLOCAR FIGURA AQUI
O conte
udo intuitivo do axioma de Arquimedes e que se escolhermos um
segmento CD como unidade de comprimento, entao qualquer outro segmento
tem comprimento finito com relacao a esta unidade (na notacao do axioma o
comprimento de AB com relacao a CD e no maximo n unidades.)

22

Axioma de Dedekind: Suponha que o conjunto de todos os pontos de uma reta

l seja a uniao de de dois subconjuntos nao vazios 1 e 2 com a seguinte
propriedade: nenhum ponto de 1 esta entre dois pontos de 2 e nenhum
ponto de 2 esta entre dois pontos de 1 . Entao, existe um u
nico ponto O em
l tal que P1 O P2 se, e somente se, um dos pontos P1 , P2 esta em 1 , o
outro em 2 e O = P1 , P2 .
Observa
c
ao 2.4.1 Um par de subconjuntos 1 e 2 com as propriedades listadas
no axioma de Dedekind e chamado um corte de Dedekind da reta l. Estritamente
falando, o objetivo deste axioma e assegurar que uma reta n
ao tem buracos, no
sentido de que para qualquer ponto O sobre sa reta l e qualquer n
umero real positivo
x existem u
nicos pontos Px e Px em l tais que Px O Px e os segmentos Px O
e OPx tem ambos comprimento x (com respeito a alguma unidade de medida).
Com o axioma de Dedekind, pode-se introduzir um sistema de coordenadas
retangulares no plano e dfazer geometria analiticamente, como Descartes e Fermat
fizeram. Na sequencia apresentaremos alguns resultados que sao consequencias do
Axioma de Dedekind.

Proposic
ao 2.24 (Princpio da continuidade circular) : Se um cruclo tem
um ponto no interior e outro ponto no exterior de um outro crculo , entao os dois
crculos se intersectam em dois pontos.
Proposic
ao 2.25 (Princpio da continuidade elementar) : Se um dos extremos de um segmento esta no interior de um crculo e outro extremo esta no
exterior do mesmo crculo, entao o segmento intersecta o crculo.

23

Captulo 3
Desigualdades Geom
etricas
Sejam l e l duas retas quaisquer e t uma reta que intersecta l e l nos pontos B e
B , respectivamente. Diremos que t e uma reta transversal `as retas l e l . Sejam A
e C pontos em l tais que A B C e sejam A e C em l tais que A e A estao de
um mesmo lado de t e A B C . Nestas condicoes os angulos A AB, ABB ,
C B B e angleCBB sao chamados de angulos internos (ou interiores). Os dois
pares (ABB , C B B) e (A B B, CBB ) sao chamados de pares de angulos
alternos internos. Os pares de angulos (CBB , C B B) e (ABB , A B B) sao
chamados de angulos colaterais internos.
Sejam R e S pontos na reta t tais que R B B e B B S; nestas condicoes
os angulos ABR e A B B sao chamados de angulos correspondentes. Existem
mais tres pares de angulos correspondentes, a saber, os pares: ABB e A B S;
RBC eBB C ; CBB e C B S.
O teorema a seguir traz uma importante propriedade dos angulos alternos
internos.
Proposic
ao 3.1 (Teorema dos
angulos alternos internos) Se duas retas cortadas por uma transversal determina um par de angulos alternos internos congruentes, entao as duas retas sao paralelas.
Prova: Sejam l, l , t, A, B, C e A , B , C como acima. Suponha que A B B
=
CBB e suponha, por absurdo, que l e l se encontrem em D. Suponha tambem
que D esteja do mesmo lado de t em que estao C e C . Exsite um ponto E na

semirreta B A tal que B E

= BD (axioma C-1). O segmento BB e congruente a
si mesmo e entao pelo criterio de congruencia LAL tem-se que B Bd
= BB E.

Em particular, DB B
= EBB . Mas, como DB B e o suplementar de EB B,
entao EBB deve ser o suplementar de DBB . Isto significa que E deve pertencer
a l e, entao l e l tem dois pontos, E e D, em comum, o que e impossvel. Conclumos
asim que l e l sao paralelas.

24