You are on page 1of 122

COLEC¸

˜
AO MATEM
´
ATICA CABEC¸ A DE PROFESSOR
Dicesar Lass Fernandez
ELEMENTOS DE GEOMETRIA
A GEOMETRIA COMO ELA
´
E
Rascunho de uma Vers˜ao Preliminar 3.3
IMECC - UNICAMP
Mar¸ co - 2006
Sum´ario
1 CONCEITOS FUNDAMENTAIS DA GEOMETRIA 1
1.1 Geometria Axiom´atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 No¸ c˜oes Primitivas da Geometria . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Primeiros Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 A No¸ c˜ao de Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Planos e suas Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Propriedades de Separa¸ c˜ao no Plano . . . . . . . . . . . . . . . . . . . . . . 9
1.7 Semi-retas e Propriedades de Separa¸ c˜ao . . . . . . . . . . . . . . . . . . . . . 13
2 GEOMETRIA DOS SEGMENTOS 17
2.1 Congruˆencia de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Confronto de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Soma de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4 Multiplica¸ c˜ao de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 CONGRU
ˆ
ENCIA DE FIGURAS PLANAS 25
3.1 Congruˆencia de Figuras Planas . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Congruˆencia de Semi-Retas e Retas . . . . . . . . . . . . . . . . . . . . . . . 27
4 GEOMETRIA DOS
ˆ
ANGULOS 29
4.1 No¸ c˜oes Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.2 Congruˆencia de Conjuntos N˜ao-Colineares . . . . . . . . . . . . . . . . . . . 31
4.3 Congruˆencia de
ˆ
Angulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.4 Confronto de
ˆ
Angulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5 GEOMETRIA DOS TRI
ˆ
ANGULOS 37
5.1 Conceito e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2 O Teorema de Pasch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.3 Congruˆencia de Triˆangulos I . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Congruˆencia de Triˆangulos II . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.5 Congruˆencia de Triˆangulos III . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.6 Cancelamento de
ˆ
Angulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.7 O Teorema do
ˆ
Angulo Externo . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.8 Triˆangulos Is´osceles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
i
ii SUM
´
ARIO
5.9 Dimidia¸ c˜ao de um Segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.10
ˆ
Angulos Retos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.11 Triˆangulos Retˆangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6 GEOMETRIA DAS PERPENDICULARES 51
6.1 Retas Perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.2 Mediatrizes e Bissetrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.3 Distˆancia entre Ponto e Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7 GEOMETRIA DAS PARALELAS 57
7.1 Retas Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.2 O Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.3 Consequˆencias do Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . 60
7.4 Quadril´ateros, Paralelogramos e Quadrados . . . . . . . . . . . . . . . . . . . 62
7.5 Distˆancia entre Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
7.6 Feixe de Paralelas e Transversais . . . . . . . . . . . . . . . . . . . . . . . . 65
8 GEOMETRIA DOS POL
´
IGONOS 73
8.1 Pol´ıgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8.2 Teoria da Equivalˆencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
8.3 Paralelogramos e Triˆangulos Equivalentes . . . . . . . . . . . . . . . . . . . . 76
8.4 Transforma¸ c˜ao de Retˆangulos . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8.5 Euclides e o Teorema de Pit´agoras . . . . . . . . . . . . . . . . . . . . . . . . 80
9 GEOMETRIA DAS CIRCUNFER
ˆ
ENCIAS 85
9.1 Circunferˆencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.2 Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
9.3 Retas Tangentes a Circunferˆencias . . . . . . . . . . . . . . . . . . . . . . . . 87
9.4 Um Axioma Fundamental e Aplica¸ c˜oes . . . . . . . . . . . . . . . . . . . . . 88
10 PROPORC¸
˜
OES E APLICAC¸
˜
OES 95
10.1 Teoria das Propor¸ c˜oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
10.2 A Divis˜ao em Extrema e M´edia Raz˜ao . . . . . . . . . . . . . . . . . . . . . 100
10.3 O Incentro de um Triˆangulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
10.4 Semelhan¸ ca de Triˆangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
10.5 O Teorema de Pit´agoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
11 PONTOS E N
´
UMEROS REAIS 107
11.1 O Axioma de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
11.2 Divis˜ao de um Segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
11.3 Produto de N´ umeros Racionais por Segmentos . . . . . . . . . . . . . . . . . 110
11.4 Se¸ c˜oes de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
11.5 Se¸ c˜oes Definidas por Pares de Segmentos . . . . . . . . . . . . . . . . . . . . 113
11.6 Pontos e N´ umeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Pref´acio
Estas Notas de Aula pretendem ser uma exposi¸ c˜ao sobre a Geometria Elementar Plana
sob o ponto de vista Euclideano. Com isso queremos dizer que pretendemos fazer uma ex-
posi¸ c˜ao que contenha os resultados fundamentais dos Livros I-VI dos Elementos de Euclides,
principalmente do Livro I.
A geometria que vamos desenvolver ser´a baseada em um sistema de no¸ c˜oes primitivas
e axiomas que foram apresentados pela primeira vez, em 1882, por
Moritz Pasch (1843-1930)
em seu
Vorlesungen ¨ uber neuere Geometrie.
O aparecimento do livro de Pasch motivou diversos matem´aticos de renome a desenvolve-
rem, na mesma linha, variantes dos fundamentos da geometria. Elencamos: G. Peano (1889),
G. Veronese (1891), G. Fano (1892), F. Enriques (1896), M. Pieri (1899), D. Hilbert (1899),
O. Veblen (1904), G. Ingrami (1904), ... O mais conhecido dentre eles, talvez por outras
raz˜oes, s˜ao os Grundlagen der Geometrie de David Hilbert. O presente texto foi fortemente
influenciado por Federigo Enriques e Osvald Veblen
1
. Livros mais recentes na linha de
Pasch/Hilbert ´e o do premiado R. Hartshorne - Geometry: Euclid and Beyond (2000).
Na presente vers˜ao, procuramos cobrir principalmente o Livro I dos Elementos de Eu-
clides. Sempre que for o caso, indicamos a proposi¸ c˜ao dos Elementos que corresponde aos
resultados aqui enunciados. O leitor mais atento ir´a perceber que o sistema de axiomas
apresentado ´e super-abundante. A raz˜ao disso foi puramente did´atica. A economia de ax-
iomas torna a exposi¸ c˜ao longa e bastante ´arida (vide Forder [18]). O Cap´ıtulo 9 tem ainda
uma reda¸ c˜ao preliminar; ´e onde tratamos o delicado conceito de equivalˆencia de figuras
geom´etricas. A teoria de equivalˆencia ir´a nos permitir estudar geom´etricamente o Teorema
de Pit´agoras. No Cap´ıtulo 10 continuamos usando a teoria de equivalˆencia, agora para estab-
elecer uma teoria geom´etrica de propor¸ c˜oes para segmentos.
´
E uma teoria bastante intuitiva
e adequada para o estudo do Teorema de Tales e semelhan¸ ca de triˆangulos. Finalmente no
Cap´ıtulo 11 contru´ımos a correspondˆencia entre pontos de uma (semi-) reta e os n´ umeros
reais (positivos) a qual leva a uma teoria da medida de figuras geom´etricas.
Procuramos no texto postergar os resultados que dependem de axiomas mais polˆemicos.
Desta forma, resultados que dependem do Postulado das Paralelas s˜ao discutidos somente
no Cap´ıtulo 8. Tamb´em, a correspondˆencia entre pontos de uma reta e n´ umeros reais ´e
constru´ıda, como observamos acima, somente no Cap´ıtulo 11 (em alguns livros essa corre-
spondˆencia ´e assumida como um axioma no primeiro cap´ıtulo).
1
Vide: Amaldi & Enriques, Elementi di Geometria e H. G. Forder, The Foundations of Euclidean Geom-
etry.
ii SUM
´
ARIO
Dentro de um projeto, onde o presente texto ´e uma parte, em vers˜oes futuras procu-
raremos cobrir partes dos Livros III e IV (com o objetivo de construir o pent´agono regular)
e tratar dos problemas da exaust˜ao e retifica¸ c˜ao da circunferˆencia.
O presente texto n˜ao pressup˜oem pr´e-requisitos, al´em de uma certa maturidade matem´a-
tica. Paralelamente ao estudo do material destas notas, seria interessante que o leitor
procurasse conhecer os Elementos de Euclides. Para isso os livros de Benno Artmann [1]
e Leyendo a Euclides de Beppo Levi
2
[31] s˜ao excelentes introdu¸ c˜oes. Al´em disso, ´e f´acil
encontrar as edi¸ c˜oes dos Elementos devidas a Garcia Bacca [12], Anibal Faro [13], Mari´a P.
L. Casta˜ nos [14], Bernard Vitrac [44] e de Thomas Heath [24].
Quanto a abordagem da geometria euclidiana utilizada no presente texto, o leitor
poder´a consultar a exposi¸ c˜ao elementar de Greenberg [22] e ainda os livros de Cederberg [5]
e Gemignani [19]. A base geral do texto s˜ao os livros de Forder [18] e de Enriques-Amaldi
[9]. Em portuguˆes o ´ unico livro de Geometria, na linha de Pasch, ´e o do Prof. Benedito
Castrucci [4] (mas consulte tamb´em o livro de Amoroso Costa [6]). No livro de Cederberg [5]
encontramos indica¸ c˜oes de outras linhas, completamente diferentes, para a fundamenta¸ c˜ao
da geometria. Uma, dessas outras linhas, ´e seguida por alguns autores brasileiros.
Na bibliografia, ap´os cada item, procuramos indicar a biblioteca na qual a referˆencia
poder´a ser encontrada. Uma s´erie de livros interessantes podem ser encontrados na INTER-
NET. Principalmente os livros de Halsted (Rational Geometry [21]), de Peano (I Principii
di Geometria [36]), o de Pasch (Vorlesungen ¨ uber Neuere Geometrie [35]) e o de Hilbert
(Foundations of Geometry [25] e [26])
2
O livro de Beppo Levi ´e de 1947, mas existe uma reedi¸ c˜ao de 2003 e ainda uma edi¸ c˜ao francesa recente.
Cap´ıtulo 1
CONCEITOS FUNDAMENTAIS
DA GEOMETRIA
1.1 Geometria Axiom´atica
Toda sistematiza¸ c˜ao orgˆanica da geometria deve assentar-se necessariamente sobre funda-
mentos racionais de modo a evitar que, mesmo na aparˆencia, a geometria necessite de id´eias
que sejam estranhas `a Matem´atica. Exatamente por isso, ´e necess´ario apresentar claramente
suas premissas (aquilo que ´e colocado antes) e a metodologia de seu desenvolvimento.
Definir um conceito, representado por uma palavra ou por um s´ımbolo, significa ex-
primir seu significado com outras palavras ou s´ımbolos dos quais conhecemos o sentido. Uma
defini¸ c˜ao n˜ao ´e ent˜ao nada mais que uma identidade l´ogica entre um conceito e outro, combi-
nados mediante algum processo fundamental do pensamento.
´
E manifesto, deste modo, que
n˜ao ´e poss´ıvel definir todas as palavras necess´arias para uma sistematiza¸ c˜ao da geometria.
Devemos, portanto, fixar certas id´eias primitivas que n˜ao s˜ao definidas e as quais supomos
que tenham um significado claro. Dessas id´eias n˜ao podemos dar sen˜ao explica¸ c˜oes intuiti-
vas, ligadas a observa¸ c˜oes e sensa¸ c˜oes que se originam em um trabalho intelectual, complexo
ainda que espontˆaneo, de associa¸ c˜ao e de abstra¸ c˜ao. Essas id´eias gozam de propriedades
b´asicas que se exprimem por meio de postulados. Al´em disso, entram no desenvolvimento
racional da geometria t˜ao somente por meio destas propriedades b´asicas, tamb´em chamadas
de axiomas, que se interrelacionam. Nisto consiste o m´etodo axiom´atico.
O m´etodo axiom´atico ´e um processo racional de sistematizar uma teoria matem´atica,
cujo modelo foi representado durante s´eculos pelos Elementos de Euclides. Para ser estab-
elecido ´e necess´ario um certo gr´au de organiza¸ c˜ao pr´evia de conhecimentos, resultantes de
um conjunto de observa¸ c˜oes, objetos e fatos. Da´ı, este m´etodo separa um pequeno con-
junto de objetos para os quais s˜ao estabelecidos alguns conceitos e propriedades primitivas
(como os axiomas ou postulados) e estabelece ent˜ao proposi¸ c˜oes demonstradas ou deduzidas
utilizando-se princ´ıpios l´ogicos. De in´ıcio, devemos ent˜ao deixar claro o que entendemos por
princ´ıpios l´ogicos e por m´etodo axiom´atico.
1
2 Dicesar Lass Fernandez
Antes de enunciarmos os princ´ıpios l´ogicos, sobre os quais basearemos nossas dedu¸ c˜oes,
precisamos deixar claro o significado de alguns termos.
Uma proposi¸c˜ao ´e uma senten¸ ca declarativa a qual ´e excludentemente verdadeira ou
falsa.
Uma contradi¸c˜ao ´e uma proposi¸ c˜ao composta por uma proposi¸ c˜ao e sua nega¸ c˜ao.
Proposi¸ c˜oes s˜ao formadas por termos ou conceitos. Termos ou conceitos s˜ao id´eias
gerais e abstratas, representando classes de indiv´ıduos que tˆem em comum qualidades ou
propriedades distintivas. O conjunto de tais qualidades constitui a compreens˜ao do con-
ceito. O conjunto dos elementos que possuem tais qualidades constitui a extens˜ao do
conceito. Assim a compreens˜ao de um conceito s˜ao os atributos que n˜ao podem ser igno-
rados sem descaracteriz´a-los. Por exemplo, o conceito de triˆ angulo compreende trˆes lados,
trˆes ˆangulos, etc. Por outro lado, no conceito de quadril´atero, os quadrados, os retˆangulos,
os trap´ezios, etc., fazem parte de sua exten¸ c˜ao.
Toda teoria cient´ıfica deve ser demonstrativa. Demonstra¸c˜ao ou dedu¸c˜ao ´e um
processo discursivo que consiste em encadear logica- mente proposi¸ c˜oes e chegar a uma
proposi¸ c˜ao final. Este processo ´e discursivo porque vai de um proposi¸ c˜ao a outra, passando
eventualmente por v´arias intermedi´arias, e exige o uso de palavras. O encadeamento ´e l´ogico
porque baseia-se em princ´ıpios l´ogicos, como os seguintes.
PRINC
´
IPIO DA CONTRADIC¸
˜
AO
Dadas duas proposi¸ c˜oes tais que uma delas ´e a nega¸ c˜ao da outra, uma delas ´e falsa.
PRINC
´
IPIO DO TERCEIRO EXCLU
´
IDO
Dadas duas proposi¸ c˜oes tais que uma ´e a nega¸ c˜ao da outra, ent˜ao uma delas ´e
verdadeira.
PRINC
´
IPIO DA DUPLA NEGAC¸
˜
AO
A dupla nega¸ c˜ao de uma dada proposi¸ c˜ao ´e equivalente a proposi¸ c˜ao dada.
Teorema ´e uma proposi¸ c˜ao composta por proposi¸ c˜oes denominadas hip´oteses (do teo-
rema), que denotamos por H), de uma outra proposi¸ c˜oes denominadas teses (do teorema),
que denotamos por T), deduzidas das proposi¸ c˜oes H) e das premissas (aquilo que foi colo-
cado antes), por meio de princ´ıpios l´ogicos. Habitualmente, um teorema ´e resumido na forma
se H) ent˜ao T).
Estaremos interessados aqui no caso de uma teoria matem´atica, a geometria, que ser´a
desenvolvida pelo m´etodo axiom´atico.
Elementos de Geometria 3
Por um m´etodo axiom´atico (n˜ao formal) de constru¸ c˜ao de uma teoria matem´atica
entendemos um processo que elenca uma lista de no¸ c˜oes ou termos primitivos (n˜ao definidos
ou aceitos sem defini¸ c˜ao) e uma lista de axiomas contendo esses termos, dos quais os teoremas
da teoria devem ser deduzidos, segundo as regras de uma l´ogica impl´ıcita. A teoria ´e desta
forma elaborada por um m´etodo axiom´atico n˜ao formal.
Na constru¸ c˜ao de tal teoria, adotamos o seguinte procedimento. Inicialmente, escol-
hemos um sistema de no¸c˜oes primitivas. Algumas vezes ´e desej´avel (mas n˜ao necess´ario)
que estas no¸ c˜oes tenham um sentido intuitivo. Um princ´ıpio b´ asico ´e que somente pode-
mos empregar outras no¸ c˜oes quando estiverem definidas em termos, direta ou indiretamente,
das no¸ c˜oes primitivas, previamente introduzidas. A seguir, um certo sistema de senten¸ cas,
chamados axiomas ou postulados, ´e escolhido, no qual s˜ao formuladas certas propriedades
das no¸ c˜oes primitivas. As proposi¸ c˜oes da teoria s˜ao os axiomas, e aquelas senten¸ cas as quais
s˜ao consequˆencias l´ogicas dos axiomas, defini¸ c˜oes e proposi¸ c˜oes previamente demonstradas:
os teoremas.
Algumas vezes, os axiomas devem formular de forma abstrata algumas rela¸ c˜oes existentes
entre objetos reais dos quais as no¸ c˜oes primitivas foram abstra´ıdas. No entanto, o sentido
intuitivo dos conceitos primitivos e dos axiomas n˜ao deve jamais justificar qualquer con-
sequˆencia da teoria. Lembremos que a intui¸ c˜ao pode levar a erros grosseiros como aquele da
demonstra¸ c˜ao de que todos os triˆangulos s˜ao equil´ateros.
Resumindo:
• Os conceitos fundamentais ou termos primitivos, que s˜ao introduzidos na teoria sem
que seja poss´ıvel defin´ı-los.
• Os axiomas de base, que estabelecem uma certa regulamenta¸ c˜ao `a quail ser˜ao submeti-
dos os termos primitivos.
• As defini¸ c˜oes permitindo introduzir, `a partir das premissas acima novas no¸ c˜oes .
• Os axiomas complementares, necess´arios para a adjun¸ c˜ao de novas no¸ c˜oes .
• Os teoremas ou proposi¸ c˜oes que estabelecemos por meio de demonstra¸ c˜ao dedutiva.
Tamb´em, toda teoria axiom´atica deve ser completa (todos os teoremas da teoria devem
ser conseq¨ uˆencia dos axiomas elencados), consistente (os axiomas n˜ao podem ser contra-
dit´orios entre si) e independente (um axioma n˜ao deve ser conseq¨ uˆencia dos demais). No
entanto, a exigˆencia da independˆencia ´e muitas vezes relaxada, como o ser´a no que segue.
Na constru¸ c˜ao de uma teoria axiom´atica utilizam-se outras teorias axiom´aticas, as
quais s˜ao pressupostas no seguinte sentido: todas as no¸ c˜oes primitivas dessas teorias pres-
supostas est˜ao (muitas vezes implicitamente) inclu´ıdas no sistema axiom´atico em constru¸ c˜ao.
Como regra geral entre essas teorias est˜ao a l´ogica matem´atica, a teoria dos conjuntos e a
aritm´etica dos n´ umeros naturais (mas n˜ao a aritm´etica dos n´ umeros racionais e muito menos
dos n´ umeros reais!).
4 Dicesar Lass Fernandez
A no¸ c˜ao b´asica da teoria dos conjuntos ´e a no¸ c˜ao de pertinˆencia. O s´ımbolo de per-
tinˆencia ∈ ocorre em f´ormulas como x ∈ X, a qual se lˆe x ´e um elemento do conjunto X, ou
x pertence ao conjunto X, ou ainda o conjunto X cont´em x (como um elemento).
Vamos presupor tamb´em a aritm´etica dos n´ umeros naturais (inteiros positivos).
Uma teoria matem´atica n˜ao se reduz ao m´etodo com que foi elaborada ou apresentada.
O m´etodo axiom´atico pode ser visto como um meio de convencimento ou de argumenta¸ c˜ao.
Desta forma, podemos explicar o interesse pelo m´etodo axiom´atico tanto entre os gregos
antigos como no que encontramos em meados do s´eculo XIX e in´ıcio do s´eculo XX, per´ıodo
em que foi estabelecida a nova geometria.
Elementos de Geometria 5
1.2 No¸c˜oes Primitivas da Geometria
Consideremos duas classes de objetos: pontos e segmentos, e a rela¸ c˜ao de per-
tinˆencia entre esses objetos: um ponto pertence a um segmento.
Os conceitos dos objetos ponto e segmento s˜ao primitivos, n˜ao-definidos. Um segmento
´e concebido como um conjunto de pontos.
Da mesma forma, a rela¸ c˜ao de pertinˆencia tamb´em ´e primitiva, n˜ao definida.
1.3 Primeiros Axiomas
Vamos assumir que os pontos e segmentos de retas, que estamos considerando como
no¸ c˜oes primitivas, verificam os seguintes axiomas de pertinˆencia, tamb´em chamados de
axiomas de incidˆencia.
AXIOMA 0.
O conjunto dos pontos cont´em pelo menos dois pontos distintos e segmentos s˜ao
subconjuntos de pontos.
AXIOMA I.
Dois pontos distintos determinam um e apenas um segmento.
AXIOMA II.
Os pontos que determinam um segmento pertencem ao segmento.
AXIOMA III.
Todo segmento cont´em um ponto distinto dos pontos que o determinam.
1.3.1 DEFINIC¸
˜
AO
Um ponto pertencente a um segmento e distinto dos pontos que o determinaram
denomina-se um ponto interno ao segmento. Dizemos, tamb´em, que um ponto
interno est´a entre
1
os pontos que determinaram o segmento.
NOTAC¸
˜
AO. Se A e B s˜ao pontos, o segmento por eles determinado ser´a denotado por
AB.
Se X ∈ AB, mas X ´e distinto de A e B, isto ´e, X ´e um ponto interno de AB, escreveremos
A −X −B.
1
C. F. Gauss (1777-1855), em uma carta escrita em 1832 `a F. Bolya¨ı, j´a observava que o termo estar
entre devia ser colocado de forma clara. G. Peano (1889) e mais tarde D. Hilbert (1899) tomaram esse
termo como no¸ c˜ao primitiva.
6 Dicesar Lass Fernandez
AXIOMA IV.
Se C ´e um ponto interno ao segmento determinado pelos pontos A e B, ent˜ao A
n˜ao pertence ao segmento determinado pelos pontos C e B
AXIOMA V.
Se C ´e um ponto interno ao segmento determinado pelos pontos A e B ent˜ao o
segmento determinado pelos pontos A e C est´a contido no segmento dado.
AXIOMA VI.
Se C ´e um ponto pertencente e interno a um segmento, determinado por pontos
distintos A e B, e X ´e um ponto arbitr´ario, distinto de C, e n˜ao pertence ao
segmentos determinado por A e C nem ao segmento determinado por C e B, ent˜ao
n˜ao pertente ao segmento dado, determinado pelos pontos A e B.
AXIOMA VII.
Se A, B, C e D s˜ao pontos distintos dados de modo que B ´e interno aos segmentos
determinados por A e C e A e D ent˜ao C ´e um ponto interno do segmento deter-
minado por A e D, ou o ponto D ´e interno ao segmento determinado pelos pontos
A e C
◦ • ◦ • ◦
A B C D E
Figura 1.1
AXIOMA VIII.
Sejam A, B, C e D pontos dados de modo que B ´e um ponto interno ao segmento
determinado pelos pontos A e C, e o ponto A ´e interno ao segmento determinado
por B e D ent˜ao A ´e um ponto interno ao segmento determinado pelos pontos C e
D.
1.3.2 PROPOSIC¸
˜
AO
Se A e B s˜ao pontos distintos, ent˜ao
AB = { X ; X = A ou A −X −B ou X = B}.
EXERC
´
ICIO. Reescreva os Axiomas acima usando as nota¸ c˜oes AB para o segmento determinado
por A e B, e A−X −B para ponto interno ao segmento AB.
Elementos de Geometria 7
1.3.3 PROPOSIC¸
˜
AO
Se A e B s˜ao pontos distintos, ent˜ao
AB = BA.
Demonstra¸c˜ao. Pelo Axioma I, dois pontos distintos determinam apenas um segmento.
1.3.4 COROL
´
ARIO
Se A e B s˜ao pontos distintos, ent˜ao
A −X −B ⇐⇒B −X −A.
EXERC
´
ICIO.
Sejam A. B e C pontos tais que A−B −C. Demonstre que AB ∪ BC = AC e AB ∩ BC = {B}.
1.4 A No¸c˜ao de Reta
Para introduzirmos a no¸ c˜ao de reta vamos precisar de mais um axioma, o qual vai
garantir que todo segmento pode ser estendido indefinidamente.
AXIOMA IX.
Se A e B s˜ao pontos distintos, existe um ponto C tal que o ponto B ´e um ponto
interno do segmento AC; em outras palavras, tal que A −B −C.
1.4.1 PROPOSIC¸
˜
AO
Se A e B s˜ao pontos distintos, ent˜ao existe um ponto D tal que
D −A −B.
Estamos agora em condi¸ c˜oes de introduzir a no¸ c˜ao de reta.
1.4.2 DEFINIC¸
˜
AO
A reta determinado por dois pontos distintos A e B ´e o conjunto
←→
AB := { X ; X −A −B, X = A, A −X −B, X = B, A −B −X }.
AXIOMA X.
Dada uma reta arbitr´aria, existe pelo menos um ponto n˜ao pertencente a esta reta.
8 Dicesar Lass Fernandez
1.4.3 DEFINIC¸
˜
AO
Diremos que trˆes pontos distintos s˜ao n˜ao-colineares se n˜ao pertencerem a uma
mesma reta. Caso contr´ario, diremos que s˜ao colineares.
1.4.4 PROPOSIC¸
˜
AO
Se C e D s˜ao dois pontos distintos em uma reta
←→
AB, ent˜ao
←→
AB e
←→
CD coincidem.
Demonstra¸c˜ao. As identidades
←→
AB =
←→
AC =
←→
CD
seguem imediatamente da defini¸ c˜ao de reta.
1.4.5 COROL
´
ARIO
Duas retas distintas tˆem no m´aximo um ponto em comum.
1.4.6 PROPOSIC¸
˜
AO
Existem trˆes retas distintas n˜ao concorrentes (isto ´e, trˆes retas que n˜ao passam por
um ´ unico ponto).
Demonstra¸c˜ao. Exerc´ıcio.
1.4.7 PROPOSIC¸
˜
AO
Para todo ponto existe pelo menos uma reta que n˜ao o cont´em.
Demonstra¸c˜ao. Exerc´ıcio.
1.4.8 PROPOSIC¸
˜
AO
Existem pelo menos duas retas distintas que passam por cada ponto dado.
Demonstra¸c˜ao. Exerc´ıcio.
1.5 Planos e suas Propriedades
Trˆes pontos distintos determinam um plano. Vamos dar um sentido preciso a essa
express˜ao.
1.5.1 DEFINIC¸
˜
AO
Elementos de Geometria 9
O triˆangulo determinado por trˆes pontos n˜ao colineares A, B e C ´e o conjunto,
denotado por △(ABC), definido por
△(ABC) := AB ∪ BC ∪ CB.
1.5.2 DEFINIC¸
˜
AO
Sejam trˆes pontos A, B e C, distintos e n˜ao colineares. O plano determinado
pelos pontos A, B e C, que ser´a denotado por π(ABC), ´e o conjunto formado
pelos pontos X contidos em alguma reta determinada por dois pontos distintos do
triˆangulo △(ABC).
1.5.3 PROPOSIC¸
˜
AO
Se E, F e G s˜ao trˆes pontos, distintos e n˜ao colineares, pertencentes a um plano
π(ABC), ent˜ao o plano π(EFG) coincide com o plano dado:
π(ABC) = π(EFG).
Em outras palavras, um plano n˜ao depende dos pontos que o determinam.
Demonstra¸c˜ao. Se E ´e n˜ao-colinear com A e B ent˜ao
π(ABC) = π(ABE).
Deste fato segue a afirma¸ c˜ao
2
.
1.5.4 PROPOSIC¸
˜
AO
Se uma reta tem dois pontos contidos em um plano, ent˜ao est´a totalmente contida
no plano.
Demonstra¸c˜ao. Sejam E e F dois pontos de uma reta r, pertencentes a um plano π(ABC).
Se A ∈ r ent˜ao π(ABC) = π(AEF) e a assertiva segue da defini¸ c˜ao de plano.
1.6 Propriedades de Separa¸c˜ao no Plano
No que segue vamos supor que os pontos, segmentos, retas e triˆangulos que conside
-rarmos estar˜ao todos contidos em um mesmo plano π, fixado mas arbitr´ario.
1.6.1 DEFINIC¸
˜
AO
2
A demonstra¸ c˜ao detalhada, apesar de n˜ao ser dif´ıcil, ´e longa.
10 Dicesar Lass Fernandez
Dada uma reta r, consideremos pontos A e B n˜ao pertencentes a r. Se A = B, ou
se o segmento AB n˜ao intercepta a reta r, diremos que A e B est˜ao no mesmo
lado de r. Por outro lado, se AB intercepta r, diremos que A e B est˜ao em lados
opostos de r.
r r
>
>
>
>
>
`
`
`
`
`
`
``
A
B A
B
Figura 1.2(i) Figura 1.2(ii)
Na Figura 1.2(i), acima, A e B est˜ao de um mesmo lado da reta r, e na Figura 1.2(ii), os
pontos A e B est˜ao em lados opostos.
AXIOMA DE SEPARAC¸
˜
AO
Para toda reta r e quaisquer pontos A, B e C n˜ao pertencentes a r, postulamos que:
A) se A e B est˜ao do mesmo lado de r e tamb´em B e C est˜ao do mesmo lado de
r, ent˜ao A e C tamb´em est˜ao do mesmo lado de r;
B) se A e B est˜ao em lados opostos de r e B e C tamb´em est˜ao em lados opostos,
ent˜ao A e C est˜ao do mesmo lado de r.
r r

.
.
.
.
.
.
.
.
.
.
..

`
`
`
`
`
`
`
`
`

A
B
C
A
C
B
Figura 1.3
EXERC
´
ICIO. Sejam A, B e C pontos distintos e n˜ao pertencentes a uma mesma reta r. Se A
e B est˜ao de um mesmo lado da reta r e A e C em lados opostos, ent˜ao B e C tamb´em est˜ao em
lados opostos.
1.6.2 TEOREMA
Toda reta determina exatamente dois conjuntos disjuntos do plano que a cont´em.
Estes conjuntos denominam-se semi-planos.
Elementos de Geometria 11
Demonstra¸c˜ao. Dada uma reta r qualquer, sempre existe um ponto A n˜ao pertencente a
essa reta (Axioma X). Agora, se O ´e um ponto pertencente `a reta r, pelo Axioma IX, existe
um ponto B tal que B − O − A. Os pontos A e B est˜ao em lados opostos (por defini¸ c˜ao);
logo existem pelo menos dois lados. Seja C um ponto arbitr´ario distinto de A e B e n˜ao
pertencente a r. Se C e B n˜ao est˜ao do mesmo lado de r, ent˜ao C e A est˜ao do mesmo lado
de r. Portanto, r tem exatamente dois lados.
Por outro lado, se os lados tˆem um ponto em comum C ent˜ao A e B estariam de um
mesmo lado, o que n˜ao ´e o caso. Portanto os subconjuntos determinados s˜ao disjuntos.
NOTAC¸
˜
AO. Consideremos uma reta r e um ponto A n˜ao pertencente a r. A reta r divide
o plano em dois semi-planos e o ponto A est´a em apenas um desse semi-planos. Denotemos
esse semi-plano por
S(r, A).
O semi-plano S(r, A) ´e ent˜ao o conjunto dos pontos P que est˜ao do mesmo lado que A.
O segundo semi-plano determinado pela reta r ser´a denominado semi-plano oposto e
denotado por S
op
(r, A):
1.6.3 DEFINIC¸
˜
AO (Semi-plano oposto)
P ∈ S
op
(r, A) ⇐⇒P ∈ r e P ∈ S(r, A).
r
A
S(r, A)
S
op
(r, A) = S(r, B)
B
Figura 1.4
O seguinte lema ser´a utilizado posteriormente e ilustra o uso da id´eia de separa¸ c˜ao de
um plano em semi-planos.
1.6.4 LEMA
Sejam A, B, C pontos n˜ao-colineares e L, M, N pontos internos de AB, BC e
CA, respectivamente. Ent˜ao os pontos L, M e N s˜ao n˜ao-colineares.
12 Dicesar Lass Fernandez
Demonstra¸c˜ao. Se L = M ent˜ao A, B e C seriam colineares (por quˆe?). Logo, L = M. A
reta
←→
LM intercepta AB e BC em L e M, respectivamente. Logo, B e C s˜ao ambos opostos
a A em rela¸ c˜ao a
←→
LM. Como M ∈ BC segue-se M =
←→
LN.
1.6.5 DEFINIC¸
˜
AO
Chamaremos de semi-plano fechado a reuni˜ao de um semi-plano com a reta que
o determina.
Dado um semi-plano S(r, A), denotamos por S(r, A) o semi-plano fechado associado a
S(r, A) (que para enfatizar, chamaremos algumas vezes de semi-plano aberto).
1.6.6 PROPOSIC¸
˜
AO
Se P, Q ∈ S(r, A) (S(r, A), respectivamente), ent˜ao o segmento PQ est´a contido
no semi-plano S(r, A) (semi-plano fechado S(r, A), respectivamente).
Demonstra¸c˜ao. Se PQ interceptar r em um ponto O, o ponto P estaria no lado oposto `a
Q, o que n˜ao ´e o caso. Logo, PQ n˜ao intercepta r. Agora, se existisse um ponto R ∈ PQ no
lado oposto a A, ent˜ao o segmento PR interceptaria r, e a fortiori o segmento PQ. Logo,
PQ ⊂ S(r, A).
1.6.7 DEFINIC¸
˜
AO
Um subconjunto de pontos C ´e convexo se para todo P, Q ∈ C tivermos
PQ ⊂ P.
1.6.8 PROPOSIC¸
˜
AO
Todo semi-plano ´e convexo.
Demonstra¸c˜ao. Se os pontos P e Q pertencem a um semi-plano, pelo Axioma da Sep-
ara¸ c˜ao, o segmento PQ est´a contido neste semi-plano.
1.6.9 PROPOSIC¸
˜
AO
A interse¸ c˜ao de subconjuntos convexos ´e um conjunto convexo.
Demonstra¸c˜ao. Exerc´ıcio.
Vamos aplicar a propriedade de separa¸ c˜ao do plano para estabelecer duas importantes
rela¸ c˜oes de ordem entre quatro pontos.
1.6.10 TEOREMA
Elementos de Geometria 13
Sejam A, B, C e D pontos distintos. Se A−B−C e A−C−D, ent˜ao B−C−D e
A−B−D (em outras palavras, B ∈ AC e C ∈ AD implicam C ∈ BD e B ∈ AD).
Demonstra¸c˜ao. Os pontos A, B, C e D s˜ao distintos e colineares (por que?). Existe um
ponto E que n˜ao pertence `a reta que cont´em os pontos A, B, C e D. Consideremos a reta
←→
EC. Como, por hip´otese, AD intercepta essa reta no ponto C, os pontos A e D est˜ao em
lados opostos de
←→
EC.
Afirmamos que A e B est˜ao no mesmo lado de
←→
EC. De fato, caso A e B estivessem
em lados opostos de
←→
EC, o segmento AB interceptaria a reta
←→
EC num ponto entre A e
B. Este ponto ´e necessariamente C. Logo, temos A − B − C e A − C − B, o que ´e uma
contradi¸ c˜ao. Logo, A e B est˜ao do mesmo lado de
←→
EC. Portanto, B e D est˜ao em lados
opostos de
←→
EC. Conseq¨ uentemente, o ponto C de interse¸ c˜ao das retas
←→
EC e
←→
BD est´a entre
B e D: B −C −D.
Analogamente, considerando a reta
←→
EB, demonstra-se que A −B −D.
EXERC
´
ICIOS.
(i) Consideremos pontos distintos A, B, C, D e E, tais que A − B − C e A − D − E (ou seja
B ∈ AC e D ∈ AE). Demonstre que BE intercepta CD em um ponto M.
(ii) Dados pontos A
1
, ... , A
n
arbitr´arios, demonstre que existe uma reta que deixa todos esses
pontos de um ´ unico lado.
1.7 Semi-retas e Propriedades de Separa¸c˜ao
1.7.1 DEFINIC¸
˜
AO
Sejam A e B pontos distintos. A semi-reta determinada pelos pontos A e B, e
denotada por
−→
AB, ´e o conjunto formado pelos pontos A e B, os pontos entre A e
B, e os pontos X tais que A−B−X. O ponto A denomina-se origem da semi-reta
−→
AB.
−→
AB = AB ∪ { X ; A −B −X }.
Observemos que, enquanto
←→
AB =
←→
BA e AB = BA, as semi-retas
−→
AB e
−→
BA s˜ao distintas
e temos
−→
AB ∪
−→
BA =
←→
AB e
−→
AB ∩
−→
BA = AB.
Podemos definir tamb´em a semi-reta
←−
AB formada pelos pontos X tais que X − A − B e
X = A:
←−
AB := { A} ∪ { X ; X −A −B}.
Neste caso, temos
−→
AB ∩
←−
AB = { A}.
14 Dicesar Lass Fernandez
Estamos agora em condi¸ c˜oes de estabelecer a propriedade de separa¸ c˜ao das retas.
1.7.2 TEOREMA DA SEPARAC¸ AO
Se C −A−B e r ´e a reta que cont´em os pontos A, B e C, ent˜ao todo ponto P da
reta r est´a em
−→
AB ou em
−→
AC:
r ⊂
−→
AB ∪
−→
AC.
Demonstra¸c˜ao. Um ponto P da reta r, pertence a
−→
AB ou n˜ao pertence: P ∈
−→
AB ou
P ∈
−→
AB. Se P ∈
−→
AB, o Teorema est´a demonstrado. Suponhamos ent˜ao que P ∈
−→
AB.
Ent˜ao, necessariamente P −A−B. Agora, se P = C ent˜ao P ∈
−→
AC; suponhamos ent˜ao que
P = C. Desta forma, necessariamente uma das rela¸ c˜oes P −B−C, C−P −B ou P −C−B
´e verificada. A rela¸ c˜ao P − B − C ´e falsa, pois combinando com o fato P − A − B temos
uma contradi¸ c˜ao. Portanto, C −P −B ou B −C −P deve ser verdadeira.
Suponhamos por absurdo que C −A −P seja verdadeira. Ent˜ao
(i) Combinando C −P −B com C −A−P obtemos A−C −B, o que ´e uma contradi¸ c˜ao.
(ii) Combinando B − C − P com C − A − P obtemos A − C − B, o que tamb´em ´e uma
contradi¸ c˜ao.
Logo, a rela¸ c˜ao C − A − P n˜ao pode ser verdadeira. Conseq¨ uentemente, A − C − P
ou C −P −A ´e verdadeira. Mas, qualquer um dos casos implicar´a que P ∈
−→
AC.
1.7.3 PROPOSIC¸
˜
AO
Se A − B − C, ent˜ao B ´e o ´ unico ponto comum `as semi-retas
−→
BA e
−−→
BC, e al´em
disso
−→
AB =
−→
AC.
Demonstra¸c˜ao. Exerc´ıcio.
1.7.4 TEOREMA
Dada uma reta r, seja O ∈ r a origem de uma semi-reta s. Ent˜ao, se A ∈ s e A ∈ r,
temos
s =
−→
OA ⊂ S(r, A).
Demonstra¸c˜ao. Se X ∈ s =
−→
OA e X = O ou X = A n˜ao h´a o que demonstrar; agora, se
O − X − A e X ∈ S
op
(r, A), existe Y ∈ OA ∩ r, o que implica A ∈
←→
OY = r, que n˜ao ´e o
caso. Analogamente, vemos que O −A −X implica X ∈ S(r, A).
1.7.5 DEFINIC¸
˜
AO (Semi-reta oposta)
Elementos de Geometria 15
Se s =
−→
AB, escrevemos s
op
para denotar a semi-reta colinear e oposta:
s
op
:=
←−
AB.
EXERC
´
ICIO. Consideremos uma reta r e A um ponto n˜ao pertencente a r. Se s ´e uma semi-reta
com origem O ∈ r e est´a contida no semiplano S(r, A), demonstre que s
op
⊂ S
op
(r, A) ∪ { O}.
16 Dicesar Lass Fernandez
Cap´ıtulo 2
GEOMETRIA DOS SEGMENTOS
2.1 Congruˆencia de Segmentos
O conceito de congruˆencia ser´a usado aqui como uma no¸ c˜ao primitiva
1
e deve ser regulado
por axiomas.
AXIOMA FUNDAMENTAL DE CONGRU
ˆ
ENCIA
Se A e B s˜ao pontos distintos, ent˜ao sobre toda semi-reta com origem num ponto
C, existe um ´ unico ponto D tal que AB

= CD.
>
>
>
>
>
>
>
>
>


C
D
A B
Figura 2.1
AXIOMA DE TRANSITIVIDADE DA CONGRU
ˆ
ENCIA
Sejam A, B, C, D, E e F pontos coplanares. Ent˜ao, se AB

= CD e CD

= EF,
temos tamb´em AB

= EF.
AXIOMA DE EXTENS
˜
AO DA CONGRU
ˆ
ENCIA
Sejam A, B e C, e A

, B

e C

pontos coplanares tais que A−B−C e A

−B

−C

,
respectivamente; se AB

= A

B

e BC

= B

C

ent˜ao AC

= A

C

.
AXIOMA DE REFLEXIVIDADE DA CONGRU
ˆ
ENCIA
Quaisquer que sejam A e B, temos AB

= AB.
1
O conceito de congruˆencia, como no¸ c˜ao primitiva, parece ter sido utilizado pela primeira vez por G.
Veronese em seus Elementi di Geometria, Bologna 1891.
17
18 Dicesar Lass Fernandez
2.1.1 TEOREMA
Sejam A, B, C, D, E e F pontos coplanares. Ent˜ao
A) AB

= CD implica CD

= AB, e
B) AB

= CD e AB

= EF implica CD

= EF.
Demonstra¸c˜ao. Pelo Axioma Fundamental de Congruˆencia, existe B


−→
AB tal que CD

=
AB

. Como AB

= CD, pelo Axioma de Transitividade da Congruˆencia, temos tamb´em
AB

= AB

. Ent˜ao, novamente, pelo Axioma Fundamental de Congruˆencia, devemos ter
B = B

; logo AB

= CD e CD

= AB, o que demonstra A).
Pela primeira parte AB

= CD implica CD

= AB, e pelo Axioma de Transitividade da
Congruˆencia, segue-se que CD

= EF.
OBSERVAC¸
˜
AO. O Axioma de Reflexividade da Congruˆencia, o Teorema 2.1.1A) e o Ax-
ioma Fundamental da Congruˆencia se traduzem dizendo que a rela¸ c˜ao de congruˆencia “

=” ´e
uma rela¸ c˜ao de equivalˆencia entre os segmentos.
2.1.2 TEOREMA
Sejam A, B e C pontos colineares dados na ordem A − B − C, e A

, B

e C

tais
que C


−−→
A

B

; al´em disso suponhamos que AB

= A

B

e AC

= A

C

. Ent˜ao, os
pontos A

, B

e C

est˜ao necessariamente na ordem A

−B

−C

.
Demonstra¸c˜ao. Pelo Axioma Fundamental da Congruˆencia, existe C
′′
em
←−−
B

A

, tal que
BC

= B

C
′′
. Temos A

−B

−C
′′
. Mas C

, C
′′

−−→
A

B

s˜ao tais que AC

= A

C

e AC

= A

C
′′
.
Segue ent˜ao, novamente, do Axioma Fundamental da Congruˆencia, que C

= C
′′
e portanto
A

−B

−C

.
2.1.3 TEOREMA
Sejam A, B, C, A

, B

e C

pontos tais C ∈
−→
AB e C


−−→
A

B

, com A = C e
B = C. Suponhamos, tamb´em, que AB

= A

B

e AC

= A

C

. Nestas condi¸ c˜oes,
temos BC

= B

C

.
Demonstra¸c˜ao. Como C ∈
−→
AB e B = C, ent˜ao os pontos A, B e C est˜ao na ordem
A−B −C ou A−C −B. Suponhamos o primeiro caso: A−B −C. Estamos nas hip´oteses
do Teorema 2.1.2 e portanto A

−B

−C

. Agora, pelo Axioma Fundamental da Congruˆencia,
existe C
′′

−−→
B

C

tal que BC

= B

C
′′
. O Axioma de Extens˜ao da Congruˆencia, aplicado aos
pontos A, B e C e A

, B

e C

, assegura que AC

= A

C
′′
. Por´em, C

∈ A

B

e por hip´otese
AC

= A

C

. A unicidade no Axioma Fundamental da Congruˆencia garante ent˜ao que C

= C
′′
.
Conseq¨ uentemente BC

= B

C

, como quer´ıamos demonstrar.
Suponhamos, agora que A−C −B. Como no primeiro caso, segue-se que A

−C

−B

.
Repetindo o argumento do caso anterior, conclu´ımos tamb´em que CB

= C

B

, e a demon-
stra¸ c˜ao est´a completa.
Elementos de Geometria 19
2.1.4 COROL
´
ARIO
Sejam A, B e C dados na ordem A−B −C e A

e C

pontos tais que AC

= A

C

.
Ent˜ao existe B

∈ A

C

, na ordem A

− B

− C

, de modo que AB

= A

B

e
BC

= B

C

.
Demonstra¸c˜ao. O Axioma Fundamental da Congruˆencia garante a existˆencia de B


−−→
A

C

tal que AB

= A

B

. Estamos, ent˜ao, nas hip´oteses do Teorema 2.1.2. Logo, temos tamb´em
A

−B

−C

. Como A−B−C, ent˜ao B = C e pelo Teorema 2.1.3 segue-se que BC

= B

C

,
o que completa a demonstra¸ c˜ao.
2.2 Confronto de Segmentos
A rela¸ c˜ao de congruˆencia entre segmentos vai nos permitir confrontar ou comparar segmentos.
2.2.1 DEFINIC¸
˜
AO
Um segmento AB ´e maior que um segmento CD, se existe um ponto P tal que
A −P −B e AP

= CD, e escrevemos
CD ≺ AB.
Tamb´em, dizemos que um segmento AB ´e maior ou igual a outro segmento CD
se CD ≺ AB ou AB

= CD. Neste caso escrevemos
CD AB.
Lemos tamb´em: CD ´e menor ou igual a AB.
2.2.2 PROPOSIC¸
˜
AO
Para todo A e B, temos
AB AB.
2.2.3 TEOREMA
A rela¸ c˜ao de maior ou igual entre segmentos ´e transitiva:
AB CD e CD EF =⇒AB EF.
Demonstra¸c˜ao. Exerc´ıcio.
2.2.4 TEOREMA
20 Dicesar Lass Fernandez
Dados dois segmentos AB e CD, temos necessariamente AB CD ou CD AB.
Demonstra¸c˜ao. Pelo Axioma Fundamental de Congruˆencia, existe P ∈
−→
AB tal que AP

=
CD. Por outro lado, P ∈
−→
AB implica A − P − B, ou P = B ou A − B − P. Da defini¸ c˜ao
de maior ou igual segue-se a alternativa.
Elementos de Geometria 21
2.2.5 TEOREMA
Dados os segmentos AB e CD tais que AB CD e CD AB ent˜ao necessaria-
mente AB

= CD.
Demonstra¸c˜ao. A afirma¸ c˜ao segue por redu¸ c˜ao ao absurdo. Supondo que AB

= CD, exi-
stiria P ∈
−→
AB, P = B tal que A − P − B ou A − B − P e AP

= CD. No primeiro caso
ter´ıamos AB ≺ CD e n˜ao poder´ıamos ter CD AB. O segundo caso ´e an´alogo e o Teorema
est´a demonstrado.
OBSERVAC¸
˜
AO. Os Teoremas 2.2.2-5 implicam que a rela¸ c˜ao “” entre segmentos ´e uma
rela¸c˜ao de ordem total.
Em outras palavras, dois segmentos s˜ao sempre compar´aveis. A seguinte Lei da Trico-
tomia resume este fato.
2.2.6 LEI DA TRICOTOMIA.
Dados os segmentos AB e CD, uma e s´o uma das seguintes condi¸ c˜oes ´e verificada:
AB ≺ CD ou AB

= CD ou CD ≺ AB.
2.3 Soma de Segmentos
2.3.1 DEFINIC¸
˜
AO
Uma soma de dois segmentos AB e CD ´e um segmento EF o qual cont´em um
ponto Q, com E −Q−F, e tal que AB

= EQ e CD

= QF.
2.3.2 TEOREMA
Sejam E
1
F
1
e E
2
F
2
somas de segmentos dados AB e CD. Ent˜ao
E
1
F
1

= E
2
F
2
.
Demonstra¸c˜ao. Pela defini¸ c˜ao de soma de segmentos, existe X
1
∈ E
1
F
1
e X
2
∈ E
2
F
2
tal
que E
1
X
1

= AB, X
1
F
1

= CD, E
2
X
2

= AB e X
2
F
2

= E
2
F
2
. Logo, E
1
X
1

= E
2
X
2
e
X
1
F
1

= X
2
F
2
. Como os pontos est˜ao na ordem E
1
−X
1
−F
1
e E
2
−X
2
−F
2
, segue-se que
E
1
F
1
´e congruente `a E
2
F
2
, pelo Axioma de Extens˜ao da Congruˆencia.
OBSERVAC¸
˜
AO. O Teorema acima garante que a soma de segmentos est´a bem definida:
´e ´ unica a menos de congruˆencia!
NOTAC¸
˜
AO. A soma de segmentos AB e CD ´e denotada por
AB +CD.
22 Dicesar Lass Fernandez
2.3.3 TEOREMA
Sejam AB, CD, A

B

e C

D

, segmentos tais que AB

= A

B

e CD

= C

D

.
Ent˜ao
AB +CD

= A

B

+C

D

.
2.3.4 TEOREMA (Lei do Cancelamento I)
Dados segmentos AB, CD e EF temos
AB +CD

= AB +EF =⇒CD

= EF.
2.3.5 TEOREMA (Propriedade Comutativa)
Se AB e CD s˜ao dois segmentos arbitr´arios, ent˜ao
AB +CD

= CD +AB
2.3.6 TEOREMA (Propriedade Associativa)
Se AB, CD e EF s˜ao segmentos arbitr´arios, ent˜ao
(AB +CD) +EF

= AB + (CD +EF).
2.3.7 TEOREMA (Propriedade de Monotonia)
Se AB, CD, EF e GH s˜ao segmentos, temos
AB ≺ EF e CD

= GH =⇒AB +CD ≺ EF +GH;
2.3.8 TEOREMA
Dados os segmentos AB e CD, as seguintes afirma¸ c˜oes s˜ao equivalentes
A) AB ≺ CD.
B) Existe um segmento EF tal que CD

= AB +EF.
Demonstra¸c˜ao. Pelo Axioma Fundamental da Congruˆencia, existe um ponto P ∈ CD tal
que AB

= CP. Seja EF qualquer segmento congruente a CP. A defini¸ c˜ao de soma de
segmentos garante ent˜ao a tese.
2.3.9 TEOREMA (Lei do Cancelamento II)
Elementos de Geometria 23
Se AB, CD e EF s˜ao segmentos, ent˜ao
AB +CD AB +EF =⇒CD EF;
2.3.10 DEFINIC¸
˜
AO
Qualquer segmento congruente ao segmento EF, dado pelo Teorema 2.3.8, denomina-
se diferen¸ca dos segmentos CD e AB e denota-se por CD \ AB.
OBSERVAC¸
˜
AO. A diferen¸ ca de dois segmentos AB \ CD s´o tem sentido quando CD ≺
AB.
2.3.11 TEOREMA
Consideremos os segmentos AB, CD e EF. Ent˜ao
AB CD =⇒AB \ EF CD \ EF, (EF AB, CD);
AB \ EF CD \ EF =⇒AB CD, (EF AB, CD);
(AB +CD) \ AB

= (CD +AB) \ AB

= CD.
2.4 Multiplica¸c˜ao de Segmentos
O processo de duplica¸ c˜ao de um segmento pode ser indutivamente generalizado.
2.4.1 DEFINIC¸
˜
AO
Sejam P e Q pontos numa semi-reta
−−→
CD, tais que C − P − Q. Se n ´e um inteiro
positivo, definimos o produto nPQ indutivamente. Definimos 1 PQ : nPQ; tendo
definido nPQ, definimos (n + 1) PQ como se segue: fa¸ camos Q
1
= Q e seja Q
2
o ponto de
←−−
Q
1
P, tal que PQ

= Q
1
Q
2
e Q
3
o ponto de
←−−−
Q
2
Q
1
, tal que PQ

=
Q
2
Q
3
; tendo definido Q
n
, tomamos o ´ unico ponto Q
n+1
em
←−−−−−
Q
n
Q
n−1
, tal que PQ

=
Q
n
Q
n+1
. Definimos ent˜ao
(n + 1) PQ

= PQ
n+1
.
2.4.2 TEOREMA (Propriedades Distributivas)
Para quaisquer segmentos AB e CD e n´ umeros naturais m e n temos
mAB +nAB

= (m+n) AB;
nAB +nCD

= n(AB +CD);
m(nAB)

= (mn) AB;
Demonstra¸c˜ao. Exerc´ıcio.
24 Dicesar Lass Fernandez
2.4.3 TEOREMA (Propriedades de Monotonia)
Se AB e CD s˜ao segmentos e m e n n´ umeros naturais, ent˜ao
AB ≺ CD =⇒nAB ≺ nCD;
m < n =⇒mAB ≺ nAB
Demonstra¸c˜ao. Exerc´ıcio.
2.4.4 LEI DO CANCELAMENTO
Se AB ´e um segmento e m e n s˜ao n´ umeros naturais, ent˜ao
mAB nAB =⇒m ≤ n.
Demonstra¸c˜ao. Exerc´ıcio.
2.4.5 TEOREMA
Consideremos os segmentos AB, CD e os n´ umeros k, n e m. Ent˜ao
k (AB \ CD)

= k AB \ k CD, (CD ≺ AB);
(n −m) AB

= nAB \ mAB, (n > m);
Demonstra¸c˜ao. Exerc´ıcio.
OBSERVAC¸
˜
AO. Insistimos que a diferen¸ ca de dois segmentos AB \ CD s´o tem sentido
quando CD ≺ AB. Portanto, a segunda rela¸ c˜ao no Teorema 2.4.5 s´o tem sentido quando
n > m.
Dados pontos U e O em uma semi-reta
−−→
CD, coloca-se a importante quest˜ao de saber
se para algum n, suficientemente grande, vamos ter O ∈ nCU. Esta quest˜ao n˜ao pode ser
respondida com base apenas nos axiomas j´a formulados. Vamos, provisoriamente, dar a
resposta na forma de um novo axioma, postulando a seguinte propriedade Arquimediana
2
:
AXIOMA ARQUIMEDIANO
Dada uma semi-reta
−−→
CD e os pontos U e O em
−−→
CD, U = C, existe um inteiro n
tal que O ∈ nCU.
OBSERVAC¸
˜
AO. As propriedades dos segmentos elencadas, neste Cap´ıtulo, mostram que
a classe dos segmentos de um plano formam um sistema de grandezas. Este fato estabelece
condi¸ c˜oes para desenvolver uma Teoria de Propor¸ c˜oes e conseq¨ uentemente derivar o con-
hecido Teorema de Tales.
2
A tradi¸ c˜ao denomina este axioma de arquimediano, mas os Elementos de Euclides s˜ ao mais antigos que
a obra de Arquimedes.
Cap´ıtulo 3
CONGRU
ˆ
ENCIA
DE FIGURAS PLANAS
G. Ingrami, em seus Elementi di Geometria, Bologna 1904, p.66, introduziu a seguinte
defini¸ c˜ao:
”Duas figuras arbitr´arias s˜ao ditas iguais quando os pontos de uma podem ser colo-
cados em correspondˆencia [bi]un´ıvoca de tal maneira que os segmentos que unem os
pontos, dois a dois, em uma figura s˜ao respectivamente iguais aos segmentos que
unem, dois a dois, os correspondentes da outra.”
Com base nessa defini¸ c˜ao e o conceito de congruˆencia entre segmentos, vamos introduzir a
defini¸ c˜ao de congruˆencia entre figuras, que utilizaremos no desenvolvimento da teoria.
3.1 Congruˆencia de Figuras Planas
Vamos estender o conceito de congruˆencia de segmentos para congruˆencia de figuras
planas (ˆangulos, triˆangulos, etc.). Vamos basear a extens˜ao na seguinte propriedade da con-
gruˆencia entre segmentos.
3.1.1 PROPOSIC¸
˜
AO
Sejam AB e CD dois segmentos congruentes. Ent˜ao existe uma aplica¸ c˜ao T
biun´ıvoca
1
que transforma AB sobre CD, e al´em disso, para todo X
1
, X
2
∈ AB
temos
X
1
X
2

= T(X
1
)T(X
2
).
1
Lembremos que T ´e uma aplica¸ c˜ao biun´ıvoca se T(X
1
) = T(X
2
) =⇒X
1
= X
2
.
25
26 Dicesar Lass Fernandez
Demonstra¸c˜ao. Seja X um ponto qualquer em AB, com A−X−B. Como existe um ´ unico
Y ∈ CD tal que AX

= CY , e al´em disso sabemos que C −Y −D e XB

= Y D, definimos
ent˜ao
T(X) =



C se X = A,
Y se A −X −B,
D se X = B.
Vemos que T ´e uma aplica¸ c˜ao biun´ıvoca de AB sobre CD. (Complete a demonstra¸ c˜ao.)
3.1.2 DEFINIC¸
˜
AO
Uma figura geom´etrica (plana), ´e qualquer subconjunto do plano.
EXEMPLOS
Segmentos de reta, semi-retas, retas, triˆangulos, etc.
3.1.3 DEFINIC¸
˜
AO (Congruˆencia de Figuras)
Sejam F e F

duas figuras geom´etricas. Uma congruˆencia ´e uma tranforma¸ c˜ao
biun´ıvoca de F sobre F

tal que, para todo A, B ∈ F, tem-se
AB

= T(A)T(B).
3.1.4 DEFINIC¸
˜
AO
Dizemos que duas figuras geom´etricas F e F

s˜ao congruentes se existe uma con-
gruˆencia que transforma F sobre F

. Neste caso, escrevemos F

= F

.
3.1.5 TEOREMA
Sejam F, F

e F
′′
figuras planas. Ent˜ao:
(i) F

= F.
(ii) se F

= F

ent˜ao F


= F.
(iii) se F

= F

e F


= F
′′
, ent˜ao F

= F
′′
.
Em outras palavras, congruˆencia de figuras planas ´e uma rela¸ c˜ao de equivalˆencia.
Demonstra¸c˜ao: (i) A transforma¸ c˜ao identidade ´e uma congruˆencia de F sobre F. (ii) Se
T
1
´e uma congruˆencia de F sobre F

ent˜ao T ´e biun´ıvoca e sobre; logo existe sua inversa T
−1
1
que ´e biun´ıvoca e sobre de F

sobre F, ou seja, T
−1
´e uma congruˆencia de F

em F. (iii)
Seja T
2
uma congruˆencia de F

em F
′′
; ent˜ao a transforma¸ c˜ao composta T = T
2
◦ T
1
´e uma
fun¸ c˜ao biun´ıvoca de F sobre F
′′
. Para completar a demonstra¸ c˜ao falta observar que dados
A, B ∈ F temos T
1
(A), T
1
(B) ∈ F

e AB

= T
1
(A)T
1
(B). Agora, como T
1
(A), T
1
(B) ∈ F

ent˜ao (T
2
◦ T
1
)(A), (T
2
◦ T
1
)(B) ∈ F
′′
e
T
1
(A)T
1
(B)

= (T
2
◦ T
1
)(A)(T
2
◦ T
1
)(B).
Elementos de Geometria 27
Pelo Axioma de Transitividade da Congruˆencia, temos a transitividade da composta, logo
AB

= (T
2
◦ T
1
)(A)(T
2
◦ T
1
)(B)
e portanto T
2
◦ T
1
= T ´e uma congruˆencia de F sobre F
′′
.
3.2 Congruˆencia de Semi-Retas e Retas
3.2.1 TEOREMA
(i) Duas semi-retas quaisquer s˜ao congruentes.
(ii) Duas retas quaisquer s˜ao congruentes.
Demonstra¸c˜ao: (i) Sejam s e s

duas semi-retas com extremos A e A

, respectivamente.
Dado X em s, seja T(X) o ´ unico ponto em s

tal que AX

= A

T(X). O Axioma Fundamental
da Congruˆencia garante que a transforma¸ c˜ao T ´e biun´ıvoca de s sobre s

. Para verificar que
´e uma congruˆencia, sejam X e Y pontos em s. Ent˜ao: AX

= A

T(X) e AY

= A

T(Y ). Pelo
Teorema 2.1.3 segue-se que XY

= T(X)T(Y ). Logo T ´e uma congruˆencia de s sobre s

.
(ii) Sejam
←→
AB e
←→
CD duas retas quaisquer. De (i) sejam T
1
e T
2
congruˆencias, respectiva-
mente de
−→
AB sobre
−→
CD e
←−
AB sobre
←−
CD. Definimos ent˜ao
T(X) =





T
1
(X) se X ∈
−→
AB,
C se X = A,
T
2
(X) se X ∈
←−
AB.
Sejam X e Y pontos de
←→
AB. Se X, Y ∈
−→
AB ou X, Y ∈
←−
AB, pelas defini¸ c˜oes respectivamente
de T
1
e T
2
teremos que T(X) = T(Y ) implica X = Y e que XY

= T(X)T(Y ). Sejam
ent˜ao X ∈
−→
AB e Y ∈
←−
AB. Como T(X) = T
1
(X) ∈
−→
CD e T(Y ) = T
2
(Y ) ∈
←−
CD, segue-se que
T(X) = T(Y ) se e somente se X −Y −A. Logo, T ´e uma bije¸ c˜ao.
Falta verificar que T(X) ´e uma congruˆencia. Sejam X e Y pontos de
−→
AB. Se
X, Y ∈
−→
AB ou X, Y ∈
←−
AB, pelas defini¸ c˜oes respectivamente de T
1
e T
2
teremos XY

=
T(X)T(Y ). Sejam X ∈
−→
AB e Y ∈
←−
AB, ent˜ao T
1
(X) ∈
−→
CD e T
2
(Y ) ∈
←−
CD, assim X −A−Y
e T(X) − C − T(Y ). Como AX

= CT(X) e XA

= AX, pelo Axioma de Transitividade
da Congruˆencia temos que XA

= CT(X); agora, pelo Axioma de Reflexividade da Con-
gruˆencia, vem que CT(X)

= T(X)C, logo XA

= T(X)C. Assim temos AY

= CT
2
(Y ) e
XA

= T
1
(X)C, e pelo Axioma de Extens˜ao da Congruˆencia, temos XY

= T
1
(X)T
2
(Y ).
Finalmente, como T
1
(X) = T(X) e T
2
(Y ) = T(Y ), segue-se que XY

= T(X)T
2
(Y ). Logo T
´e uma congruˆencia.
28 Dicesar Lass Fernandez
Cap´ıtulo 4
GEOMETRIA DOS
ˆ
ANGULOS
4.1 No¸c˜oes Gerais
4.1.1 DEFINIC¸
˜
AO
ˆ
Angulo ´e a figura geom´etrica formada por duas semi-retas n˜ao-colineares, de mesma
origem. As semi-retas que comp˜oem um ˆangulo s˜ao chamadas de lados e a origem
comum de v´ertice do ˆangulo.

A
B
C
Figura 4.1
O ˆangulo formado pelas semi-retas
−→
AB e
−→
AC ´e denotado por ∠BAC ou

BAC.
A figura geom´etrica formada pelas semi-retas
−→
AB e
←−
AB denomina-se ˆangulo plano
(ou raso).
ˆ
Angulo plano ´e, portanto, uma extens˜ao do conceito de ˆangulo.
Vamos precisar dos conceitos de interior e de exterior de um ˆangulo.
4.1.2 DEFINIC¸
˜
AO
Seja ∠BAC um ˆangulo formado pelas semi-retas
−→
AB e
−→
AC. Definimos (e deno-
tamos) o interior do ˆangulo ∠BAC, ou ainda o conjunto dos pontos internos ao
ˆangulo ∠BAC, por
Int(∠BAC) := S(
←→
AB, C) ∩ S(
←→
AC, B).
29
30 Dicesar Lass Fernandez
Lembremos que S
op
(
←→
AB, C) o semi-plano oposto ao semiplano S(
←→
AB, C), determinado
pela reta
←→
AB e que cont´em o ponto C.
4.1.3 DEFINIC¸
˜
AO
Seja ∠BAC formado pelas semi-retas
−→
AB e
−→
AC. Definimos (e denotamos) o exte-
rior do ˆangulo ∠BAC, ou ainda o conjunto dos pontos externos ao ˆangulo ∠BAC,
por
Ext(∠BAC) := S
op
(
←→
AB, C) ∪ S
op
(
←→
AC, B).
4.1.4 PROPRIEDADE DE SEPARAC¸
˜
AO
Um ˆangulo ∠BAC separa o plano em dois conjuntos disjuntos, a saber os con-
juntos Int(∠BAC) e Ext(∠BAC). O Int(∠BAC) ´e um conjunto convexo e,
o Ext(∠BAC) ´e n˜ao-convexo mas poligonalmente conexo. Al´em disso, se P ∈
Int(∠BAC) e Q ∈ Int(∠BAC) ∪ ∠BAC, ent˜ao o segmento PQ intercepta um
dos lados
−→
BA ou
−−→
BC.
Demonstra¸c˜ao. Temos que
Int(∠BAC) ∪ ∠BAC ∪ Ext(∠ABC)
´e todo o plano, e
Int(∠BAC) ∩ Ext(∠BAC) = ∅.
Por outro lado,
(i) Int(∠BAC) ´e convexo, uma vez que ´e a interse¸ c˜ao de semi-planos S(
←→
AB, C) e S(
←→
AC, B),
que s˜ao conjuntos convexos.
(ii) Ext(∠BAC) ´e n˜ao-convexo; se E ∈
−→
AB e F ∈
−→
AC, com E e F distintos de A, existem
P, Q ∈ Ext(∠BAC) e G ∈ Int(∠BAC) tais que P −E −G−F −Q.

`
`
`
`
`
`
`
`
`
`
`
Q
P
F
E
C
B
A
G
Figura 4.2
Ou seja o segmento PQcont´em o ponto Ge portanto n˜ao pode estar contido emExt(∠BAC).
(iii) Ext(∠BAC) ´e poligonalmente convexo; dados P, Q ∈ Ext(∠BAC) vamos ter trˆes
situa¸ c˜oes a considerar
Elementos de Geometria 31
1
o
¯
caso: P, Q ∈ S
op
(
←→
AB, C) ou P, Q ∈ S
op
(
←→
AC, B);
2
o
¯
caso: P ∈
←−
AB e Q ∈
←−
AC;
3
o
¯
caso: P ∈ S
op
(
←→
AB, C) ∩ S(
←→
AC, B) e Q ∈ S
op
(
←→
AC, B) ∩ S(
←→
AB, C),
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
X
Y
A
Q

P

C
B
Figura 4.3
No primeiro caso n˜ao h´a o que demonstrar. No segundo caso, temos
PQ ⊂ S
op
(
←→
AC, B) ∩ S
op
(
←→
AB, C).
No terceiro caso, temos
PX ∪ XY ∪ Y Q ⊂ Ext(∠BAC).
As observa¸ c˜oes acima demonstram o Teorema.
4.2 Congruˆencia de Conjuntos N˜ao-Colineares
O seguinte axioma ´e necess´ario para estudar a congruˆencia de conjuntos de pontos que
n˜ao sejam colineares.
AXIOMA DE TRANSVERSALIDADE DA CONGRU
ˆ
ENCIA
Sejam A, B e C pontos n˜ao colineares e D um ponto tal que B−C −D; da mesma
forma, sejam A

, B

e C

pontos n˜ao colineares e D

um ponto tal que B

−C

−D

,
e suponhamos que AB

= A

B

, BC

= B

C

, AC

= A

C

e BD

= B

D

, ent˜ao
AD

= A

D

.
-
-
-
-
-
-
-
-
-
-
--

A
B
C
D
-
-
-
-
-
-
-
-
-
-
--

A

B

C

D

32 Dicesar Lass Fernandez
Figura 4.4
4.2.1 TEOREMA
Sejam A, B e C pontos n˜ao-colineares e tamb´em A

, B

e C

pontos n˜ao-colineares.
Sejam D ∈
−→
BC, D


−→
B

C

e suponhamos que
AB

= A

B

, AC

= A

C

, CB

= C

B

, BD

= B

D

.
Ent˜ao AD

= A

D

.

B C D
A

B

C

D

A

Figura 4.5
Demonstra¸c˜ao. Como D ∈
−→
BC, temos trˆes casos a considerar: C = D, B − C − D e
B −D −C.
1
o
¯
Caso: C = D. Neste caso devemos ter tamb´em C

= D

, e n˜ao h´a o que demonstrar.
2
o
¯
Caso: B−C −D. Neste caso, o Teorema 2.1.2 implicar´a que B

−C

−D

; e estaremos
nas condi¸ c˜oes do Axioma da Transversalidade.
3
o
¯
Caso: B−D−C. Neste caso temos B

−D

−C

, e existe um ponto E com C −B−E,
logo D − B − E. Ent˜ao, o Axioma Fundamental da Congruˆencia garante um ponto E

tal
que CE

= C

E

, portanto por 2.1.1 temos C

−B

−E

e D

−B

−E

. Como CA

= C

A

,
BA

= B

A

, BC

= B

C

, CE

= C

E

e C

−B

−E

, temos pelo Axioma da Transversalidade
que AE

= A

E

.
Como CB

= C

B

, CE

= C

E

, C − B − E e C

− B

− E

o Teorema 2.1.1 nos d´a
BE

= B

E

. Como BE

= B

E

, BD

= B

D

, D − B − E e D

− B

− E

, o Axioma de
Extens˜ao da Congruˆencia nos garante ED

= E

D

. Agora, como EB

= E

B

, AB

= A

B

,
AE

= A

E

, ED

= E

D

, E − B − D e E

− B

− D

, o Axioma de Transversalidade da
Congruˆencia implica AD

= A

D

, o que demonstra o Teorema.
4.3 Congruˆencia de
ˆ
Angulos
4.3.1 TEOREMA
Sejam ∠BAC e ∠MON ˆangulos congruentes, e T uma congruˆencia que associa o
v´ertice A ao v´ertice O. Ent˜ao existem pontos P ∈
−−→
OM e Q ∈
−−→
ON tais que
Elementos de Geometria 33
AB

= OP, AC

= OQ e BC

= PQ.
Demonstra¸c˜ao. Suponhamos que ∠BAC

= ∠MON. Sejam B e C pontos de ∠BAC.
Seja T a congruˆencia entre ∠BAC e ∠MON. Fazendo T(B) = P e T(C) = Q, como
T(A) = O, teremos AB

= T(A)T(B). Pela defini¸ c˜ao de congruˆencia temos AB

= OP,
AC

= T(A)T(C)

= OQ e BC

= T(B)T(C)

= PQ.
Estamos interessados na rec´ıproca desse resultado, que apresentaremos a seguir.
4.3.2 TEOREMA
Sejam ∠BAC e ∠MON ˆangulos para os quais existem pontos P e Q em
−→
OM e
−→
ON, respectivamente, tais que:
AB

= OP, AC

= OQ e BC

= PQ.
Ent˜ao os ˆangulos ∠BAC e ∠MON s˜ao congruentes. Al´em disso, existe uma con-
gruˆencia que ao v´ertice A associa o v´ertice O.
>
>
>
>
>
>
>
>
>
>
>
>
A
C
B
>
>
>
>
>
>
>
>
>
>
>
>
O
Q
P
M
N
Figura 4.6
Demonstra¸c˜ao. Consideremos congruˆencias T
1
de
−→
AB sobre
−→
OM e T
2
de
−→
AC sobre
−→
ON,
tais que T
1
(A) = T
2
(A) = O. Definimos uma transforma¸ c˜ao T de ∠BAC em ∠MON como
segue:
T(X) =





T
1
(X) se X ∈
−→
AB,
O se X = A,
T
2
(X) se X ∈
−→
AC.
Como T
1
e T
2
s˜ao transforma¸ c˜oes biun´ıvocas, vemos que T ´e tamb´em uma transforma¸ c˜ao
biun´ıvoca de ∠BAC sobre ∠MON (verifique). Sejam X e Y dois pontos de ∠BAC. Se X
e Y est˜ao ambos em
−→
AB ou em
−→
AC, ent˜ao XY

= T(X)T(Y ).
Para tratar do caso em que X ∈
−→
AC e Y ∈
−→
AB, vamos precisar de algumas consi-
dera¸ c˜oes preliminares.
Sejam B

e P

pontos de
←−
AB e
←−
OP, respectivamente, de modo que AB
′ ∼
= OP

.
Temos AB

= PO e BA

= AB, logo pelo Axioma de Transitividade da Congruˆencia vale
BA

= PO. Como PO

= OP, de novo pelo Axioma de Transitividade da Congruˆencia vem
34 Dicesar Lass Fernandez
que B

A

= OP

. Agora, BA

= OP e AB
′ ∼
= OP

, e como B


←−
AB, P

∈ OP, temos
B

− A − B e P


←−
OP temos P

− O − P. Ent˜ao, o Axioma de Extens˜ao da Congruˆencia
implica BB
′ ∼
= PP

. Assim, AB

= OP, AC

= OQ, BC

= PQ e BB
′ ∼
= PP

. Portanto,
pelo Axioma de Transversalidade da Congruˆencia, segue-se que B

C

= P

Q.
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
A
C C

B
B

>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
O
Q Q

P
P

Figura 4.7
Sejam C

e Q

pontos de
←−
AC e
←−
OQ, respectivamente, tais que AC
′ ∼
= AC e OQ
′ ∼
= OQ.
Como AC

= OQ e CA

= AC, segue-se pelo Axioma de Transitividade da Congruˆencia
que CA

= OQ. Como AC
′ ∼
= OQ

e Q


←−
OQ e C


←−
AC, pelo Axioma de Extens˜ao da
Congruˆencia temos que CC
′ ∼
= QQ

. Assim, AC

= OQ, AB
′ ∼
= OP

, CB
′ ∼
= QP

e
CC
′ ∼
= QQ

, e o Axioma de Transversalidade da Congruˆencia garante que C

B
′ ∼
= Q

P

.
Suponhamos, ent˜ao, que X ∈
−→
AC e Y ∈
−→
AB. Como AC
′ ∼
= OQ

, AB
′ ∼
= OP

,
CB
′ ∼
= QP

e C

X

= Q

T
2
(X), novamente o Axioma de Transversalidade da Congruˆencia
garante que XB
′ ∼
= T
2
(X)P

. Agora de B

A

= P

O, AY

= OT
1
(Y ), B

− A − Y e
P

− O − T
1
(Y ) o Axioma de Extens˜ao da Congruˆencia garante que B

Y

= P

T
1
(Y )).
Como AX

= OT
2
(X), XB
′ ∼
= T
2
(X)P

, AB
′ ∼
= P

O e B

Y

= P

T
1
(Y ) o Axioma de
Transversalidade da Congruˆencia implica XY

= T
2
(X)T
1
(Y ). Logo T ´e uma congruˆencia e
∠BAC

= ∠MON.
4.3.3 DEFINIC¸
˜
AO
Dado ∠BAC, o ˆangulo com v´ertice A e lados
−→
AB e
←−
AC ´e o ˆangulo suplementar
ou suplemento de ∠BAC. Se B


←−
AB e C


←−
AC, ent˜ao ∠BAC e ∠B

AC

s˜ao
ˆangulos opostos (pelos v´ertices).
Elementos de Geometria 35
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
A C

B

C
B
Figura 4.8
4.3.4 TEOREMA (Proposi¸c˜ao I.15)
(i) Suplementos de ˆangulos congruentes s˜ao congruentes;
(ii)
ˆ
Angulos opostos pelos v´ertices s˜ao congruentes.
Demonstra¸c˜ao: (i) Suponhamos que os ˆangulos ∠BAC e ∠B

A

C

sejam ˆangulos congru-
entes. Pelo Teorema 4.3.1 podemos supor
AC

= A

C

, AB

= A

B

e BC

= B

C

.
Sejam D e D

pontos de
←−
AB e
←−
A

B

, respectivamente, de modo que DA

= D

A

. Ent˜ao, pelo
Axioma de Transversalidade da Congruˆencia temos
CD

= C

D

.
O Teorema 4.3.2 garante ent˜ao que ∠CAD

= ∠C

A

D

. Al´em disso, os ˆangulos ∠CAD e
∠C

A

D

s˜ao complementares dos ˆangulos ∠BAC e B

A

C

, respectivamente.
(ii) Seja E um ponto em
←−
AC e D um ponto de
←−
AB. Ent˜ao, os ˆangulos ∠CAD e ∠BAE
s˜ao ˆangulos suplementares de ∠CAB e portanto congruentes. Como ∠DAE ´e tamb´em su-
plementar de ∠DAC, segue-se que ∠CAB e ∠DAE s˜ao ˆangulos congruentes.
4.4 Confronto de
ˆ
Angulos
A teoria de congruˆencia de ˆangulos fornece os conceitos necess´arios para comparar ˆangulos.
4.4.1 DEFINIC¸
˜
AO
Dizemos que ∠ABC ≻ ∠A

B

C

se existe um ponto D ∈ Int(∠ABC) tal que
∠ABD

= ∠A

B

C

. Tamb´em, ∠ABC ∠A

B

C

se ∠ABC ≻ ∠A

B

C

ou
∠ABC

= ∠A

B

C

.
36 Dicesar Lass Fernandez

B
D
A
C

B

C

A

Figura 4.9
4.4.2 LEI DA TRICOTOMIA
Dados os ˆangulos ∠ABC e ∠A

B

C

, exatamente uma das seguintes condi¸ c˜oes ´e
verdadeira:
(1) ∠ABC ≻ ∠A

B

C

,
(2) ∠ABC

= ∠A

B

C

,
(3) ∠A

B

C

≻ ∠ABC.
Demonstra¸c˜ao: Exerc´ıcio.
4.4.3 TEOREMA
A) Se ∠ABC ≻ ∠A

B

C

e ∠A

B

C


= ∠A
′′
B
′′
C
′′
, ent˜ao ∠ABC ≻ ∠A”B”C”.
B) Se ∠ABC ≻ ∠A

B

C

e ∠A

B

C

≻ ∠A
′′
B
′′
C
′′
, ent˜ao ∠ABC ≻ ∠A
′′
B
′′
C
′′
.
Demonstra¸c˜ao: A) Se ∠ABC ≻ ∠A

B

C ent˜ao existe D ∈ ∠ABC tal que ∠DBC

=
∠A

B

C

e como ∠A

B

C


= ∠A
′′
B
′′
C
′′
, ent˜ao ∠DBC

= ∠A

B

C


= ∠A
′′
B
′′
C
′′
. Como
D ∈ ∠ABC, temos ∠ABC ≻ ∠A
′′
B
′′
C
′′
.
b) Exerc´ıcio. Segue o racioc´ınio anterior.
4.4.4 DEFINIC¸
˜
AO
Dizemos que a soma de ∠ABC com ∠A

B

C

´e o ˆangulo ∠MON se existe um
ponto D no interior de ∠MON tal que ∠MOD

= ∠ABC e ∠DON

= ∠A

B

C

.
Escrevemos ent˜ao
∠ABC +∠A

B

C


= ∠MON.
4.4.5 DEFINIC¸
˜
AO
Suponhamos que ∠ABC ≻ ∠A

B

C

. Dizemos que o ˆangulo ∠MON ´e a diferen¸ ca
dos ˆangulos ∠ABC e ∠A

B

C

se existe um ponto D interior a ∠ABC tal que
∠ABD

= ∠MON e ∠DBC

= A

B

C

.
Cap´ıtulo 5
GEOMETRIA DOS TRI
ˆ
ANGULOS
5.1 Conceito e Propriedades
Sejam A, B e C pontos distintos n˜ao-colineares. Chamamos de triˆangulo de v´ertices
A, B e C a uni˜ao dos segmentos AB, BC e CA e denotamos por △ABC. Ou seja,
△ABC := AB ∪ BC ∪ CA.
Os segmentos AB, BC e CA denominam-se arestas ou lados do triˆangulo.
´
´
´
´
´
´
´
´
´
´
´
´
´
´
´
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\

.
.
.
.
.
.
.
.
.
.
.
.
.
..
P
P
1
P
2
A B
C
Figura 5.1
A interse¸ c˜ao dos semi-planos abertos determinados pelas retas
←→
AB,
←→
BC e
←→
CA e que
cont´em os pontos C, A e B, respectivamente, constitui o conjunto dos pontos internos ao
triˆangulo △ABC. Utilizaremos a nota¸ c˜ao Int(△ABC).
Da defini¸ c˜ao, segue-se que um segmento unindo dois pontos do triˆangulo est´a todo
contido no triˆangulo. Al´em disso, se os pontos forem internos todos os pontos do segmento
ser˜ao internos. Observemos tamb´em que toda semi-reta com origem em um ponto interno
de um triˆangulo intercepta um e apenas um dos lados do triˆangulo. Os pontos do plano
n˜ao pertencentes a um triˆangulo ou ao seu interior s˜ao chamados de pontos externos (ao
triˆangulo). Este conjunto ´e n˜ao-convexo, mas ´e poligonalmente conexo.
37
38 Dicesar Lass Fernandez
Em um triˆangulo △ABC, os ˆangulos

ABC,

BCA e

CAB s˜ao internos ao triˆangulo.
Os ˆangulos formados por um lado do triˆangulo e o prolongamento de outro, ou seja os ˆangulos
adjacentes aos ˆangulos internos, chamam-se ˆangulos externos.
EXERC
´
ICIO.
i) Demonstre que o interior de um triˆ angulo ´e n˜ao vazio.
ii) Demonstre que Int(△ABC) = Int(∠ABC) ∩ Int(∠CAB) ∩ Int(∠BCA).
iii) Dado um triˆ angulo △ABC e um ponto D, B − D − C, demonstre que Int(△ABC) =
Int(△ADB) ∪ Int(△ADC) ∪ Int(AD).
5.2 O Teorema de Pasch
Vamos agora estabelecer um teorema que em diversas teorias ´e assumido como um
axioma.
5.2.1 TEOREMA DE PASCH
Se △ABC ´e um triˆangulo qualquer e r ´e uma reta que intercepta o lado AB em um
ponto entre A e B, ent˜ao a reta r tamb´em intercepta o lado AC ou o lado BC.
Se C n˜ao pertence `a reta r, ent˜ao r intercepta apenas um dos lados AC ou BC.
A C
/
/
/
/
/
/
/
/
`
`
`
`
`
`
`
`
`
B
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
r
Figure 5.3
Demonstra¸c˜ao. O ponto C pertence ou n˜ao pertence `a reta r; se pertencer, o Teorema est´a
demonstrado. Suponhamos, ent˜ao, que n˜ao perten¸ ca. Como o segmento AB intercepta r
em um ponto entre A e B, o ponto de interse¸ c˜ao ´e distinto de A e B (Axioma de Ordem 1).
Tamb´em, estamos supondo que C n˜ao perten¸ ca a r; logo C est´a no mesmo lado de r que A
ou est´a no mesmo lado de r que B.
Suponhamos que C esteja do mesmo lado que A, ent˜ao C est´a do lado oposto ao lado
no qual est´a B, o que significa que r intercepta BC e n˜ao intercepta AC.
Analogamente, se C est´a do mesmo lado que B, ent˜ao C est´a do lado oposto ao de A,
o que significa que r intercepta AC e n˜ao intercepta BC, como quer´ıamos demonstrar.
Observemos que a demonstra¸ c˜ao do Teorema de Pasch faz uso essencial do Axioma de
Separa¸ c˜ao do plano por uma reta.
Elementos de Geometria 39
5.3 Congruˆencia de Triˆangulos I
Dizemos que dois triˆangulos s˜ao congruentes se existir uma congruˆencia de um sobre o
outro.
Come¸ caremos nosso estudo com um Teorema que corresponde ao Corol´ario da Proposi¸ c˜ao
8 no Livro I dos Elementos de Euclides, que ´e conhecido como o primeiro crit´erio de con-
gruˆencia de triˆangulos ou crit´erio lado-lado-lado (L.L.L.).
5.3.1 TEOREMA (Corol´ario `a Proposi¸c˜ao I.8)
Se os lados de um triˆangulo s˜ao congruentes, respectivamente, aos lados de outro
triˆangulo, ent˜ao os triˆangulos s˜ao congruentes.
Demonstra¸c˜ao. Consideremos os triˆangulos △ABC e △A

B

C

. Suponhamos que AB

=
A

B

, BC

= B

C

e CA

= C

A

. Por hip´otese, existem transforma¸ c˜oes T
1
, T
2
e T
3
de
AB sobre A

B

, de BC sobre B

C

e de CA sobre C

A

, tais que T
1
(A) = T
3
(A) = A

,
T
1
(B) = T
2
(B) = B

e T
2
(C) = T
3
(C) = C

.
Definimos uma transforma¸ c˜ao T sobre △ABC como segue:
T(X) =



T
1
(X), se X ∈ AB;
T
2
(X), se X ∈ BC;
T
3
(X), se X ∈ CA.
Para demonstrar que T ´e uma congruˆencia de △ABC sobre △A

B

C

aplica-se a mesma
demonstra¸ c˜ao utilizada no Teorema 4.3.2 para cada um dos trˆes ˆangulos em △ABC.
EXERC
´
ICIO. Desenvolva os detalhes da demonstra¸ c˜ao do Teorema 5.3.1.
5.4 Congruˆencia de Triˆangulos II
5.4.1 DEFINIC¸
˜
AO
Num triˆangulo △ABC, dizemos que os lados AB e BC incluem o ˆangulo ∠ABC; o
lado AC ´e o lado oposto ao ˆangulo ∠ABC; os lados AB e BC s˜ao lados adjacentes
um ao outro e ao ˆangulo ∠ABC.
Vamos agora estabelecer um segundo crit´erio de congruˆencia de ˆangulos conhecido
como crit´erio lado-ˆangulo-lado (L.A.L.).
40 Dicesar Lass Fernandez
5.4.2 TEOREMA (Proposi¸c˜ao I.4)
Se dois lados e o ˆangulo inclu´ıdo de um triˆangulo s˜ao congruentes a dois lados e ao
ˆangulo incluido de outro triˆangulo de forma que o v´ertice de um ˆangulo corresponde
ao v´ertice do outro ˆangulo, ent˜ao os triˆangulos s˜ao congruentes.
Demonstra¸c˜ao: Consideremos os triˆangulos △ABC e △A

B

C

com AB

= A

B

, BC

=
BC

e ∠ABC

= ∠A

B

C

. Seja T uma congruˆencia entre os ∠ABC e ∠A

B

C

de modo que
T(B) = B

. Do Axioma Fundamental da Congruˆencia e do fato que AB

= A

B

segue-se
T(A) = A

(por que ?). Analogamente, T(C) = C

. Mas ent˜ao AC

= T(A)T(C)

= A

C

; ou
seja AC

= A

C

. Portanto, os trˆes lados de △ABC s˜ao respectivamente, congruentes aos
trˆes lados de △A

B

C

.
5.5 Congruˆencia de Triˆangulos III
A seguir vamos estabelecer um terceiro crit´erio de congruˆencia de triˆangulos, conhecido
como crit´erio ˆangulo-lado-ˆangulo (A.L.A.): se um triˆangulo tem um lado e os ˆangulos
adjacentes congruentes aos de outro triˆangulo, ent˜ao s˜ao congruentes.
5.5.1 TEOREMA (Proposi¸c˜ao I.26)
Se △ABC e △A

B

C

s˜ao tais que AB

= A

B

, ∠BAC

= ∠B

A

C

e ∠CBA

=
∠C

B

A

com A e B correspondendo a A

e B

, respectivamente, ent˜ao △ABC

=
△A

B

C

.
´
´
´
´
´
´
´
´
\
\
\
\
\
\
\
\
´
´
´
´
´
´
´
´
´
\
\
\
\
\
\
\
\
\
A B
C
A

B

C

Q P
Figura 5.4
Demonstra¸c˜ao. Como AB

= A

B

e ∠BAC

= ∠B

A

C

, o Teorema 4.3.1 garante a
existˆencia de um ponto P tal que P ∈
−→
A

C

e AC

= A

P, BC

= B

P. Do mesmo modo, como
∠CBA

= ∠C

B

A

, de novo pelo Teorema 4.3.1, existe um ponto Q tal que Q ∈
−→
B

C

e BC

=
B

Q, AC

= A

Q. Se tivermos P = C

, ent˜ao BC

= B

P = B

C

, e como BC

= B

Q, tamb´em
B

C
′ ∼
= B

Q. Por outro lado, como Q ∈
−→
B

C

, pelo Axioma Fundamental de Congruˆencia
segue-se C

= Q. Assim teremos BC

= B

C

e AC

= A

C

, logo △ABC

= △A

B

C

.
Elementos de Geometria 41
Suponhamos, agora, que seja poss´ıvel P = C

. Como { C

} =
−→
A

C


−→
B

C

, ent˜ao
P = Q, pois C

´e a ´ unica interse¸ c˜ao. Como AB

= A

B

, AC

= A

Q e BC

= B

Q,
temos pelo Teorema 5.3.1 que △ABC

= △A

B

Q. Do mesmo modo, AC

= A

P, AB

=
A

B

e BC

= B

P, e novamente pelo Teorema 5.3.1 segue-se △ABC

= △A

B

P. Logo
△A

B

P

= △A

B

Q, assim ∠A

B

Q

= ∠A

B

P. Agora, considerando o ˆangulo ∠A

B

P,
temos Q ∈
←→
B

P, logo Q est´a no lado de
←→
B

P que cont´em A

ou est´a no lado que n˜ao cont´em
A

. No primeiro caso teremos ∠A

B

P ≻ ∠A

B

Q e no segundo caso ∠A

B

Q ≻ ∠A

B

P.
Logo ∠A

B

Q

= ∠A

B

P. Portanto, △A

B

P

= △A

B

Q, o que ´e uma contradi¸ c˜ao se
P = Q. Logo P = Q e portanto P = Q = C

. Assim temos AC

= A

C

e BC

= B

C

, e
conseq¨ uentemente △ABC

= △A

B

C

.
5.6 Cancelamento de
ˆ
Angulos
Como conseq¨ uˆencia do crit´erio de congruˆencia de triˆangulos, vamos agora estabelecer
uma lei de cancelamento para a soma de ˆangulos: dados dois ˆangulos, se a soma de cada um
deles com ˆangulos congruentes resulta em ˆangulos congruentes, ent˜ao os ˆangulos dados s˜ao
congruentes.
5.6.1 LEI DO CANCELAMENTO
Sejam ∠ABC e ∠A

B

C

ˆangulos arbitr´arios, e ∠FGH e ∠F

G

H

ˆangulos congru-
entes, tais que
∠ABC +∠FGH

= ∠A

B

C

+∠F

G

H

.
Ent˜ao ∠ABC

= ∠A

B

C

.
Demonstra¸c˜ao. Seja ∠MON tal que ∠MON

= ∠ABC + ∠FGH e ∠XY Z tal que
∠XY Z

= ∠A

B

C

+ ∠F

G

H

. Pela transitividade da congruˆencia, ∠MON

= ∠XY Z.
Como ∠MON

= ∠ABC + ∠FGH, existe um ponto K ∈ Int(∠MON) tal que ∠MOK

=
∠FGH e ∠KON

= ∠ABC. Do mesmo modo, existe R ∈ Int(∠XY Z) tal que ∠XY R

=
∠F

G

H

e ∠RY Z

= ∠A

B

C

, como ∠FGH

= ∠F

G

H

, ent˜ao ∠MOK

= ∠XY R.
Agora, como ∠MON

= ∠XY Z, existem X
1

−→
Y X e Z
1

−→
Y Z, tal que OM

= Y X
1
,
ON

= Y Z
1
e MN

= X
1
Z
1
. Logo, pelo Teorema 5.3.1, △MON

= △X
1
Y Z
1
. Agora, como
K ∈ Int(∠MON), pelo Teorema 1.4.2,
−→
OK intercepta MN em um ponto K
1
e
−→
Y R in-
tercepta X
1
Y
1
em um ponto R
1
. Consideremos os triˆangulos △MOK e △X
1
Y R
1
. Temos
OM

= Y X
1
, ∠MOK
1

= ∠X
1
Y R
1
, pois K
1

−→
OK, X
1

−→
Y K e R
1

−→
Y R. Como △MON

=
△X
1
Y Z
1
, ent˜ao ∠OMK
1

= ∠Y X
1
R
1
, pois K
1
∈ MN e R
1
∈ X
1
Z
1
. Pelo Teorema
5.5.1 (crit´erio lado-ˆangulo-lado) temos △MOK
1

= △X
1
Y R
1
, e portanto MK
1

= X
1
R
1
.
Como MN

= X
1
Z
1
, MK
1

= X
1
R
1
, K
1

−→
MN, R
1

−→
X
1
Y
1
e K
1
= N, pelo Teorema 2.1.3
temos K
1
N

= R
1
Z. Agora, como OK
1

= Y R
1
, K
1
N

= R
1
Z e ON

= Y Z
1
, segue-se que
△OK
1
N

= △Y R
1
Z. Portanto ∠K
1
ON

= ∠R
1
Y Z
1
, o que implica ∠ABC

= ∠A

B

C

,
42 Dicesar Lass Fernandez
como quer´ıamos demonstrar.
5.7 O Teorema do
ˆ
Angulo Externo
5.7.1 DEFINIC¸
˜
AO
Em um triˆangulo, o suplemento de um de seus ˆangulos (internos) denomina-se
um ˆangulo externo do triˆangulo. Os demais ˆangulos (internos) denominam-se
ˆangulos opostos.
5.7.2 TEOREMA (Proposi¸c˜ao I.16)
Em todo triˆangulo, qualquer ˆangulo externo ´e maior que os ˆangulos internos opostos
(ou n˜ao adjacentes).
Demonstra¸c˜ao. Consideremos um triˆangulo △ABC e X em
←−
AC. Seja ∠BAX o ˆangulo
externo de △ABC, relativo ao ˆangulo ∠BAC.
Suponhamos, por absurdo, que ∠BAX ∠ABC. Ent˜ao, estamos supondo as alter-
nativas ∠BAX

= ∠ABC ou ∠BAX ≺ ∠ABC.
>
>
>
>
>
>
>
>
>
>
>
>

A
A
A
A
A
A
A
B
C D X
Figura 5.6
Se ∠BAX

= ∠ABC, pelo Axioma Fundamental de Congruˆencia existe D ∈
←−
AC tal que
AD

= BC.
´
E claro que D − A − C, pois
←−
AC ´e oposta a
−→
AC. Ent˜ao, como AD

= BC,
∠ABC

= ∠BAX e AB

= AB, segue-se que △ADB

= △ABC e conseq¨ uentemente
∠DBA

= ∠CAB. Como ∠DAB e ∠BAC s˜ao ˆangulos suplementares, ∠ABC e ∠DBA
tamb´em o s˜ao. Conclu´ımos, ent˜ao, que D, B e C s˜ao pontos colineares, ou seja B ∈
←→
DC. Mas
←→
AC=
←→
DC e portanto B ∈
←→
AC, contrariando a hip´otese de que A, B e C s˜ao n˜ao-colineares.
Logo, ∠BAX e ∠ABC n˜ao s˜ao congruentes.
Consideremos, agora, a alternativa ∠BAX ≺ ∠ABC. Esta hip´otese implica que existe
um ponto Y tal que A −Y −C e ∠BAX

= ∠ABY .
Elementos de Geometria 43

#
#
#
#
#
#
##
A
A
A
A
A
A
A
B
C X Y
Figura 5.7
Como Y ∈
←−
AX, os ˆangulos ∠XAB e ∠BAY s˜ao externos e congruentes ao ˆangulo ∠ABY , o
que contradiz o demonstrado na primeira parte. Portanto ∠ABC ≺ ∠BAX.
Falta demonstrar que ∠ACB ≺ ∠BAX. Para isso, consideremos Z ∈
←−
AB; ent˜ao, de
modo an´alogo ao acima, conclu´ımos que ∠ACB ≺ ∠CAZ. Mas ∠BAX

= ∠CAZ, pois s˜ao
opostos pelos v´ertices, e portanto ∠ACB ≺ ∠BAX.
A demonstra¸ c˜ao est´a completa.
EXERC
´
ICIO (Proposi¸ c˜ao I.17) Em qualquer triˆ angulo, a soma de dois ˆangulos internos ´e
menor que um ˆangulo plano.
5.8 Triˆangulos Is´osceles
5.8.1 DEFINIC¸
˜
AO
Um triˆangulo ´e is´osceles se dois de seus lados s˜ao congruentes. O terceiro lado
denomina-se base do triˆangulo.
5.8.2 TEOREMA
Dado um segmento AB, existe um triˆangulo is´osceles com base AB.
Demonstra¸c˜ao. Seja C um ponto n˜ao pertencente ao segmento AB e consideremos o seg-
mento AC. Se ∠CAB

= ∠ABC, o triˆangulo ´e is´osceles. Sen˜ao, pela Lei da Tricotomia,
devemos ter ∠CAB ≺ ∠ABC ou ∠ABC ≺ ∠CAB. Supondo o primeiro caso, existe um
ponto E ∈ Int∠ABC tal que ∠CAB

= ∠ABE. Pelo Teorema de Pasch (4.3.2), existe um
ponto D, {D} = AC ∩
−−→
BE. O triˆangulo △ABD ´e ent˜ao is´osceles.
O caso ∠ABC ≺ ∠CAB ´e an´alogo (verifique!).
5.8.3 TEOREMA (Proposi¸c˜ao I.5)
Em todo triˆangulo is´osceles os ˆangulos da base s˜ao congruentes.
Demonstra¸c˜ao. Consideremos o triˆangulo △ABC e suponhamos que AB

= AC. Como
AB

= AC, BC

= BC e AC

= AB, do Teorema 4.3.2 segue-se que ∠ACB

= ∠ABC.
44 Dicesar Lass Fernandez
O Teorema do
ˆ
Angulo Externo e o conceito de triˆangulo is´osceles tˆem conseq¨ uˆencias
importantes para aplica¸ c˜oes .
5.8.4 TEOREMA (Proposi¸c˜ao I.18)
Se dois lados de um triˆangulo n˜ao s˜ao congruentes, o ˆangulo oposto ao lado maior ´e
maior que o ˆangulo oposto ao lado menor.
Demonstra¸c˜ao. Seja △ABC um triˆangulo no qual, digamos, AC ≻ BC.

¢
¢
¢
¢
¢
¢
¢
¢
¢
A B
C
D
Figura 5.8
Vamos demonstrar que ∠ABC ≻ ∠BAC. Seja D ∈
−→
CA tal que BC

= CD. Como A−D−C,
a semi-reta
−→
BD ´e interna ao ˆangulo ∠ABC e portanto ∠DBC ≺ ∠ABC.
Agora, o triˆangulo △CBD ´e, por constru¸ c˜ao, is´osceles, com base DB. Logo, ∠CDB

=
∠CBD, pelo crit´erio L.L.L. Por outro lado, o ˆangulo ∠CDB ´e externo ao triˆangulo △ADB
e ´e portanto maior que o ˆangulo ∠DAB, que ´e oposto ao lado menor CB do triˆangulo
△ABC. Resumindo temos: ∠DBC

= ∠CBD, ∠CBD

= ∠BDC e ∠DBC ≺ ∠ABC;
portanto ∠BAC ≺ ∠ABC.
O teorema precedente admite uma rec´ıproca importante.
5.8.5 TEOREMA (Proposi¸c˜ao I.19)
Se dois ˆangulos de um triˆangulo n˜ao s˜ao congruentes, o lado oposto ao ˆangulo maior
´e maior que o lado oposto ao ˆangulo menor.
Demonstra¸c˜ao. Consideremos um triˆangulo △ABC, onde ∠CAB ≺ ∠ABC (vide figura
5.8). Vamos verificar que neste caso BC ≺ AC.
Em primeiro lugar AC

= BC, sen˜ao o triˆangulo seria is´osceles e ter´ıamos ∠CAB

=
∠ABC, contrariando a hip´otese. Da mesma forma, se AC ≺ BC, pelo Teorema anterior
ter´ıamos ∠CBA ≺ ∠CAB, tamb´em contrariando a hip´otese.
5.8.6 TEOREMA
Elementos de Geometria 45
Em qualquer triˆangulo a soma de dois lados ´e maior que o terceiro lado
Demonstra¸c˜ao. Consideremos um △ABC e prolonguemos um de seus lados, digamos AC,
at´e um ponto D de modo que CD

= CB.

`
`
`
`
`
`'
'
'
'
'
'
'
'
'
'
'
A B
C
D
Figura 5.9
Deste modo, o triˆangulo △CBD ´e is´osceles e portanto

CBD

=

CDB. Por outro lado, como
a semi-reta
−−→
BC ´e interna ao ˆangulo

ABD, segue que

CDB ≺

ABD. Agora, como ao maior
ˆangulo corresponde o maior lado, no triˆangulo △ABD teremos
AB ≺ AD

= AC +CB,
como quer´ıamos demonstrar.
5.9 Dimidia¸c˜ao de um Segmento
5.9.1 Dada uma semi-reta
−−→
CD, para cada ponto P ∈
−−→
CD existe outro ponto Q ∈
−−→
CD
tal que C − P − Q e CP

= PQ. Dizemos que o segmento CQ ´e o segmento obtido pela
duplica¸ c˜ao do segmento CP. Neste caso escrevemos
CQ

= 2 CP.
Al´em desse processo de duplica¸ c˜ao, temos um processo de dimidia¸ c˜ao de um segmento,
isto ´e a divis˜ao de um segmento em duas partes congruentes.
5.9.2 DEFINIC¸
˜
AO
O ponto m´edio M de um segmento AB ´e um ponto que verifica as condi¸ c˜oes
A −M −B e AM

= MB.
5.9.3 TEOREMA
Qualquer segmento admite um ´ unico ponto m´edio.
46 Dicesar Lass Fernandez
Demonstra¸c˜ao. Seja AB um segmento arbitr´ario e △ACB um triˆangulo is´osceles sobre
AB. Consideremos tamb´em um triˆangulo is´osceles △ADB sobre AB no semi-plano oposto
`aquele determinado pela reta
←→
AB e que cont´em o ponto C. Desta forma, o segmento CD
intercepta a reta
←→
AB em um ponto M. Vamos ter A − M − B. Os triˆangulos △CAD e
△CBD s˜ao congruentes, portanto os ˆangulos ∠ACM e ∠BCM s˜ao congruentes. Ent˜ao,
como △ACB ´e um triˆangulo is´osceles, temos AC

= CB. Sendo CM lado comum, segue-se
que △ACM

= △BCM. Conseq¨ uentemente, AM

= MB e M ´e um ponto m´edio de AB.
A unicidade ´e um exerc´ıcio para o leitor.
5.9.4 DEFINIC¸
˜
AO
Em um triˆangulo, a mediana relativa a um v´ertice, ´e o segmento compreendido do
v´ertice dado ao ponto m´edio do lado oposto.
EXERC
´
ICIOS. 1) Mostre que o ponto m´edio de um segmento ´e ´ unico.
2) Sejam A, B, C pontos dados na ordem A − B − C e M e N os pontos m´edios de AB e BC,
respecticamente. Demonstre que 2 MN

= AC.
3) Sejam A, B, C, pontos dados na ordem A −B −C e M o ponto m´edio de BC. Demonstre que
AM

= AB +BM.
4) Supondo que os segmentos AB e CD est˜ao sobre uma mesma reta e tem o mesmo ponto m´edio,
demonstre que AC

= BD.
5) Dados os pontos A, B, C, D na ordem A−B −C −D, sejam M e N os pontos m´edios de AB e
CD. Demonstre que: a) AC +BD

= AD +BC; b) AC +AD +BC +BD

= 4 MN;
6) Sejam AB e CD segmentos que se interceptam no ponto m´edio de CD. Se AC

= BD e
∠ACM

= ∠BDM, demonstre que M ´e tamb´em ponto m´edio do segmento AB.
7) Sejam △ABC e △A

B

C

triˆ angulos tais que AB

= A

B

e AC

= A

C

. Se as medianas relativas
aos lados AB e A

B

forem congruentes, mostre que os triˆ angulos dados s˜ ao congruentes.
Por raz˜oes hist´oricas vamos redemonstrar o Teorema do
ˆ
Angulo Externo utilizando o
ponto m´edio de um segmento. A demonstra¸ c˜ao que daremos ´e b´asicamente a que consta dos
Elementos de Euclides.
5.9.5 TEOREMA (Proposi¸c˜ao I.16)
Em todo triˆangulo, qualquer ˆangulo externo ´e maior que os ˆangulos internos n˜ao
adjacentes.
Demonstra¸c˜ao. No triˆangulo △ABC abaixo, consideremos a extens˜ao do lado AB na semi-
reta
−−→
AD e dividimos o lado CB no ponto m´edio E. Tra¸ camos um segmento do ponto A,
passando por E, at´e um ponto F de modo que AE

= EF. Tra¸ camos ent˜ao o segmento BF.
Elementos de Geometria 47
´
´
´
´
´
´
´
´

´
´
´
´
´
´
´
´
A B
C
D
F
G
E
Figura 5.10
Vemos que

CEA

=

FEB, CE

= EB e AE

= EF. Logo, pelo crit´erio lado-ˆangulo-lado de
congruˆencia de triˆangulos segue-se que CA

= FB. Portanto,

ACB

=

CBF. Agora, como F
´e um ponto interno do ˆangulo

CBD, segue-se que

CBF ≺

CBD e portanto

ACB ≺

CBD.
Em rela¸ c˜ao ao ˆangulo

CAB, analogamente ao caso anterior, consideramos o prolonga-
mento do lado CB at´e G (ver figura 5.10). O mesmo argumento leva a

ABG

=

CBF e
portanto

ABG ≻

CAB.
A existˆencia do ponto m´edio de um segmento garante tamb´em o seguinte resultado e
seu corol´ario.
5.9.6 TEOREMA
Consideremos o triˆangulo △ABC. Ent˜ao, n˜ao existe C

distinto de C, no mesmo
lado de
←→
AB que C, tal que AC

= AC

e BC

= BC

.
Demonstra¸c˜ao. Se C

pertence a
←→
AC ou a
←→
BC, ent˜ao pelo Axioma Fundamental da Con-
gruˆencia devemos ter C = C

. Suponhamos ent˜ao que C

exista e n˜ao perten¸ ca nem a
←→
AC
nem a
←→
BC.
/
/
/
/
/
/
/
/
´
´
´
´
´
´
´
´

`
`
`
`
`
`
`
`
A B
C C

Figura 5.3
48 Dicesar Lass Fernandez
Neste caso, C

∈ Int(∠CAB) ou C ∈ ∠C

AB). Suponhamos C

∈ Int(∠CAB. Neste caso
vamos ter ∠C

AB ≺ ∠CAD. Mas nas condi¸ c˜oes assumidas temos ∠C

AB

= ∠CAD, o que
´e uma contradi¸ c˜ao.
5.9.7 COROL
´
ARIO
Se ∠ABC

= ∠ABC

e se C e C

est˜ao no mesmo lado em rela¸ c˜ao a
←→
AB, ent˜ao
−→
BC=
−→
BC

.
5.10
ˆ
Angulos Retos
5.10.1 DEFINIC¸
˜
AO
Diremos que um ˆangulo ´e reto se for congruente com um de seus suplementares.
5.10.2 TEOREMA
Existem ˆangulos retos.
Demonstra¸c˜ao. Consideremos uma reta arbitr´aria e um ponto O sobre essa reta. Seja A
um elemento da reta, A = O. Escolhemos B ∈
←−
OA tal que BO

= OA. (Existe um ponto B
nessas condi¸ c˜oes? Por quˆe?)
´
E claro que vamos ter A−O−B. Sobre o segmento AB existe
um triˆangulo is´osceles △ACB. O ponto O ´e interno do ˆangulo ∠ACB. Pelo crit´erio L.L.L
segue-se que os triˆangulos △AOC e △BOC s˜ao congruentes. Logo os ˆangulos ∠AOC e
∠BOC s˜ao congruentes. Como esses ˆangulos s˜ao suplementares, concluimos que s˜ao ˆangulos
retos.
Para Euclides, a congruˆencia de ˆangulos retos ´e um postulado. Aqui ´e um teorema.
5.10.3 TEOREMA (Postulado 4)
Dois ˆangulos retos arbitr´arios s˜ao congruentes.
Demonstra¸c˜ao. Sejam ∠CAB e ∠C

A

B

dois ˆangulos retos arbitr´arios, pela Lei da Trico-
tomia devemos ter
∠CAB ≺ ∠C

A

B

ou ∠CAB ≻ ∠C

A

B

ou ∠CAB

= ∠C

A

B

.
Vamos demonstrar que as duas primeiras hip´oteses levam a contradi¸ c˜oes.
Suponhamos que ∠CAB ≺ ∠C

A

B

. Esta hip´otese assegura a existˆencia de um ponto
Elementos de Geometria 49
E

∈ Int(∠C

A

B

) tal que ∠E

A

B


= ∠CAB.
D A B
C
D

A

B

C

E

Figura 5.5
Sejam ∠CAD e ∠C

A

D

os suplementares dos ˆangulos ∠CAB e ∠C

A

B

, respectivamente.
Como por hip´otese os ˆangulos ∠CAB e ∠C

A

B

s˜ao retos vamos ter ∠CAB

= ∠CAD
e ∠C

A

B


= ∠C

A

D

. Como ∠C

A

B

≻ ∠CAB e ∠E

A

B


= ∠CAB segue-se que
∠C

A

B

≻ ∠CAB e tamb´em ∠C

A

B

≻ ∠CAD. Mas ∠CAD

= ∠E

A

D

e ∠E

A

D


∠C

A

D

. Portanto, ∠C

A

B

≻ ∠C

A

D

, o que ´e uma contradi¸ c˜ao. O caso da hip´otese
∠CAB ≻ ∠C

A

B

´e an´alogo (Exerc
´
icio!).
Portanto, temos necessariamente ∠CAB

= ∠C

A

B

.
5.10.4 COROL
´
ARIO
ˆ
Angulos congruentes a ˆangulos retos s˜ao ˆangulos retos.
Demonstra¸c˜ao. Exerc´ıcio.
5.11 Triˆangulos Retˆangulos
5.11.1 DEFINIC¸
˜
AO
Dizemos que triˆangulo ´e retˆangulo se um de seus ˆangulos for um ˆangulo reto. O
lado oposto ao ˆangulo reto denomina-se hipotenusa e os demais lados catetos.
5.11.2 TEOREMA (Crit´erio A
r
−L
op
−A)
Se dois triˆangulos retˆangulos, tiverem os lados opostos ao ˆangulo reto congruentes
e, al´em disso, tiverem ainda um segundo ˆangulo respectivamente congruentes, ent˜ao
os triˆangulos ser˜ao congruentes.
Demonstra¸c˜ao. Exerc´ıcio (pensar no desenho abaixo).
50 Dicesar Lass Fernandez
.
.
.
.
.
.
..
.
.
.
.
.
.
..
.
.
.
.
.
.
..

A
A
B
B
C
C
D D’ B’ A’
B’ A’
C’
C’
e fazer a demonstra¸ c˜ao.
EXERC
´
ICIOS.
1) Mostre que em um triˆ angulo retˆ angulo apenas um de seus ˆangulos (internos) pode ser reto.
2) Dois triˆ angulos retˆ angulos que tenham um cateto e sua mediana respectivamente congruentes,
s˜ ao congruentes.
3) Dois triˆ angulos retˆ angulos que tenham um cateto e a mediana relativa ao outro cateto respec-
tivamente congruente, s˜ ao congruentes.
4) Dois triˆ angulos que tenham dois lados e a mediana relativa ao terceiro lado, respectivamente
congruentes, s˜ ao congruentes.
Cap´ıtulo 6
GEOMETRIA DAS
PERPENDICULARES
6.1 Retas Perpendiculares
6.1.1 DEFINIC¸
˜
AO
Sejam r e s retas distintas tais que r ∩ s = { O}. Sejam A ∈ r e B ∈ s arbitr´arios,
A = O = B. Diremos que r ´e perpendicular a s, e escreveremos r ⊥ s, se o
ˆangulo ∠AOB ´e um ˆangulo reto.
6.1.2 TEOREMA (Proposi¸c˜ao I.22)
Seja P um ponto pertencente `a uma reta s. Existe uma ´ unica reta r perpendicular `a
s tal que r ∩ s = {P}, ou seja, existe uma ´ unica perpendicular passando pelo ponto
P.
Demonstra¸c˜ao. Existˆencia: Sejam M e N pontos distintos em s tais que MP

= PN.
Seja C um ponto tal que o triˆangulo △MNC seja is´osceles com base MN. Ent˜ao ∠CPM

=
∠CPN. Fazendo r =
←→
CP vemos que r ⊥ s e {P} = r ∩ s.
Unicidade: Seja D ∈
←→
CP ∪s tal que
←→
DP ´e perpendicular a s. Ent˜ao, D est´a no mesmo lado
de
←→
CP que M ou N. Suponhamos que D esteja no mesmo lado de
←→
CP que N. Ent˜ao, o seg-
mento MD intercepta
←→
CP num ponto E. Seja E

em
−→
PC \ {E} tal que EP

= PE

. Seja D

em
−→
ME

tal que MD

= MD

. Agora, como MP

= MP, PE

= E

P e ∠EPM

= ∠E

PM,
segue-se que △EPM

= △MPE

e conseq¨ uentemente ME

= ME

. Como M − E − D e
M − E

− D

segue-se que
←−→
DD

intercepta
←−→
MN num ponto Q, diferente de P pois D e D

est˜ao no mesmo lado de
←−→
EE

=
←→
CP mas em lados opostos de
←−→
MN. Agora, como
←→
DP ´e
perpendicular a
←−→
MN, temos ∠DPN

= ∠DPM. Segue-se ent˜ao que DM

= DN. Analoga-
mente, D

M

= D

N. Portanto DM

= DN

= D

N

= D

M. Ent˜ao, como DD
′ ∼
= DD

,
D

M

= D

N e DM

= DN segue-se que ∠ND

Q

= ∠MD

Q. Tamb´em, como D

M

= D

N,
51
52 Dicesar Lass Fernandez
D

Q

= D

Q e ∠ND

Q

= ∠MD

Q temos MQ

= QN; ou seja, Q ´e um ponto m´edio de MN
diferente de P, o que ´e absurdo. A demonstra¸ c˜ao est´a completa.
6.1.3 TEOREMA (Proposi¸c˜ao I.23)
Seja r uma reta e P um ponto n˜ao pertencente a r. Ent˜ao existe uma ´ unica reta s
perpendicular `a reta dada r, passando pelo ponto P.
Demonstra¸c˜ao. Existˆencia. Seja Q ∈ r, arbitr´ario, e s a reta perpendicular a r em Q.
Se P ∈ s, o problema est´a resolvido. Suponhamos ent˜ao que P ∈ s. Tomemos S ∈ s no lado
oposto a P por r e R ∈ r no mesmo lado de P por s.

`
`
`
`
`
`
`
`
`
`
`
`
s
Q
S
r
T
X R
P
P’
Figura 6.1
O ˆangulo ∠PQR´e menor que um ˆangulo reto. Logo existe T ∈ Int(∠RQS) tal que ∠PQR

=
∠RQT. Seja P


−→
QT tal que PQ

= P

Q. Os pontos P e P

s˜ao opostos em rela¸ c˜ao a r.
Logo o segmento P

P intercepta r em um ponto X. Agora, pelo crit´erio L.A.L, temos
△PQX

= △P

QX. Logo ∠PXQ

= ∠P

XQ e o ˆangulo ∠PXQ ´e reto. Conseq¨ uentemente,
a reta
←→
P

P ´e perpendicular `a reta dada r.
Unicidade. Exerc´ıcio.
6.2 Mediatrizes e Bissetrizes
6.2.1 DEFINIC¸
˜
AO
Se M ´e ponto m´edio de KL e
←−→
MX ⊥
←→
KL, ent˜ao
←−→
MX ´e a reta mediatriz de
KL.
Elementos de Geometria 53
6.2.2 TEOREMA
A mediatriz de um segmento AB ´e o conjunto dos pontos X tais que
AX = XB.
Demonstra¸c˜ao. Seja M o ponto m´edio de AB. Denotemos por r a mediatriz de AB e seja
X ∈ r, X = M. Considerando os triˆangulos △AMX e △XMB temos que ∠AMX ´e um
ˆangulo reto, ∠AMX

= ∠XMB, AM

= MB e MX ´e um lado comum. Pelo crit´erio L.A.L.
segue-se que AX

= XB e r ⊂ { X ; AX

= XB}.
Agora, se Y ´e um ponto tal que AY

= Y B, Y = M, ent˜ao △AMY

= △Y MB e
portanto ∠AMY

= ∠Y MB. Logo
←−→
MY ´e uma reta perpendicular a AB e que passa por M.
Pela unicidade segue-se que Y ∈ r e { X ; AX

= XB} ⊂ r.
6.2.3 DEFINIC¸
˜
AO
Se ∠AOB ´e um ˆangulo qualquer, e
−→
OC est´a em ∠AOB e temos que ∠AOC

=
∠BOC, ent˜ao
−→
OC ´e uma bissetriz de ∠AOB.
6.2.4 TEOREMA
Existe uma e somente uma bissetriz de ˆangulos, n˜ao rasos.
Demonstra¸c˜ao. Exerc´ıcio.
6.2.5 DEFINIC¸
˜
AO
Em um triˆangulo a bissetriz, relativa a um dado v´ertice ´e o segmento sobre a
bissetriz do ˆangulo correspondente, compreendido entre o v´ertice e seu lado oposto.
6.2.6 TEOREMA
Dado um triˆangulo △ABC, existe um ponto I no interior do triˆangulo, tal que, se
←→
IX,
←→
IY e
←→
IZ s˜ao perpendiculares a
←→
BC,
←→
CA e
←→
AB respectivamente e X, Y, Z est˜ao
nessas retas, ent˜ao IX

= IY

= IZ. Tal ponto ´e ´ unico e ´e chamado incentro do
triˆangulo.
Demonstra¸c˜ao. As bissetrizes de ∠ABC e ∠BCA est˜ao contidas no interior de seus re-
spectivos ˆangulos e portanto interceptam CA e CB, respectivamente, em M e N, digamos.
Ent˜ao encontram-se em um ponto I interno ao triˆangulo. Logo, por serem retas bissetrizes,
conclui-se a demonstra¸ c˜ao por congruˆencia de triˆangulos.
6.2.7 TEOREMA
Se
←→
IX ⊥
←→
BC, X ∈
←→
BC e I ´e o incentro de △ABC, ent˜ao B −X −C.
54 Dicesar Lass Fernandez
Demonstra¸c˜ao. Exerc´ıcio.
EXERC
´
ICIOS.
1) Se semiretas
−−→
OM e
−−→
ON s˜ ao respectivamente as bissetrizes de dois ˆangulos

AOB e

BOC, demon-
stre que 2

MON

=

AOB +

BOC.
2) Os ˆangulos

AOB e

COD tˆem a mesma bissetriz. Demonstre que a)

AOD

=

BOC e b)

AOC

=

BOD.
3) As bissetrizes de ˆangulos opostos pelos v´ertices s˜ ao semi-retas opostas.
4) Demonstre que as bissetrizes de dois ˆangulos complementares formam um ˆangulo reto.
5) Sejam △ABC e △DEF retˆ angulos em B e E, respectivamente. Sejam AM e DN bis-
setrizes de △ABC e △DEF, espectivamente. Mostre que

BAC

=

EDF e AM

= DN implicam
△ABC

= △DEF.
6.3 Distˆancia entre Ponto e Reta
Consideremos um ponto A e uma reta r que n˜ao cont´em esse ponto. O segmento que,
sobre a perpendicular tra¸ cada de A a r, fica compreendido entre o ponto A e a interse¸ c˜ao H
com a reta r, costuma-se chamar por brevidade “perpendicular baixada de A sobre r”. O
ponto H chama-se p´e dessa perpendicular.
A
H B
r

Figura 6.2
Qualquer outro segmento, que liga o ponto A dado com um ponto B na reta r, distinto de
H, chama-se obl´ıqua tra¸ cada de A `a reta r; o segmento HB chama-se proje¸c˜ao da obl´ıqua
AB sobre a reta r. Tamb´em, para uma obl´ıqua AB o extremo B ´e chamado p´e.
6.3.1 TEOREMA
Dado um ponto e uma reta n˜ao contendo esse ponto:
A) a perpendicular baixada do ponto sobre a reta ´e menor que cada obl´ıqua tra¸ cada
desse ponto `a reta;
B) obl´ıquas tra¸ cadas do ponto sobre a reta e tendo proje¸ c˜oes iguais s˜ao iguais;
C) obl´ıquas tendo sobre a reta proje¸ c˜oes desiguais, ´e maior aquela que tem proje¸ c˜ao
maior.
Elementos de Geometria 55
Demonstra¸c˜ao. Seja r a reta e A o ponto fora dela. A) Confrontemos a perpendicular AH,
baixada de A sobre r, com uma obl´ıqua qualquer AB. Os pontos A, H e B determinam um
triˆangulo retˆangulo: AB ´e a hipotenusa, AH e HB s˜ao os catetos. O ˆangulo reto ´e o maior
e portanto o lado oposto AB ´e o maior; ou seja AH ≺ AB.
B) Vamos agora confrontar duas obl´ıquas AB e AC cujas proje¸ c˜oes HB e HC sobre a reta
r s˜ao iguais; observemos primeiro que isto exige que os p´es B e C est˜ao em lados opostos
em rela¸ c˜ao ao p´e H da perpendicular.
A
H B C
r

Figura 6.3
As duas obl´ıquas AB e AC s˜ao hipotenusas dos triˆangulos △AHB e △AHC, que s˜ao
retˆangulos em H. Como AH ´e lado comum e HB e HC s˜ao iguais, segue-se que AB e AC
s˜ao iguais (Crit´erio L.A.L.).
C) Consideremos, enfim, duas obl´ıquas AB e AC cujas proje¸ c˜oes HB e HC s˜ao desiguais.
Vamos distinguir dois casos segundo os pontos B e C estejam de um mesmo lado ou em
lados opostos em rela¸ c˜ao `a H. No primeiro caso, suponhamos que HB ≻ HC.

A
H B C
r
Figura 6.4
Observemos ent˜ao que no triˆangulo △AHC, retˆangulo em H, o ˆangulo

BCA ´e externo. Isto
implica que ´e maior que o ˆangulo interno n˜ao adjacente, ou seja o ˆangulo

BCA ´e obtuso e
o lado AB ´e maior que o lado AC.
No segundo caso, os p´es das obl´ıquas AB e AC est˜ao em lados opostos a H;

A
H B C’ C
r
Figura 6.5
56 Dicesar Lass Fernandez
suponhamos ainda que HC ≺ HB. Seja C

o ponto entre B e H tal que HC

seja igual
a HC; pelo Caso B) segue-se ent˜ao que AC

´e congruente a AC. Mas pela primeira parte
AC

≺ AB. Portanto AC ≺ AB.
O segmento de reta que une dois pontos `as vezes ´e chamando de distˆ ancia entre esses
pontos. Agora, confrontando-se a distˆancia de um ponto aos v´arios pontos de uma reta que
n˜ao cont´em esse ponto, o Teorema precedente implica que o segmento perpendicular tomado
do ponto `a reta ´e, entre todas essas distˆancias, a menor distˆancia ou distˆancia m´ınima.
Portanto podemos fixar a seguinte defini¸ c˜ao.
6.3.2 DEFINIC¸
˜
AO
Dado um ponto e uma reta que n˜ao cont´em esse ponto, chama-se distˆancia do
ponto `a reta dada o segmento perpendicular tomado do ponto `a reta.
6.3.3 DEFINIC¸
˜
AO
Em um triˆangulo a altura relativa a um v´ertice ´e o segmento perpendicular com-
preendido entre o v´ertice dado e a reta que cont´em o lado oposto (base).
EXERC
´
ICIOS. Demonstre as seguintes proposi¸ c˜oes:
1) Em todo triˆ angulo is´osceles, as alturas relativas aos lados congruentes s˜ ao congruentes.
2) Um triˆ angulo no qual a altura e a bissetriz relativa a um mesmo v´ertice coincidem ´e is´osceles e
o lado oposto ao v´ertice ´e a base.
3) Em um triˆ angulo △ABC, seja H o p´e da perpendicular baixada de A sobre o lado oposto BC,
se H ´e interna a BC, os ˆangulos

ABC e

BCA s˜ ao agudos; se H coincide com B, o triˆ angulo ´e
retˆ angulo em B; se H ´e externo a BC um dos ˆangulos adjacentes a BC ´e obtuso.
4) Em um triˆ angulo, o p´e de uma altura ´e (i) um ponto interno do lado sobre o qual ´e baixada, se
os ˆangulos adjacentes a este lado s˜ ao agudos; (ii) um ponto do prolongamento, se um dos ˆangulos
´e obtuso e; (iii) um ponto extremo, se um dos ˆangulos ´e reto.
5) Dois triˆ angulos retˆ angulos que tenham (i) um cateto e a bissetriz do ˆangulo agudo adjacente ou
(ii) um cateto e a bissetriz do ˆangulo reto, respectivamente congruentes, s˜ ao congruentes.
6) Dois triˆ angulos is´oscles que tenham (i) o ˆangulo de um v´ertice e a altura relativa a base, ou (ii)
o ˆangulo de um v´ertice e a altura relativa ao lado, respectivamente congruentes, s˜ ao congruentes.
7) Dois triˆ angulos, os quais tˆem um lado, a altura relativa e um ˆangulo adjacente `aquele lado,
respectivamente congruentes, s˜ ao congruentes.
Cap´ıtulo 7
GEOMETRIA DAS PARALELAS
7.1 Retas Paralelas
7.1.1 DEFINIC¸
˜
AO
Retas r e s s˜ao ditas paralelas se r ∩ s = ∅ ou r = s, e neste caso escrevemos
r // s.
7.1.2 DEFINIC¸
˜
AO
Sejam
←→
AB e
←→
CD duas retas e
←−→
MN uma reta que intercepta
←→
AB em E e
←→
CD em F
com A−E−B, C−F−D e M−F−E−N. Os ˆangulos ∠NEB, ∠NEA, ∠MFD e
∠CFM s˜ao ditos ˆangulos externos da transversal
←→
EF, enquanto que os ˆangulos
∠AEF, ∠BEF, ∠DFE e ∠EFC s˜ao ˆangulos internos. Os ˆangulos ∠AEF e
∠EFD s˜ao ditos ˆangulos alternos internos, bem como ∠BEF e ∠EFC.
/
/
/
/
/
/
/
/
/
/
A
C
B
D
E
F
N
M
Figura 7.1
7.1.3 TEOREMA (Proposi¸c˜ao I.27)
Seja t uma reta transversal a duas retas distintas r e s. Se os ˆangulos alternos
internos da transversal forem congruentes, ent˜ao a reta r ´e paralela `a reta s.
57
58 Dicesar Lass Fernandez
Demonstra¸c˜ao. Suponhamos que r =
←→
AB , s =
←→
CD e t =
←→
EF com A−E−B e C−F −D.
Agora, suponhamos por absurdo que r ∩ s = ∅ e G ∈ r ∩ s. Ent˜ao G est´a no mesmo
lado de
←→
EF que A ou B. Vamos demonstrar que G n˜ao est´a no mesmo lado que A. Con-
sideremos o triˆangulo △FEG. O ˆangulo ∠EFD ´e um ˆangulo exterior a △FEG, e ∠AEF
´e um ˆangulo interior oposto. Portanto ∠EFD ≻ ∠AEF, contradizendo a hip´otese de que
∠EFD

= ∠AEF. Logo A n˜ao pode estar no mesmo lado que G. Da mesma forma mostra-se
(exerc´ıcio) que G n˜ao est´a no mesmo lado que B. O caso em que G ∈ t fica exclu´ıdo, pois
sen˜ao s = r.
7.1.4 TEOREMA (Proposi¸c˜ao I.28)
Se uma reta intercepta duas outras retas de modo que um ˆangulo exterior ´e congru-
ente ao ˆangulo interior oposto do mesmo lado, ou se a soma dos ˆangulos internos de
um mesmo lado ´e igual a um ˆangulo plano, ent˜ao as retas cortadas pela transversal
s˜ao paralelas.
Demonstra¸c˜ao. Sejam
←→
AB e
←→
CD as retas dadas e
←−→
MN a transversal. Suponhamos ainda
que
←−→
MN corta
←→
AB no ponto E e
←→
CD no ponto F de modo que A − E − B, C − F − D e
M −E −F −N. Suponhamos primeiro que ∠MEB

= ∠EFD. Agora, ˆangulos opostos s˜ao
congruentes: ∠MEB

= ∠AEF. Portanto os ˆangulos alternos internos ∠AEF e ∠EFD s˜ao
congruentes. Logo
←→
AB ´e paralela a
←→
CD.
`
`
`
`
`
`
`
`
`
`
`
A E B
M
C F D
N
∠MEB

= ∠EFD
`
`
`
`
`
`
`
`
`
`
`
A E B
M
C F D
N
∠BEF +∠EFD

= π
Figura 7.2
Suponhamos agora que a soma de ∠BEF e ∠EFD ´e um ˆangulo plano. Ent˜ao, como
∠BEF

= ∠AEM e ∠EFD

= ∠CFN, segue-se que ∠AEM + ∠CFN ´e um ˆangulo plano.
Agora ∠AEM + ∠AEF ´e tamb´em um ˆangulo plano. Logo ∠AEF

= ∠CFN. Conseq¨ uen-
temente ∠AEF

= ∠EFD, ou seja, os ˆangulos alternos internos s˜ao congruentes e as retas
←→
AB e
←→
CD s˜ao, portanto, paralelas.
Elementos de Geometria 59
7.1.5 TEOREMA (Proposi¸c˜ao I.31)
Seja r uma reta qualquer e P um ponto arbitr´ario. Ent˜ao existe pelo menos uma
reta s que cont´em P e ´e paralela `a reta r.
Demonstra¸c˜ao. Se P ∈ r, n˜ao h´a o que demonstrar. Se P ∈ r, seja t uma reta perpendic-
ular a r passando por P e seja s a reta perpendicular a t passando por P. Ent˜ao r ´e paralela
a s (por que?) e s cont´em P.
7.2 O Axioma das Paralelas
Os axiomas, que assumimos at´e aqui n˜ao implicam a unicidade da paralela por um
ponto dado. Vamos ent˜ao adotar a unicidade como um novo axioma, algumas vezes chamado
de Axioma de Playfair
1
.
AXIOMA DAS PARALELAS
Dado um ponto P e uma reta r, existe uma ´ unica reta s, paralela a r e que cont´em
P.
O famoso quinto postulado de Euclides ´e o seguinte:
5
o
¯
POSTULADO DE EUCLIDES.
Se uma transversal corta duas retas de modo que a soma dos ˆangulos internos de
um mesmo lado da transversal ´e menor que um ˆangulo plano, est˜ao as retas dadas
se interceptam neste lado da transversal.
Vamos mostrar que, na teoria desenvolvida at´e aqui, o 5
o
¯
Postulado de Euclides ´e
equivalente ao Axioma das Paralelas.
7.2.1 TEOREMA
Assumindo os Axiomas fixados, o 5
o
¯
Postulado de Euclides ´e satisfeito se e somente
se o Axioma das Parelelas ´e verificado.
Demonstra¸c˜ao. Suponhamos que o Axioma das Paralelas est´a satisfeito e consideremos a
situa¸ c˜ao como na Figura 7.2, onde ∠BEF + ∠DFE ´e menor que um ˆangulo plano. Seja
←→
OP a ´ unica reta que cont´em E e ´e paralela a
←→
CD, O −E −P. Portanto ∠OEF

= ∠EFD
e ∠OEF + ∠EFD ´e um ˆangulo plano. Como ∠FEP ≻ ∠BEF, a semi-reta
−→
EB est´a no
1
John Playfair editou em 1795 uma vers˜ao dos Elementos de Euclides onde o Axioma das Paralelas aparece
substituindo o 5
o
¯
Postulado. Uma edi¸ c˜ao foi publicada com o t´ıtulo Elements of Geometry, containing the
First Six Books of Euclid, Edinburgh 1831.
60 Dicesar Lass Fernandez
mesmo lado de
←→
OP que
←→
CD, e
−→
EA est´a no lado oposto de
←→
OP a
←→
CD. Portanto,
←→
AB intercepta
←→
CD no lado que cont´em
−→
EB; logo o 5
o
¯
Postulado de Euclides est´a satisfeito.
Suponhamos agora que o 5
o
¯
Postulado de Euclides seja verificado. Vamos demonstrar
que ent˜ao, necessariamente, o Axioma das Paralelas ´e tamb´em verificado. Sejam
←−→
O

P

e
←−−→
O
′′
P
′′
duas retas paralelas `a reta
←→
CD que contˆem o ponto E ∈
←→
CD, e suponhamos, por
absurdo, que sejam distintas. Seja F a interse¸ c˜ao da perpendicular a
←→
CD que passa por
E. Ent˜ao ∠P

EF + ∠EFD ´e igual a um ˆangulo plano. De fato, se fosse menor, o 5
o
¯
Postulado de Euclides implicaria que
←−→
O

P


←→
CD = ∅; por outro lado, se fosse maior ent˜ao
∠O

EF + ∠CFE seria menor que um ˆangulo plano, e implicaria, novamente pelo 5
o
¯
Pos-
tulado de Euclides, que
←−→
O

P

e
←→
CD n˜ao seriam paralelas. Como P

e P
′′
est˜ao no mesmo
semi-plano determinado por
←→
EF segue-se que P

∈ Int(∠P
′′
EF) ou P
′′
∈ Int(∠P

EF). No
primeiro caso ∠P
′′
EF +∠EFD ´e maior que um ˆangulo plano e no segundo caso ´e menor que
um ˆangulo plano. Em ambos os casos
←−−→
O
′′
P
′′
n˜ao ´e paralela a
←→
CD, contrariando a hip´otese.
Logo, devemos ter
←−→
O

P

=
←−−→
O
′′
P
′′
e conseq¨ uentemente por um ponto fora de
←→
CD existe uma
´ unica paralela, ou seja o Axioma das Paralelas ´e verificado.
7.3 Consequˆencias do Axioma das Paralelas
7.3.1 TEOREMA (Proposi¸c˜ao I.29)
Sejam r e s duas retas paralelas cortadas por uma transversal t. Ent˜ao os ˆangulos
alternos internos s˜ao congruentes.
Demonstra¸c˜ao. Sejam {E} = r ∩ t, {F} = s ∩ t, A, B ∈ r tais que A−E −B e C, D ∈ s
taais que C−F −D. Como r // t, o 5
o
¯
Postulado de Euclides assegura que ∠BEF +∠EFD
´e um ˆangulo plano. Por outro lado, ∠AEF + ∠FEB ´e tamb´em um ˆangulo plano. Logo
∠AEF

= ∠EFD pela defini¸ c˜ao de soma de ˆangulos, como quer´ıamos demonstrar.
7.3.2 TEOREMA (Proposi¸c˜ao I.30)
Se r, s e t s˜ao retas distintas tais que r // s e s // t, ent˜ao r // t.
Demonstra¸c˜ao. Suponhamos que r = s e t = s se encontrem em um ponto X. Como r e
t s˜ao paralelas a s, temos X ∈ s e ent˜ao duas retas paralelas a s encontrando-se em X. Da
unicidade do Axioma das Paralelas segue-se r = t. Como r e s s˜ao distintas n˜ao pode
existir tal X e portanto r ´e paralela a t.
OBSERVAC¸
˜
AO. O Teorema 7.3.1 ´e a rec´ıproca da Proposi¸ c˜ao 7.1.3. Mas, os Teoremas
7.3.1 e 7.3.2 dependem do Axioma das Paralelas ou do 5
o
¯
Postulado de Euclides, en-
quanto que os Teoremas 7.1.3 e 7.1.5 (Proposi¸ c˜ao I.31) n˜ao os utilizam em sua demonstra¸ c˜ao.
Elementos de Geometria 61
7.3.3 TEOREMA (Proposi¸c˜ao I.32)
A soma dos ˆangulos internos de um triˆangulo ´e igual a um ˆangulo plano.
Demonstra¸c˜ao. Consideremos o triˆangulo △ABC. Seja
←→
PQ a ´ unica reta que cont´em C e
´e paralela a
←→
AB.

`
`
`
`
`
`
`
`
`
P Q C
A B
Figura 7.3
Ent˜ao ∠PCA

= ∠CAB e similarmente ∠QCB

= ∠CBA. Como ∠PCQ ´e um ˆangulo plano,
temos que ∠ACB +∠CAB +∠CBA ´e um ˆangulo plano.
7.3.4 TEOREMA
Sejam
←→
CA e
←→
CB retas distintas, D ∈
−→
CA, E ∈
−→
CB. Se CA

= CB e CD

= CE,
ent˜ao
←→
AB//
←→
DE.
Demonstra¸c˜ao. Por hip´otese temos que D ∈
−→
CA, E ∈
−→
CB e CA

= CB. Suponhamos
inicialmente que C −A −D; ent˜ao temos tamb´em C −B −E. Consideremos os triˆangulos
△BCA e △ECD. Pelo Teorema 7.3.3 sabemos que a soma dos ˆangulos internos de um
triˆangulo ´e congruente a um ˆangulo plano, que representamos por π. Portanto ∠BCA +
∠CBA +∠BAC

= π e ∠ECB +∠CED +∠EDC

= π, donde
∠BCA +∠CBA +∠BAC

= ∠ECD +∠CED +∠EDC.
Como ∠ECD

= ∠BCA, a Lei do Cancelamento de ˆangulos implica ent˜ao
∠CBA +∠BAC

= ∠CED +∠EDC.
Al´em disso, como CB

= CA e CE

= CD, os triˆangulos △BCA e △ECD s˜ao is´osceles.
Portanto, os ˆangulos de suas respectivas bases s˜ao congruentes: ∠CBA

= ∠BAC e ∠CED

=
∠EDC. Conclu´ımos ent˜ao que
∠CBA

= ∠CED.
Agora, considerando as retas
←→
AB e
←→
DE, vemos que a reta
←→
CE as intercepta e que o ˆangulo
externo ∠CBA ´e congruente ao angulo interno ∠CED. Logo, pelo Teorema 7.1.4 temos que
←→
AB//
←→
DE.
62 Dicesar Lass Fernandez
O caso C −D −A ´e an´alogo. (Exerc´ıcio.)
7.3.5 TEOREMA
Sejam
←→
AB e
←→
CD retas paralelas e consideremos a tranversal
←→
AC. Se B e D est˜ao
de um mesmo lado de
←→
AC e A −C −E, ent˜ao ∠BAC

= ∠DCE.
Demonstra¸c˜ao. Suponhamos, por absurdo, que o ˆangulo ∠BAC n˜ao seja congruente ao
ˆangulo ∠DCE. Ent˜ao existe F do mesmo lado de
←→
AC que B e D, tal que ∠FCE

= ∠BAC.
Logo
←→
AC ´e uma transversal de
←→
AB e tamb´em de
←→
FC. Consideremos ainda um ponto F

tal
que F − C − F

. Como ∠FCE

= ∠BAC, pelo Teorema 4.2.4, temos ∠FCE

= ∠ACF

e
ent˜ao ∠BAC

= ∠ACF

. Logo, pelo Teorema 7.1.4, temos que
←→
AB//
←→
CF e, por hip´otese
←→
AB//
←→
CD; ou seja, por C passam duas retas distintas e paralelas a
←→
AB, o que ´e absurdo
pelo Axioma das Paralelas. Logo
←→
CF =
←→
CD, e portanto temos ∠BAC

= ∠DCE.
Vamos estabelecer, agora, o fato de que retas perpendiculares a retas paralelas s˜ao
tamb´em paralelas.
7.3.6 TEOREMA
Se
←→
AB//
←→
CD,
←→
AB ⊥
←→
XY e
←→
CD ⊥
←−→
ZW, ent˜ao
←→
XY //
←−→
ZW.
Demonstra¸c˜ao. Suponhamos que os pontos A e C estejam de um mesmo lado de
←→
XY , que
{X} =
←→
AB ∩
←→
XY e {Y } =
←→
CD ∩
←→
XY . Se X

´e um ponto tal que X

− X − Y , ent˜ao pelo
Teorema 7.3.1 temos que ∠X

XA

= ∠X

Y C. Como ∠X

XA ´e reto, segue-se que ∠X

Y C e
∠XY C tamb´em s˜ao retos. Do mesmo modo, suponhamos que os pontos B e D estejam do
mesmo lado de
←−→
ZW, {Z} =
←→
AB ∩
←−→
ZW e {W} =
←→
CD∩
←−→
ZW. Vemos que os ˆangulos ∠ZWD
e ∠WZB s˜ao retos.
´
E claro que
←→
AB ´e uma transversal `as retas
←→
XY e
←−→
ZW e, se W

´e tal que
Z−W−W

, temos que os ˆangulos ∠Y XZ e ∠Y WW

s˜ao retos, logo congruentes. Portanto,
pelo Teorema 7.1.4, temos que
←→
XY //
←−→
ZW.
7.4 Quadril´ateros, Paralelogramos e Quadrados
Um quadril´atero ´e a figura geom´etrica determinada por quatro segmentos que unem quatro
pontos, trˆes a trˆes n˜ao-colineares. Os segmentos e os pontos denominam-se lados e v´ertices,
respectivamente.
Vamos considerar aqui somente aqueles quadril´ateros tais que cada reta determinada
por dois de seus v´ertices consecutivos deixa os demais de um mesmo lado. Chamaremos este
quadril´atero de simples. Deste modo, podemos chamar de interior de um quadril´atero
Elementos de Geometria 63
(simples) a interse¸ c˜ao dos semi-planos (abertos) determinados pelas retas que cont´em os
lados.
Lados de um quadril´atero (simples) determinados por v´ertices n˜ao-consecutivos s˜ao de-
nominados opostos e os segmentos determinados por v´ertices n˜ao-consecutivos denominam-
se diagonais.
7.4.1 TEOREMA
As diagonais de um quadril´atero (simples) se interceptam em um ponto interior.
Demonstra¸c˜ao. Sejam V
1
, V
2
, V
3
e V
4
os v´ertices de um quadril´atero. O v´ertice V
4
´e
um ponto interior ao ˆangulo

V
1
V
2
V
3
e portanto a semi-reta
−−→
V
2
V
4
est´a contida no inte-
rior do ˆangulo, logo intercepta o segmento (diagonal do quadril´atero) V
1
V
3
em um ponto.
Analogamente, a semi-reta
−−→
V
1
V
3
e o segmento V
2
V
4
se interceptam em um ponto interior do
quadril´atero. Os pontos devem coincidir, sen˜ao os lados seriam colineares.
7.4.2 COROL
´
ARIO
Em todo quadril´atero (simples) dois v´ertices n˜ao-consecutivos est˜ao em lados opostos
`a reta determinada pelos dois outros v´ertices.
Nestas condi¸ c˜oes podemos dizer que uma diagonal divide um quadril´atero (simples)
em dois triˆangulos.
7.4.3 DEFINIC¸
˜
AO
Um paralelogramo ´e um quadril´atero cujos lados opostos s˜ao paralelos.
7.4.4 TEOREMA (Proposi¸c˜ao I.34)
Os lados e ˆangulos opostos de um paralelogramo s˜ao congruentes e a diagonal o
divide em triˆangulos congruentes.
Demonstra¸c˜ao. Exerc´ıcio.
OBSERVAC¸
˜
AO. O leitor deve ter observado que a existˆencia de paralelogramos ´e um
fato n˜ao trivial: depende do 5
o
¯
Postulado - existˆencia de paralelas! Em outras palavras,
um paralelogramo ´e uma figura geom´etrica euclidiana. Euclides percebeu isso. Tanto que
estabeleceu uma proposi¸ c˜ao para isso: a Proposi¸ c˜ao 46 do Livro I:
Sobre um segmento de reta dado, descrever um quadrado.
N˜ao s´o construiu, um quadrado, mas justificou cada passo da constru¸ c˜ao
2
.
Vamos reenunciar esta proposi¸ c˜ao nos seguintes termos:
2
Na realidade esta preocupa¸ c˜ao j´a aparece em Proposi¸ c˜oes anteriores.
64 Dicesar Lass Fernandez
7.4.5 TEOREMA (Proposi¸c˜ao I.46)
Sobre um segmento AB e fixado um semi-espa¸ co fechado de
←→
AB, existe um ´ unico
quadrado ABCD inteiramente contido neste semi-espa¸ co.
Demonstra¸c˜ao. Exerc´ıcio.
EXERC
´
ICIOS.
1) Um quadril´atero no qual dois lados opostos s˜ ao congruentes e paralelos ´e um paralelogramo.
2) Sejam AB e CD segmentos que se interceptam no ponto m´edio de AB, e suponhamos que
AC seja paralelo a BD. Mostre que: (i) △ACM

= △BDM; (ii) o quadril´atero ABCD ´e um
paralelogramo.
7.5 Distˆancia entre Paralelas
Quando dizemos que os pontos de um conjunto tˆem a mesma distˆancia em rela¸ c˜ao a
uma reta, isto significa que os segmentos perpendiculares, com extremos em cada ponto, s˜ao
congruentes.
7.5.1 TEOREMA
Se duas retas s˜ao paralelas, todos os pontos de uma das retas tˆem a mesma distˆancia
em rela¸ c˜ao `a outra.
Demonstra¸c˜ao. Sejam r e s duas retas paralelas. Por dois pontos A e B da reta r tomam-
se perpendiculares em rela¸ c˜ao `a reta s, interceptando-a nos pontos C e D, respectivamente.
As duas perpendiculares AC e BD s˜ao paralelas pois o quadril´atero ABCD ´e um paralelo-
gramo. Logo AC

= BD.
Portanto, dadas duas paralelas r e s, cada perpendicular AC tomada de um ponto A
de r at´e s ´e tamb´em perpendicular de C ∈ s a r. Logo, a distˆancia de qualquer ponto de r
a s ´e igual `a distˆancia de qualquer ponto de s a r.
7.5.2 DEFINIC¸
˜
AO
A distˆancia entre duas retas paralelas ´e a distˆancia de qualquer ponto de uma das
retas em rela¸ c˜ao `a outra.
EXERC
´
ICIOS. Demonstre as seguintes afirma¸ c˜oes:
1) Segmentos paralelos, com extremos em paralelas, s˜ ao congruentes.
2) Diagonais de um paralelogramo se interceptam nos respectivos pontos m´edios.
3) Se de um ponto da base de um triˆ angulo is´osceles tra¸ cam-se paralelas aos lados, a soma dos
segmentos compreendidos do ponto aos lados ´e congruente a cada lado.
Elementos de Geometria 65
4) Se de um ponto interno de um triˆ angulo equil´atero tra¸ cam-se segmentos paralelos aos lados, ent˜ao
a soma dos segmentos compreendidos entre o ponto e os lados s˜ao o dobro do lado do triˆ angulo.
5) S˜ao congruentes dois paralelogramos tais que s˜ ao congruentes: a) os lados e uma diagonal; b)
os lados e duas alturas correspondentes; c) os ˆangulos, um lado e a altura relativa a este lado.
6) Uma reta que divide pela metade dois lados opostos de um paralelogramo, passa necessariamente
pelo centro do paralelogramo (a interse¸ c˜ao das diagonais).
7) Dois v´ertices de um paralelogramo s˜ ao equidistantes da diagonal que une os outros dois v´ertices
8) Se em um paralelogramo ABCD os pontos E e F s˜ ao os pontos m´edios dos lados AB e CD,
respectivamente, as retas AF e EC dividem a diagonal BD em trˆes partes iguais.
9) O triˆ angulo que se obt´em unindo os pontos m´edios de um triˆ angulo, tem em comum as mesmas
medianas.
7.6 Feixe de Paralelas e Transversais
7.6.1 DEFINIC¸
˜
AO
Em um plano, chamamos feixe de paralelas ao conjunto formado por uma reta e
todas as suas paralelas.
Um feixe ´e determinado por qualquer de suas retas; e por cada ponto do plano passa
uma reta do feixe e uma s´o.
Qualquer reta do plano, que n˜ao perten¸ ca a um feixe, intercepta todas as retas do feixe.
Neste caso, dizemos que a reta interceptadora ´e uma transversal do feixe.
Se sobre um feixe tra¸ camos duas transversais distintas t e t

, por cada ponto A de t
passa uma reta do feixe, a qual corta t

num ponto bem determinado A

, que denominamos
correspondente de A (em rela¸ c˜ao ao feixe considerado).
Assim, dado um segmento qualquer AB em t dizemos que corresponde sobre t

o seg-
mento A

B

, que tem os extremos A

e B

respectivamente correspondentes aos extremos de
AB.

`
`
`
`
`
`
`
`
`
`
`
`
`
t t

A
B
C
D
A

B

C

D

Figura 7.4
66 Dicesar Lass Fernandez
7.6.2 TEOREMA
Consideremos transversais sobre um feixe de paralelas. As paralelas determinam
segmentos sobre as transversais. Al´em disso, a segmentos congruentes determinados
sobre uma delas correspondem segmentos congruentes sobre a outra.
Demonstra¸c˜ao. Sejam t e t

duas transversais de um feixe de paralelas e tomemos sobre
t dois segmentos congruentes AB e CD. Denotemos por A

B

e C

D

os correspondentes
segmentos sobre t

. Devemos demonstrar que A

B
′ ∼
= C

D

.
Se t e t

s˜ao paralelas a demonstra¸ c˜ao ´e simples (exerc´ıcio). Suponhamos ent˜ao que t
e t

n˜ao s˜ao paralelas.

`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
` `
E
F
t t

A
B
C
D
A

B

C

D

Figura 7.5
Tracemos os segmentos AE e CF paralelos a t

, comE em
←−→
BB

e F em
←−→
DD

, respectivamente.
Os triˆangulos △ABE e △CDF s˜ao congruentes, pois os lados AB e CD s˜ao congruentes
(por hip´otese),

ABE

=

CDF (como correspondentes em rela¸ c˜ao `as paralelas
←−→
BB

e
←−→
DD

e
`a transversal
←→
AD) e

BAE

=

DCF (como correspondentes em rela¸ c˜ao `as paralelas
←→
AE e
←→
CF
e `a transversal
←−→
A

D

= t). Portanto, temos
AE

= CF.
Mas, os dois quadril´ateros AEB

A

e CFD

C

s˜ao paralelogramos, donde resulta
AE

= A

B

e CF

= C

D

.
Das congruˆencias acima estabelecidas, segue-se que A

B
′ ∼
= C

D

.
OBSERVAC¸
˜
AO. Resultam imediatamente do Teorema anterior algumas conseq¨ uˆencias
que conv´em sublinhar.
A) Em primeiro lugar, vemos facilmente que, se sobre uma transversal t de um feixe de
paralelas, tomam-se dois segmentos n˜ao congruentes AB e CD, tamb´em seus correspon-
dentes A

B

e C

D

, sobre outra transversal t

s˜ao n˜ao-congruentes, respectivamente. De
fato, se temos por exemplo AB ≻ CD, ent˜ao AB pode se decompor na soma AE+EB onde
Elementos de Geometria 67
AE

= CD; ent˜ao, pelo Teorema precedente, resulta-se que A

B

´e a soma de A

E

e E

B

,
correspondentes a AE e EB, e que A

E

´e congruente a C

D

. Portanto, temos A

B

≻ C

D

.
E E

`
`
`
`
`
`
`
`
`
`
`
`
`
t t

A
B
C
D
A

B

C

D

Figura 7.6
B) Sobre uma transversal t tomamos um segmento AD que seja m´ ultiplo segundo um inteiro
n de um outro segmento AB (na Figura 7.7, abaixo, AD ´e o sˆextuplo de AB).

`
`
`
`
`
`
`
`
`
`
`
`
t t

A
B
D
A

B

D

Figura 7.7
Considerando uma outra transversal t

, os correspondentes segmentos A

D

e A

B

de AC e
AB, respectivamente, vamos ter que A

D

ser´a a soma de n elementos iguais a A

B

, isto ´e,
o m´ ultiplo de A

B

, segundo n.
C) Similarmente, se sobre uma transversal se toma um segmento AB, que seja subm´ ultiplo,
segundo um inteiro n, de outro segmento AD, e se A

B

e A

D

s˜ao os segmentos correspon-
dentes de AB e AD sobre uma segunda transversal t

, ent˜ao A

B

ser´a o subm´ ultiplo de
A

D

, segundo o mesmo inteiro n.
7.6.3 COROL
´
ARIO
Se um lado de um triˆangulo ´e dividido em um n´ umero arbitr´ario de partes iguais
e pelos pontos de divis˜ao s˜ao tra¸ cadas paralelas a um outro lado, estas paralelas
dividem o terceiro lado no mesmo n´ umero de partes iguais.
68 Dicesar Lass Fernandez
Demonstra¸c˜ao. Seja o triˆangulo △ABC com o lado AC dividido, por exemplo em 4 partes
iguais. Pelos pontos de divis˜ao tra¸ cam-se paralelas ao lado AB correspondentes `as partes
de AC. Como cada uma destas partes ´e subm´ ultipla de AC segundo o fator 4, tem-se,
correspondentemente, que cada uma das partes de BC ´e subm´ ultipla de BC segundo o
mesmo inteiro 4.

A
A
A
A
A
A
A
A
A
A
A
A
A
C
B
Figura 7.8
Este Corol´ario permite estabelecer a seguinte propriedade fundamental dos segmentos
de reta.
7.6.4 TEOREMA
Todo segmento de reta pode ser subdividido em um n´ umero arbitr´ario de partes
iguais.
Demonstra¸c˜ao. Seja AB o segmento em considera¸ c˜ao e C um ponto n˜ao pertencente `a reta
←→
AB. Sobre a semi-reta
−→
AC tomemos um ponto D
1
e os n segmentos congruentes entre si
AD
1
, D
1
D
2
, ... , D
n−1
D
n
, D
i−1
−D
i
−D
i+1
, 1 ≤ i ≤ n e D
0
= A. Tra¸ camos o segmento D
n
B
e ent˜ao as paralelas a D
n
B passando por D
1
, ... , D
n−1
. As intersec¸ c˜oes dessas paralelas
com o segmento AB determinam pontos E
1
, ... , E
n−1
. Pelo Corol´ario anterior, os intervalos
AE
1
, ... , D
n−1
B s˜ao iguais. Portanto, os pontos E
1
, ... ,E
n−1
subdividem o segmento AB
em n partes iguais.
O Corol´ario acima pode tamb´em ser invertido.
7.6.5 TEOREMA
Suponhamos que dois lados de um triˆangulo s˜ao divididos em n partes iguais cada um.
Ent˜ao os segmentos que unem os pontos de divis˜ao s˜ao, ordenadamente, paralelos.
Demonstra¸c˜ao. Seja △ABC um triˆangulo no qual os lados CA e CB foram subdivididos
em n partes iguais. A partir de C denotemos por A

, A
′′
, A
′′′
, ... os pontos de divis˜ao de
CA e por B

, B
′′
, B
′′′
,... aqueles de CB.
Elementos de Geometria 69

`
`
`
`
`
`
`
`
`
`
`
`
A
′′′
B
′′′
A
C
B
A
′′
A

B
′′
B

Figura 7.9
Afirmamos que as reta
←−→
A

B

,
←−−→
A
′′
B
′′
,
←−−→
A
′′′
B
′′′
,... s˜ao paralelas a
←→
AB. De fato, CA

´e
um subm´ ultiplo de CA, segundo n. Portanto, pelo Corol´ario acima, a paralela por A

ao
lado AB deve cortar CB, a partir de C, em um subm´ ultiplo de CB, segundo n. Mas este
subm´ ultiplo ´e precisamente o segmento CB

. Portanto, a paralela a AB por A

coincide com
a reta
←−→
A

B

.
An´alogamente demonstra-se que AB ´e tamb´em paralelo a
←−−→
A
′′
B
′′
,
←−−→
A
′′′
B
′′′
,...
7.6.6 O Corol´ario acima pode ser completado com uma observa¸ c˜ao not´avel.
Retomemos a figura anterior. Pelos pontos B

, B
′′
, B
′′′
,... tra¸ camos as paralelas a CA
at´e encontrar o lado AB em D

, D
′′
, D
′′′
,...., respectivamente. Assim, tamb´em o lado AB
fica dividido em n partes iguais.

`
`
`
`
`
`
`
`
`
`
`
`
A
′′′
B
′′′
A D

D
′′
D
′′′
C
B
A
′′
A

B
′′
B

Figura 7.10
Por outro lado, os quadril´ateros
A

B

D

A, A
′′
B
′′
D
′′
A, A
′′′
B
′′′
D
′′′
A, ...
s˜ao todos paralelogramos, e portanto temos
A

B
′ ∼
= AD

, A
′′
B
′′ ∼
= AD
′′
, A
′′′
B
′′′ ∼
= AD
′′′
, ...
70 Dicesar Lass Fernandez
Mas AD

´e o subm´ ultiplo de AB segundo n, enquanto AD
′′
, AD
′′′
,... s˜ao respectivamente,
o dobro de AD

, o triplo de AD

, etc. Portanto
A

B

=
1
n
AB, A
′′
B
′′
=
2
n
AB, A
′′′
B
′′′
=
3
n
AB, etc.
Conclu´ımos que: se, como anteriormente, dividimos dois lados de um triˆangulo num mesmo
n´ umero n de partes iguais, os segmentos paralelos ao terceiro lado que unem os pontos de
divis˜ao s˜ao ordenadamente iguais a uma fra¸ c˜ao do terceiro lado do tipo
1
n
,
2
n
,
3
n
, etc.
Em particular, se dividirmos os dois lados em partes iguais e levando em conta o
resultado precedente, temos que em todo triˆangulo o segmento que une os pontos m´edios de
dois lados ´e paralelo ao terceiro lado e igual `a sua metade.

`
`
`
`
`
`
A

B

A D

C
B
Figura 7.11
7.6.7 DEFINIC¸
˜
AO
Dizemos que triˆangulos s˜ao equivalentes se tˆem a mesma base e a mesma altura
relativa.
EXERC
´
ICIO. Triˆ angulos que tˆem dois v´ertices nos pontos m´edios de dois lados de um triˆ angulo, e
o terceiro v´ertice num ponto arbitr´ario do terceiro lado, s˜ ao equivalentes `a quarta parte do triˆ angulo
dado.
7.6.8 TEOREMA do Baricentro
Em todo triˆangulo, as trˆes medianas passam por um mesmo ponto. Este ponto divide
cada mediana em duas partes, de forma que a parte com um extremo no v´ertice ´e o
dobro da outra.
Elementos de Geometria 71

`
`
`
`
`
`
`
`
`
`
`
`
A
C
B
C

A

B

E

F

O

Figura 7.12
Demonstra¸c˜ao. Exerc´ıcio. (Trace as medianas AB

e A

B, determine E

e F

tomando
paralelas e pense!)
7.6.9 DEFINIC¸
˜
AO
Chamamos de baricentro de um triˆangulo o ponto de interse¸ c˜ao de suas medianas.
72 Dicesar Lass Fernandez
Cap´ıtulo 8
GEOMETRIA DOS POL
´
IGONOS
Gerolamo Saccheri (1667-1733), em seu livro L’Euclide Emendato de 1733, observa a
perfei¸ c˜ao dos Elementos de Euclides, apesar de alguns “ sen˜oes ”. Alguns desses sen˜oes (para
n´os, mas n˜ao certamente para Euclides!) aparecem a partir da interessante Proposi¸ c˜ao I.35
dos Elementos. At´e este ponto o sentido de igualdade era tomado como o de congruˆencia das
figuras geom´etricas em considera¸ c˜ao. Agora o conceito de igualdade precisa ser ampliado.
Por exemplo, existem pol´ıgonos que n˜ao s˜ao congruentes, n˜ao tem a mesma forma, mas
cont´em intuitivamente uma por¸ c˜ao equivalente do plano. Euclides, inclusive, usa a express˜ao
´areas paralelogrˆamicas sem a definir previamente. Este ´e o caso do triˆangulo e do retˆangulo
da figura abaixo

`
`
`
`
`
`

Figura 8.1
Vemos neste caso que uma decomposi¸ c˜ao do triˆangulo dado gera dois triˆangulos congruentes
aos triˆangulos que decomp˜oem o retˆangulo.
Precisamos, ent˜ao, emendar os Elementos nesses pontos. Na realidade, vamos apenas
introduzir a no¸ c˜ao de pol´ıgonos equivalentes e estudar algumas de sua propriedades. Depois
disso podemos retornar aos Elementos.
A Teoria da Equivalˆencia de pol´ıgonos parece ter tido in´ıcio com J.-M.-C. Duhamel
(1800-1888), em um apˆendice de seus M´ethodes dans les Sciences du Raisonnement (pp.
445-450). A id´eia foi posteriormente desenvolvida por diversos autores
1
.
1
Ver Faifofer (1890) [17], De Paolis (1884) [34], Veronese (1900) [43], Halsted (1911) [21], Amaldi-Enriques
(1954) [9], Severi (1936) [41], Rey Pastor-Puig Adams (1960) [37], Hartshorne (2000) [23], etc.
73
74 Dicesar Lass Fernandez
8.1 Pol´ıgonos
8.1.1 DEFINIC¸
˜
AO
Um pol´ıgono ´e uma figura geom´etrica formada pela uni˜ao ordenada de segmen-
tos A
0
A
1
, A
1
A
2
,...,A
n
A
n+1
, denominados lados do pol´ıgono, onde os pontos A
0
,
A
1
,...,A
n
s˜ao distintos dois a dois mas A
0
= A
n+1
.
Um pol
´
igono ´e simples se as interse¸ c˜oes dos lados se restringem aos extremos.
8.1.2 DEFINIC¸
˜
AO
Um pol´ıgono ´e convexo se a reta determinada por dois de seus v´ertices consecutivos
deixa os demais v´ertices de um mesmo lado.
8.1.3 DEFINIC¸
˜
AO
O conjunto dos pontos internos de um pol´ıgono convexo ´e a interse¸ c˜ao dos semi-
planos determinados pelas retas que contˆem os lados do pol´ıgono, semiplanos estes
que s˜ao cada um no lado onde se encontram os demais v´ertices.
8.1.4 DEFINIC¸
˜
AO
Dois pol´ıgonos s˜ao adjacentes quando interceptam-se e a interse¸ c˜ao ´e um segmento
que n˜ao cont´em pontos internos dos pol´ıgonos.
8.1.5 DEFINIC¸
˜
AO
Soma de dois pol´ıgonos adjacentes ´e o pol´ıgono formado pela uni˜ao dos pol´ıgonos
dados, exceto os pontos internos do segmento interse¸ c˜ao - a adjacˆencia.
`
`
`
`
`

`
`
`
`
`

P
1

P
2
`
`
`
`
`

P
1
⊎ P
2

Figura 8.2
8.1.6 TEOREMA
Se P
1
e P
2
s˜ao pol´ıgonos convexos disjuntos, existe um pol´ıgono P

2
congruente a
P
2
tal que P
1
e P

2
s˜ao pol´ıgonos adjacentes.
Elementos de Geometria 75
A no¸ c˜ao de soma de pol´ıgonos adjacentes pode ser generalizada para pol´ıgonos ar-
bitr´arios.
8.1.7 DEFINIC¸
˜
AO
Um pol´ıgono P ´e soma de dois pol´ıgonos convexos arbitr´arios P
1
e P
2
se existem
pol´ıgonos convexos adjacentes P

1
e P

2
tais que P

1

= P
1
, P

2

= P
2
e
P

= P

1
⊎ P

2
.
Dizemos tamb´em que P
1
´e a diferen¸ ca de P e P
2
e escrevemos P \ P

2

= P
1
.
8.2 Teoria da Equivalˆencia
8.2.1 TRIANGULARIZAC¸
˜
AO DE POL
´
IGONOS
Um pol´ıgono P ´e triangulariz´avel em um conjunto de triˆangulos △
1
, ..., △
n
quando:
T1) dois triˆangulos △
j
e △
k
, j = k, n˜ao tˆem pontos internos em comum;
T2) todo ponto interno do pol´ıgono P ´e um ponto de um dos triˆangulos ou de seu
interior;
T3) todo ponto interior de uma triˆangulo △
j
´e tamb´em ponto interior do pol´ıgono.
8.2.2 DEFINIC¸
˜
AO
Dois pol´ıgonos P
1
e P
2
s˜ao equivalentes por triangulariza¸c˜ao, e escrevemos
P
1
≡ P
2
, se P
1
e P
2
podem ser triangulariz´aveis em um mesmo n´ umero de triˆangulos
de modo que a cada triˆangulo da primeira triangulariza¸ c˜ao corresponda um triˆangulo
congruente na segunda triangula¸ c˜ao, e vice versa.
8.2.3 DEFINIC¸
˜
AO
Dois pol´ıgonos P
1
e P
2
s˜ao equivalentes por soma se existem pol´ıgonos convexos
P, P

1
e P

2
, com P

1

= P

2
tais que P
1

= P ⊎ P

1
e P
2

= P ⊎ P

2
. Neste caso,
escrevemos
P
1
≡ P
2
.
PROPRIEDADE DE EQUIVAL
ˆ
ENCIA DA CONGRU
ˆ
ENCIA
Pol´ıgonos congruentes s˜ao equivalentes.
PROPRIEDADE REFLEXIVA
Todo pol´ıgono ´e equivalente a si mesmo, ou seja P ≡ P.
76 Dicesar Lass Fernandez
PROPRIEDADE SIM
´
ETRICA
Se um pol´ıgono ´e equivalente a outro, este segundo ´e equivalente ao primeiro, ou
seja P
1
≡ P
2
=⇒P
2
≡ P
1
.
PROPRIEDADE DE TRANSITIVIDADE DA EQUIVAL
ˆ
ENCIA
Pol´ıgonos equivalentes a um terceiro s˜ao equivalentes entre si.
A propriedades sim´etricas e transitivas implicam que pol´ıgonos equivalentes a um ter-
ceiro s˜ao equivalentes entre si.
PROPRIEDADE DE EQUIVAL
ˆ
ENCIA POR SUBTRAC¸
˜
AO
Se a pares de pol´ıgonos sendo subtra´ıdos pol´ıgonos equivalentes restam pol´ıgonos,
ent˜ao os pol´ıgonos dados s˜ao equivalentes.
PROPRIEDADE DE EQUIVAL
ˆ
ENCIA POR AGREGAC¸
˜
AO
Se a pares de pol´ıgonos sendo agregados pol´ıgonos equivalentes resultam pol´ıgonos
equivalentes, ent˜ao os pol´ıgonos dados s˜ao equivalentes.
8.2.4 TEOREMA
Dois pol´ıgonos s˜ao equivalentes por subtra¸ c˜ao se e somente se s˜ao equivalentes por
agrega¸ c˜ao.
8.3 Paralelogramos e Triˆangulos Equivalentes
Vamos, agora, nos ocupar de um teorema que corresponde `as Proposi¸ c˜oes I.35 e I.36
dos Elementos de Euclides.
8.3.1 TEOREMA (Proposi¸c˜oes I.35-36)
Dois paralelogramos, com base e altura relativa respectivamente congruentes, s˜ao
equivalentes.
Demonstra¸c˜ao. Sejam ABCD e EFGH paralelogramos com base AD e EF e alturas
relativas respectivamente congruentes.

£
£
£
£
£
£
£
£
£
£
£
£
C
C
C
C
C
C
C
C
C
C
C
C
A B
C D M L
E F
H G
Elementos de Geometria 77
Figura 8.3
Sobre AB consideremos o paralelogramo ABLM, congruente ao paralelogramo EFGH.
Como a distˆancia entre as duas paralelas EF e GH ´e igual `aquela das paralelas AB e DC,
o lado ML deste novo paralelogramo estar´a sobre a reta
←→
DC. Por outro lado, este mesmo
segmento ML, congruente a DC, estar´a em rela¸ c˜ao a DC em uma das seguintes posi¸ c˜oes :
a) ML e DC ter˜ao uma parte comum: D −M −C −L.
b) ML e DC s˜ao consecutivos com os extremos M e C coincidentes.
c) ML e DC n˜ao se interceptam e ML est´a sobre a semi-reta
−−→
DC (D −C −M −L).
Vamos demonstrar que nos trˆes casos os paralelogramos ABCD e ABLM s˜ao equiva-
lentes.
No primeiro caso os dois paralelogramos tˆem em comum o trap´ezio ABCM, enquanto
os triˆangulos AMD e BLC s˜ao congruentes porque os lados AD e AM s˜ao respectivamente
congruentes aos lados BC e BL, al´em disso DM e CL s˜ao tamb´em congruentes, pois re-
sultam da subtra¸ c˜ao de DL dos segmentos DC e ML, que s˜ao congruentes. Por isso, os
paralelogramos ABCD e ABLM resultam da uni˜ao do trap´ezio ABCM com os triˆangulos
AMD e BCL, respectivamente, que s˜ao portantos equivalentes. Como o paralelogramo
ABLM ´e congruente ao paralelogramo EFGH segue-se que EFGH ´e equivalente a ABCD.
Analogamente, no segundo caso (b) os mesmos

S
S
S
S
S
S
S
S
S
S
S
S
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
A B
C=M D L
E F
G H
Figura 8.4
paralelogramos s˜ao soma (uni˜ao) do triˆangulo comum ACB e os triˆangulos DAC e MBL,
respectivamente.
Resta o caso c), onde ML est´a no prolongamento de DC (no lado de C).

S
S
S
S
S
S
S
S
S
S
S
S
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
¡
A B
C D M L
E F
H G
Figura 8.5
78 Dicesar Lass Fernandez
Neste caso os triˆangulos ADM e BLC s˜ao congruentes. Os paralelogramos ABCD e ABML
resultam da subtra¸ c˜ao dos triˆangulos ADM e BCL do trap´ezio ABLD.
Para triˆangulos vale uma propriedade an´aloga `aquela dos paralelogramos e que tem
tamb´em importˆancia independente.
8.3.2 TEOREMA (Proposi¸c˜ao I.37)
Um triˆangulo, no qual foi tomado como base um lado arbitr´ario, ´e equivalente a um
paralelogramo com a mesma altura e metade da base.
Demonstra¸c˜ao. Consideremos o triˆangulo △ABC e fixemos como base o lado AB. Seja
D o ponto m´edio de AB e tracemos uma semi-reta com origem em D, contida no semi-
plano determinado por
←→
AB e que cont´em C, e paralela a AC. Esta semi-reta intercepta
necessariamente o lado CB, digamos, no ponto E. Ent˜ao, a semi-reta
−−→
DE intercepta a semi-
reta
←−−
CB. Por constru¸ c˜ao, a figura formada pelos pontos A, D, F e C ´e um paralelogramo,
cuja base ´e a metade da base do triˆangulo: CF

= DB.
/
/
/
/
/
/
/
/

@
@
@
@
@
@
@
@
A D B
E
C F
Figura 8.6
Para demonstrar o Teorema, basta observar que os triˆangulos △DBE e △CEF s˜ao congru-
entes. Por constru¸ c˜ao, os lados AD e CF s˜ao congruentes. A reta
←→
CB ´e transversal `as retas
paralelas
←→
AD e
←→
CF; logo os ˆangulos alternos internos ∠ECF e ∠EBD s˜ao congruentes.
Analogamente, a reta
←→
ED ´e transversal `as mesmas retas paralelas; logo os ˆangulos alternos
internos ∠CFE e ∠FDB s˜ao tamb´em congruentes. Logo, pelo crit´erio ˆ angulo-lado-ˆangulo
os triˆangulos △CEF e △FDB s˜ao congruentes. Como o trap´ezio ADFC ´e comum segue
que o triˆangulo △ABC e o paralelogramo ADEC s˜ao equivalentes.
8.3.3 COROL
´
ARIO (Proposi¸c˜ao I.38)
Dois triˆangulos de mesma base e mesma altura relativa s˜ao equivalentes.
Podemos estabelecer tamb´em as rec´ıprocas destas proposi¸ c˜oes. Triˆangulos equivalentes
de mesma base tem tamb´em a mesma altura relativa, ou ainda, triˆangulos equivalentes com um
mesmo lado tˆem tamb´em a mesma altura relativa.
Elementos de Geometria 79
EXERC
´
ICIO. Considere um triˆ angulo △ABC e os pontos m´edios E e F de AC e BC. Se G ´e
um ponto arbitr´ario do interior de AB, ent˜ao os triˆ angulos △ECF e △EGF s˜ ao equivalentes.
8.4 Transforma¸c˜ao de Retˆangulos
Desde que duas superf´ıcies equivalente podem ter a mesma extens˜ ao mas
formas diferentes (isto ´e, n˜ao serem congruentes), toda vez que dada uma superf´ıcie S con-
seguirmos de algum modo construir uma superf´ıcie S

equivalente a S, diremos que transfor-
mamos S em S

. Desta forma, o Teorema 8.3.1 mostra como se transforma um paralelogramo
arbitr´ario num retˆangulo: basta construir o retˆangulo que tem por lados um lado do par-
alelogramo e a altura relativa.
Analogamente, demonstramos que: quadrados equivalentes tˆem lados congruentes e, por-
tanto, s˜ao congruentes.
Vamos agora estabelecer um outro caso de transforma¸ c˜ao que conduzir´a a conseq¨ uˆencias
not´aveis. Para isso conv´em antes estabelecer o seguinte teorema.
8.4.1 TEOREMA DO GNOMON (Proposi¸c˜ao I.43)
Se por um ponto qualquer da diagonal de um retˆangulo tra¸ camos segmentos paralelos
aos lados, o retˆangulo dado fica dividido em quatro retˆangulos, e os situados nos lados
opostos da diagonal s˜ao equivalentes.
Demonstra¸c˜ao. Para vermos isso, consideremos um retˆangulo ABCD. Por um ponto ar-
bitr´ario E da diagonal BD, tra¸ camos as paralelas FG e HK aos lados CB e AB, respectiva-
mente. O retˆangulo dado fica assim dividido em quatro retˆangulos e queremos demonstrar
que os dois retˆangulos AFEH e EKCG, que figuram em lados opostos da diagonal, s˜ao
equivalentes.

A B
C D
F
G
H K
E
Figura 8.7
Os dois triˆangulos ABD e CBD, que resultam da divis˜ao do retˆangulo dado pela diagonal
DB, s˜ao congruentes. Analogamente, os triˆangulos HED e GDE, FBE e KEB (obtidos
pela divis˜ao dos retˆangulos HEGD e FBKE pela diagonal DB) s˜ao tamb´em congruentes,
respectivamente. Resulta manifesta, desta forma, a equivalˆencia dos retˆangulos AFEH e
80 Dicesar Lass Fernandez
EKCG, que obtemos dos triˆangulos congruentes ABD e CDB, subtraindo do primeiro os
triˆangulos HED e FBE, e do segundo os triˆangulos GDE e KEB.
8.4.2 TEOREMA (Proposi¸c˜ao I.44)
Sobre um segmento dado, existe um paralelogramo equivalente a um triˆangulo dado
e com um ˆangulo congruente a outro tamb´em dado.
8.4.3 TEOREMA (Proposi¸c˜ao I.45)
Dados um retˆangulo e um segmento, podemos determinar um segundo segmento,
de tal modo que o retˆangulo determinado por esses segmentos seja equivalente ao
retˆangulo dado.
Demonstra¸c˜ao. Para isso consideremos um retˆangulo ABCD e um segmento b = PQ;
tomamos ent˜ao, no prolongamento de um de seus lados, por exemplo DC, o segmento CE,
congruente ao segmento PQ dado.

A B F
D
C
E
K H G
h
b
Figura 8.8
Tra¸ camos o retˆangulo BCEF determinado pelos segmentos CE e CB. Seja K o ponto de in-
terse¸ c˜ao dos prolongamentos da diagonal CF do retˆangulo BCEF e do lado AD do retˆangulo
dado ABCD. Finalmente, consideramos o segmento KG paralelo ao segmento DE, e H e
G as interse¸ c˜oes das semi-retas
−−→
BC e
−→
EF com o segmento KG. Ent˜ao DK

= CH

= GE.
Portanto, HGEC ´e um paralelogramo equivalente a ABCD.
8.5 Euclides e o Teorema de Pit´agoras
Vamos, agora, tratar do conhecido Teorema de Pit´agoras. Este Teorema corresponde
`a Proposi¸ c˜ao I.47 dos Elementos de Euclides. Mas no texto de Euclides n˜ao encontramos
referˆencia ao nome de Pit´agoras.
8.5.1 TEOREMA DE EUCLIDES I.
Em todo triˆangulo retˆangulo ABC, o quadrado sobre um dos catetos ´e equivalente
ao retˆangulo determinado por sua proje¸ c˜ao sobre a hipotenusa e a pr´opria hipotenusa.
Elementos de Geometria 81
Demonstra¸c˜ao. Para isso consideremos um triˆangulo retˆangulo ABC, retˆangulo em A.
Sobre AB constru´ımos o quadradro ABDE.

`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
A
B C
D
E
F G
H
L
M
Figura 8.9
Por A tra¸ camos a perpendicular a BC e seja H a intersec¸ c˜ao da perpendicular com o cateto
BC. Em
−−→
AH seja G de modo que HG

= BC. Consideremos o retˆangulo HGFB que ´e
equivalente a BFGH. Prolongamos FB e GH at´e encontrar L e M no prolongamento de
DE.
Os △ABC e △DBL s˜ao congruentes, uma vez que AB

= DB e os ˆangulos

ABC e

DBL s˜ao tamb´em congruentes como complementares do mesmo ˆangulo

LBA. Temos em
particular LB

= BC e portanto LB

= BF.
O quadrado ABDE e o paralelogramo LBAM tˆem base comum BA e a mesma altura
relativa; logo s˜ao equivalentes. Tamb´em o retˆangulo BFHG e o paralelogramo ABLM s˜ao
equivalentes. Finalmente, como o quadrado ABDE ´e equivalente ao paralelogramo ABLM,
o qual ´e equivalente ao retˆangulo BFHG, segue-se que o quadrado sobre o cateto AB ´e equi-
valente ao retˆangulo BHGF.
8.5.2 TEOREMA DE PIT
´
AGORAS. (Proposi¸c˜ao I.47)
Em todo triˆangulo retˆangulo, o quadrado sobre a hipotenusa ´e equivalente `a soma
(agrega¸ c˜ao) dos quadrados sobre os dois catetos.
82 Dicesar Lass Fernandez
Demonstra¸c˜ao. Consideremos o triˆangulo △ABC, retˆangulo em A.
A
B H C
E G D

c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c c
Figura 8.10
Constru´ımos, sobre a hipotenusa BC e sobre os catetos AB e AC, os respectivos quadrada-
dos, nos lados opostos `as correspondentes bases.
Afirmamos que o quadrado BCDE ´e equivalente `a soma dos quadrados sobre os cate-
tos AB e AC. Para vermos isso, tra¸ camos do v´ertice A a perpendicular `a hipotenusa BC
em H que intercepta ED em G. Pelo Teorema anterior, os quadrados sobre os catetos AB e
AC s˜ao, respectivamente, equivalentes aos dois retˆangulos que resultam no quadrado sobre
a hipotenusa BC.
Elementos de Geometria 83
8.5.3 TEOREMA DE EUCLIDES II.
Em todo triˆangulo retˆangulo, o quadrado da altura relativa ao v´ertice do ˆangulo reto ´e
equivalente ao retˆangulo determinado pelas proje¸ c˜oes dos catetos sobre a hipotenusa.
Demonstra¸c˜ao. Para vermos isso, consideremos um triˆangulo △ABC arbitr´ario, retˆangulo
em A. Constru´ımos o quadrado ABDE sobre o cateto AB e o retˆangulo BHGF determi-
nado pela proje¸ c˜ao do cateto AB sobre a hipotenusa BC e o segmento BF congruente e
perpendicular `a hipotenusa BC.
`
`
`
`
`
`
`
`
`
`
`
`

F G
M L
B H C
A
D
E

c
c
c
c
c
c
c c
Figura 8.11
Sobre o segmento BF determinamos o ponto M de modo que BM

= BH; tomando a
paralela a BH passando por M, determinamos o ponto L. Ent˜ao BM

= HL e BMLH ´e
um quadrado.
Devemos demonstrar que o quadrado de lado AH ´e equivalente ao retˆangulo MFGL.
Para isso, aplicamos o Teorema de Pit´agoras no triˆangulo △ABH, retˆangulo em H. O
quadrado do cateto AH ´e equivalente `a diferen¸ ca do quadrado sobre a hipotenusa AB e do
quadrado BHLM. Mas o quadrado sobre AB, pelo Teorema de Euclides I, ´e equivalente ao
retˆangulo BHGF. Ent˜ao
(AB) ≡ (AH) ⊎ (BH)
e
(AB) ≡ ⊏⊐(BH, BF);
portanto
(AH) ≡ ⊏⊐(ML, LG),
como quer´ıamos demonstrar.
84 Dicesar Lass Fernandez
EXERC
´
ICIO. Em todo triˆ angulo equil´aletro, o quadrado sobre a altura ´e equivalente ao tr´ıplo
do quadrado sobre a metade do lado.
Vamos agora enunciar e demonstrar a rec´ıproca do Teorema de Pit´agoras.
8.5.4 TEOREMA (Proposi¸c˜ao I.48)
Em um triˆangulo, se o quadrado de um lado ´e equivalente `a soma dos quadrados dos
dois outros lados, ent˜ao o ˆangulo compreendido por estes lados ´e retˆangulo.
Demonstra¸c˜ao. Suponhamos que num triˆangulo △ABC o quadrado sobre AB seja equiv-
alente `a soma dos quadrados sobre AC e CB. Vamos mostrar que, necessariamente o ˆangulo

ACB ´e reto. Para isso, consideremos um segmento A

C

congruente a AC e um segmento
B

C

perpendicular a A

C

em C

, congruente a BC:
´
´
´
´
´
´
´
´
´
´
´
´
´
´
´
´
´
´
A C A

C

B B

Figura 8.12
Como AC

= A

C

e BC

= B

C

, vamos ter (AC) ≡ (A

C

) e (BC) ≡ (B

C

), e pelo
Teorema de Pit´agoras
(A

B

) ≡ (A

C

) ⊎ (C

B

) ≡ (AC) ⊎ (CB) ≡ (AB).
Logo, devemos ter A

B
′ ∼
= AB e os triˆangulos △ABC e △A

B

C

s˜ao congruentes; con-
seq¨ uentemente

ACB

=

A

C

B

e

ACB ´e portanto um ˆangulo reto.
Com a rec´ıproca do Teorema de Pit´agoras, Euclides encerra o Livro I de seus Elementos.
Cap´ıtulo 9
GEOMETRIA DAS
CIRCUNFER
ˆ
ENCIAS
9.1 Circunferˆencias
9.1.1 DEFINIC¸
˜
AO
Dados os pontos O e A, a circunferˆencia de centro O e raio OA ´e o conjunto:
{X ; OX

= OA}
Se Y ´e um ponto qualquer da circunferˆencia, ent˜ao OY denomina-se raio. Dois raios colin-
eares de uma circunferˆencia formam um diˆametro.
Um ponto ´e interior a uma circunferˆencia se for interior a algum diˆametro da circun-
ferˆencia. Os pontos que n˜ao s˜ao internos e n˜ao est˜ao na circunferˆencia s˜ao chamados de
pontos externos `a circunferˆencia.
Uma corda ´e um segmento determinado por dois pontos de uma circunferˆencia.
9.1.2 TEOREMA
Toda reta que cont´em o centro de uma circunferˆencia intercepta a circunferˆencia em
dois pontos distintos.
Demonstra¸c˜ao. Exerc´ıcio.
EXERC
´
ICIOS.
1) Demonstre que uma circunferˆencia tem infinitos pontos.
2) Demonstre que Int(C), o conjunto dos pontos internos de uma circunferˆencia C, ´e convexo.
3) Demonstre que os pontos internos de uma corda de uma circunferˆencia s˜ ao tamb´em pontos
internos da circunferˆencia.
85
86 Dicesar Lass Fernandez
9.2 Propriedades Elementares
9.2.1 LEMA
Seja C uma circunferˆencia de centro O, A ∈ C e B ∈ C tais que A = B. Ent˜ao
existe um ponto C ∈ C oposto a A por
←→
OB, tal que

AOB

=

BOC.
Demonstra¸c˜ao. Considere o ponto B

∈ C tal que B

− O − B. Agora existem triˆangulos
is´osceles com base B

B nos dois lados de
←−→
B

B, com os terceiros v´ertices, digamos X e Y .
A reta
←→
XY cont´em o centro O e forma ˆangulos retos com o segmento B

B. Se A ∈
←→
XY
basta tomar C ∈
←→
XY de modo que A − O − C e AO

= CO. Sen˜ao, o ponto A ´e interior,
digamos, ao ˆangulo

XOB e portanto

XOA ≺

XOB. Como

XOB

=

BOY , existe um ponto
C interior ao ˆangulo

BOY tal que

XOA

=

Y OC, o que implica a tese.
9.2.2 PROPOSIC¸
˜
AO
Sejam C e C

circunferˆencias com centros O e O

e raios OA e O

A

, respectivamente.
Se C = C

ent˜ao O = O

. Em outras palavras, o centro de uma circunferˆencia est´a
unicamente determinado.
Demonstra¸c˜ao. Suponhamos que O = O

e consideremos a reta
←−→
O

O. Como esta reta
cont´em o centro O, a reta deve interceptar a circunferˆencia C em dois pontos C e D, de
modo que C − O − D e OC

= OD. Agora, como C = C

, ent˜ao os pontos C e D est˜ao
tamb´em em C

; logo O

C

= O

D.
Suponhamos que C−O−O

. Neste caso devemos ter O−O

−D (por quˆe?). Portanto,
OC ≺ O

C

= O

D ≺ OD,
o que ´e uma contradi¸ c˜ao, uma vez que OC

= OD.
Os caso C −O

−O e O −C −O

ficam como exerc´ıcio.
9.2.3 TEOREMA
Trˆes pontos distintos em uma circunferˆencia s˜ao n˜ao-colineares.
Demonstra¸c˜ao. Suponhamos que A, B e C sejam pontos distintos de uma circunferˆencia
de centro O. Al´em disso, suponhamos por absurdo que sejam colineares. Neste caso, temos
A−B−C, A−C −B ou B−A−C. Vamos examinar o caso em que A−B−C, os demais
s˜ao an´alogos. Como O ´e o centro da circunferˆencia, ent˜ao
AO

= BO

= CO.
Note que dois pontos quaisquer dentre A, B e C n˜ao podem ser colineares com O devido
ao Axioma Fundamental da Congruˆencia. Logo, existem os triˆangulos △AOB, △AOC e
△BOC e s˜ao is´osceles. Portanto

OAB

=

OBA,

CAO

=

ACO e

OBC

=

OCB.
Elementos de Geometria 87
Conclu´ımos ent˜ao que

OAB

=

OBC, contradizendo o Teorema do
ˆ
Angulo Externo.
OBSERVAC¸
˜
AO. A quest˜ao natural se trˆes pontos n˜ao-colineares determinam uma circun-
ferˆencia ser´a respondida no Teorema 9.5.3. Entretanto, a unicidade desta quest˜ao ´e dada
pelos seguintes lemas e teorema.
9.2.4 TEOREMA (Proposi¸c˜ao III.10)
Duas circunferˆencias distintas possuem no m´aximo dois pontos em comum.
Demonstra¸c˜ao. Suponhamos que C
1
∩ C
2
cont´em trˆes pontos distintos A, B e C. Sejam
O
1
e O
2
os centros de C
1
e C
2
, respectivamente. Se O
1
= O
2
, ent˜ao C
1
∩ C
2
= ∅ no caso
O
1
A O
2
A, sen˜ao C
1
n˜ao seria distinta de C
2
. Agora, se O
1
= O
2
, do Teorema 6.2.2 temos
que
←−→
O
1
O
2
´e mediatriz de AB, BC e CA, cujos pontos m´edios denotaremos por L, M e
N, respectivamente. Pelo Lema 1.6.4 os pontos L, M e N s˜ao n˜ao-colineares, o que ´e uma
contradi¸ c˜ao. Logo, as circunferˆencias C
1
e C
2
podem ter no m´aximo dois pontos em comum.
9.3 Retas Tangentes a Circunferˆencias
9.3.1 DEFINIC¸
˜
AO
Dizemos que uma reta t ´e tangente a uma circunferˆencia C se a reta t intercepta
C em um ´ unico ponto. Dizemos, tamb´em, que uma circunferˆencia C
1
´e tangente a
outra circunferˆencia C
2
se C
1
e C
2
tˆem um ´ unico ponto em comum.
O seguinte teorema mostra a existˆencia de retas tangentes a circunferˆencias dadas.
9.3.2 TEOREMA
Seja C uma circunferˆencia de centro O e raio OA. Se uma reta t forma um ˆangulo
reto com o raio OA no ponto A, ent˜ao essa reta ´e tangente `a circunferˆencia C. Al´em
disso, o conjunto de pontos t \ {A} est´a no exterior da circunferˆencia dada.
Demonstra¸c˜ao. Seja B ∈ t, B = A. Ent˜ao o triˆangulo △OAB ´e retˆangulo em A, o que
implica ser o ˆangulo em B menor que um ˆangulo reto (Teorema do
ˆ
Angulo Externo). Logo,
o lado OB ´e maior que o lado OA e B ∈ C. Portanto, a reta t intercepta C somente no
ponto A e conseq¨ uentemente ´e uma reta tangente `a circunferˆencia dada.
´
E natural colocar-se a quest˜ao sobre a rec´ıproca desse Teorema.
9.3.3 TEOREMA
Toda reta tangente a uma dada circunferˆencia ´e perpendicular a um raio.
88 Dicesar Lass Fernandez
Demonstra¸c˜ao. Seja C uma circunferˆencia de centro O e t uma reta tangente a C em
um ponto A. Suponhamos, por absurdo, que t n˜ao seja perpendicular ao raio OA. Pelo
Teorema anterior, existe uma perpendicular `a reta t, passando pelo centro O. Seja B o
ponto de interse¸ c˜ao dessa perpendicular com a reta tangente t.
.
.
.
.
.
.
.
.
.
.
..

t
A
B
C
O
Figura 9.1
Seja C um ponto sobre t, no semi-plano oposto ao ponto A determinado pela reta
←→
OB,
tomado de modo que BA

= BC. Ent˜ao, os triˆangulos △BOA e △BOC s˜ao congruentes.
Logo, OA

= OC e C ∈ C ∩ t. Mas, isto ´e uma contradi¸ c˜ao, pois A = C e t, por ser tangente,
intercepta a circunferˆencia C em um ´ unico ponto.
9.3.4 COROL
´
ARIO
Toda circunferˆencia admite em cada ponto uma e ´ unica tangente.
Demonstra¸c˜ao. Exerc´ıcio.
EXERC
´
ICIO. Defina circunferˆencia tangentes. Sejam C
1
e C
2
duas circunferˆencias tangentes.
Demonstre que as retas tangentes as circunferˆencias, no ponto de tangˆencia, coincidem.
9.4 Um Axioma Fundamental e Aplica¸c˜oes
Certas propriedades e aplica¸ c˜oes envolvendo circunferˆencias exigem que um novo ax-
ioma seja assumido. Este axioma vai nos permitir construir triˆangulos equil´ateros e demon-
strar a existˆencia de tangentes a uma circunferˆencia por pontos externos.
9.4.1 AXIOMA
Uma circunferˆencia C, de centro O, que cont´em um ponto interno A e um ponto
externo B de outra circunferˆencia C

, de centro O

, tem um ponto em comum com
a outra circunferˆencia em cada lado de
←−→
O

O.
Elementos de Geometria 89
C’
B A
O O´
C
Figura 9.2
A primeira aplica¸ c˜ao do Axioma Fundamental ser´a a constru¸ c˜ao de triˆangulos equil´ateros.
9.4.2 DEFINIC¸
˜
AO
Um triˆangulo ´e equil´atero se todos os seus lados s˜ao congruentes.
9.4.3 TEOREMA (Proposi¸c˜ao I.1)
1
Se AB ´e um segmento qualquer, ent˜ao existe um triˆangulo equil´atero do qual AB ´e
um lado, em qualquer semi-plano fechado onde a reta
←→
AB seja a fronteira.
Demonstra¸c˜ao. Dado um segmento AB, consideremos as circunferˆencias de C
1
e C
2
de
centros nos pontos A e B, respectivamente, e ambas com raio AB.
A B
C
Figura 9.3
Os triˆangulos △ACB e △ADB s˜ao claramente equil´ateros.
Outra conseq¨ uˆencia ´e o fato de que todo triˆangulo pode ser inscrito em uma circun-
ferˆencia.
1
G. W. Leibniz (1646-1716) parece ter sido o primeiro a observar que a Proposi¸ c˜ao I.1 dos Elementos
dependia de fatos n˜ao explicitados por Euclides.
90 Dicesar Lass Fernandez
9.4.4 TEOREMA (Proposi¸c˜ao III.1)
Se A, B e C s˜ao pontos n˜ao colineares, existe uma e somente uma circunferˆencia
que passa por A, B e C.
Demonstra¸c˜ao Pelo Teorema 9.2.4 n˜ao existem duas circunferˆencias atrav´es de A, B, C.
Seja M o ponto m´edio de AB e N o ponto m´edio de BC. Ent˜ao seja
←−→
MY a reta mediatriz
de AB e
←→
NZ a reta mediatriz de BC. Temos que
←−→
MY intercepta
←→
NZ em um ponto X, pois
se n˜ao encontrasse, ter´ıamos
←→
NZ //
←−→
MY , o que pelo Teorema 6.4.9 implicaria
←→
AB//
←→
BC e
logo
←→
AB =
←→
BC, contrariando a hip´otese. Como
←−→
MY ´e reta mediatriz de AB e X ∈
←−→
MY , pela
Teorema 6.2.4 temos AX

= BX, e do mesmo modo BX

= CX. Logo AX

= BX

= CX e
os pontos A, B e C pertencem `a circunferˆencia de centro X e raio AX.
Um resultado importante, mas que n˜ao deixa de ser um corol´ario do Teorema 7.7.3, ´e
a seguinte extens˜ao do Teorema do
ˆ
Angulo Externo.
9.4.5 TEOREMA
Se um triˆangulo tem um lado coincidindo com o diˆametro de uma circunferˆencia e o
v´ertice oposto pertence `a circunferˆencia, ent˜ao o triˆangulo ´e retˆangulo nesse v´ertice.
Demonstra¸c˜ao. Consideremos um triˆangulo △ABC inscrito em uma circunferˆencia e tal
que o lado AB ´e um diˆametro. Seja O o centro dessa circunferˆencia e consideremos o raio
OC. Consideremos, tamb´em, um ponto D tal que D −C −B.
D
A O B
C
Figura 9.4
Ent˜ao os ˆangulos

ACB e

DCA s˜ao suplementares. Vamos demonstrar que

ACB

=

DCA.
Temos, por um lado, que

DCA

=

CAB+

ABC. Por outro lado, como os triˆangulos △ACO
e △COB s˜ao is´osceles, temos

CAB

=

ACO e

OCB

=

ABC. Deste modo

ACB

=

ACO +

OCB

=

CAB +

ABC

=

DCA
e portanto o ˆangulo

ACB ´e congruente com um de seus suplementares. Logo ´e um ˆangulo
reto, como quer´ıamos demonstrar.
Como uma conseq¨ uˆencia, dessa extens˜ao do Teorema do
ˆ
Angulo Externo, podemos
demonstrar a existˆencia de tangente a uma circunferˆencia que passa por um ponto externo.
Elementos de Geometria 91
9.4.6 TEOREMA
Dados uma circunferˆencia e um ponto externo, existe uma tangente `a circunferˆencia
que passa pelo ponto dado.
Demonstra¸c˜ao. Consideremos uma circunferˆencia C com centro O e seja P um ponto ex-
terno a essa circunferˆencia. Seja M o ponto m´edio do segmento OP. Ent˜ao a circunferˆencia
dada e a circunferˆencia de centro M e raio OM interceptam-se em dois pontos. Seja N o
ponto de interse¸ c˜ao em um dos semi-planos determinados pela reta
←→
OP.
N
O
M
P
Figura 9.5
O triˆangulo △ONP ´e um triˆangulo inscrito na segunda circunferˆencia da qual o lado OP ´e
um diˆametro. Ent˜ao, o triˆangulo △ONP ´e retˆangulo em N. Consequentemente, a reta
←→
NP
´e perpendicular ao raio ON da circunferˆencia dada e ´e portanto uma reta tangente.
O seguinte teorema, al´em de intuitivo, tem importantes aplica¸ c˜oes.
9.4.7 TEOREMA
Se uma reta r intercepta o interior de uma circunferˆencia C, com centro O, ent˜ao
intercepta C em dois pontos pertencentes a lados opostos em rela¸ c˜ao a perpendicular
`a reta r pelo centro O.
Demonstra¸c˜ao. Seja I ∈ r ∩ IntC. Ent˜ao se P ´e a interse¸ c˜ao da perpendicular `a reta
r por O, temos P ∈ C. Donde OP ´e menor que o raio da circunferˆencia C. Seja O

o
ponto da perpendicular no lado oposto a O e tal que OP

= O

P. A circunferˆencia C

, de
centro O

e mesmo raio que C, cont´em um ponto interno e um ponto externo de C. Logo,
C e C

se interceptam em dois pontos Q e Q

pertencentes a lados opostos a O

O. Como
△OPQ

= △O

PQ, segue-se que
←−→
Q

Q ´e perpendicular a
←−→
O

O em P. Pela unicidade da
perpendicular por um ponto, segue-se que Q, Q

∈ r ∩ C.
.
Na demonstra¸ c˜ao do Teorema de Pit´agoras transformamos um quadrado em um retˆangulo
equivalente. Vale um resultado rec´ıproco, que ressalta a importˆancia do Teorema acima.
92 Dicesar Lass Fernandez
9.4.8 TEOREMA
Todo retˆangulo pode ser transformado em um quadrado equivalente.
1
a
¯
Demonstra¸c˜ao. Seja ABCD un retˆangulo arbitr´ario. Consideremos neste retˆangulo
um dos lados maiores, digamos CD.
G
A B
C D
E
F
Figura 9.6
Determinamos H em DC de modo que DA

= DH e descrevemos a semicircunferˆencia com
diˆametro DC. Levantamos uma perpendicular a DC por H at´e encontrar a semicircun-
ferˆencia em E. O segmento DE ´e o lado de um quadrado equivalente ao retˆangulo dado.
De fato, o triˆangulo △DCE ´e retˆangulo em E, pois um dos lados coincide com o diˆametro
e o v´ertice oposto pertence `a circunferˆencia. O Teorema de Euclides I garante, ent˜ao, que o
quadrado sobre o cateto DE ´e equivalente ao retˆangulo determinado pela proje¸ c˜ao do cateto
DE sobre a hipotenusa DC e a pr´opria hipotenusa, isto ´e, ao retˆangulo ABCD.
2
a
¯
Demonstra¸c˜ao. Consideremos novamente um retˆangulo ABCD e suponhamos que o
lado DC seja um dos lados maiores. Prolonguemos DC at´e E de modo que CE

= CB.
Descrevemos ent˜ao a semicircunferˆencia
E
A B
C
D
H
M
Figura 9.7
Elementos de Geometria 93
com diˆametro DE e a perpendicular a DE passando por C at´e encontrar a semicircunferˆencia
em F. O segmento CF ´e o lado do quadrado equivalente ao retˆangulo ABCD. De fato, o
triˆangulo △DEF retˆangulo em F ´e, pelo Teorema de Euclides II, equivalente ao retˆangulo
determinado pelos segmentos DC e CE, ou seja, o retˆangulo dado ABCD.
94 Dicesar Lass Fernandez
Cap´ıtulo 10
PROPORC¸
˜
OES E APLICAC¸
˜
OES
A no¸ c˜ao de propor¸ c˜ao e suas aplica¸ c˜oes ´e postergada por Euclides para os Livros V e VI
dos Elementos. No Livro V ´e desenvolvida uma teoria abstrata para grandezas. No entanto,
como observou Beppo Levi em seu Leyendo a Euclides
1
e posteriormente por Benno Art-
mann
2
, existe uma teoria de propor¸ c˜oes impl´ıcita e aflorando j´a no Livro I dos Elementos.
Esta teoria estabelece as ferramentas necess´arias para o estudo das semelhan¸ cas e, al´em
disso, n˜ao se limita a problemas de comensurabilidade.
10.1 Teoria das Propor¸c˜oes
10.1.1 DEFINIC¸
˜
AO
Diremos que segmentos a, b, c e d, nesta ordem, est˜ao em propor¸c˜ao se e somente
se
⊏⊐(a, d) ≡ ⊏⊐(b, c)
e neste caso escrevemos
a : b :: c : d.
Em outras palavras
a : b :: c : d ⇐⇒ ⊏⊐(a, d) ≡ ⊏⊐(b, c).
10.1.2 TEOREMA (Propriedade Invertendo - Proposi¸c˜ao V.5)
1
A primeira edi¸ c˜ao do livro de Beppo Levi ´e de 1947.
2
B. Artmann, A proof for Theodorus’ theorem by drawing diagrams. Journal of Geometry, 49(1994),
3-35.
95
96 Dicesar Lass Fernandez
a : b :: c : d ⇐⇒b : a :: d : c.
Demonstra¸c˜ao. Da defini¸ c˜ao temos
⊏⊐(a, d) ≡ ⊏⊐(b, c)
e, das propriedades de equivalˆencia
⊏⊐(b, c) ≡ ⊏⊐(a, d).
Portanto obtemos
b : a :: d : c.
A rec´ıproca ´e an´aloga.
10.1.3 TEOREMA (Proposi¸c˜ao V.9)
a : b :: c : d e b

= d =⇒a

= c.
Demonstra¸c˜ao. Como a : b :: c : d e b

= d, temos
⊏⊐(a, d) ≡ ⊏⊐(b, c) ≡ ⊏⊐(d, c) ≡ ⊏⊐(c, d),
ou seja a

= c, como quer´ıamos.
10.1.4 TEOREMA (Propriedade Sim´etrica)
a : b :: c : d ⇐⇒c : d :: a : b.
Demonstra¸c˜ao. Como a : b :: c : d, por defini¸ c˜ao temos
⊏⊐(a, d) ≡ ⊏⊐(b, c),
⊏⊐(b, c) ≡ ⊏⊐(a, d),
e tamb´em
⊏⊐(c, b) ≡ ⊏⊐(a, d).
Ou seja
c : d :: a : b.
A rec´ıproca ´e an´aloga.
10.1.5 TEOREMA (Propriedade Reflexiva)
a : b :: a : b.
Elementos de Geometria 97
Demonstra¸c˜ao. A afirmativa segue da identidade
⊏⊐(a, b) ≡ ⊏⊐(b, a),
a qual ´e assegurada pelo Teorema do Gnomon.
10.1.6 TEOREMA (Propriedade Transitiva - Proposi¸c˜ao V.11)
a : b :: c : d e c : d :: e : f =⇒ a : b :: e : f .
Demonstra¸c˜ao. Como ⊏⊐(a, d +f ) ≡ ⊏⊐(c +e, b),
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
a
b
c
d
e
f
Figura 10.1
segue-se que
⊏⊐(a, f ) ≡ ⊏⊐(e, b),
e portanto
a : b :: e : f ,
como quer´ıamos.
10.1.7 TEOREMA (Proposi¸c˜ao V.5)
a : b :: c : d ⇐⇒a : b :: nc : nd.
Demonstra¸c˜ao. Se n ´e um inteiro positivo, temos
⊏⊐(a, nd) ≡ n ⊏⊐(a, d) ≡ n ⊏⊐(b, c) ≡ ⊏⊐(b, nc).
Logo
a : b :: nc : nd.

98 Dicesar Lass Fernandez
10.1.8 TEOREMA (Propriedade Alternando - Proposi¸c˜ao V.16)
a : b :: c : d ⇐⇒a : c :: b : d.
Demonstra¸c˜ao. As equivalˆencias
⊏⊐(a, d) ≡ ⊏⊐(b, c) ≡ ⊏⊐(c, b)
implicam a : c :: b : d. A rec´ıproca ´e an´aloga.
10.1.9 TEOREMA (Propriedade Componendo - Proposi¸c˜ao V.18)
a : b :: c : d =⇒(a +b) : b :: (c +d) : d.
Demonstra¸c˜ao. Como a : b :: c : d, temos
⊏⊐(a, d) ≡ ⊏⊐(c, b),
e portanto
⊏⊐(a, d) + ⊏⊐(b, d) ≡ ⊏⊐(c, b) + ⊏⊐(d, b),
donde
⊏⊐(a +b, d) ≡ ⊏⊐(c +d, b) ≡ ⊏⊐(b, c +d),
o que implica a tese.
10.1.10 TEOREMA (Propriedade Separando - Proposi¸c˜ao V.17)
Se a ≻ b e c ≻ d, ent˜ao
a : b :: c : d =⇒(a \ b) : b :: (c \ d) : d.
Demonstra¸c˜ao. Como a : b :: c : d, temos
⊏⊐(a, d) ≡ ⊏⊐(b, c).
Mas a

= b + (a \ b) e c

= d + (c \ d). Ent˜ao
⊏⊐(b, d) + ⊏⊐(a \ b, d) ≡ ⊏⊐(b, d) + ⊏⊐(c \ d, b).
Cancelando ⊏⊐(b, d) obtemos
⊏⊐(a \ b, d) ≡ ⊏⊐(c \ d, b) ≡ ⊏⊐(b, c \ d),
ou seja
(a \ b) : b :: (c \ d) : d,
Elementos de Geometria 99
como quer´ıamos demonstrar.
10.1.11 TEOREMA (Propriedade ex-aequali - Proposi¸c˜ao V.22)
a : b :: a

: b

e b : c :: b

: c

=⇒ a : c :: a

: c

.
Demonstra¸c˜ao. Como
a : b :: a

: b

=⇒a : a

:: b : b

e
b : c :: b

: c

=⇒b : b

:: c : c

a Propriedade Transitiva implica
a : a

:: c : c

,
e alternando obtemos a afirma¸ c˜ao.
OBSERVAC¸
˜
AO. A teoria de propor¸ c˜oes que apresentamos, ainda que bastante intuitiva,
´e restrita `a classe dos segmentos de retas. Euclides, no Livro V de seus Elementos, exp˜oe
uma teoria de propor¸ c˜oes, associada ao nome de Eud´oxio, para uma classe muito ampla de
grandezas, mesmo deixando impl´ıcito esse conceito
3
. A defini¸ c˜ao de Eud´oxio ´e a seguinte:
grandezas A, B, C e D est˜ao em propor¸ c˜ao, nesta ordem, quando dados n´ umeros (naturais)
m e n, as seguintes condi¸ c˜oes estiverem satisfeitas:
P1) se mA ≺ nB ent˜ao tamb´em mC ≺ nD;
P2) se mA ≻ nB ent˜ao tamb´em mC ≻ nD;
P3) se mA

= nB ent˜ao tamb´em mC

= nD;
Esta defini¸ c˜ao, apesar de muito ´ util para associar n´ umeros a geometria, ´e pouco intuitiva.
Sup˜oe-se que originou-se no estudo de problemas ligados `a Astronomia
4
.
10.1.12 TEOREMA (Existˆencia da Quarta Proporcional - Proposi¸c˜ao VI.12)
Dados trˆes segmentos a, b e c, existe um quarto segmento x tal que
a : b :: c : x.
Demonstra¸c˜ao. Fa¸ camos a

= GK, b

= KF e c

= KI. Vamos transformar o retˆangulo
⊏⊐(GK, KF) em um retˆangulo com base KI. Para isso, prolongamos o lado GK at´e um
ponto I de modo que o segmento KI seja a base pretendida:
3
Um estudo completo de grandezas e propor¸ c˜oes encontra-se no trabalho de F. Beckman, Neue Gesicht-
spunkte zum 5. Buch Euklidis. Arch. Hist. Ex. Sci. 4(1967), 1-144.
4
Consulte o trabalho de R. C. Riddel, Eudoxan mathematics and eudoxan spheres. Arch. Hist. Ex.
Sci. 20(1979), 1-19.
100 Dicesar Lass Fernandez
G K
F D
I
Figura 10.2
Completamos o retˆangulo ⊏⊐(KI, KF) com v´ertice J. Encontramos {A} = DG ∩ KJ. A
paralela a
←→
DF por A encontra
←→
FK em E e
←→
IJ em H.
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
A
G
D
E
K
F
H
I
J
x
a
b
c
x = HI
Figura 10.3
Obtivemos a Figura 10.3, acima. Agora, a Proposi¸ c˜ao I.43 garante que o retˆangulo ⊏⊐(GK, FK)
foi transformado num retˆangulo equivalente ⊏⊐(EH, HI), de base pr´e-fixada KI. A quarta
proporcional procurada ´e o segmento x

= HI.
10.2 A Divis˜ao em Extrema e M´edia Raz˜ao
A divis˜ao de um segmento em extrema e m´edia se¸ c˜ao pode ser feita em termos da
teoria das propor¸ c˜oes.
10.2.1 TEOREMA (da Divis˜ao em Extrema e M´edia Raz˜ao - Proposi¸c˜ao VI.30)
Um ponto H divide um segmento AB em extrema e m´edia se¸ c˜ao se e somente se
AB : AH :: AH : HB.
Demonstra¸c˜ao. Se H divide o segmento AB em extrema e m´edia se¸ c˜ao, por defini¸ c˜ao temos
(AH) ≡ ⊏⊐(HB, AB).
Elementos de Geometria 101
Figura 10.4
A defini¸ c˜ao de propor¸ c˜ao e a rec´ıproca da Proposi¸ c˜ao I.43 implicam, ent˜ao, a assertiva.
10.3 O Incentro de um Triˆangulo
Para o estudo da semelhan¸ ca de triˆangulos ser´a fundamendal a no¸ c˜ao de incentro de
um triˆangulo e sua propriedade b´asica.
10.3.1 TEOREMA
As bissetrizes dos ˆangulos internos de um triˆangulo se encontram em um ´ unico ponto,
chamado incentro. Al´em disso, as distˆancias do incentro a cada um dos lados do
triˆangulo s˜ao congruentes.
Demonstra¸c˜ao. Seja I a interse¸ c˜ao das bissetrizes dos ˆangulos

CAD e

ACB. Tra¸ camos os
segmentos IE, IF e ID perpendiculares aos lados AB, BC e CA, respectivamente.
Figura 10.5
102 Dicesar Lass Fernandez
Os triˆangulos △IAE e △IAD s˜ao congruentes (por quˆe?); logo IE

= ID. Da mesma
forma, os triˆangulos △IDC e △IFC s˜ao congruentes. Logo ID

= IF. A transitividade
da congruˆencia implica ent˜ao IE

= IF. Isto garante que os triˆangulos △IFB e △IEB
s˜ao congruentes. Finalmente, conclu´ımos que

EBI

=

IBF e portanto a semi-reta
−→
BI ´e a
bisseriz do ˆangulo

ABC e passa por I.
10.4 Semelhan¸ca de Triˆangulos
10.4.1 DEFINIC¸
˜
AO
Triˆangulos △ABC e △A

B

C

s˜ao semelhantes se

ABC ≡

A

B

C

;

ACB ≡

A

C

B

e

CAB ≡

C

A

B

.
Lados opostos aos ˆangulos congruentes s˜ao chamados correspondentes ou hom´ologos.
Vamos mostrar que cortando-se um triˆangulo por uma reta paralela a um dos lados,
formamos um segundo triˆangulo semelhante ao primeiro.
10.4.2 LEMA
Seja △ABC um triˆangulo retˆangulo emB, e consideremos um segmento EF paralelo
a BC e com A −E −B e A −F −C.

A B
C
E
F
Figura 10.6
Ent˜ao
AE : EF :: AB : BC.
Demonstra¸c˜ao. Os triˆangulos △AEF e △CE

F

s˜ao congruentes; vemos que
⊏⊐(IC, CG) ≡ ⊏⊐(BC, CE

).
Elementos de Geometria 103

A B
C
E
F
D
E

F

G
H
I
Figura 10.7
Como IC

= AB, CG

= EF, CE
′ ∼
= AE e EF

= CG, segue-se o resultado procurado.
10.4.3 TEOREMA
Triˆangulos semelhantes tˆem seus lados hom´ologos proporcionais.
Demonstra¸c˜ao. Consideremos dois triˆangulos semelhantes △ABC e △A

B

C

. Vamos
demonstrar que
AB : A

B

:: AC : A

C

, AB : A

B

:: BC : B

C

e AC : A

C

:: BC : B

C

.
Para isso denotemos por I e I

os respectivos incentros desses triˆangulos, ID, IE e IF e
I

D

, I

E

e I

F

as distˆancias aos respectivos lados.
Figura 10.8
Os triˆangulos △ADI e △IDB s˜ao respectivamente semelhantes aos triˆangulos △A

D

I

e
△I

D

B

. Pelo Lema anterior, segue-se que
AD : ID :: A

D

: I

D

e DB : ID :: D

B

: I

D

,
104 Dicesar Lass Fernandez
donde
AB : ID :: A

B

: I

D

.
Analogamente,
BC : IE :: B

C

: I

E

e
AC : IF :: A

C

: I

F

.
Como ID

= IE

= IF e I

E
′ ∼
= I

F
′ ∼
= I

D

, obtemos finalmente as propor¸ c˜oes procuradas.

O Teorema de Tales
Podemos agora estabeler o teorema dos segmentos proporcionais, tamb´em conhecido
como Teorema de Tales.
10.4.4 TEOREMA DE TALES (Proposi¸c˜ao VI.2)
Duas secantes paralelas determinam sobre os lados de um ˆangulo, a partir de sua
origem, quatro segmentos proporcionais.
Demonstra¸c˜ao. Consideremos um ˆangulo

POQ e duas paralelas
←→
AC e
←→
BD cortando o
ˆangulo dado, conforme a Figura (i) abaixo.
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
O
A
B
C
D
P Q
Figura 10.9(i)
/
/
/
/
/
/
/
/
/
/
/
/
/
/
/
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\

O
A
B
C
D
D

Figura 10.9(ii)
P Q
Os triˆangulos determinados △AOC e △BOD s˜ao semelhantes e a afirma¸ c˜ao segue do Teo-
rema 10.4.3.
10.4.5 TEOREMA REC
´
IPROCO.
Se nos lados de um ˆangulo tomamos quatro segmentos proporcionais, todos com um
extremo no v´ertice do ˆangulo, seus outros extremos determinam retas paralelas.
Elementos de Geometria 105
Demonstra¸c˜ao. Consideremos o ˆangulo

POQ conforme a Figura (ii) acima, e OA, OB,
OC e OD os segmentos proporcionais, ou seja, segmentos em
−→
OP e
−→
OQ tais que
OA : OB :: OC : OD.
Tomando o ponto D

em
−→
OQ de modo que AC ´e paralelo a BD

. Ent˜ao, pelo Teorema 10.4.4
temos
OA : OB :: OC : OD

.
Agora, a Propriedade Transitiva das propor¸ c˜oes implica
OC : OD :: OC : OD

.
Mas ent˜ao OD

= OD

e portanto D = D

. Portanto as retas
←→
AC e
←→
BD s˜ao paralelas, como
quer´ıamos demonstrar.
10.4.6 TEOREMA
Dois triˆangulos s˜ao semelhantes, entre lados proporcionais, tˆem ˆangulos congruentes.
Demonstra¸c˜ao. Segue-se diretamente dos Teoremas anteriores.
10.5 O Teorema de Pit´agoras
O Teorema de Pit´agoras tamb´em pode ser tratado no contexto da teoria das propor¸ c˜oes.
10.5.1 TEOREMA DE PIT
´
AGORAS (Proposi¸c˜ao VI.8 e Corol´ario)
Em todo triˆangulo retˆangulo, o quadrado sobre a hipotenusa ´e equivalente `a soma
dos quadrados sobre os catetos.
Demonstra¸c˜ao. Consideremos um △ABC retˆangulo em C, e denotemos por D o p´e da
altura relativa ´a hipotenusa AB. Determinamos assim dois triˆangulos △ADC e △CDB,
retˆangulos em D.

A D
C
B
Figura 10.10
106 Dicesar Lass Fernandez
Os triˆangulos △ABC, △ADC e △CDB s˜ao semelhantes. Logo
AC : AD :: AB : AC e CB : DB :: AB : CB.
Portanto
(AC) ≡ ⊏⊐(AD, AB) e (CB) ≡ ⊏⊐(DB, AB).
Agregando termo a termo obtemos
(AC) +(CB) ≡ ⊏⊐(AD, AB) + ⊏⊐(DB, AB) ≡ (AB)
e vemos que o quadrado sobre a hipotenusa AB ´e equivalente `a soma dos quadrados sobre
os catetos AC e CB, como quer´ıamos demonstrar. .
Cap´ıtulo 11
PONTOS E N
´
UMEROS REAIS
Um fato geralmente aceito sem discuss˜ao ´e aquele que estabelece uma correspondˆencia
entre pontos de uma reta e n´ umeros reais. Entretanto, longe de ser trivial este fato exige
uma demonstra¸ c˜ao longa e envolvente. Vamos dedicar este Cap´ıtulo a fazer esta demon-
stra¸ c˜ao. Como os resultados aqui dependem apenas do Cap´ıtulo 2, algums resultados dos
cap´ıtulos posteriores ser˜ao repetidos com demonstra¸ c˜oes independentes, inclusive o Axioma
Arquimediano aqui ser´a um teorema.
11.1 O Axioma de Continuidade
Para podermos estabelecer uma correspondˆencia biun´ıvoca entre os pontos de uma reta
e os n´ umeros reais precisamos admitir mais um axioma.
AXIOMA DE CONTINUIDADE
Para toda classe C, n˜ao vazia, de segmentos contidos em um segmento fixo, existe
um segmento J
0
tal que
A) I J
0
, qualquer que seja o intervalo I da classe dada;
B) se J
1
´e tamb´em um segmento tal que I J
1
, qualquer que seja o segmento I,
na classe dada, ent˜ao J
0
J
1
.
O segmento J
0
denomina-se supremo da classe dada e denota-se por sup C.
Uma primeira aplica¸ c˜ao do Axioma de Continuidade ´e o seguinte. Dados pontos U e
O em uma semi-reta
−−→
CD, U = C coloca-se a (importante) quest˜ao de saber se para algum
n, suficientemente grande, vamos ter O ∈ nCU. Esta quest˜ao tem resposta afirmativa e
constitui o Princ´ıpio Arquimediano.
1
1
A tradi¸ c˜ao denomina esta propriedade de arquimediana. Mas os Elementos de Euclides s˜ ao mais antigos
que a obra de Arquimedes e Euclides j´a faz uso dessa propriedade.
107
108 Dicesar Lass Fernandez
PRINC
´
IPIO ARQUIMEDIANO
Dada uma semi-reta
−−→
CD e os pontos U e O em
−−→
CD, U = C, existe um inteiro n
tal que O ∈ nCU.
Demonstra¸c˜ao. Se CO CU, n˜ao h´a o que demonstrar. Se CU ≺ CO, suponhamos por
absurdo que
nCU CO,
para todo n ∈ N. Desta forma, a fam´ılia de segmentos
F := { nCU ; n ∈ N}
´e n˜ao vazia e limitada superiormente. Seja J o segmento supremo desta fam´ılia.
´
E claro que
o segmento J \ CU n˜ao ´e um limitante superior. Portanto, existe m ∈ N tal que
J \ CU ≺ mCU,
donde
J ≺ (m+ 1) CU.
Ent˜ao J n˜ao seria o supremo da fam´ılia F, o que ´e uma contradi¸ c˜ao.
11.2 Divis˜ao de um Segmento
O Axioma de Continuidade garante a divis˜ao de um segmento em um n´ umero arbitr´ario
de partes congruentes. Vamos come¸ car dimidiando um segmento, isto ´e, mostranto a ex-
istˆencia do ponto m´edio de um segmento arbitr´ario agora usando o Axioma de Continuidade.
11.2.1 DEFINIC¸
˜
AO
O ponto m´edio M de um segmento AB ´e um ponto que verifica as condi¸ c˜oes
A −M −B e AM

= MB.
11.2.2 TEOREMA (Proposi¸c˜ao I.10)
Todo segmento AB admite um ´ unico ponto m´edio.
Demonstra¸c˜ao. Consideremos a classe de segmentos
{ AC ; A −C −B e AC ≺ CB}.
Esta classe ´e n˜ao vazia e limitada superiormente. Seja AD o segmento supremo. Pela Lei
da Tricotomia, devemos ter
(i) AD ≺ DB ou (ii) DB ≺ AD ou (iii) AD

= DB.
Elementos de Geometria 109
Suponhamos que vale (i). Existe um ponto E, D − E − B, tal que AD

= EB. Existe
tamb´em um ponto F, D − F − E, tal que AF ≺ FB; ou seja, existe um segmento AF na
classe considerada tal que AD ≺ AF, o que ´e absurdo.
Suponhamos que vale (ii). Aqui tamb´em somos levados a um absurdo.
Portanto, resta somente a alternativa (iii): AD

= DB; ou seja, D ´e o ponto m´edio do
segmento AB.
11.2.3 COROL
´
ARIO
Dados n ∈ N e um segmento AB, existe um ponto G, A −G−B, tal que
2
n
AG

= AB.
Demonstra¸c˜ao. Segue por indu¸ c˜ao e o Teorema do Ponto M´edio.
11.2.4 TEOREMA
Dado n ∈ N, n ≥ 2, e um segmento AB, existe um ponto D, A −D −B, tal que
nAD

= AB.
Demonstra¸c˜ao. Como n > 1, existe m ∈ N tal que n = m + 1. Consideremos, ent˜ao, o
conjunto
{ AC ; A −C −B, mAC ≺ CB}.
Pelo Corol´ario acima, existe um ponto C, A − C − B, tal que 2
m+2
AC

= AB; segue-se
ent˜ao que (m + 1)AC ≺ AB e mAC ≺ CB. Logo, o conjunto em considera¸ c˜ao ´e n˜ao vazio
e limitado superiormente. Seja AD seu supremo. Temos
(i) mAD ≺ DB ou (ii) DB ≺ mAD ou (iii) mAD

= DB.
Supondo que vale (i), existe E, D−E −B, tal que EB

= mAD. Se M ´e o ponto m´edio do
segmento DE, existe um ponto F, D −F −M, tal que
2
m
DF

= DM.
Logo,
mAF

= mAD +mDF mAD + 2
m
DF

= mAD +DM.
Por outro lado, existe um ponto G, M − G − E, tal que GE

= DF. Logo, 2
m
GE

= ME.
Tamb´em, como DM

= ME, vamos ter
mAF mAD +mDF ≺ EB +DM

= EB +ME ≺ FB,
o que ´e absurdo, uma vez que AD ≺ AF e AF pertence ao conjunto o qual tem AD por
supremo.
Se vale (ii) somos tamb´em conduzidos a uma contradi¸ c˜ao. Portanto, pela Lei da
Tricotomia, deve valer (iii), ou seja mAD

= DB. Consequentemente,
nAD

= mAD +AD

= AD +DB

= AB,
o que demonstra a assertiva.
110 Dicesar Lass Fernandez
11.3 Produto de N´ umeros Racionais por Segmentos
O produto de um n´ umero natural n por um segmento arbitr´ario I ´e definido indutiva-
mente: (i) definimos 1 I :

= I, (ii) supomos defindo o produto nI, (iii) definimos
(n + 1) I :

= nI +I.
Vamos ter (demonstrando por indu¸ c˜ao) que
(mn) I = m(nI) = n(mI).
Vale tamb´em a propriedade
mI

= nI ⇐⇒m = n.
Por outro lado, vimos na se¸ c˜ao anterior o seguinte:
Dado um segmento arbitr´ario I e um n´ umero natural q, existe um segmento I
q
tal que
q I
q

= I.
Definimos ent˜ao
1
q
I :

= I
q
.
Agora, considerando o segmento I
q
e dado s ∈ N, existe um outro segmento I
qs
tal que
s I
qs

= I
q
. Logo
qs I
qs

= q I
q

= I,
ent˜ao
I
qs

=
1
qs
I e
1
s
(
1
q
I)

=
1
s
I
q

= I
qs
;
donde
1
s
(
1
q
I)

=
1
qs
I

=
1
sq
I

=
1
q
(
1
s
I).
Tamb´em, se p e q ∈ N, temos
q(p I
q
)

= (qp) I
q

= p(q I
q
)

= p I
e portanto
p(
1
q
I)

= p I
q

=
1
q
(p I).
Definimos, ent˜ao
p
q
I :

= p (
1
q
I)

= (
1
q
I).
Observe que
p
q
foi definido como um operador na classe dos segmentos do espa¸ co eu-
clidiano.
´
E o operador divide por q e multiplica por p.
Elementos de Geometria 111
Vamos, agora, estudar as propriedades do operador
p
q
.
Se m ∈ N, temos
p
q

=
mp
mq
.
De fato, como q I
q

= I, ent˜ao (mq) I
q

= m(q I
q
)

= mI. Donde
I
q

=
1
mq
(mI)
e
p
q
I

= p I
q

= p(
1
mq
(mI))

=
1
mq
(pmI)

=
mp
mq
I.
11.3.1 TEOREMA
Se (p, q) e (p

, q

) s˜ao dois pares de n´ umeros naturais, ent˜ao
p
q
=
p

q

⇐⇒pq

= p

q.
Demonstra¸c˜ao. Seja I um segmento arbitr´ario e suponhamos que pq

= p

q. Ent˜ao vamos
ter
p
q
I

=
pq

qq

I

=
p

q
qq

I

=
p

q

I.
Reciprocamente, se
p
q
I =
p

q

I,
ent˜ao
qq

(
p
q
I) = qq

(
p

q

I),
e
pq

I = p

q I.
Donde, pelo observado acima, segue-se que pq

= p

q.
´
E importante notar que a “fra¸ c˜ao”
a
b
foi definida como um operador que atua sobre segmen-
tos.
11.3.2 PROPOSIC¸
˜
AO
Se (p, q) e (r, s) s˜ao pares de n´ umeros naturais, temos
p
q
+
r
s
=
ps +qr
qs
.
112 Dicesar Lass Fernandez
Demonstra¸c˜ao. Se I ´e um segmento arbitr´ario, ent˜ao
p
q
I +
r
s
I

=
ps
qs
I +
rq
qs
I

= ps(
1
qs
I) +rq(
1
qs
I)

= (ps +rq)(
1
qs
I)

=
ps +rq
qs
I.
.
Vale tamb´em uma identidade para o produto. Mas este deve ser interpretado como
composi¸ c˜ao de operadores.
11.3.3 PROPOSIC¸
˜
AO
Se (p, q) e (r, s) s˜ao pares de n´ umeros naturais, temos
p
q

r
s
=
pr
qs
.
Demonstra¸c˜ao. Se I ´e um segmento arbitr´ario, ent˜ao
r
s

p
q
I

=
r
s
(
p
q
I)

= r(
1
s
(p(I
q
)))

= r(p(
1
s
(I
q
)))

= rp(
1
qs
I)

=
rp
qs
I.
.
11.3.4 COROL
´
ARIO
Para todo par de n´ umeros naturais, temos
p
q

q
p
= Id.
Finalmente, se r ∈ Q
+
, r = [(p, q)], definimos
r I :=
p
q
I.
Esta defini¸ c˜ao independe do representante (p, q) de r, como vimos acima.
Elementos de Geometria 113
11.4 Se¸c˜oes de Dedekind
11.4.1 DEFINIC¸
˜
AO
Uma se¸c˜ao no subconjunto Q
+
, dos n´ umeros racionais positivos, ´e um subconjunto
α ⊂ Q que verifica as seguintes condi¸ c˜oes:
(S1) α ´e n˜ao vazio: α = ∅;
(S2) α ´e limitado superiormente: existe b ∈ Q
+
tal que a ≤ b, para todo a ∈ α;
(S3) α n˜ao tem elemento m´aximo: para cada a ∈ α, existe a

∈ α tal que a < a

;
(S4) se a ∈ α e b ∈ Q
+
, mas b < a, ent˜ao b ∈ α.
NOTAC¸
˜
AO.
Denotaremos por R
+
o conjunto de todas as se¸ c˜oes em Q
+
OBSERVAC¸
˜
AO. Os elementos de R
+
, ou seja as se¸ c˜oes em Q
+
, podem ser chamados de
n´ umeros reais positivos.
EXEMPLO.
ρ := { x ∈ Q
+
; x
2
< 2 }
´e uma se¸ c˜ao em Q
+
. De fato:
i) ρ = ∅, pois 1 ∈ ρ;
ii) ρ ´e limitado superiormente: se x ∈ ρ ent˜ao x < 2;
iii) ρ n˜ao tem elemento m´aximo, pois se x = p/q ∈ ρ existe n ∈ N tal que y = x + 1/nq ∈ ρ
e x < y (verifique a existˆencia de n ∈ N);
iv) se x ∈ ρ e y ∈ Q
+
, com y < x, ent˜ao y
2
< x
2
< 2, ou seja y ∈ ρ.
As condi¸ c˜oes (S1)-(S4) s˜ao portanto verificadas e ρ ´e uma se¸ c˜ao em Q
+
.
EXERC
´
ICIO. Se α ´e uma se¸ c˜ao e n ∈ N, mostre que o conjunto nα := { na ; a ∈ α} tamb´em ´e
uma se¸ c˜ao, em Q
+
.
11.5 Se¸c˜oes Definidas por Pares de Segmentos
11.5.1 TEOREMA
Se I e J s˜ao segmentos arbitr´arios, o subconjunto
α := { r ∈ Q
+
; rI ≺ J }
´e uma se¸ c˜ao em Q
+
.
114 Dicesar Lass Fernandez
Demonstra¸c˜ao. O Princ´ıpio Arquimediano garante isso. (S1): o conjunto α ´e n˜ao vazio,
pois se I ≺ J basta tomar r = 1; se J I, existe n ∈ N tal que I ≺ nJ, basta ent˜ao tomar
r = 1/n. (S2): o mesmo argumento mostra que α ´e limitado superiormente. (S3): seja
r ∈ α, arbitr´ario; existe n ∈ N tal que I ≺ n(J \ rI), ou seja existe n tal que (r +1/n)I ≺ J
e portanto α n˜ao tem elemento m´aximo. (S4): se r ∈ α e s ∈ Q
+
s˜ao tais que s < r, ent˜ao
sI ≺ rI ≺ J,
e portanto s ∈ α. Como as condi¸ c˜oes (S1), (S2), (S3) e (S4) da defini¸ c˜ao de se¸ c˜ao est˜ao
satisfeitas, segue-se que α ´e uma se¸ c˜ao.
11.6 Pontos e N´ umeros Reais
11.6.1 TEOREMA
Quaisquer que sejam os segmentos I e J, as seguintes assertivas s˜ao equivalentes:
A) α = { r ∈ Q
+
; rI ≺ J };
B) J = sup{ rI ; r ∈ α}.
Demonstra¸c˜ao. A) =⇒ B). J´a mostramos que α ´e uma se¸ c˜ao. Pelo Axioma da Con-
tinuidade, o conjunto
J
0
= sup{ rI ; r ∈ α}
´e um segmento bem definido. Vamos ter J
0
J. Suponhamos que a desigualdade seja
estrita: J
0
≺ J. Ent˜ao existe n ∈ N tal que
I ≺ n(J \ J
0
).
Por defini¸ c˜ao, e para o n acima, existe r ∈ Q
+
tal que
J
0
≺ r I +
1
n
I ≺ J
0
+ (J \ J
0
) = J.
Desta forma, ter´ıamos r+1/n ∈ α, o que contradiz o fato de J
0
ser o supremo. Logo, J
0
= J.
B) =⇒ A). Seja α uma se¸ c˜ao e suponhamos que
J = sup{ r I ; r ∈ α}.
Fa¸ camos
α
0
:= { r ∈ Q
+
; r I ≺ J }.
Vamos mostrar que α = α
0
. Como α ´e uma se¸ c˜ao, α n˜ao tem maior elemento; logo
r I ≺ J,
Elementos de Geometria 115
para todo r ∈ α, e ent˜ao α α
0
. Admitindo a desigualdade estrita, α ≺ α
0
, existiria r
0
∈ α
0
tal que r < r
0
, para todo r ∈ α. Logo
r I ≺ r
0
I ≺ J,
e portanto
sup{ r I ; r ∈ α} r
0
I ≺ J,
o que n˜ao ´e o caso. Logo α = α
0
.
11.6.2 TEOREMA
Existe uma correspondˆencia biun´ıvoca da classe R
+
, das se¸ c˜oes em Q
+
, sobre qual-
quer semi-reta.
Demonstra¸c˜ao. Fixemos um segmento arbitr´ario I. Seja s uma semi-reta de origem O.
Dada uma se¸ c˜ao α ∈ R
+
, a classe de segmentos
{ r I; r ∈ α}
´e limitada (por quˆe?). Logo existe um segmento J
α
tal que
J
α
= sup{ r I ; r ∈ α}.
Agora, pelo Axioma Fundamental da Congruˆencia, existe um ponto P
α
∈ s tal que
J
α

= OP
α
.
Consideremos a correspondˆencia
α ∈ R
+
−→P
α
∈ s.
Esta correspondˆencia ´e biun´ıvoca. De fato, seja β ∈ R
+
e suponhamos que
P
α
= P
β
.
Tomemos um segmento J
β

= OP
β
. Ent˜ao
{ r ∈ Q
+
; r I ≺ J
α
} = { r ∈ Q
+
; r I ≺ J
β
},
e pelo Teorema anterior temos α = β, logo a correspondˆencia ´e biun´ıvoca.
Seja agora Q ∈ s \ {O}, arbitr´ario. Fa¸ camos J

= OQ. Ent˜ao o conjunto
γ := { r ∈ Q
+
; r I ≺ J }
´e uma se¸ c˜ao e, al´em disso,
J = sup{ r I ; r ∈ γ }.
Logo, dado um ponto Q arbitr´ario em s existe um n´ umero real positivo γ tal que Q = Q
γ
.
116 Dicesar Lass Fernandez
BIBLIOGRAFIA
[1] B. ARTMANN, EUCLID - The Creation of Mathematics. Springer-Verlag, New York,
1999. (CLE-UNICAMP)
[2] Oskar BECKER, O Pensamento Matematico. Ed. Herder. S˜ao Paulo, 1965. (IFCH-
UNICAMP)
[3] Russel V. BENSON, Euclidean Geometry and Convexity. McGraw-Hill, New York 1966.
(IMECC-UNICAMP)
[4] Benedito CASTRUCCI, Fundamentos da Geometria. L.T.C. Editora S.A. S˜ao Paulo,
1978. (IMECC-UNICAMP/ETC.)
[5] J. N. CEDERBERG, A Course in Modern Geometries. Springer-Verlag, New York 1989.
(IMECC-UNICAMP)
[6] M. AMOROSO COSTA, As Id´eias Fundamentais da Matem´atica. Ed. Grijalbo Ltda. &
EDUSP, S˜ao Paulo 1971. (IMECC/CLE-UNICAMP/ETC.)
[7] J.-M.-C. DUHAMEL, Des M´ethodes dans les Sciences de Raisonnement. Gauthier-
Villars. Paris, 1875. (UMDL)
[8] Alberto DOU, Fundamentos de la Matem´atica. Ed. Labor, Barcelona 1970. (IMECC-
UNICAMP)
[9] F. ENRIQUES & U. AMALDI, Elementi di Geometrie: ad uso delle Scuol Secondaire
Superiore. Nicola Zanichelli Ed. Bologna 1954. (LEM/IMECC-UNICAMP)
[10] F. ENRIQUES. Gli Elementi d’Euclide e la Critica Antica e Moderna. Vol. I-II. E.
Alberto Stock. Roma 1925 (UFRJ/IME-USP)
[11] H. EVES, Survey of Geometry. Allyn and Bacon, Boston 1972. (IMECC-UNICAMP)
[12] EUCLIDES, Elementos de Geometria de Euclides. Trad. e Notas J. D. Garcia Bacca.
UNAM, M´exico 1944. (IMECC-UNICAMP (Tombo X231))
[13] EUCLIDES, Elementos de Geometria. Trad. Rev. Anibal Faro (Baseado na Ed. de F.
Comandino) Ed. Cultura, S˜ao Paulo, 1945 (IME-USP).
[14] EUCLIDES, Elementos: Libros I-IV. Ed. Trad. e Notas por Maria P. L. Casta˜ nos. Ed.
Gredos. Madrid, 1991. (IFCH-UNICAMP)
[15] EUCLIDE, Les Oeuvres d’Euclid. (Trad. F. Peyrard 1804). Ed. Blanchard, Paris 1966.
(IME-USP)
[16] R. L. FABER, Foundations of Euclidean and Non-Euclidean Geometry. Marcel Dekker,
Inc. New York 1983. (IMECC-UNICAMP)
[17] Aureliano FAIFOFER, Elementi di Geometria. Tip. Emiliana. Venezia, 1890. (UMDL)
[18] H.G. FORDER. The Foundations of Euclidean Geometry. Cambridge Univ. Press.
Cambridge 1927. (IME-USP)
[19] Michael C. GEMIGNANI, Axiomatic Geometry. Addison-Wesley, Reading, Mass., 1971.
(IMECC-UNICAMP)
[20] M.J. GREENBERG, Euclidean and Non-Euclidean Geometry. W.H. Freeman and Co.
San Francisco 1974. (IMECC-UNICAMP)
[21] G.-B. HALSTED, Rational Geometry. (UMDL)
[22] G.-B. HALSTED, G´eom´etrie Rationnalle. Gauthier-Villars. Paris, 1911. (UMDL e
IME-USP)
Elementos de Geometria 117
[23] Robin HARTSHORNE, Geometry: Euclid and Beyond. Springer-Verlag, New York,
2000. (IMECC-UNICAMP)
[24] Thomas L. HEATH, The Thirteen Books of Euclid’s Elements, 3 Vols. Dover Pub., Inc.
New York, 1956. (IMECC/IFCH/IFGW-UNICAMP)
[25] David HILBERT, Foundations of Geometry. Open Court Pub. Co. Chicago, 1912.
(UMDL)
[26] David HILBERT, Grundlagen der Geometrie. 10
a
¯
Ed. (mit supplementen von P.
Bernays). B. G. Teubner. Stuttgart, 1968. (IFCH)
[27] David HILBERT, Fundamentos de la Geometria. Pub. Inst. “Jorge Juan” de Matem-
aticas. Madrid, 1953.
[28] W.R. KNORR, The Evolution of the Euclidean Elements. D. Reidel Pub. Co. Dordrecht
1975. (IMECC-UNICAMP)
[29] E. LANDAU, Foundation of Analysis. Chelsea. New York 1966. (IMECC-UNICAMP)
[30] A.-M. LEGENDRE,
´
El´ements de G´eometrie. Lib. Firmin Didot. Paris, 1852. (UMDL)
[31] Beppo LEVI, Leyendo a Euclides. Libros Zarzuelos. Buenos Aires, 2003.
[32] E. MENDELSON, Number System and Foundation of Analysis. (IMECC)
[33] Ian MUELLER, Philosophy of Mathematics and Deductive Structures in Euclid’s Ele-
ments. Cambridge: MIT c1981 (378p). (CLE-UNICAMP)
[34] Riccardo De PAOLIS, Elementi di Geometria. Ermano Loescher Ed. Torino, 1884.
(UMDL)
[35] Moritz PASCH, Vorlesungen ¨ uber neuere Geometrie. Teubner. Leipzig, 1882. (2
a
¯
edi¸ c˜ao
com notas de M. Dehn, 1926. Reprint: Springer-Verlag, Berlin, 1976.) (Bib. IME-USP -
UMDL)
[36] Giussepe PEANO, I Principii di Geometria Logicamente Esposti. Fratelli Bocca Editori.
Torino, 1889. (UMDL)
[37] J. REY PASTOR & P. PUIG ADAM, Elementos de Geometria Racional. Tomos I/II.
Madrid, 1960.
[38] Paul ROSSIER, Les Fondements de la G´eometrie de David Hilbert. (
´
Edition critique
avec introdution et complements.) Dunod Ed. Paris, 1971.
[39] G. SACCHERI, Euclide Emendato. Ulrico Hoepli Editori. Milano, 1904. (UMDL)
[40] Gert SCHUBRING, An´alise Hist´orica dos Livros de Matem´atica. Editores Associados.
Campinas, 2000. (FE-UNICAMP)
[41] Francesco SEVERI, Elementi di Geometria. Vallecchi Editora. Firenze. (ICMSC-USP)
[42] G. VERONESE, Fondamenti di Geometria. Padova, 1891. (IME/ICMSC-USP)
[43] G. VERONESE, Elementi di Geometria. Fratelli Drucker Lib. Ed. Verona, 1900.
(UMDL)
[44] Bernard VITRAC, Euclid, Les Elements. (4 vol.) Press Univ. de France. Paris, 1990.
(IFCH-UNICAMP)