Geometria Axiomática

COLEC
AO MATEM
ATICA CABEC A DE PROFESSOR

Dicesar Lass Fernandez
ELEMENTOS DE GEOMETRIA
A GEOMETRIA COMO ELA

E
Rascunho de uma Versao Preliminar 3.3
IMECC - UNICAMP
Mar co - 2006
Sumario
1 CONCEITOS FUNDAMENTAIS DA GEOMETRIA 1
1.1 Geometria Axiomatica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 No coes Primitivas da Geometria . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Primeiros Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 A No cao de Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Planos e suas Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Propriedades de Separa cao no Plano . . . . . . . . . . . . . . . . . . . . . . 9
1.7 Semi-retas e Propriedades de Separa cao . . . . . . . . . . . . . . . . . . . . . 13
2 GEOMETRIA DOS SEGMENTOS 17
2.1 Congruencia de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Confronto de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Soma de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4 Multiplica cao de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 CONGRU
ENCIA DE FIGURAS PLANAS 25

3.1 Congruencia de Figuras Planas . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Congruencia de Semi-Retas e Retas . . . . . . . . . . . . . . . . . . . . . . . 27
4 GEOMETRIA DOS

ANGULOS 29
4.1 No coes Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.2 Congruencia de Conjuntos Nao-Colineares . . . . . . . . . . . . . . . . . . . 31
4.3 Congruencia 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 Congruencia de Triangulos I . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Congruencia de Triangulos II . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.5 Congruencia de Triangulos III . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.6 Cancelamento de

Angulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.7 O Teorema do

Angulo Externo . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.8 Triangulos Isosceles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
i
ii SUM
ARIO
5.9 Dimidia cao de um Segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.10

Angulos Retos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.11 Triangulos Retangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6 GEOMETRIA DAS PERPENDICULARES 51
6.1 Retas Perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.2 Mediatrizes e Bissetrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.3 Distancia entre Ponto e Reta . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7 GEOMETRIA DAS PARALELAS 57
7.1 Retas Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.2 O Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.3 Consequencias do Axioma das Paralelas . . . . . . . . . . . . . . . . . . . . . 60
7.4 Quadrilateros, Paralelogramos e Quadrados . . . . . . . . . . . . . . . . . . . 62
7.5 Distancia entre Paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
7.6 Feixe de Paralelas e Transversais . . . . . . . . . . . . . . . . . . . . . . . . 65
8 GEOMETRIA DOS POL
IGONOS 73
8.1 Polgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8.2 Teoria da Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
8.3 Paralelogramos e Triangulos Equivalentes . . . . . . . . . . . . . . . . . . . . 76
8.4 Transforma cao de Retangulos . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8.5 Euclides e o Teorema de Pitagoras . . . . . . . . . . . . . . . . . . . . . . . . 80
9 GEOMETRIA DAS CIRCUNFER
ENCIAS 85
9.1 Circunferencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.2 Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
9.3 Retas Tangentes a Circunferencias . . . . . . . . . . . . . . . . . . . . . . . . 87
9.4 Um Axioma Fundamental e Aplica coes . . . . . . . . . . . . . . . . . . . . . 88
10 PROPORC

OES E APLICAC

OES 95
10.1 Teoria das Propor coes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
10.2 A Divisao em Extrema e Media Razao . . . . . . . . . . . . . . . . . . . . . 100
10.3 O Incentro de um Triangulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
10.4 Semelhan ca de Triangulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
10.5 O Teorema de Pitagoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
11 PONTOS E N
UMEROS REAIS 107

11.1 O Axioma de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
11.2 Divisao de um Segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
11.3 Produto de N umeros Racionais por Segmentos . . . . . . . . . . . . . . . . . 110
11.4 Se coes de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
11.5 Se coes Denidas por Pares de Segmentos . . . . . . . . . . . . . . . . . . . . 113
11.6 Pontos e N umeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Prefacio
Estas Notas de Aula pretendem ser uma exposi cao sobre a Geometria Elementar Plana
sob o ponto de vista Euclideano. Com isso queremos dizer que pretendemos fazer uma ex-
posi cao que contenha os resultados fundamentais dos Livros I-VI dos Elementos de Euclides,
principalmente do Livro I.
A geometria que vamos desenvolver sera baseada em um sistema de no coes 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 matematicos 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
razoes, sao os Grundlagen der Geometrie de David Hilbert. O presente texto foi fortemente
inuenciado 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 versao, procuramos cobrir principalmente o Livro I dos Elementos de Eu-
clides. Sempre que for o caso, indicamos a proposi cao dos Elementos que corresponde aos
resultados aqui enunciados. O leitor mais atento ira perceber que o sistema de axiomas
apresentado e super-abundante. A razao disso foi puramente didatica. A economia de ax-
iomas torna a exposi cao longa e bastante arida (vide Forder [18]). O Captulo 9 tem ainda
uma reda cao preliminar; e onde tratamos o delicado conceito de equivalencia de guras
geometricas. A teoria de equivalencia ira nos permitir estudar geometricamente o Teorema
de Pitagoras. No Captulo 10 continuamos usando a teoria de equivalencia, agora para estab-
elecer uma teoria geometrica de propor coes para segmentos.

E uma teoria bastante intuitiva
e adequada para o estudo do Teorema de Tales e semelhan ca de triangulos. Finalmente no
Captulo 11 contrumos a correspondencia entre pontos de uma (semi-) reta e os n umeros
reais (positivos) a qual leva a uma teoria da medida de guras geometricas.
Procuramos no texto postergar os resultados que dependem de axiomas mais polemicos.
Desta forma, resultados que dependem do Postulado das Paralelas sao discutidos somente
no Captulo 8. Tambem, a correspondencia entre pontos de uma reta e n umeros reais e
construda, como observamos acima, somente no Captulo 11 (em alguns livros essa corre-
spondencia e assumida como um axioma no primeiro captulo).
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 versoes futuras procu-
raremos cobrir partes dos Livros III e IV (com o objetivo de construir o pentagono regular)
e tratar dos problemas da exaustao e retica cao da circunferencia.
O presente texto nao pressupoem pre-requisitos, alem de uma certa maturidade matema-
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] sao excelentes introdu coes. Alem disso, e facil
encontrar as edi coes dos Elementos devidas a Garcia Bacca [12], Anibal Faro [13], Maria 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
podera consultar a exposi cao elementar de Greenberg [22] e ainda os livros de Cederberg [5]
e Gemignani [19]. A base geral do texto sao os livros de Forder [18] e de Enriques-Amaldi
[9]. Em portugues o unico livro de Geometria, na linha de Pasch, e o do Prof. Benedito
Castrucci [4] (mas consulte tambem o livro de Amoroso Costa [6]). No livro de Cederberg [5]
encontramos indica coes de outras linhas, completamente diferentes, para a fundamenta cao
da geometria. Uma, dessas outras linhas, e seguida por alguns autores brasileiros.
Na bibliograa, apos cada item, procuramos indicar a biblioteca na qual a referencia
podera ser encontrada. Uma serie 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 cao de 2003 e ainda uma edi cao francesa recente.
Captulo 1
CONCEITOS FUNDAMENTAIS
DA GEOMETRIA
1.1 Geometria Axiomatica
Toda sistematiza cao organica da geometria deve assentar-se necessariamente sobre funda-
mentos racionais de modo a evitar que, mesmo na aparencia, a geometria necessite de ideias
que sejam estranhas à Matematica. Exatamente por isso, e necessario apresentar claramente
suas premissas (aquilo que e colocado antes) e a metodologia de seu desenvolvimento.
Denir um conceito, representado por uma palavra ou por um smbolo, signica ex-
primir seu signicado com outras palavras ou smbolos dos quais conhecemos o sentido. Uma
deni cao nao e entao nada mais que uma identidade logica entre um conceito e outro, combi-
nados mediante algum processo fundamental do pensamento.

E manifesto, deste modo, que
nao e possvel denir todas as palavras necessarias para uma sistematiza cao da geometria.
Devemos, portanto, xar certas ideias primitivas que nao sao denidas e as quais supomos
que tenham um signicado claro. Dessas ideias nao podemos dar senao explica coes intuiti-
vas, ligadas a observa coes e sensa coes que se originam em um trabalho intelectual, complexo
ainda que espontaneo, de associa cao e de abstra cao. Essas ideias gozam de propriedades
basicas que se exprimem por meio de postulados. Alem disso, entram no desenvolvimento
racional da geometria tao somente por meio destas propriedades basicas, tambem chamadas
de axiomas, que se interrelacionam. Nisto consiste o metodo axiomatico.
O metodo axiomatico e um processo racional de sistematizar uma teoria matematica,
cujo modelo foi representado durante seculos pelos Elementos de Euclides. Para ser estab-
elecido e necessario um certo grau de organiza cao previa de conhecimentos, resultantes de
um conjunto de observa coes, objetos e fatos. Da, este metodo separa um pequeno con-
junto de objetos para os quais sao estabelecidos alguns conceitos e propriedades primitivas
(como os axiomas ou postulados) e estabelece entao proposi coes demonstradas ou deduzidas
utilizando-se princpios logicos. De incio, devemos entao deixar claro o que entendemos por
princpios logicos e por metodo axiomatico.
1
2 Dicesar Lass Fernandez
Antes de enunciarmos os princpios logicos, sobre os quais basearemos nossas dedu coes,
precisamos deixar claro o signicado de alguns termos.
Uma proposicao e uma senten ca declarativa a qual e excludentemente verdadeira ou
falsa.
Uma contradicao e uma proposi cao composta por uma proposi cao e sua nega cao.
Proposi coes sao formadas por termos ou conceitos. Termos ou conceitos sao ideias
gerais e abstratas, representando classes de indivduos que tem em comum qualidades ou
propriedades distintivas. O conjunto de tais qualidades constitui a compreensao do con-
ceito. O conjunto dos elementos que possuem tais qualidades constitui a extensao do
conceito. Assim a compreensao de um conceito sao os atributos que nao podem ser igno-
rados sem descaracteriza-los. Por exemplo, o conceito de tri angulo compreende tres lados,
tres angulos, etc. Por outro lado, no conceito de quadrilatero, os quadrados, os retangulos,
os trapezios, etc., fazem parte de sua exten cao.
Toda teoria cientca deve ser demonstrativa. Demonstracao ou deducao e um
processo discursivo que consiste em encadear logicamente proposi coes e chegar a uma
proposi cao nal. Este processo e discursivo porque vai de um proposi cao a outra, passando
eventualmente por varias intermediarias, e exige o uso de palavras. O encadeamento e logico
porque baseia-se em princpios logicos, como os seguintes.
PRINC
IPIO DA CONTRADIC
AO
Dadas duas proposi coes tais que uma delas e a nega cao da outra, uma delas e falsa.
PRINC
IPIO DO TERCEIRO EXCLU
IDO
Dadas duas proposi coes tais que uma e a nega cao da outra, entao uma delas e
verdadeira.
PRINC
IPIO DA DUPLA NEGAC
AO
A dupla nega cao de uma dada proposi cao e equivalente a proposi cao dada.
Teorema e uma proposi cao composta por proposi coes denominadas hipoteses (do teo-
rema), que denotamos por H), de uma outra proposi coes denominadas teses (do teorema),
que denotamos por T), deduzidas das proposi coes H) e das premissas (aquilo que foi colo-
cado antes), por meio de princpios logicos. Habitualmente, um teorema e resumido na forma
se H) entao T).
Estaremos interessados aqui no caso de uma teoria matematica, a geometria, que sera
desenvolvida pelo metodo axiomatico.
Elementos de Geometria 3
Por um metodo axiomatico (nao formal) de constru cao de uma teoria matematica
entendemos um processo que elenca uma lista de no coes ou termos primitivos (nao denidos
ou aceitos sem deni cao) e uma lista de axiomas contendo esses termos, dos quais os teoremas
da teoria devem ser deduzidos, segundo as regras de uma logica implcita. A teoria e desta
forma elaborada por um metodo axiomatico nao formal.
Na constru cao de tal teoria, adotamos o seguinte procedimento. Inicialmente, escol-
hemos um sistema de nocoes primitivas. Algumas vezes e desejavel (mas nao necessario)
que estas no coes tenham um sentido intuitivo. Um princpio b asico e que somente pode-
mos empregar outras no coes quando estiverem denidas em termos, direta ou indiretamente,
das no coes primitivas, previamente introduzidas. A seguir, um certo sistema de senten cas,
chamados axiomas ou postulados, e escolhido, no qual sao formuladas certas propriedades
das no coes primitivas. As proposi coes da teoria sao os axiomas, e aquelas senten cas as quais
sao consequencias logicas dos axiomas, deni coes e proposi coes previamente demonstradas:
os teoremas.
Algumas vezes, os axiomas devem formular de forma abstrata algumas rela coes existentes
entre objetos reais dos quais as no coes primitivas foram abstradas. No entanto, o sentido
intuitivo dos conceitos primitivos e dos axiomas nao deve jamais justicar qualquer con-
sequencia da teoria. Lembremos que a intui cao pode levar a erros grosseiros como aquele da
demonstra cao de que todos os triangulos sao equilateros.
Resumindo:
Os conceitos fundamentais ou termos primitivos, que sao introduzidos na teoria sem
que seja possvel den-los.
Os axiomas de base, que estabelecem uma certa regulamenta cao à quail serao submeti-
dos os termos primitivos.
As deni coes permitindo introduzir, à partir das premissas acima novas no coes .
Os axiomas complementares, necessarios para a adjun cao de novas no coes .
Os teoremas ou proposi coes que estabelecemos por meio de demonstra cao dedutiva.
Tambem, toda teoria axiomatica deve ser completa (todos os teoremas da teoria devem
ser conseq uencia dos axiomas elencados), consistente (os axiomas nao podem ser contra-
ditorios entre si) e independente (um axioma nao deve ser conseq uencia dos demais). No
entanto, a exigencia da independencia e muitas vezes relaxada, como o sera no que segue.
Na constru cao de uma teoria axiomatica utilizam-se outras teorias axiomaticas, as
quais sao pressupostas no seguinte sentido: todas as no coes primitivas dessas teorias pres-
supostas estao (muitas vezes implicitamente) includas no sistema axiomatico em constru cao.
Como regra geral entre essas teorias estao a logica matematica, a teoria dos conjuntos e a
aritmetica dos n umeros naturais (mas nao a aritmetica dos n umeros racionais e muito menos
dos n umeros reais!).
A no cao basica da teoria dos conjuntos e a no cao de pertinencia. O smbolo de per-
tinencia ocorre em formulas como x X, a qual se le x e um elemento do conjunto X, ou
x pertence ao conjunto X, ou ainda o conjunto X contem x (como um elemento).
Vamos presupor tambem a aritmetica dos n umeros naturais (inteiros positivos).
Uma teoria matematica nao se reduz ao metodo com que foi elaborada ou apresentada.
O metodo axiomatico pode ser visto como um meio de convencimento ou de argumenta cao.
Desta forma, podemos explicar o interesse pelo metodo axiomatico tanto entre os gregos
antigos como no que encontramos em meados do seculo XIX e incio do seculo XX, perodo
em que foi estabelecida a nova geometria.
1.2 Nocoes Primitivas da Geometria
Consideremos duas classes de objetos: pontos e segmentos, e a rela cao de per-
tinencia entre esses objetos: um ponto pertence a um segmento.
Os conceitos dos objetos ponto e segmento sao primitivos, nao-denidos. Um segmento
e concebido como um conjunto de pontos.
Da mesma forma, a rela cao de pertinencia tambem e primitiva, nao denida.
1.3 Primeiros Axiomas
Vamos assumir que os pontos e segmentos de retas, que estamos considerando como
no coes primitivas, vericam os seguintes axiomas de pertinencia, tambem chamados de
axiomas de incidencia.
AXIOMA 0.
O conjunto dos pontos contem pelo menos dois pontos distintos e segmentos sao
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 contem 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, tambem, que um ponto
interno esta entre
1
os pontos que determinaram o segmento.
NOTAC

AO. Se A e B sao pontos, o segmento por eles determinado sera 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 à F. Bolya, ja 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 cao primitiva.
AXIOMA IV.
Se C e um ponto interno ao segmento determinado pelos pontos A e B, entao A
nao 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 entao o
segmento determinado pelos pontos A e C esta 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 arbitrario, distinto de C, e nao pertence ao
segmentos determinado por A e C nem ao segmento determinado por C e B, entao
nao pertente ao segmento dado, determinado pelos pontos A e B.
AXIOMA VII.
Se A, B, C e D sao pontos distintos dados de modo que B e interno aos segmentos
determinados por A e C e A e D entao 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 entao A e um ponto interno ao segmento determinado pelos pontos C e
D.
1.3.2 PROPOSIC

AO
Se A e B sao pontos distintos, entao
AB = { X ; X = A ou A X B ou X = B}.
EXERC
ICIO. Reescreva os Axiomas acima usando as nota coes AB para o segmento determinado
por A e B, e AX B para ponto interno ao segmento AB.
1.3.3 PROPOSIC

AO
AB = BA.
Demonstracao. Pelo Axioma I, dois pontos distintos determinam apenas um segmento.
1.3.4 COROL
ARIO
A X B B X A.
EXERC
ICIO.
Sejam A. B e C pontos tais que AB C. Demonstre que AB BC = AC e AB BC = {B}.
1.4 A Nocao de Reta
Para introduzirmos a no cao de reta vamos precisar de mais um axioma, o qual vai
garantir que todo segmento pode ser estendido indenidamente.
AXIOMA IX.
Se A e B sao 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 sao pontos distintos, entao existe um ponto D tal que
D A B.
Estamos agora em condi coes de introduzir a no cao 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 arbitraria, existe pelo menos um ponto nao pertencente a esta reta.
1.4.3 DEFINIC

AO
Diremos que tres pontos distintos sao nao-colineares se nao pertencerem a uma
mesma reta. Caso contrario, diremos que sao colineares.
1.4.4 PROPOSIC

AO
Se C e D sao dois pontos distintos em uma reta

AB, entao

AB e

CD coincidem.
Demonstracao. As identidades
AB =
AC =
CD
seguem imediatamente da deni cao de reta.
1.4.5 COROL
ARIO
Duas retas distintas tem no maximo um ponto em comum.
1.4.6 PROPOSIC

AO
Existem tres retas distintas nao concorrentes (isto e, tres retas que nao passam por
um unico ponto).
Demonstracao. Exerccio.
1.4.7 PROPOSIC

AO
Para todo ponto existe pelo menos uma reta que nao o contem.
1.4.8 PROPOSIC

AO
Existem pelo menos duas retas distintas que passam por cada ponto dado.
1.5 Planos e suas Propriedades
Tres pontos distintos determinam um plano. Vamos dar um sentido preciso a essa
expressao.
1.5.1 DEFINIC

AO
O triangulo determinado por tres pontos nao colineares A, B e C e o conjunto,
denotado por (ABC), denido por
(ABC) := AB BC CB.
1.5.2 DEFINIC

AO
Sejam tres pontos A, B e C, distintos e nao colineares. O plano determinado
pelos pontos A, B e C, que sera denotado por (ABC), e o conjunto formado
pelos pontos X contidos em alguma reta determinada por dois pontos distintos do
triangulo (ABC).
1.5.3 PROPOSIC

AO
Se E, F e G sao tres pontos, distintos e nao colineares, pertencentes a um plano
(ABC), entao o plano (EFG) coincide com o plano dado:
(ABC) = (EFG).
Em outras palavras, um plano nao depende dos pontos que o determinam.
Demonstracao. Se E e nao-colinear com A e B entao
(ABC) = (ABE).
Deste fato segue a arma cao
2
.
1.5.4 PROPOSIC

AO
Se uma reta tem dois pontos contidos em um plano, entao esta totalmente contida
no plano.
Demonstracao. Sejam E e F dois pontos de uma reta r, pertencentes a um plano (ABC).
Se A r entao (ABC) = (AEF) e a assertiva segue da deni cao de plano.
1.6 Propriedades de Separacao no Plano
No que segue vamos supor que os pontos, segmentos, retas e triangulos que conside
-rarmos estarao todos contidos em um mesmo plano , xado mas arbitrario.
1.6.1 DEFINIC

AO
2
A demonstra cao detalhada, apesar de nao ser difcil, e longa.
Dada uma reta r, consideremos pontos A e B nao pertencentes a r. Se A = B, ou
se o segmento AB nao intercepta a reta r, diremos que A e B estao no mesmo
lado de r. Por outro lado, se AB intercepta r, diremos que A e B estao 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 estao de um mesmo lado da reta r, e na Figura 1.2(ii), os
pontos A e B estao em lados opostos.
AXIOMA DE SEPARAC

AO
Para toda reta r e quaisquer pontos A, B e C nao pertencentes a r, postulamos que:
A) se A e B estao do mesmo lado de r e tambem B e C estao do mesmo lado de
r, entao A e C tambem estao do mesmo lado de r;
B) se A e B estao em lados opostos de r e B e C tambem estao em lados opostos,
entao A e C estao 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 nao pertencentes a uma mesma reta r. Se A

e B estao de um mesmo lado da reta r e A e C em lados opostos, entao B e C tambem estao em
lados opostos.
1.6.2 TEOREMA
Toda reta determina exatamente dois conjuntos disjuntos do plano que a contem.
Estes conjuntos denominam-se semi-planos.
Demonstracao. Dada uma reta r qualquer, sempre existe um ponto A nao pertencente a
essa reta (Axioma X). Agora, se O e um ponto pertencente à reta r, pelo Axioma IX, existe
um ponto B tal que B O A. Os pontos A e B estao em lados opostos (por deni cao);
logo existem pelo menos dois lados. Seja C um ponto arbitrario distinto de A e B e nao
pertencente a r. Se C e B nao estao do mesmo lado de r, entao C e A estao do mesmo lado
de r. Portanto, r tem exatamente dois lados.
Por outro lado, se os lados tem um ponto em comum C entao A e B estariam de um
mesmo lado, o que nao e o caso. Portanto os subconjuntos determinados sao disjuntos.
NOTAC

AO. Consideremos uma reta r e um ponto A nao pertencente a r. A reta r divide
o plano em dois semi-planos e o ponto A esta em apenas um desse semi-planos. Denotemos
esse semi-plano por
S(r, A).
O semi-plano S(r, A) e entao o conjunto dos pontos P que estao do mesmo lado que A.
O segundo semi-plano determinado pela reta r sera 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 sera utilizado posteriormente e ilustra o uso da ideia de separa cao de
um plano em semi-planos.
1.6.4 LEMA
Sejam A, B, C pontos nao-colineares e L, M, N pontos internos de AB, BC e
CA, respectivamente. Entao os pontos L, M e N sao nao-colineares.
Demonstracao. Se L = M entao A, B e C seriam colineares (por que?). Logo, L = M. A
reta

LM intercepta AB e BC em L e M, respectivamente. Logo, B e C sao ambos opostos
a A em rela cao a

LM. Como M BC segue-se M =

LN.
1.6.5 DEFINIC

AO
Chamaremos de semi-plano fechado a reuniao 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), entao o segmento PQ esta contido
no semi-plano S(r, A) (semi-plano fechado S(r, A), respectivamente).
Demonstracao. Se PQ interceptar r em um ponto O, o ponto P estaria no lado oposto à
Q, o que nao e o caso. Logo, PQ nao intercepta r. Agora, se existisse um ponto R PQ no
lado oposto a A, entao 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.
Demonstracao. Se os pontos P e Q pertencem a um semi-plano, pelo Axioma da Sep-
ara cao, o segmento PQ esta contido neste semi-plano.
1.6.9 PROPOSIC

AO
A interse cao de subconjuntos convexos e um conjunto convexo.
Vamos aplicar a propriedade de separa cao do plano para estabelecer duas importantes
rela coes de ordem entre quatro pontos.
1.6.10 TEOREMA
Sejam A, B, C e D pontos distintos. Se ABC e ACD, entao BCD e
ABD (em outras palavras, B AC e C AD implicam C BD e B AD).
Demonstracao. Os pontos A, B, C e D sao distintos e colineares (por que?). Existe um
ponto E que nao pertence à reta que contem os pontos A, B, C e D. Consideremos a reta
EC. Como, por hipotese, AD intercepta essa reta no ponto C, os pontos A e D estao em
lados opostos de

EC.
Armamos que A e B estao 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 cao. Logo, A e B estao do mesmo lado de

EC. Portanto, B e D estao em lados
opostos de

EC. Conseq uentemente, o ponto C de interse cao das retas

EC e

BD esta 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
arbitrarios, demonstre que existe uma reta que deixa todos esses
pontos de um unico lado.
1.7 Semi-retas e Propriedades de Separacao
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 ABX. 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 sao distintas
e temos
AB
BA =
AB e

AB
BA = AB.
Podemos denir tambem 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}.
Estamos agora em condi coes de estabelecer a propriedade de separa cao das retas.
1.7.2 TEOREMA DA SEPARAC AO
Se C AB e r e a reta que contem os pontos A, B e C, entao todo ponto P da
reta r esta em

AB ou em

AC:
r
AB
AC.
Demonstracao. Um ponto P da reta r, pertence a

AB ou nao pertence: P

AB ou
P

AB. Se P

AB, o Teorema esta demonstrado. Suponhamos entao que P

AB.
Entao, necessariamente P AB. Agora, se P = C entao P
AC; suponhamos entao que

P = C. Desta forma, necessariamente uma das rela coes P BC, CP B ou P CB
e vericada. A rela cao P B C e falsa, pois combinando com o fato P A B temos
uma contradi cao. Portanto, C P B ou B C P deve ser verdadeira.
Suponhamos por absurdo que C A P seja verdadeira. Entao
(i) Combinando C P B com C AP obtemos AC B, o que e uma contradi cao.
(ii) Combinando B C P com C A P obtemos A C B, o que tambem e uma
contradi cao.
Logo, a rela cao C A P nao pode ser verdadeira. Conseq uentemente, A C P
ou C P A e verdadeira. Mas, qualquer um dos casos implicara que P
AC.
1.7.3 PROPOSIC

AO
Se A B C, entao B e o unico ponto comum às semi-retas

BA e

BC, e alem
disso
AB =
AC.
1.7.4 TEOREMA
Dada uma reta r, seja O r a origem de uma semi-reta s. Entao, se A s e A r,
temos
s =
OA S(r, A).
Demonstracao. Se X s =

OA e X = O ou X = A nao ha 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 nao e o
caso. Analogamente, vemos que O A X implica X S(r, A).
1.7.5 DEFINIC

AO (Semi-reta oposta)
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 nao pertencente a r. Se s e uma semi-reta

com origem O r e esta contida no semiplano S(r, A), demonstre que s
op
S
op
(r, A) { O}.
Captulo 2
GEOMETRIA DOS SEGMENTOS
2.1 Congruencia de Segmentos
O conceito de congruencia sera usado aqui como uma no cao primitiva
1
e deve ser regulado
por axiomas.
AXIOMA FUNDAMENTAL DE CONGRU
ENCIA
Se A e B sao pontos distintos, entao 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. Entao, se AB

= CD e CD

= EF,
temos tambem AB

= EF.
AXIOMA DE EXTENS
AO DA CONGRU
ENCIA
Sejam A, B e C, e A
, B
e C
pontos coplanares tais que ABC e A
,
respectivamente; se AB

= A
e BC

= B
entao AC

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

= AB.
1
O conceito de congruencia, como no cao primitiva, parece ter sido utilizado pela primeira vez por G.
Veronese em seus Elementi di Geometria, Bologna 1891.
17
2.1.1 TEOREMA
Sejam A, B, C, D, E e F pontos coplanares. Entao
A) AB

= CD implica CD
= AB, e
B) AB

= CD e AB

= EF implica CD
= EF.
Demonstracao. Pelo Axioma Fundamental de Congruencia, existe B

AB tal que CD

=
AB
. Como AB

= CD, pelo Axioma de Transitividade da Congruencia, temos tambem
AB

= AB
. Entao, novamente, pelo Axioma Fundamental de Congruencia, 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
Congruencia, segue-se que CD
= EF.
OBSERVAC

AO. O Axioma de Reexividade da Congruencia, o Teorema 2.1.1A) e o Ax-
ioma Fundamental da Congruencia se traduzem dizendo que a rela cao de congruencia
= e
uma rela cao de equivalencia 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
; alem disso suponhamos que AB

= A
e AC

= A
. Entao, os
pontos A
, B
e C
estao necessariamente na ordem A
.
Demonstracao. Pelo Axioma Fundamental da Congruencia, existe C
em
, tal que
BC

= B
. Temos A
. Mas C
, C
sao tais que AC

= A
e AC

= A
.
Segue entao, novamente, do Axioma Fundamental da Congruencia, que C
= C
e portanto
A
.
2.1.3 TEOREMA
Sejam A, B, C, A
, B
e C
pontos tais C

AB e C
, com A = C e
B = C. Suponhamos, tambem, que AB

= A
e AC

= A
. Nestas condi coes,

temos BC

= B
.
Demonstracao. Como C

AB e B = C, entao os pontos A, B e C estao na ordem
AB C ou AC B. Suponhamos o primeiro caso: AB C. Estamos nas hipoteses
do Teorema 2.1.2 e portanto A
. Agora, pelo Axioma Fundamental da Congruencia,

existe C
tal que BC

= B
. O Axioma de Extensao da Congruencia, aplicado aos

pontos A, B e C e A
, B
e C
, assegura que AC

= A
. Porem, C
e por hipotese
AC

= A
. A unicidade no Axioma Fundamental da Congruencia garante entao que C
= C
.
Conseq uentemente BC

= B
, como queramos demonstrar.

Suponhamos, agora que AC B. Como no primeiro caso, segue-se que A
.
Repetindo o argumento do caso anterior, conclumos tambem que CB

= C
, e a demon-
stra cao esta completa.
2.1.4 COROL
ARIO
Sejam A, B e C dados na ordem AB C e A
e C
pontos tais que AC

= A
.
Entao existe B
, na ordem A
, de modo que AB

= A
e
BC

= B
.
Demonstracao. O Axioma Fundamental da Congruencia garante a existencia de B
tal que AB

= A
. Estamos, entao, nas hipoteses do Teorema 2.1.2. Logo, temos tambem

A
. Como ABC, entao B = C e pelo Teorema 2.1.3 segue-se que BC

= B
,
o que completa a demonstra cao.
2.2 Confronto de Segmentos
A rela cao de congruencia 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.
Tambem, 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 tambem: 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 cao de maior ou igual entre segmentos e transitiva:
AB CD e CD EF =AB EF.
2.2.4 TEOREMA
Dados dois segmentos AB e CD, temos necessariamente AB CD ou CD AB.
Demonstracao. Pelo Axioma Fundamental de Congruencia, existe P

AB tal que AP

=
CD. Por outro lado, P

AB implica A P B, ou P = B ou A B P. Da deni cao
de maior ou igual segue-se a alternativa.
2.2.5 TEOREMA
Dados os segmentos AB e CD tais que AB CD e CD AB entao necessaria-
mente AB

= CD.
Demonstracao. A arma cao segue por redu cao 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
teramos AB CD e nao poderamos ter CD AB. O segundo caso e analogo e o Teorema
esta demonstrado.
OBSERVAC

AO. Os Teoremas 2.2.2-5 implicam que a rela cao entre segmentos e uma
relacao de ordem total.
Em outras palavras, dois segmentos sao sempre comparaveis. A seguinte Lei da Trico-
tomia resume este fato.
2.2.6 LEI DA TRICOTOMIA.
Dados os segmentos AB e CD, uma e so uma das seguintes condi coes e vericada:
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 contem um
ponto Q, com E QF, 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. Entao
E
1
F
1

= E
2
F
2
.
Demonstracao. Pela deni cao 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 estao na ordem E
1
X
1
F
1
e E
2
X
2
F
2
, segue-se que
E
1
F
1
e congruente à E
2
F
2
, pelo Axioma de Extensao da Congruencia.
OBSERVAC

AO. O Teorema acima garante que a soma de segmentos esta bem denida:
e unica a menos de congruencia!
NOTAC

AO. A soma de segmentos AB e CD e denotada por
AB +CD.
2.3.3 TEOREMA
Sejam AB, CD, A
e C
, segmentos tais que AB

= A
e CD

= C
.
Entao
AB +CD
= A
+C
.
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 sao dois segmentos arbitrarios, entao
AB +CD
= CD +AB
2.3.6 TEOREMA (Propriedade Associativa)
Se AB, CD e EF sao segmentos arbitrarios, entao
(AB +CD) +EF

= AB + (CD +EF).
2.3.7 TEOREMA (Propriedade de Monotonia)
Se AB, CD, EF e GH sao segmentos, temos
AB EF e CD
= GH =AB +CD EF +GH;

2.3.8 TEOREMA
Dados os segmentos AB e CD, as seguintes arma coes sao equivalentes
A) AB CD.
B) Existe um segmento EF tal que CD
= AB +EF.
Demonstracao. Pelo Axioma Fundamental da Congruencia, existe um ponto P CD tal
que AB

= CP. Seja EF qualquer segmento congruente a CP. A deni cao de soma de
segmentos garante entao a tese.
2.3.9 TEOREMA (Lei do Cancelamento II)
Se AB, CD e EF sao segmentos, entao
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 diferenca dos segmentos CD e AB e denota-se por CD \ AB.
OBSERVAC

AO. A diferen ca de dois segmentos AB \ CD so tem sentido quando CD
AB.
2.3.11 TEOREMA
Consideremos os segmentos AB, CD e EF. Entao
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 Multiplicacao de Segmentos
O processo de duplica cao 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, denimos o produto nPQ indutivamente. Denimos 1 PQ : nPQ; tendo
denido nPQ, denimos (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 denido Q
n
, tomamos o unico ponto Q
n+1
em
Q
n
Q
n1
, tal que PQ
=
Q
n
Q
n+1
. Denimos entao
(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;
2.4.3 TEOREMA (Propriedades de Monotonia)
Se AB e CD sao segmentos e m e n n umeros naturais, entao
AB CD =nAB nCD;
m < n =mAB nAB
2.4.4 LEI DO CANCELAMENTO
Se AB e um segmento e m e n sao n umeros naturais, entao
mAB nAB =m n.
2.4.5 TEOREMA
Consideremos os segmentos AB, CD e os n umeros k, n e m. Entao
k (AB \ CD)
= k AB \ k CD, (CD AB);

(n m) AB

= nAB \ mAB, (n > m);
OBSERVAC

AO. Insistimos que a diferen ca de dois segmentos AB \ CD so tem sentido
quando CD AB. Portanto, a segunda rela cao no Teorema 2.4.5 so tem sentido quando
n > m.
Dados pontos U e O em uma semi-reta

CD, coloca-se a importante questao de saber
se para algum n, sucientemente grande, vamos ter O nCU. Esta questao nao pode ser
respondida com base apenas nos axiomas ja 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 Captulo, mostram que
a classe dos segmentos de um plano formam um sistema de grandezas. Este fato estabelece
condi coes para desenvolver uma Teoria de Propor coes e conseq uentemente derivar o con-
hecido Teorema de Tales.
2
A tradi cao denomina este axioma de arquimediano, mas os Elementos de Euclides s ao mais antigos que
a obra de Arquimedes.
Captulo 3
CONGRU
ENCIA
DE FIGURAS PLANAS
G. Ingrami, em seus Elementi di Geometria, Bologna 1904, p.66, introduziu a seguinte
deni cao:
Duas guras arbitrarias sao ditas iguais quando os pontos de uma podem ser colo-
cados em correspondencia [bi]unvoca de tal maneira que os segmentos que unem os
pontos, dois a dois, em uma gura sao respectivamente iguais aos segmentos que
unem, dois a dois, os correspondentes da outra.
Com base nessa deni cao e o conceito de congruencia entre segmentos, vamos introduzir a
deni cao de congruencia entre guras, que utilizaremos no desenvolvimento da teoria.
3.1 Congruencia de Figuras Planas
Vamos estender o conceito de congruencia de segmentos para congruencia de guras
planas (angulos, triangulos, etc.). Vamos basear a extensao na seguinte propriedade da con-
gruencia entre segmentos.
3.1.1 PROPOSIC

AO
Sejam AB e CD dois segmentos congruentes. Entao existe uma aplica cao T
biunvoca
1
que transforma AB sobre CD, e alem 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 cao biunvoca se T(X
1
) = T(X
2
) =X
1
= X
2
.
25
Demonstracao. Seja X um ponto qualquer em AB, com AXB. Como existe um unico
Y CD tal que AX

= CY , e alem disso sabemos que C Y D e XB

= Y D, denimos
entao
T(X) =
C se X = A,
Y se A X B,
D se X = B.
Vemos que T e uma aplica cao biunvoca de AB sobre CD. (Complete a demonstra cao.)
3.1.2 DEFINIC

AO
Uma gura geometrica (plana), e qualquer subconjunto do plano.
EXEMPLOS
Segmentos de reta, semi-retas, retas, triangulos, etc.
3.1.3 DEFINIC

AO (Congruencia de Figuras)
Sejam F e F
duas guras geometricas. Uma congruencia e uma tranforma cao

biunvoca 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 guras geometricas F e F
sao congruentes se existe uma con-

gruencia que transforma F sobre F
. Neste caso, escrevemos F

= F
.
3.1.5 TEOREMA
Sejam F, F
e F
guras planas. Entao:

(i) F

= F.
(ii) se F

= F
entao F

= F.
(iii) se F

= F
e F

= F
, entao F

= F
.
Em outras palavras, congruencia de guras planas e uma rela cao de equivalencia.
Demonstracao: (i) A transforma cao identidade e uma congruencia de F sobre F. (ii) Se
T
1
e uma congruencia de F sobre F
entao T e biunvoca e sobre; logo existe sua inversa T

1
1
que e biunvoca e sobre de F
sobre F, ou seja, T
1
e uma congruencia de F
em F. (iii)
Seja T
2
uma congruencia de F
em F
; entao a transforma cao composta T = T

2
T
1
e uma
fun cao biunvoca de F sobre F
. Para completar a demonstra cao 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
entao (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).
Pelo Axioma de Transitividade da Congruencia, 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 congruencia de F sobre F
.
3.2 Congruencia de Semi-Retas e Retas
3.2.1 TEOREMA
(i) Duas semi-retas quaisquer sao congruentes.
(ii) Duas retas quaisquer sao congruentes.
Demonstracao: (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 Congruencia garante que a transforma cao T e biunvoca de s sobre s
. Para vericar que

e uma congruencia, sejam X e Y pontos em s. Entao: 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 congruencia de s sobre s
.
(ii) Sejam
AB e
CD duas retas quaisquer. De (i) sejam T

1
e T
2
congruencias, respectiva-
mente de
AB sobre
CD e
AB sobre
CD. Denimos entao

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 deni coes respectivamente

de T
1
e T
2
teremos que T(X) = T(Y ) implica X = Y e que XY

= T(X)T(Y ). Sejam
entao 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 cao.
Falta vericar que T(X) e uma congruencia. Sejam X e Y pontos de
AB. Se
X, Y
AB ou X, Y
AB, pelas deni coes respectivamente de T

1
e T
2
teremos XY

=
T(X)T(Y ). Sejam X
AB e Y
AB, entao T
1
(X)
CD e T
2
(Y )
CD, assim X AY
e T(X) C T(Y ). Como AX

= CT(X) e XA

= AX, pelo Axioma de Transitividade
da Congruencia temos que XA

= CT(X); agora, pelo Axioma de Reexividade da Con-
gruencia, 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 Extensao da Congruencia, 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 congruencia.
Captulo 4
GEOMETRIA DOS

ANGULOS
4.1 Nocoes Gerais
4.1.1 DEFINIC

AO
Angulo e a gura geometrica formada por duas semi-retas nao-colineares, de mesma

origem. As semi-retas que compoem um angulo sao chamadas de lados e a origem
comum de vertice do angulo.
A
B
C
Figura 4.1
O angulo formado pelas semi-retas

AB e

AC e denotado por BAC ou

BAC.
A gura geometrica formada pelas semi-retas
AB e
AB denomina-se angulo plano

(ou raso).
Angulo plano e, portanto, uma extensao 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. Denimos (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
Lembremos que S
op
(
AB, C) o semi-plano oposto ao semiplano S(
AB, C), determinado

pela reta

AB e que contem o ponto C.
4.1.3 DEFINIC

AO
Seja BAC formado pelas semi-retas
AB e
AC. Denimos (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 nao-convexo mas poligonalmente conexo. Alem disso, se P
Int(BAC) e Q Int(BAC) BAC, entao o segmento PQ intercepta um
dos lados

BA ou

BC.
Demonstracao. 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 cao de semi-planos S(
AB, C) e S(
AC, B),
que sao conjuntos convexos.
(ii) Ext(BAC) e nao-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 GF Q.
`
`
`
`
`
`
`
`
`
`
`
Q
P
F
E
C
B
A
G
Figura 4.2
Ou seja o segmento PQcontem o ponto Ge portanto nao pode estar contido emExt(BAC).
(iii) Ext(BAC) e poligonalmente convexo; dados P, Q Ext(BAC) vamos ter tres
situa coes a considerar
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
C
B
Figura 4.3
No primeiro caso nao ha 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 coes acima demonstram o Teorema.
4.2 Congruencia de Conjuntos Nao-Colineares
O seguinte axioma e necessario para estudar a congruencia de conjuntos de pontos que
nao sejam colineares.
AXIOMA DE TRANSVERSALIDADE DA CONGRU
ENCIA
Sejam A, B e C pontos nao colineares e D um ponto tal que BC D; da mesma
forma, sejam A
, B
e C
pontos nao colineares e D
um ponto tal que B
,
e suponhamos que AB

= A
, BC

= B
, AC

= A
e BD
= B
, entao
AD
= A
.
-
-
-
-
-
-
-
-
-
-
--
A
B
C
D
-
-
-
-
-
-
-
-
-
-
--

Figura 4.4
4.2.1 TEOREMA
Sejam A, B e C pontos nao-colineares e tambem A
, B
e C
pontos nao-colineares.
Sejam D
BC, D
e suponhamos que
AB

= A
, AC

= A
, CB

= C
, BD
= B
.
Entao AD
= A
B C D
A
Figura 4.5
Demonstracao. Como D
BC, temos tres casos a considerar: C = D, B C D e

B D C.
1
o
Caso: C = D. Neste caso devemos ter tambem C
= D
, e nao ha o que demonstrar.

2
o
Caso: BC D. Neste caso, o Teorema 2.1.2 implicara que B
; e estaremos
nas condi coes do Axioma da Transversalidade.
3
o
Caso: BDC. Neste caso temos B
, e existe um ponto E com C BE,

logo D B E. Entao, o Axioma Fundamental da Congruencia garante um ponto E
tal
que CE

= C
, portanto por 2.1.1 temos C
e D
. Como CA
= C
,
BA
= B
, BC

= B
, CE

= C
e C
, temos pelo Axioma da Transversalidade

que AE

= A
.
Como CB

= C
, CE

= C
, C B E e C
o Teorema 2.1.1 nos da

BE

= B
. Como BE

= B
, BD

= B
, D B E e D
, o Axioma de
Extensao da Congruencia nos garante ED

= E
. Agora, como EB

= E
, AB

= A
,
AE

= A
, ED

= E
, E B D e E
, o Axioma de Transversalidade da
Congruencia implica AD
= A
, o que demonstra o Teorema.

4.3 Congruencia de

Angulos
4.3.1 TEOREMA
Sejam BAC e MON angulos congruentes, e T uma congruencia que associa o
vertice A ao vertice O. Entao existem pontos P

OM e Q

ON tais que
AB

= OP, AC

= OQ e BC

= PQ.
Demonstracao. Suponhamos que BAC

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

= T(A)T(B). Pela deni cao de congruencia temos AB

= OP,
AC

= T(A)T(C)
= OQ e BC

= T(B)T(C)
= PQ.
Estamos interessados na recproca 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.
Entao os angulos BAC e MON sao congruentes. Alem disso, existe uma con-
gruencia que ao vertice A associa o vertice O.
>
>
>
>
>
>
>
>
>
>
>
>
A
C
B
>
>
>
>
>
>
>
>
>
>
>
>
O
Q
P
M
N
Figura 4.6
Demonstracao. Consideremos congruencias T
1
de
AB sobre
OM e T
2
de
AC sobre
ON,
tais que T
1
(A) = T
2
(A) = O. Denimos uma transforma cao 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
sao transforma coes biunvocas, vemos que T e tambem uma transforma cao
biunvoca de BAC sobre MON (verique). Sejam X e Y dois pontos de BAC. Se X
e Y estao ambos em
AB ou em
AC, entao XY

= T(X)T(Y ).
Para tratar do caso em que X
AC e Y
AB, vamos precisar de algumas consi-

dera coes 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 Congruencia vale
BA
= PO. Como PO

= OP, de novo pelo Axioma de Transitividade da Congruencia vem
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. Entao, o Axioma de Extensao da Congruencia

implica BB

= PP
. Assim, AB

= OP, AC

= OQ, BC

= PQ e BB

= PP
. Portanto,
pelo Axioma de Transversalidade da Congruencia, 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 Congruencia
que CA

= OQ. Como AC

= OQ
e Q
OQ e C
AC, pelo Axioma de Extensao da

Congruencia temos que CC

= QQ
. Assim, AC

= OQ, AB

= OP
, CB

= QP
e
CC

= QQ
, e o Axioma de Transversalidade da Congruencia garante que C
B

= Q
.
Suponhamos, entao, 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 Congruencia
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 Extensao da Congruencia 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 Congruencia implica XY

= T
2
(X)T
1
(Y ). Logo T e uma congruencia e
BAC

= MON.
4.3.3 DEFINIC

AO
Dado BAC, o angulo com vertice A e lados
AB e
AC e o angulo suplementar
ou suplemento de BAC. Se B
AB e C
AC, entao BAC e B
AC
sao
angulos opostos (pelos vertices).
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
A C
C
B
Figura 4.8
4.3.4 TEOREMA (Proposicao I.15)
(i) Suplementos de angulos congruentes sao congruentes;
(ii)

Angulos opostos pelos vertices sao congruentes.
Demonstracao: (i) Suponhamos que os angulos BAC e B
sejam angulos congru-

entes. Pelo Teorema 4.3.1 podemos supor
AC

= A
, AB

= A
e BC

= B
.
Sejam D e D
pontos de
AB e
, respectivamente, de modo que DA
= D
. Entao, pelo
Axioma de Transversalidade da Congruencia temos
CD
= C
.
O Teorema 4.3.2 garante entao que CAD

= C
. Alem disso, os angulos CAD e

C
sao complementares dos angulos BAC e B
, respectivamente.
(ii) Seja E um ponto em
AC e D um ponto de
AB. Entao, os angulos CAD e BAE

sao angulos suplementares de CAB e portanto congruentes. Como DAE e tambem su-
plementar de DAC, segue-se que CAB e DAE sao angulos congruentes.
4.4 Confronto de

Angulos
A teoria de congruencia de angulos fornece os conceitos necessarios para comparar angulos.
4.4.1 DEFINIC

AO
Dizemos que ABC A
se existe um ponto D Int(ABC) tal que

ABD

= A
. Tambem, ABC A
se ABC A
ou
ABC

= A
.
B
D
A
C
Figura 4.9
4.4.2 LEI DA TRICOTOMIA
Dados os angulos ABC e A
, exatamente uma das seguintes condi coes e

verdadeira:
(1) ABC A
,
(2) ABC

= A
,
(3) A
ABC.
Demonstracao: Exerccio.
4.4.3 TEOREMA
A) Se ABC A
e A

= A
, entao ABC ABC.

B) Se ABC A
e A
, entao ABC A
.
Demonstracao: A) Se ABC A
C entao existe D ABC tal que DBC

=
A
e como A

= A
, entao DBC

= A

= A
. Como
D ABC, temos ABC A
.
b) Exerccio. Segue o raciocnio anterior.
4.4.4 DEFINIC

AO
Dizemos que a soma de ABC com A
e o angulo MON se existe um

ponto D no interior de MON tal que MOD

= ABC e DON

= A
.
Escrevemos entao
ABC +A
= MON.
4.4.5 DEFINIC

AO
Suponhamos que ABC A
. Dizemos que o angulo MON e a diferen ca

dos angulos ABC e A
se existe um ponto D interior a ABC tal que

ABD
= MON e DBC

= A
.
Captulo 5
GEOMETRIA DOS TRI
ANGULOS
5.1 Conceito e Propriedades
Sejam A, B e C pontos distintos nao-colineares. Chamamos de triangulo de vertices
A, B e C a uniao 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 triangulo.
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
.
.
.
.
.
.
.
.
.
.
.
.
.
..
P
P
1
P
2
A B
C
Figura 5.1
A interse cao dos semi-planos abertos determinados pelas retas

AB,

BC e

CA e que
contem os pontos C, A e B, respectivamente, constitui o conjunto dos pontos internos ao
triangulo ABC. Utilizaremos a nota cao Int(ABC).
Da deni cao, segue-se que um segmento unindo dois pontos do triangulo esta todo
contido no triangulo. Alem disso, se os pontos forem internos todos os pontos do segmento
serao internos. Observemos tambem que toda semi-reta com origem em um ponto interno
de um triangulo intercepta um e apenas um dos lados do triangulo. Os pontos do plano
nao pertencentes a um triangulo ou ao seu interior sao chamados de pontos externos (ao
triangulo). Este conjunto e nao-convexo, mas e poligonalmente conexo.
37
Em um triangulo ABC, os angulos

ABC,

BCA e

CAB sao internos ao triangulo.
Os angulos formados por um lado do triangulo 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 nao 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 triangulo qualquer e r e uma reta que intercepta o lado AB em um
ponto entre A e B, entao a reta r tambem intercepta o lado AC ou o lado BC.
Se C nao pertence à reta r, entao r intercepta apenas um dos lados AC ou BC.
A C
/
/
/
/
/
/
/
/
`
`
`
`
`
`
`
`
`
B
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
r
Figure 5.3
Demonstracao. O ponto C pertence ou nao pertence à reta r; se pertencer, o Teorema esta
demonstrado. Suponhamos, entao, que nao perten ca. Como o segmento AB intercepta r
em um ponto entre A e B, o ponto de interse cao e distinto de A e B (Axioma de Ordem 1).
Tambem, estamos supondo que C nao perten ca a r; logo C esta no mesmo lado de r que A
ou esta no mesmo lado de r que B.
Suponhamos que C esteja do mesmo lado que A, entao C esta do lado oposto ao lado
no qual esta B, o que signica que r intercepta BC e nao intercepta AC.
Analogamente, se C esta do mesmo lado que B, entao C esta do lado oposto ao de A,
o que signica que r intercepta AC e nao intercepta BC, como queramos demonstrar.
Observemos que a demonstra cao do Teorema de Pasch faz uso essencial do Axioma de
Separa cao do plano por uma reta.
5.3 Congruencia de Triangulos I
Dizemos que dois triangulos sao congruentes se existir uma congruencia de um sobre o
outro.
Come caremos nosso estudo com um Teorema que corresponde ao Corolario da Proposi cao
8 no Livro I dos Elementos de Euclides, que e conhecido como o primeiro criterio de con-
gruencia de triangulos ou criterio lado-lado-lado (L.L.L.).
5.3.1 TEOREMA (Corolario à Proposicao I.8)
Se os lados de um triangulo sao congruentes, respectivamente, aos lados de outro
triangulo, entao os triangulos sao congruentes.
Demonstracao. Consideremos os triangulos ABC e A
. Suponhamos que AB

=
A
, BC

= B
e CA

= C
. Por hipotese, existem transforma coes T

1
, T
2
e T
3
de
AB sobre A
, de BC sobre B
e de CA sobre C
, tais que T
1
(A) = T
3
(A) = A
,
T
1
(B) = T
2
(B) = B
e T
2
(C) = T
3
(C) = C
.
Denimos uma transforma cao 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 congruencia de ABC sobre A
aplica-se a mesma
demonstra cao utilizada no Teorema 4.3.2 para cada um dos tres angulos em ABC.
EXERC
ICIO. Desenvolva os detalhes da demonstra cao do Teorema 5.3.1.

5.4 Congruencia de Triangulos II
5.4.1 DEFINIC

AO
Num triangulo 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 sao lados adjacentes
um ao outro e ao angulo ABC.
Vamos agora estabelecer um segundo criterio de congruencia de angulos conhecido
como criterio lado-angulo-lado (L.A.L.).
Se dois lados e o angulo includo de um triangulo sao congruentes a dois lados e ao
angulo incluido de outro triangulo de forma que o vertice de um angulo corresponde
ao vertice do outro angulo, entao os triangulos sao congruentes.
Demonstracao: Consideremos os triangulos ABC e A
com AB

= A
, BC

=
BC
e ABC

= A
. Seja T uma congruencia entre os ABC e A
de modo que
T(B) = B
. Do Axioma Fundamental da Congruencia e do fato que AB

= A
segue-se
T(A) = A
(por que ?). Analogamente, T(C) = C
. Mas entao AC

= T(A)T(C)
= A
; ou
seja AC

= A
. Portanto, os tres lados de ABC sao respectivamente, congruentes aos

tres lados de A
.
5.5 Congruencia de Triangulos III
A seguir vamos estabelecer um terceiro criterio de congruencia de triangulos, conhecido
como criterio angulo-lado-angulo (A.L.A.): se um triangulo tem um lado e os angulos
adjacentes congruentes aos de outro triangulo, entao sao congruentes.
Se ABC e A
sao tais que AB

= A
, BAC

= B
e CBA
=
C
com A e B correspondendo a A
e B
, respectivamente, entao ABC

=
A
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
A B
C
A
Q P
Figura 5.4
Demonstracao. Como AB

= A
e BAC

= B
, o Teorema 4.3.1 garante a

existencia de um ponto P tal que P
e AC

= A
P, BC

= B
P. Do mesmo modo, como

CBA
= C
, de novo pelo Teorema 4.3.1, existe um ponto Q tal que Q
e BC

=
B
Q, AC

= A
Q. Se tivermos P = C
, entao BC

= B
P = B
, e como BC

= B
Q, tambem
B
C

= B
Q. Por outro lado, como Q
, pelo Axioma Fundamental de Congruencia

segue-se C
= Q. Assim teremos BC

= B
e AC

= A
, logo ABC

= A
.
Suponhamos, agora, que seja possvel P = C
. Como { C
} =
, entao
P = Q, pois C
e a unica interse cao. Como AB

= A
, AC

= A
Q e BC

= B
Q,
temos pelo Teorema 5.3.1 que ABC

= A
Q. Do mesmo modo, AC

= A
P, AB

=
A
e BC

= B
P, e novamente pelo Teorema 5.3.1 segue-se ABC

= A
P. Logo
A
P

= A
Q, assim A
Q

= A
P. Agora, considerando o angulo A
P,
temos Q
P, logo Q esta no lado de
P que contem A
ou esta no lado que nao contem

A
. No primeiro caso teremos A
P A
Q e no segundo caso A
Q A
P.
Logo A
= A
P. Portanto, A
= A
Q, o que e uma contradi cao se

P = Q. Logo P = Q e portanto P = Q = C
. Assim temos AC

= A
e BC

= B
, e
conseq uentemente ABC

= A
.
5.6 Cancelamento de

Angulos
Como conseq uencia do criterio de congruencia de triangulos, 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, entao os angulos dados sao
congruentes.
5.6.1 LEI DO CANCELAMENTO
Sejam ABC e A
angulos arbitrarios, e FGH e F
angulos congru-
entes, tais que
ABC +FGH

= A
+F
.
Entao ABC

= A
.
Demonstracao. Seja MON tal que MON

= ABC + FGH e XY Z tal que
XY Z

= A
+ F
. Pela transitividade da congruencia, 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
e RY Z

= A
, como FGH

= F
, entao 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 triangulos 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
, entao OMK
1

= Y X
1
R
1
, pois K
1
MN e R
1
X
1
Z
1
. Pelo Teorema
5.5.1 (criterio 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
,
como queramos demonstrar.
5.7 O Teorema do

Angulo Externo
5.7.1 DEFINIC

AO
Em um triangulo, o suplemento de um de seus angulos (internos) denomina-se
um angulo externo do triangulo. Os demais angulos (internos) denominam-se
angulos opostos.
Em todo triangulo, qualquer angulo externo e maior que os angulos internos opostos
(ou nao adjacentes).
Demonstracao. Consideremos um triangulo ABC e X em
AC. Seja BAX o angulo

externo de ABC, relativo ao angulo BAC.
Suponhamos, por absurdo, que BAX ABC. Entao, 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 Congruencia existe D
AC tal que
AD

= BC.

E claro que D A C, pois
AC e oposta a
AC. Entao, como AD

= BC,
ABC

= BAX e AB

= AB, segue-se que ADB

= ABC e conseq uentemente
DBA

= CAB. Como DAB e BAC sao angulos suplementares, ABC e DBA
tambem o sao. Conclumos, entao, que D, B e C sao pontos colineares, ou seja B
DC. Mas
AC=
DC e portanto B
AC, contrariando a hipotese de que A, B e C sao nao-colineares.

Logo, BAX e ABC nao sao congruentes.
Consideremos, agora, a alternativa BAX ABC. Esta hipotese implica que existe
um ponto Y tal que A Y C e BAX

= ABY .
#
#
#
#
#
#
##
A
A
A
A
A
A
A
B
C X Y
Figura 5.7
Como Y
AX, os angulos XAB e BAY sao 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; entao, de
modo analogo ao acima, conclumos que ACB CAZ. Mas BAX

= CAZ, pois sao
opostos pelos vertices, e portanto ACB BAX.
A demonstra cao esta completa.
EXERC
ICIO (Proposi cao I.17) Em qualquer tri angulo, a soma de dois angulos internos e
menor que um angulo plano.
5.8 Triangulos Isosceles
5.8.1 DEFINIC

AO
Um triangulo e isosceles se dois de seus lados sao congruentes. O terceiro lado
denomina-se base do triangulo.
5.8.2 TEOREMA
Dado um segmento AB, existe um triangulo isosceles com base AB.
Demonstracao. Seja C um ponto nao pertencente ao segmento AB e consideremos o seg-
mento AC. Se CAB

= ABC, o triangulo e isosceles. Senao, pela Lei da Tricotomia,
devemos ter CAB ABC ou ABC CAB. Supondo o primeiro caso, existe um
ponto E IntABC tal que CAB

= ABE. Pelo Teorema de Pasch (4.3.2), existe um
ponto D, {D} = AC
BE. O triangulo ABD e entao isosceles.

O caso ABC CAB e analogo (verique!).
Em todo triangulo isosceles os angulos da base sao congruentes.
Demonstracao. Consideremos o triangulo ABC e suponhamos que AB

= AC. Como
AB

= AC, BC

= BC e AC

= AB, do Teorema 4.3.2 segue-se que ACB

= ABC.
O Teorema do

Angulo Externo e o conceito de triangulo isosceles tem conseq uencias
importantes para aplica coes .
Se dois lados de um triangulo nao sao congruentes, o angulo oposto ao lado maior e
maior que o angulo oposto ao lado menor.
Demonstracao. Seja ABC um triangulo 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 ADC,
a semi-reta
BD e interna ao angulo ABC e portanto DBC ABC.

Agora, o triangulo CBD e, por constru cao, isosceles, com base DB. Logo, CDB

=
CBD, pelo criterio L.L.L. Por outro lado, o angulo CDB e externo ao triangulo ADB
e e portanto maior que o angulo DAB, que e oposto ao lado menor CB do triangulo
ABC. Resumindo temos: DBC

= CBD, CBD

= BDC e DBC ABC;
portanto BAC ABC.
O teorema precedente admite uma recproca importante.
Se dois angulos de um triangulo nao sao congruentes, o lado oposto ao angulo maior
e maior que o lado oposto ao angulo menor.
Demonstracao. Consideremos um triangulo ABC, onde CAB ABC (vide gura
5.8). Vamos vericar que neste caso BC AC.
Em primeiro lugar AC
= BC, senao o triangulo seria isosceles e teramos CAB

=
ABC, contrariando a hipotese. Da mesma forma, se AC BC, pelo Teorema anterior
teramos CBA CAB, tambem contrariando a hipotese.
5.8.6 TEOREMA
Em qualquer triangulo a soma de dois lados e maior que o terceiro lado
Demonstracao. Consideremos um ABC e prolonguemos um de seus lados, digamos AC,
ate um ponto D de modo que CD
= CB.
`
`
`
`
`
`'
'
'
'
'
'
'
'
'
'
'
A B
C
D
Figura 5.9
Deste modo, o triangulo CBD e isosceles 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 triangulo ABD teremos
AB AD
= AC +CB,
5.9 Dimidiacao 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 cao do segmento CP. Neste caso escrevemos
CQ
= 2 CP.
Alem desse processo de duplica cao, temos um processo de dimidia cao de um segmento,
isto e a divisao de um segmento em duas partes congruentes.
5.9.2 DEFINIC

AO
O ponto medio M de um segmento AB e um ponto que verica as condi coes
A M B e AM

= MB.
5.9.3 TEOREMA
Qualquer segmento admite um unico ponto medio.
Demonstracao. Seja AB um segmento arbitrario e ACB um triangulo isosceles sobre
AB. Consideremos tambem um triangulo isosceles ADB sobre AB no semi-plano oposto
àquele determinado pela reta

AB e que contem o ponto C. Desta forma, o segmento CD
intercepta a reta

AB em um ponto M. Vamos ter A M B. Os triangulos CAD e
CBD sao congruentes, portanto os angulos ACM e BCM sao congruentes. Entao,
como ACB e um triangulo isosceles, temos AC

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

= BCM. Conseq uentemente, AM

= MB e M e um ponto medio de AB.
A unicidade e um exerccio para o leitor.
5.9.4 DEFINIC

AO
Em um triangulo, a mediana relativa a um vertice, e o segmento compreendido do
vertice dado ao ponto medio do lado oposto.
EXERC
ICIOS. 1) Mostre que o ponto medio de um segmento e unico.

2) Sejam A, B, C pontos dados na ordem A B C e M e N os pontos medios 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 medio de BC. Demonstre que
AM

= AB +BM.
4) Supondo que os segmentos AB e CD estao sobre uma mesma reta e tem o mesmo ponto medio,
demonstre que AC

= BD.
5) Dados os pontos A, B, C, D na ordem AB C D, sejam M e N os pontos medios 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 medio de CD. Se AC

= BD e
ACM

= BDM, demonstre que M e tambem ponto medio do segmento AB.
7) Sejam ABC e A
tri angulos tais que AB

= A
e AC

= A
. Se as medianas relativas
aos lados AB e A
forem congruentes, mostre que os tri angulos dados s ao congruentes.

Por razoes historicas vamos redemonstrar o Teorema do

Angulo Externo utilizando o
ponto medio de um segmento. A demonstra cao que daremos e basicamente a que consta dos
Elementos de Euclides.
Em todo triangulo, qualquer angulo externo e maior que os angulos internos nao
adjacentes.
Demonstracao. No triangulo ABC abaixo, consideremos a extensao do lado AB na semi-
reta

AD e dividimos o lado CB no ponto medio E. Tra camos um segmento do ponto A,
passando por E, ate um ponto F de modo que AE

= EF. Tra camos entao o segmento BF.
A B
C
D
F
G
E
Figura 5.10
Vemos que

CEA

=

FEB, CE

= EB e AE

= EF. Logo, pelo criterio lado-angulo-lado de
congruencia de triangulos 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 cao ao angulo

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

ABG

=

CBF e
portanto

ABG

CAB.
A existencia do ponto medio de um segmento garante tambem o seguinte resultado e
seu corolario.
5.9.6 TEOREMA
Consideremos o triangulo ABC. Entao, nao existe C
distinto de C, no mesmo
lado de

AB que C, tal que AC

= AC
e BC

= BC
.
Demonstracao. Se C
pertence a
AC ou a
BC, entao pelo Axioma Fundamental da Con-

gruencia devemos ter C = C
. Suponhamos entao que C
exista e nao perten ca nem a
AC
nem a
BC.
/
/
/
/
/
/
/
/
`
`
`
`
`
`
`
`
A B
C C
Figura 5.3
Neste caso, C
Int(CAB) ou C C
AB). Suponhamos C
Int(CAB. Neste caso

vamos ter C
AB CAD. Mas nas condi coes assumidas temos C
AB

= CAD, o que
e uma contradi cao.
5.9.7 COROL
ARIO
Se ABC

= ABC
e se C e C
estao no mesmo lado em rela cao a
AB, entao
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.
Demonstracao. Consideremos uma reta arbitraria 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 coes? Por que?)

E claro que vamos ter AOB. Sobre o segmento AB existe
um triangulo isosceles ACB. O ponto O e interno do angulo ACB. Pelo criterio L.L.L
segue-se que os triangulos AOC e BOC sao congruentes. Logo os angulos AOC e
BOC sao congruentes. Como esses angulos sao suplementares, concluimos que sao angulos
retos.
Para Euclides, a congruencia de angulos retos e um postulado. Aqui e um teorema.
5.10.3 TEOREMA (Postulado 4)
Dois angulos retos arbitrarios sao congruentes.
Demonstracao. Sejam CAB e C
dois angulos retos arbitrarios, pela Lei da Trico-

tomia devemos ter
CAB C
ou CAB C
ou CAB

= C
.
Vamos demonstrar que as duas primeiras hipoteses levam a contradi coes.
Suponhamos que CAB C
. Esta hipotese assegura a existencia de um ponto

E
Int(C
) tal que E

= CAB.
D A B
C
D
Figura 5.5
Sejam CAD e C
os suplementares dos angulos CAB e C
, respectivamente.
Como por hipotese os angulos CAB e C
sao retos vamos ter CAB

= CAD
e C

= C
. Como C
CAB e E

= CAB segue-se que
C
CAB e tambem C
CAD. Mas CAD

= E
e E
. Portanto, C
, o que e uma contradi cao. O caso da hipotese

CAB C
e analogo (Exerc
icio!).
Portanto, temos necessariamente CAB

= C
.
5.10.4 COROL
ARIO
Angulos congruentes a angulos retos sao angulos retos.

5.11 Triangulos Retangulos
5.11.1 DEFINIC

AO
Dizemos que triangulo e retangulo 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 (Criterio A
r
L
op
A)
Se dois triangulos retangulos, tiverem os lados opostos ao angulo reto congruentes
e, alem disso, tiverem ainda um segundo angulo respectivamente congruentes, entao
os triangulos serao congruentes.
Demonstracao. Exerccio (pensar no desenho abaixo).
.
.
.
.
.
.
..
.
.
.
.
.
.
..
.
.
.
.
.
.
..

A
A
B
B
C
C
D D B A
B A
C
C
e fazer a demonstra cao.
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.
Captulo 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 arbitrarios,
A = O = B. Diremos que r e perpendicular a s, e escreveremos r s, se o
angulo AOB e um angulo reto.
Seja P um ponto pertencente à uma reta s. Existe uma unica reta r perpendicular à
s tal que r s = {P}, ou seja, existe uma unica perpendicular passando pelo ponto
P.
Demonstracao. Existencia: Sejam M e N pontos distintos em s tais que MP

= PN.
Seja C um ponto tal que o triangulo MNC seja isosceles com base MN. Entao 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. Entao, D esta no mesmo lado

de
CP que M ou N. Suponhamos que D esteja no mesmo lado de
CP que N. Entao, 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
segue-se que
DD
intercepta

MN num ponto Q, diferente de P pois D e D
estao no mesmo lado de
EE
=

CP mas em lados opostos de

MN. Agora, como

DP e
perpendicular a

MN, temos DPN

= DPM. Segue-se entao que DM

= DN. Analoga-
mente, D
M

= D
N. Portanto DM

= DN

= D
N

= D
M. Entao, como DD

= DD
,
D
M

= D
N e DM

= DN segue-se que ND
= MD
Q. Tambem, como D
M

= D
N,
51
D
= D
Q e ND
= MD
Q temos MQ
= QN; ou seja, Q e um ponto medio de MN

diferente de P, o que e absurdo. A demonstra cao esta completa.
Seja r uma reta e P um ponto nao pertencente a r. Entao existe uma unica reta s
perpendicular à reta dada r, passando pelo ponto P.
Demonstracao. Existencia. Seja Q r, arbitrario, e s a reta perpendicular a r em Q.
Se P s, o problema esta resolvido. Suponhamos entao 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 PQRe 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
sao opostos em rela cao a r.

Logo o segmento P
P intercepta r em um ponto X. Agora, pelo criterio L.A.L, temos

PQX

= P
QX. Logo PXQ
= P
XQ e o angulo PXQ e reto. Conseq uentemente,

a reta
P e perpendicular à reta dada r.

Unicidade. Exerccio.
6.2 Mediatrizes e Bissetrizes
6.2.1 DEFINIC

AO
Se M e ponto medio de KL e

MX

KL, entao

MX e a reta mediatriz de
KL.
6.2.2 TEOREMA
A mediatriz de um segmento AB e o conjunto dos pontos X tais que
AX = XB.
Demonstracao. Seja M o ponto medio de AB. Denotemos por r a mediatriz de AB e seja
X r, X = M. Considerando os triangulos AMX e XMB temos que AMX e um
angulo reto, AMX

= XMB, AM

= MB e MX e um lado comum. Pelo criterio 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, entao 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 esta em AOB e temos que AOC

=
BOC, entao
OC e uma bissetriz de AOB.

6.2.4 TEOREMA
Existe uma e somente uma bissetriz de angulos, nao rasos.
6.2.5 DEFINIC

AO
Em um triangulo a bissetriz, relativa a um dado vertice e o segmento sobre a
bissetriz do angulo correspondente, compreendido entre o vertice e seu lado oposto.
6.2.6 TEOREMA
Dado um triangulo ABC, existe um ponto I no interior do triangulo, tal que, se
IX,
IY e
IZ sao perpendiculares a
BC,
CA e
AB respectivamente e X, Y, Z estao
nessas retas, entao IX

= IY

= IZ. Tal ponto e unico e e chamado incentro do
triangulo.
Demonstracao. As bissetrizes de ABC e BCA estao contidas no interior de seus re-
spectivos angulos e portanto interceptam CA e CB, respectivamente, em M e N, digamos.
Entao encontram-se em um ponto I interno ao triangulo. Logo, por serem retas bissetrizes,
conclui-se a demonstra cao por congruencia de triangulos.
6.2.7 TEOREMA
Se

IX
BC, X
BC e I e o incentro de ABC, entao B X C.

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 tem a mesma bissetriz. Demonstre que a)

AOD

=

BOC e b)
AOC

=

BOD.
3) As bissetrizes de angulos opostos pelos vertices 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 Distancia entre Ponto e Reta
Consideremos um ponto A e uma reta r que nao contem esse ponto. O segmento que,
sobre a perpendicular tra cada de A a r, ca compreendido entre o ponto A e a interse cao H
com a reta r, costuma-se chamar por brevidade perpendicular baixada de A sobre r. O
ponto H chama-se pe 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 oblqua tra cada de A à reta r; o segmento HB chama-se projecao da oblqua
AB sobre a reta r. Tambem, para uma oblqua AB o extremo B e chamado pe.
6.3.1 TEOREMA
Dado um ponto e uma reta nao contendo esse ponto:
A) a perpendicular baixada do ponto sobre a reta e menor que cada oblqua tra cada
desse ponto à reta;
B) oblquas tra cadas do ponto sobre a reta e tendo proje coes iguais sao iguais;
C) oblquas tendo sobre a reta proje coes desiguais, e maior aquela que tem proje cao
maior.
Demonstracao. Seja r a reta e A o ponto fora dela. A) Confrontemos a perpendicular AH,
baixada de A sobre r, com uma oblqua qualquer AB. Os pontos A, H e B determinam um
triangulo retangulo: AB e a hipotenusa, AH e HB sao 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 oblquas AB e AC cujas proje coes HB e HC sobre a reta
r sao iguais; observemos primeiro que isto exige que os pes B e C estao em lados opostos
em rela cao ao pe H da perpendicular.
A
H B C
r
Figura 6.3
As duas oblquas AB e AC sao hipotenusas dos triangulos AHB e AHC, que sao
retangulos em H. Como AH e lado comum e HB e HC sao iguais, segue-se que AB e AC
sao iguais (Criterio L.A.L.).
C) Consideremos, enm, duas oblquas AB e AC cujas proje coes HB e HC sao desiguais.
Vamos distinguir dois casos segundo os pontos B e C estejam de um mesmo lado ou em
lados opostos em rela cao à H. No primeiro caso, suponhamos que HB HC.
A
H B C
r
Figura 6.4
Observemos entao que no triangulo AHC, retangulo em H, o angulo

BCA e externo. Isto
implica que e maior que o angulo interno nao adjacente, ou seja o angulo

BCA e obtuso e
o lado AB e maior que o lado AC.
No segundo caso, os pes das oblquas AB e AC estao em lados opostos a H;
A
H B C C
r
Figura 6.5
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 entao que AC
e congruente a AC. Mas pela primeira parte

AC
AB. Portanto AC AB.

O segmento de reta que une dois pontos às vezes e chamando de dist ancia entre esses
pontos. Agora, confrontando-se a distancia de um ponto aos varios pontos de uma reta que
nao contem esse ponto, o Teorema precedente implica que o segmento perpendicular tomado
do ponto à reta e, entre todas essas distancias, a menor distancia ou distancia mnima.
Portanto podemos xar a seguinte deni cao.
6.3.2 DEFINIC

AO
Dado um ponto e uma reta que nao contem esse ponto, chama-se distancia do
ponto à reta dada o segmento perpendicular tomado do ponto à reta.
6.3.3 DEFINIC

AO
Em um triangulo a altura relativa a um vertice e o segmento perpendicular com-
preendido entre o vertice dado e a reta que contem o lado oposto (base).
EXERC
ICIOS. Demonstre as seguintes proposi coes:

1) Em todo tri angulo isosceles, as alturas relativas aos lados congruentes s ao congruentes.
2) Um tri angulo no qual a altura e a bissetriz relativa a um mesmo vertice coincidem e isosceles e
o lado oposto ao vertice e a base.
3) Em um tri angulo ABC, seja H o pe 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 pe 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 isoscles que tenham (i) o angulo de um vertice e a altura relativa a base, ou (ii)
o angulo de um vertice e a altura relativa ao lado, respectivamente congruentes, s ao congruentes.
7) Dois tri angulos, os quais tem um lado, a altura relativa e um angulo adjacente àquele lado,
respectivamente congruentes, s ao congruentes.
Captulo 7
GEOMETRIA DAS PARALELAS
7.1 Retas Paralelas
7.1.1 DEFINIC

AO
Retas r e s sao 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 AEB, CFD e MFEN. Os angulos NEB, NEA, MFD e
CFM sao ditos angulos externos da transversal
EF, enquanto que os angulos

AEF, BEF, DFE e EFC sao angulos internos. Os angulos AEF e
EFD sao ditos angulos alternos internos, bem como BEF e EFC.
/
/
/
/
/
/
/
/
/
/
A
C
B
D
E
F
N
M
Figura 7.1
Seja t uma reta transversal a duas retas distintas r e s. Se os angulos alternos
internos da transversal forem congruentes, entao a reta r e paralela à reta s.
57
Demonstracao. Suponhamos que r =
AB , s =
CD e t =
EF com AEB e CF D.
Agora, suponhamos por absurdo que r s = e G r s. Entao G esta no mesmo
lado de

EF que A ou B. Vamos demonstrar que G nao esta no mesmo lado que A. Con-
sideremos o triangulo FEG. O angulo EFD e um angulo exterior a FEG, e AEF
e um angulo interior oposto. Portanto EFD AEF, contradizendo a hipotese de que
EFD
= AEF. Logo A nao pode estar no mesmo lado que G. Da mesma forma mostra-se
(exerccio) que G nao esta no mesmo lado que B. O caso em que G t ca excludo, pois
senao s = r.
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, entao as retas cortadas pela transversal
sao paralelas.
Demonstracao. 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 sao
congruentes: MEB

= AEF. Portanto os angulos alternos internos AEF e EFD sao
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. Entao, como
BEF

= AEM e EFD

= CFN, segue-se que AEM + CFN e um angulo plano.
Agora AEM + AEF e tambem um angulo plano. Logo AEF

= CFN. Conseq uen-
temente AEF

= EFD, ou seja, os angulos alternos internos sao congruentes e as retas
AB e

CD sao, portanto, paralelas.
Seja r uma reta qualquer e P um ponto arbitrario. Entao existe pelo menos uma
reta s que contem P e e paralela à reta r.
Demonstracao. Se P r, nao ha 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. Entao r e paralela
a s (por que?) e s contem P.
7.2 O Axioma das Paralelas
Os axiomas, que assumimos ate aqui nao implicam a unicidade da paralela por um
ponto dado. Vamos entao 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 contem
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, estao as retas dadas
se interceptam neste lado da transversal.
Vamos mostrar que, na teoria desenvolvida ate aqui, o 5
o
Postulado de Euclides e
equivalente ao Axioma das Paralelas.
7.2.1 TEOREMA
Assumindo os Axiomas xados, o 5
o
Postulado de Euclides e satisfeito se e somente

se o Axioma das Parelelas e vericado.
Demonstracao. Suponhamos que o Axioma das Paralelas esta satisfeito e consideremos a
situa cao como na Figura 7.2, onde BEF + DFE e menor que um angulo plano. Seja
OP a unica reta que contem 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 esta no
1
John Playfair editou em 1795 uma versao dos Elementos de Euclides onde o Axioma das Paralelas aparece
substituindo o 5
o
Postulado. Uma edi cao foi publicada com o ttulo Elements of Geometry, containing the
First Six Books of Euclid, Edinburgh 1831.
mesmo lado de
OP que
CD, e
EA esta no lado oposto de
OP a
CD. Portanto,
AB intercepta
CD no lado que contem
EB; logo o 5
o
Postulado de Euclides esta satisfeito.

Suponhamos agora que o 5
o
Postulado de Euclides seja vericado. Vamos demonstrar

que entao, necessariamente, o Axioma das Paralelas e tambem vericado. Sejam
duas retas paralelas à reta

CD que contem o ponto E

CD, e suponhamos, por
absurdo, que sejam distintas. Seja F a interse cao da perpendicular a

CD que passa por
E. Entao P
EF + EFD e igual a um angulo plano. De fato, se fosse menor, o 5

o
Postulado de Euclides implicaria que
CD = ; por outro lado, se fosse maior entao

O
EF + CFE seria menor que um angulo plano, e implicaria, novamente pelo 5

o
Pos-
tulado de Euclides, que
e

CD nao seriam paralelas. Como P
e P
estao 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
nao e paralela a

CD, contrariando a hipotese.
Logo, devemos ter
e conseq uentemente por um ponto fora de

CD existe uma
unica paralela, ou seja o Axioma das Paralelas e vericado.
7.3 Consequencias do Axioma das Paralelas
Sejam r e s duas retas paralelas cortadas por uma transversal t. Entao os angulos
alternos internos sao congruentes.
Demonstracao. Sejam {E} = r t, {F} = s t, A, B r tais que AE B e C, D s
taais que CF D. Como r // t, o 5
o
Postulado de Euclides assegura que BEF +EFD

e um angulo plano. Por outro lado, AEF + FEB e tambem um angulo plano. Logo
AEF

= EFD pela deni cao de soma de angulos, como queramos demonstrar.
Se r, s e t sao retas distintas tais que r // s e s // t, entao r // t.
Demonstracao. Suponhamos que r = s e t = s se encontrem em um ponto X. Como r e
t sao paralelas a s, temos X s e entao duas retas paralelas a s encontrando-se em X. Da
unicidade do Axioma das Paralelas segue-se r = t. Como r e s sao distintas nao pode
existir tal X e portanto r e paralela a t.
OBSERVAC

AO. O Teorema 7.3.1 e a recproca da Proposi cao 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 cao I.31) nao os utilizam em sua demonstra cao.
A soma dos angulos internos de um triangulo e igual a um angulo plano.
Demonstracao. Consideremos o triangulo ABC. Seja

PQ a unica reta que contem C e
e paralela a

AB.
`
`
`
`
`
`
`
`
`
P Q C
A B
Figura 7.3
Entao 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,
entao

AB//
DE.
Demonstracao. Por hipotese temos que D
CA, E
CB e CA

= CB. Suponhamos
inicialmente que C A D; entao temos tambem C B E. Consideremos os triangulos
BCA e ECD. Pelo Teorema 7.3.3 sabemos que a soma dos angulos internos de um
triangulo 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 entao

CBA +BAC

= CED +EDC.
Alem disso, como CB

= CA e CE

= CD, os triangulos BCA e ECD sao isosceles.
Portanto, os angulos de suas respectivas bases sao congruentes: CBA
= BAC e CED
=
EDC. Conclumos entao 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.
O caso C D A e analogo. (Exerccio.)
7.3.5 TEOREMA
Sejam

AB e

CD retas paralelas e consideremos a tranversal

AC. Se B e D estao
de um mesmo lado de

AC e A C E, entao BAC

= DCE.
Demonstracao. Suponhamos, por absurdo, que o angulo BAC nao seja congruente ao
angulo DCE. Entao existe F do mesmo lado de
AC que B e D, tal que FCE

= BAC.
Logo

AC e uma transversal de

AB e tambem de

FC. Consideremos ainda um ponto F
tal
que F C F
. Como FCE

= BAC, pelo Teorema 4.2.4, temos FCE

= ACF
e
entao BAC

= ACF
. Logo, pelo Teorema 7.1.4, temos que

AB//
CF e, por hipotese
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 sao
tambem paralelas.
7.3.6 TEOREMA
Se

AB//
CD,

AB
XY e

CD
ZW, entao

XY //
ZW.
Demonstracao. 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 , entao 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 tambem sao 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 sao retos.

E claro que
AB e uma transversal às retas
XY e
ZW e, se W
e tal que
ZWW
, temos que os angulos Y XZ e Y WW
sao retos, logo congruentes. Portanto,

pelo Teorema 7.1.4, temos que

XY //
ZW.
7.4 Quadrilateros, Paralelogramos e Quadrados
Um quadrilatero e a gura geometrica determinada por quatro segmentos que unem quatro
pontos, tres a tres nao-colineares. Os segmentos e os pontos denominam-se lados e vertices,
respectivamente.
Vamos considerar aqui somente aqueles quadrilateros tais que cada reta determinada
por dois de seus vertices consecutivos deixa os demais de um mesmo lado. Chamaremos este
quadrilatero de simples. Deste modo, podemos chamar de interior de um quadrilatero
(simples) a interse cao dos semi-planos (abertos) determinados pelas retas que contem os
lados.
Lados de um quadrilatero (simples) determinados por vertices nao-consecutivos sao de-
nominados opostos e os segmentos determinados por vertices nao-consecutivos denominam-
se diagonais.
7.4.1 TEOREMA
As diagonais de um quadrilatero (simples) se interceptam em um ponto interior.
Demonstracao. Sejam V
1
, V
2
, V
3
e V
4
os vertices de um quadrilatero. O vertice V
4
e
um ponto interior ao angulo

V
1
V
2
V
3
e portanto a semi-reta

V
2
V
4
esta contida no inte-
rior do angulo, logo intercepta o segmento (diagonal do quadrilatero) 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
quadrilatero. Os pontos devem coincidir, senao os lados seriam colineares.
7.4.2 COROL
ARIO
Em todo quadrilatero (simples) dois vertices nao-consecutivos estao em lados opostos
à reta determinada pelos dois outros vertices.
Nestas condi coes podemos dizer que uma diagonal divide um quadrilatero (simples)
em dois triangulos.
7.4.3 DEFINIC

AO
Um paralelogramo e um quadrilatero cujos lados opostos sao paralelos.
Os lados e angulos opostos de um paralelogramo sao congruentes e a diagonal o
divide em triangulos congruentes.
OBSERVAC

AO. O leitor deve ter observado que a existencia de paralelogramos e um
fato nao trivial: depende do 5
o
Postulado - existencia de paralelas! Em outras palavras,

um paralelogramo e uma gura geometrica euclidiana. Euclides percebeu isso. Tanto que
estabeleceu uma proposi cao para isso: a Proposi cao 46 do Livro I:
Sobre um segmento de reta dado, descrever um quadrado.
Nao so construiu, um quadrado, mas justicou cada passo da constru cao
2
.
Vamos reenunciar esta proposi cao nos seguintes termos:
2
Na realidade esta preocupa cao ja aparece em Proposi coes anteriores.
Sobre um segmento AB e xado um semi-espa co fechado de

AB, existe um unico
quadrado ABCD inteiramente contido neste semi-espa co.
EXERC
ICIOS.
1) Um quadrilatero no qual dois lados opostos s ao congruentes e paralelos e um paralelogramo.
2) Sejam AB e CD segmentos que se interceptam no ponto medio de AB, e suponhamos que
AC seja paralelo a BD. Mostre que: (i) ACM

= BDM; (ii) o quadrilatero ABCD e um
paralelogramo.
7.5 Distancia entre Paralelas
Quando dizemos que os pontos de um conjunto tem a mesma distancia em rela cao a
uma reta, isto signica que os segmentos perpendiculares, com extremos em cada ponto, sao
congruentes.
7.5.1 TEOREMA
Se duas retas sao paralelas, todos os pontos de uma das retas tem a mesma distancia
em rela cao à outra.
Demonstracao. Sejam r e s duas retas paralelas. Por dois pontos A e B da reta r tomam-
se perpendiculares em rela cao à reta s, interceptando-a nos pontos C e D, respectivamente.
As duas perpendiculares AC e BD sao paralelas pois o quadrilatero 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 ate s e tambem perpendicular de C s a r. Logo, a distancia de qualquer ponto de r
a s e igual à distancia de qualquer ponto de s a r.
7.5.2 DEFINIC

AO
A distancia entre duas retas paralelas e a distancia de qualquer ponto de uma das
retas em rela cao à outra.
EXERC
ICIOS. Demonstre as seguintes arma coes:

1) Segmentos paralelos, com extremos em paralelas, s ao congruentes.
2) Diagonais de um paralelogramo se interceptam nos respectivos pontos medios.
3) Se de um ponto da base de um tri angulo isosceles tra cam-se paralelas aos lados, a soma dos
segmentos compreendidos do ponto aos lados e congruente a cada lado.
4) Se de um ponto interno de um tri angulo equilatero tra cam-se segmentos paralelos aos lados, entao
a soma dos segmentos compreendidos entre o ponto e os lados sao o dobro do lado do tri angulo.
5) Sao 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 cao das diagonais).
7) Dois vertices de um paralelogramo s ao equidistantes da diagonal que une os outros dois vertices
8) Se em um paralelogramo ABCD os pontos E e F s ao os pontos medios dos lados AB e CD,
respectivamente, as retas AF e EC dividem a diagonal BD em tres partes iguais.
9) O tri angulo que se obtem unindo os pontos medios 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 so.
Qualquer reta do plano, que nao 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 cao ao feixe considerado).
Assim, dado um segmento qualquer AB em t dizemos que corresponde sobre t
o seg-
mento A
, que tem os extremos A
e B
respectivamente correspondentes aos extremos de

AB.
`
`
`
`
`
`
`
`
`
`
`
`
`
t t
A
B
C
D
A
Figura 7.4
7.6.2 TEOREMA
Consideremos transversais sobre um feixe de paralelas. As paralelas determinam
segmentos sobre as transversais. Alem disso, a segmentos congruentes determinados
sobre uma delas correspondem segmentos congruentes sobre a outra.
Demonstracao. Sejam t e t
duas transversais de um feixe de paralelas e tomemos sobre

t dois segmentos congruentes AB e CD. Denotemos por A
e C
os correspondentes
segmentos sobre t
. Devemos demonstrar que A
B

= C
.
Se t e t
sao paralelas a demonstra cao e simples (exerccio). Suponhamos entao que t

e t
nao sao paralelas.
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
` `
E
F
t t
A
B
C
D
A
Figura 7.5
Tracemos os segmentos AE e CF paralelos a t
, comE em
BB
e F em
DD
, respectivamente.
Os triangulos ABE e CDF sao congruentes, pois os lados AB e CD sao congruentes
(por hipotese),

ABE

=

CDF (como correspondentes em rela cao às paralelas
BB
DD
e
à transversal
AD) e

BAE

=

DCF (como correspondentes em rela cao às paralelas
AE e
CF
e à transversal
= t). Portanto, temos

AE

= CF.
Mas, os dois quadrilateros AEB
e CFD
sao paralelogramos, donde resulta

AE

= A
e CF

= C
.
Das congruencias acima estabelecidas, segue-se que A
B

= C
.
OBSERVAC

AO. Resultam imediatamente do Teorema anterior algumas conseq uencias
que convem sublinhar.
A) Em primeiro lugar, vemos facilmente que, se sobre uma transversal t de um feixe de
paralelas, tomam-se dois segmentos nao congruentes AB e CD, tambem seus correspon-
dentes A
e C
, sobre outra transversal t
sao nao-congruentes, respectivamente. De

fato, se temos por exemplo AB CD, entao AB pode se decompor na soma AE+EB onde
AE

= CD; entao, pelo Teorema precedente, resulta-se que A
e a soma de A
e E
,
correspondentes a AE e EB, e que A
e congruente a C
. Portanto, temos A
.
E E
`
`
`
`
`
`
`
`
`
`
`
`
`
t t
A
B
C
D
A
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 sextuplo de AB).
`
`
`
`
`
`
`
`
`
`
`
`
t t
A
B
D
A
Figura 7.7
Considerando uma outra transversal t
, os correspondentes segmentos A
e A
de AC e
AB, respectivamente, vamos ter que A
sera a soma de n elementos iguais a A
, isto e,
o m ultiplo de A
, 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
e A
sao os segmentos correspon-

dentes de AB e AD sobre uma segunda transversal t
, entao A
sera o subm ultiplo de

A
, segundo o mesmo inteiro n.

7.6.3 COROL
ARIO
Se um lado de um triangulo e dividido em um n umero arbitrario de partes iguais
e pelos pontos de divisao sao tra cadas paralelas a um outro lado, estas paralelas
dividem o terceiro lado no mesmo n umero de partes iguais.
Demonstracao. Seja o triangulo ABC com o lado AC dividido, por exemplo em 4 partes
iguais. Pelos pontos de divisao tra cam-se paralelas ao lado AB correspondentes às 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 Corolario 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 arbitrario de partes
iguais.
Demonstracao. Seja AB o segmento em considera cao e C um ponto nao pertencente à 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
n1
D
n
, D
i1
D
i
D
i+1
, 1 i n e D
0
= A. Tra camos o segmento D
n
B
e entao as paralelas a D
n
B passando por D
1
, ... , D
n1
. As intersec coes dessas paralelas
com o segmento AB determinam pontos E
1
, ... , E
n1
. Pelo Corolario anterior, os intervalos
AE
1
, ... , D
n1
B sao iguais. Portanto, os pontos E
1
, ... ,E
n1
subdividem o segmento AB
em n partes iguais.
O Corolario acima pode tambem ser invertido.
7.6.5 TEOREMA
Suponhamos que dois lados de um triangulo sao divididos em n partes iguais cada um.
Entao os segmentos que unem os pontos de divisao sao, ordenadamente, paralelos.
Demonstracao. Seja ABC um triangulo 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 divisao de

CA e por B
, B
, B
,... aqueles de CB.

`
`
`
`
`
`
`
`
`
`
`
`
A
A
C
B
A
Figura 7.9
Armamos que as reta
,... sao paralelas a

AB. De fato, CA
e
um subm ultiplo de CA, segundo n. Portanto, pelo Corolario 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
.
Analogamente demonstra-se que AB e tambem paralelo a
,...
7.6.6 O Corolario acima pode ser completado com uma observa cao notavel.
Retomemos a gura anterior. Pelos pontos B
, B
, B
,... tra camos as paralelas a CA

ate encontrar o lado AB em D
, D
, D
,...., respectivamente. Assim, tambem o lado AB

ca dividido em n partes iguais.
`
`
`
`
`
`
`
`
`
`
`
`
A
A D
C
B
A
Figura 7.10
Por outro lado, os quadrilateros
A
A, A
A, A
A, ...
sao todos paralelogramos, e portanto temos
A
B

= AD
, A
B

= AD
, A
B

= AD
, ...
Mas AD
e o subm ultiplo de AB segundo n, enquanto AD
, AD
,... sao respectivamente,

o dobro de AD
, o triplo de AD
, etc. Portanto
A
=
1
n
AB, A
=
2
n
AB, A
=
3
n
AB, etc.
Conclumos que: se, como anteriormente, dividimos dois lados de um triangulo num mesmo
n umero n de partes iguais, os segmentos paralelos ao terceiro lado que unem os pontos de
divisao sao ordenadamente iguais a uma fra cao 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 triangulo o segmento que une os pontos medios de
dois lados e paralelo ao terceiro lado e igual à sua metade.
`
`
`
`
`
`
A
A D
C
B
Figura 7.11
7.6.7 DEFINIC

AO
Dizemos que triangulos sao equivalentes se tem a mesma base e a mesma altura
relativa.
EXERC
ICIO. Tri angulos que tem dois vertices nos pontos medios de dois lados de um tri angulo, e
o terceiro vertice num ponto arbitrario do terceiro lado, s ao equivalentes à quarta parte do tri angulo
dado.
7.6.8 TEOREMA do Baricentro
Em todo triangulo, as tres medianas passam por um mesmo ponto. Este ponto divide
cada mediana em duas partes, de forma que a parte com um extremo no vertice e o
dobro da outra.
`
`
`
`
`
`
`
`
`
`
`
`
A
C
B
C
Figura 7.12
Demonstracao. Exerccio. (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 triangulo o ponto de interse cao de suas medianas.
Captulo 8
GEOMETRIA DOS POL
IGONOS
Gerolamo Saccheri (1667-1733), em seu livro LEuclide Emendato de 1733, observa a
perfei cao dos Elementos de Euclides, apesar de alguns senoes . Alguns desses senoes (para
nos, mas nao certamente para Euclides!) aparecem a partir da interessante Proposi cao I.35
dos Elementos. Ate este ponto o sentido de igualdade era tomado como o de congruencia das
guras geometricas em considera cao. Agora o conceito de igualdade precisa ser ampliado.
Por exemplo, existem polgonos que nao sao congruentes, nao tem a mesma forma, mas
contem intuitivamente uma por cao equivalente do plano. Euclides, inclusive, usa a expressao
areas paralelogramicas sem a denir previamente. Este e o caso do triangulo e do retangulo
da gura abaixo
`
`
`
`
`
`
Figura 8.1
Vemos neste caso que uma decomposi cao do triangulo dado gera dois triangulos congruentes
aos triangulos que decompoem o retangulo.
Precisamos, entao, emendar os Elementos nesses pontos. Na realidade, vamos apenas
introduzir a no cao de polgonos equivalentes e estudar algumas de sua propriedades. Depois
disso podemos retornar aos Elementos.
A Teoria da Equivalencia de polgonos parece ter tido incio com J.-M.-C. Duhamel
(1800-1888), em um apendice de seus Methodes dans les Sciences du Raisonnement (pp.
445-450). A ideia 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
8.1 Polgonos
8.1.1 DEFINIC

AO
Um polgono e uma gura geometrica formada pela uniao ordenada de segmen-
tos A
0
A
1
, A
1
A
2
,...,A
n
A
n+1
, denominados lados do polgono, onde os pontos A
0
,
A
1
,...,A
n
sao distintos dois a dois mas A
0
= A
n+1
.
Um pol
igono e simples se as interse coes dos lados se restringem aos extremos.

8.1.2 DEFINIC

AO
Um polgono e convexo se a reta determinada por dois de seus vertices consecutivos
deixa os demais vertices de um mesmo lado.
8.1.3 DEFINIC

AO
O conjunto dos pontos internos de um polgono convexo e a interse cao dos semi-
planos determinados pelas retas que contem os lados do polgono, semiplanos estes
que sao cada um no lado onde se encontram os demais vertices.
8.1.4 DEFINIC

AO
Dois polgonos sao adjacentes quando interceptam-se e a interse cao e um segmento
que nao contem pontos internos dos polgonos.
8.1.5 DEFINIC

AO
Soma de dois polgonos adjacentes e o polgono formado pela uniao dos polgonos
dados, exceto os pontos internos do segmento interse cao - a adjacencia.
`
`
`
`
`
`
`
`
`
`
P
1
P
2
`
`
`
`
`
P
1
P
2
Figura 8.2
8.1.6 TEOREMA
Se P
1
e P
2
sao polgonos convexos disjuntos, existe um polgono P
2
congruente a
P
2
tal que P
1
e P
2
sao polgonos adjacentes.
A no cao de soma de polgonos adjacentes pode ser generalizada para polgonos ar-
bitrarios.
8.1.7 DEFINIC

AO
Um polgono P e soma de dois polgonos convexos arbitrarios P
1
e P
2
se existem
polgonos convexos adjacentes P
1
e P
2
tais que P
= P
1
, P
= P
2
e
P

= P
1
P
2
.
Dizemos tambem que P
1
e a diferen ca de P e P
2
e escrevemos P \ P
= P
1
.
8.2 Teoria da Equivalencia
8.2.1 TRIANGULARIZAC

AO DE POL
IGONOS
Um polgono P e triangularizavel em um conjunto de triangulos
1
, ...,
n
quando:
T1) dois triangulos
j
e
k
, j = k, nao tem pontos internos em comum;
T2) todo ponto interno do polgono P e um ponto de um dos triangulos ou de seu
interior;
T3) todo ponto interior de uma triangulo
j
e tambem ponto interior do polgono.
8.2.2 DEFINIC

AO
Dois polgonos P
1
e P
2
sao equivalentes por triangularizacao, e escrevemos
P
1
P
2
, se P
1
e P
2
podem ser triangularizaveis em um mesmo n umero de triangulos
de modo que a cada triangulo da primeira triangulariza cao corresponda um triangulo
congruente na segunda triangula cao, e vice versa.
8.2.3 DEFINIC

AO
Dois polgonos P
1
e P
2
sao equivalentes por soma se existem polgonos convexos
P, P
1
e P
2
, com P
= 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
Polgonos congruentes sao equivalentes.
PROPRIEDADE REFLEXIVA
Todo polgono e equivalente a si mesmo, ou seja P P.
PROPRIEDADE SIM
ETRICA
Se um polgono 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
Polgonos equivalentes a um terceiro sao equivalentes entre si.
A propriedades simetricas e transitivas implicam que polgonos equivalentes a um ter-
ceiro sao equivalentes entre si.
ENCIA POR SUBTRAC

AO
Se a pares de polgonos sendo subtrados polgonos equivalentes restam polgonos,
entao os polgonos dados sao equivalentes.
ENCIA POR AGREGAC

AO
Se a pares de polgonos sendo agregados polgonos equivalentes resultam polgonos
equivalentes, entao os polgonos dados sao equivalentes.
8.2.4 TEOREMA
Dois polgonos sao equivalentes por subtra cao se e somente se sao equivalentes por
agrega cao.
8.3 Paralelogramos e Triangulos Equivalentes
Vamos, agora, nos ocupar de um teorema que corresponde às Proposi coes I.35 e I.36
dos Elementos de Euclides.
8.3.1 TEOREMA (Proposicoes I.35-36)
Dois paralelogramos, com base e altura relativa respectivamente congruentes, sao
equivalentes.
Demonstracao. 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
Figura 8.3
Sobre AB consideremos o paralelogramo ABLM, congruente ao paralelogramo EFGH.
Como a distancia entre as duas paralelas EF e GH e igual àquela das paralelas AB e DC,
o lado ML deste novo paralelogramo estara sobre a reta

DC. Por outro lado, este mesmo
segmento ML, congruente a DC, estara em rela cao a DC em uma das seguintes posi coes :
a) ML e DC terao uma parte comum: D M C L.
b) ML e DC sao consecutivos com os extremos M e C coincidentes.
c) ML e DC nao se interceptam e ML esta sobre a semi-reta

DC (D C M L).
Vamos demonstrar que nos tres casos os paralelogramos ABCD e ABLM sao equiva-
lentes.
No primeiro caso os dois paralelogramos tem em comum o trapezio ABCM, enquanto
os triangulos AMD e BLC sao congruentes porque os lados AD e AM sao respectivamente
congruentes aos lados BC e BL, alem disso DM e CL sao tambem congruentes, pois re-
sultam da subtra cao de DL dos segmentos DC e ML, que sao congruentes. Por isso, os
paralelogramos ABCD e ABLM resultam da uniao do trapezio ABCM com os triangulos
AMD e BCL, respectivamente, que sao 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 sao soma (uniao) do triangulo comum ACB e os triangulos DAC e MBL,
respectivamente.
Resta o caso c), onde ML esta 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
Neste caso os triangulos ADM e BLC sao congruentes. Os paralelogramos ABCD e ABML
resultam da subtra cao dos triangulos ADM e BCL do trapezio ABLD.
Para triangulos vale uma propriedade analoga àquela dos paralelogramos e que tem
tambem importancia independente.
Um triangulo, no qual foi tomado como base um lado arbitrario, e equivalente a um
paralelogramo com a mesma altura e metade da base.
Demonstracao. Consideremos o triangulo ABC e xemos como base o lado AB. Seja
D o ponto medio de AB e tracemos uma semi-reta com origem em D, contida no semi-
plano determinado por

AB e que contem C, e paralela a AC. Esta semi-reta intercepta
necessariamente o lado CB, digamos, no ponto E. Entao, a semi-reta
DE intercepta a semi-
reta

CB. Por constru cao, a gura formada pelos pontos A, D, F e C e um paralelogramo,
cuja base e a metade da base do triangulo: CF

= DB.
/
/
/
/
/
/
/
/
@
@
@
@
@
@
@
@
A D B
E
C F
Figura 8.6
Para demonstrar o Teorema, basta observar que os triangulos DBE e CEF sao congru-
entes. Por constru cao, os lados AD e CF sao congruentes. A reta
CB e transversal às retas

paralelas

AD e

CF; logo os angulos alternos internos ECF e EBD sao congruentes.
Analogamente, a reta

ED e transversal às mesmas retas paralelas; logo os angulos alternos
internos CFE e FDB sao tambem congruentes. Logo, pelo criterio angulo-lado-angulo
os triangulos CEF e FDB sao congruentes. Como o trapezio ADFC e comum segue
que o triangulo ABC e o paralelogramo ADEC sao equivalentes.
8.3.3 COROL
ARIO (Proposicao I.38)

Dois triangulos de mesma base e mesma altura relativa sao equivalentes.
Podemos estabelecer tambem as recprocas destas proposi coes. Triangulos equivalentes
de mesma base tem tambem a mesma altura relativa, ou ainda, triangulos equivalentes com um
mesmo lado tem tambem a mesma altura relativa.
EXERC
ICIO. Considere um tri angulo ABC e os pontos medios E e F de AC e BC. Se G e

um ponto arbitrario do interior de AB, entao os tri angulos ECF e EGF s ao equivalentes.
8.4 Transformacao de Retangulos
Desde que duas superfcies equivalente podem ter a mesma extens ao mas
formas diferentes (isto e, nao serem congruentes), toda vez que dada uma superfcie S con-
seguirmos de algum modo construir uma superfcie S
equivalente a S, diremos que transfor-

mamos S em S
. Desta forma, o Teorema 8.3.1 mostra como se transforma um paralelogramo

arbitrario num retangulo: basta construir o retangulo que tem por lados um lado do par-
alelogramo e a altura relativa.
Analogamente, demonstramos que: quadrados equivalentes tem lados congruentes e, por-
tanto, sao congruentes.
Vamos agora estabelecer um outro caso de transforma cao que conduzira a conseq uencias
notaveis. Para isso convem antes estabelecer o seguinte teorema.
8.4.1 TEOREMA DO GNOMON (Proposicao I.43)
Se por um ponto qualquer da diagonal de um retangulo tra camos segmentos paralelos
aos lados, o retangulo dado ca dividido em quatro retangulos, e os situados nos lados
opostos da diagonal sao equivalentes.
Demonstracao. Para vermos isso, consideremos um retangulo ABCD. Por um ponto ar-
bitrario E da diagonal BD, tra camos as paralelas FG e HK aos lados CB e AB, respectiva-
mente. O retangulo dado ca assim dividido em quatro retangulos e queremos demonstrar
que os dois retangulos AFEH e EKCG, que guram em lados opostos da diagonal, sao
equivalentes.

A B
C D
F
G
H K
E
Figura 8.7
Os dois triangulos ABD e CBD, que resultam da divisao do retangulo dado pela diagonal
DB, sao congruentes. Analogamente, os triangulos HED e GDE, FBE e KEB (obtidos
pela divisao dos retangulos HEGD e FBKE pela diagonal DB) sao tambem congruentes,
respectivamente. Resulta manifesta, desta forma, a equivalencia dos retangulos AFEH e
EKCG, que obtemos dos triangulos congruentes ABD e CDB, subtraindo do primeiro os
triangulos HED e FBE, e do segundo os triangulos GDE e KEB.
Sobre um segmento dado, existe um paralelogramo equivalente a um triangulo dado
e com um angulo congruente a outro tambem dado.
Dados um retangulo e um segmento, podemos determinar um segundo segmento,
de tal modo que o retangulo determinado por esses segmentos seja equivalente ao
retangulo dado.
Demonstracao. Para isso consideremos um retangulo ABCD e um segmento b = PQ;
tomamos entao, 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 retangulo BCEF determinado pelos segmentos CE e CB. Seja K o ponto de in-
terse cao dos prolongamentos da diagonal CF do retangulo BCEF e do lado AD do retangulo
dado ABCD. Finalmente, consideramos o segmento KG paralelo ao segmento DE, e H e
G as interse coes das semi-retas

BC e

EF com o segmento KG. Entao DK

= CH

= GE.
Portanto, HGEC e um paralelogramo equivalente a ABCD.
8.5 Euclides e o Teorema de Pitagoras
Vamos, agora, tratar do conhecido Teorema de Pitagoras. Este Teorema corresponde
à Proposi cao I.47 dos Elementos de Euclides. Mas no texto de Euclides nao encontramos
referencia ao nome de Pitagoras.
8.5.1 TEOREMA DE EUCLIDES I.
Em todo triangulo retangulo ABC, o quadrado sobre um dos catetos e equivalente
ao retangulo determinado por sua proje cao sobre a hipotenusa e a propria hipotenusa.
Demonstracao. Para isso consideremos um triangulo retangulo ABC, retangulo em A.
Sobre AB construmos 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 cao da perpendicular com o cateto
BC. Em

AH seja G de modo que HG

= BC. Consideremos o retangulo HGFB que e
equivalente a BFGH. Prolongamos FB e GH ate encontrar L e M no prolongamento de
DE.
Os ABC e DBL sao congruentes, uma vez que AB

= DB e os angulos

ABC e
DBL sao tambem congruentes como complementares do mesmo angulo

LBA. Temos em
particular LB

= BC e portanto LB

= BF.
O quadrado ABDE e o paralelogramo LBAM tem base comum BA e a mesma altura
relativa; logo sao equivalentes. Tambem o retangulo BFHG e o paralelogramo ABLM sao
equivalentes. Finalmente, como o quadrado ABDE e equivalente ao paralelogramo ABLM,
o qual e equivalente ao retangulo BFHG, segue-se que o quadrado sobre o cateto AB e equi-
valente ao retangulo BHGF.
8.5.2 TEOREMA DE PIT
AGORAS. (Proposicao I.47)

Em todo triangulo retangulo, o quadrado sobre a hipotenusa e equivalente à soma
(agrega cao) dos quadrados sobre os dois catetos.
Demonstracao. Consideremos o triangulo ABC, retangulo 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
Construmos, sobre a hipotenusa BC e sobre os catetos AB e AC, os respectivos quadrada-
dos, nos lados opostos às correspondentes bases.
Armamos que o quadrado BCDE e equivalente à soma dos quadrados sobre os cate-
tos AB e AC. Para vermos isso, tra camos do vertice A a perpendicular à hipotenusa BC
em H que intercepta ED em G. Pelo Teorema anterior, os quadrados sobre os catetos AB e
AC sao, respectivamente, equivalentes aos dois retangulos que resultam no quadrado sobre
a hipotenusa BC.
8.5.3 TEOREMA DE EUCLIDES II.
Em todo triangulo retangulo, o quadrado da altura relativa ao vertice do angulo reto e
equivalente ao retangulo determinado pelas proje coes dos catetos sobre a hipotenusa.
Demonstracao. Para vermos isso, consideremos um triangulo ABC arbitrario, retangulo
em A. Construmos o quadrado ABDE sobre o cateto AB e o retangulo BHGF determi-
nado pela proje cao do cateto AB sobre a hipotenusa BC e o segmento BF congruente e
perpendicular à 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. Entao BM

= HL e BMLH e
um quadrado.
Devemos demonstrar que o quadrado de lado AH e equivalente ao retangulo MFGL.
Para isso, aplicamos o Teorema de Pitagoras no triangulo ABH, retangulo em H. O
quadrado do cateto AH e equivalente à 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
retangulo BHGF. Entao
(AB) (AH) (BH)
e
(AB) (BH, BF);
portanto
(AH) (ML, LG),
EXERC
ICIO. Em todo tri angulo equilaletro, o quadrado sobre a altura e equivalente ao trplo
do quadrado sobre a metade do lado.
Vamos agora enunciar e demonstrar a recproca do Teorema de Pitagoras.
Em um triangulo, se o quadrado de um lado e equivalente à soma dos quadrados dos
dois outros lados, entao o angulo compreendido por estes lados e retangulo.
Demonstracao. Suponhamos que num triangulo ABC o quadrado sobre AB seja equiv-
alente à soma dos quadrados sobre AC e CB. Vamos mostrar que, necessariamente o angulo
ACB e reto. Para isso, consideremos um segmento A
congruente a AC e um segmento
B
perpendicular a A
em C
, congruente a BC:
A C A
B B
Figura 8.12
Como AC

= A
e BC

= B
, vamos ter (AC) (A
) e (BC) (B
), e pelo
Teorema de Pitagoras
(A
) (A
) (C
) (AC) (CB) (AB).

Logo, devemos ter A
B

= AB e os triangulos ABC e A
sao congruentes; con-

seq uentemente

ACB

=

A
e

ACB e portanto um angulo reto.
Com a recproca do Teorema de Pitagoras, Euclides encerra o Livro I de seus Elementos.
Captulo 9
GEOMETRIA DAS
CIRCUNFER
ENCIAS
9.1 Circunferencias
9.1.1 DEFINIC

AO
Dados os pontos O e A, a circunferencia de centro O e raio OA e o conjunto:
{X ; OX

= OA}
Se Y e um ponto qualquer da circunferencia, entao OY denomina-se raio. Dois raios colin-
eares de uma circunferencia formam um diametro.
Um ponto e interior a uma circunferencia se for interior a algum diametro da circun-
ferencia. Os pontos que nao sao internos e nao estao na circunferencia sao chamados de
pontos externos à circunferencia.
Uma corda e um segmento determinado por dois pontos de uma circunferencia.
9.1.2 TEOREMA
Toda reta que contem o centro de uma circunferencia intercepta a circunferencia em
dois pontos distintos.
EXERC
ICIOS.
1) Demonstre que uma circunferencia tem innitos pontos.
2) Demonstre que Int(C), o conjunto dos pontos internos de uma circunferencia C, e convexo.
3) Demonstre que os pontos internos de uma corda de uma circunferencia s ao tambem pontos
internos da circunferencia.
85
9.2 Propriedades Elementares
9.2.1 LEMA
Seja C uma circunferencia de centro O, A C e B C tais que A = B. Entao
existe um ponto C C oposto a A por

OB, tal que

AOB

=
BOC.
Demonstracao. Considere o ponto B
C tal que B
O B. Agora existem triangulos

isosceles com base B
B nos dois lados de
B, com os terceiros vertices, digamos X e Y .

A reta

XY contem 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. Senao, 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
circunferencias com centros O e O
e raios OA e O
, respectivamente.
Se C = C
entao O = O
. Em outras palavras, o centro de uma circunferencia esta

unicamente determinado.
Demonstracao. Suponhamos que O = O
e consideremos a reta
O. Como esta reta

contem o centro O, a reta deve interceptar a circunferencia C em dois pontos C e D, de
modo que C O D e OC

= OD. Agora, como C = C
, entao os pontos C e D estao

tambem em C
; logo O
C

= O
D.
Suponhamos que COO
. Neste caso devemos ter OO
D (por que?). Portanto,

OC O
C

= O
D OD,
o que e uma contradi cao, uma vez que OC

= OD.
Os caso C O
O e O C O
cam como exerccio.

9.2.3 TEOREMA
Tres pontos distintos em uma circunferencia sao nao-colineares.
Demonstracao. Suponhamos que A, B e C sejam pontos distintos de uma circunferencia
de centro O. Alem disso, suponhamos por absurdo que sejam colineares. Neste caso, temos
ABC, AC B ou BAC. Vamos examinar o caso em que ABC, os demais
sao analogos. Como O e o centro da circunferencia, entao
AO
= BO
= CO.
Note que dois pontos quaisquer dentre A, B e C nao podem ser colineares com O devido
ao Axioma Fundamental da Congruencia. Logo, existem os triangulos AOB, AOC e
BOC e sao isosceles. Portanto
OAB

=

OBA,

CAO
=

ACO e

OBC

=
OCB.
Conclumos entao que

OAB

=
OBC, contradizendo o Teorema do

Angulo Externo.
OBSERVAC

AO. A questao natural se tres pontos nao-colineares determinam uma circun-
ferencia sera respondida no Teorema 9.5.3. Entretanto, a unicidade desta questao e dada
pelos seguintes lemas e teorema.
9.2.4 TEOREMA (Proposicao III.10)
Duas circunferencias distintas possuem no maximo dois pontos em comum.
Demonstracao. Suponhamos que C
1
C
2
contem tres 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
, entao C
1
C
2
= no caso
O
1
A O
2
A, senao C
1
nao 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 medios denotaremos por L, M e
N, respectivamente. Pelo Lema 1.6.4 os pontos L, M e N sao nao-colineares, o que e uma
contradi cao. Logo, as circunferencias C
1
e C
2
podem ter no maximo dois pontos em comum.
9.3 Retas Tangentes a Circunferencias
9.3.1 DEFINIC

AO
Dizemos que uma reta t e tangente a uma circunferencia C se a reta t intercepta
C em um unico ponto. Dizemos, tambem, que uma circunferencia C
1
e tangente a
outra circunferencia C
2
se C
1
e C
2
tem um unico ponto em comum.
O seguinte teorema mostra a existencia de retas tangentes a circunferencias dadas.
9.3.2 TEOREMA
Seja C uma circunferencia de centro O e raio OA. Se uma reta t forma um angulo
reto com o raio OA no ponto A, entao essa reta e tangente à circunferencia C. Alem
disso, o conjunto de pontos t \ {A} esta no exterior da circunferencia dada.
Demonstracao. Seja B t, B = A. Entao o triangulo OAB e retangulo 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 à circunferencia dada.
E natural colocar-se a questao sobre a recproca desse Teorema.

9.3.3 TEOREMA
Toda reta tangente a uma dada circunferencia e perpendicular a um raio.
Demonstracao. Seja C uma circunferencia de centro O e t uma reta tangente a C em
um ponto A. Suponhamos, por absurdo, que t nao seja perpendicular ao raio OA. Pelo
Teorema anterior, existe uma perpendicular à reta t, passando pelo centro O. Seja B o
ponto de interse cao 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. Entao, os triangulos BOA e BOC sao congruentes.
Logo, OA
= OC e C C t. Mas, isto e uma contradi cao, pois A = C e t, por ser tangente,

intercepta a circunferencia C em um unico ponto.
9.3.4 COROL
ARIO
Toda circunferencia admite em cada ponto uma e unica tangente.
EXERC
ICIO. Dena circunferencia tangentes. Sejam C

1
e C
2
duas circunferencias tangentes.
Demonstre que as retas tangentes as circunferencias, no ponto de tangencia, coincidem.
9.4 Um Axioma Fundamental e Aplicacoes
Certas propriedades e aplica coes envolvendo circunferencias exigem que um novo ax-
ioma seja assumido. Este axioma vai nos permitir construir triangulos equilateros e demon-
strar a existencia de tangentes a uma circunferencia por pontos externos.
9.4.1 AXIOMA
Uma circunferencia C, de centro O, que contem um ponto interno A e um ponto
externo B de outra circunferencia C
, de centro O
, tem um ponto em comum com

a outra circunferencia em cada lado de
O.
C
B A
O O
C
Figura 9.2
A primeira aplica cao do Axioma Fundamental sera a constru cao de triangulos equilateros.
9.4.2 DEFINIC

AO
Um triangulo e equilatero se todos os seus lados sao congruentes.
1
Se AB e um segmento qualquer, entao existe um triangulo equilatero do qual AB e
um lado, em qualquer semi-plano fechado onde a reta

AB seja a fronteira.
Demonstracao. Dado um segmento AB, consideremos as circunferencias 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 triangulos ACB e ADB sao claramente equilateros.
Outra conseq uencia e o fato de que todo triangulo pode ser inscrito em uma circun-
ferencia.
1
G. W. Leibniz (1646-1716) parece ter sido o primeiro a observar que a Proposi cao I.1 dos Elementos
dependia de fatos nao explicitados por Euclides.
9.4.4 TEOREMA (Proposicao III.1)
Se A, B e C sao pontos nao colineares, existe uma e somente uma circunferencia
que passa por A, B e C.
Demonstracao Pelo Teorema 9.2.4 nao existem duas circunferencias atraves de A, B, C.
Seja M o ponto medio de AB e N o ponto medio de BC. Entao 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 nao encontrasse, teramos

NZ //
MY , o que pelo Teorema 6.4.9 implicaria

AB//
BC e
logo
AB =
BC, contrariando a hipotese. 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 à circunferencia de centro X e raio AX.
Um resultado importante, mas que nao deixa de ser um corolario do Teorema 7.7.3, e
a seguinte extensao do Teorema do

Angulo Externo.
9.4.5 TEOREMA
Se um triangulo tem um lado coincidindo com o diametro de uma circunferencia e o
vertice oposto pertence à circunferencia, entao o triangulo e retangulo nesse vertice.
Demonstracao. Consideremos um triangulo ABC inscrito em uma circunferencia e tal
que o lado AB e um diametro. Seja O o centro dessa circunferencia e consideremos o raio
OC. Consideremos, tambem, um ponto D tal que D C B.
D
A O B
C
Figura 9.4
Entao os angulos

ACB e

DCA sao suplementares. Vamos demonstrar que

ACB

=

DCA.
Temos, por um lado, que
DCA
=

CAB+

ABC. Por outro lado, como os triangulos ACO
e COB sao isosceles, 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 queramos demonstrar.
Como uma conseq uencia, dessa extensao do Teorema do

Angulo Externo, podemos
demonstrar a existencia de tangente a uma circunferencia que passa por um ponto externo.
9.4.6 TEOREMA
Dados uma circunferencia e um ponto externo, existe uma tangente à circunferencia
que passa pelo ponto dado.
Demonstracao. Consideremos uma circunferencia C com centro O e seja P um ponto ex-
terno a essa circunferencia. Seja M o ponto medio do segmento OP. Entao a circunferencia
dada e a circunferencia de centro M e raio OM interceptam-se em dois pontos. Seja N o
ponto de interse cao em um dos semi-planos determinados pela reta

OP.
N
O
M
P
Figura 9.5
O triangulo ONP e um triangulo inscrito na segunda circunferencia da qual o lado OP e
um diametro. Entao, o triangulo ONP e retangulo em N. Consequentemente, a reta
NP
e perpendicular ao raio ON da circunferencia dada e e portanto uma reta tangente.
O seguinte teorema, alem de intuitivo, tem importantes aplica coes.
9.4.7 TEOREMA
Se uma reta r intercepta o interior de uma circunferencia C, com centro O, entao
intercepta C em dois pontos pertencentes a lados opostos em rela cao a perpendicular
à reta r pelo centro O.
Demonstracao. Seja I r IntC. Entao se P e a interse cao da perpendicular à reta
r por O, temos P C. Donde OP e menor que o raio da circunferencia C. Seja O
o
ponto da perpendicular no lado oposto a O e tal que OP

= O
P. A circunferencia C
, de
centro O
e mesmo raio que C, contem 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 e perpendicular a
O em P. Pela unicidade da
perpendicular por um ponto, segue-se que Q, Q
r C.
.
Na demonstra cao do Teorema de Pitagoras transformamos um quadrado em um retangulo
equivalente. Vale um resultado recproco, que ressalta a importancia do Teorema acima.
9.4.8 TEOREMA
Todo retangulo pode ser transformado em um quadrado equivalente.
1
a
Demonstracao. Seja ABCD un retangulo arbitrario. Consideremos neste retangulo

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 semicircunferencia com

diametro DC. Levantamos uma perpendicular a DC por H ate encontrar a semicircun-
ferencia em E. O segmento DE e o lado de um quadrado equivalente ao retangulo dado.
De fato, o triangulo DCE e retangulo em E, pois um dos lados coincide com o diametro
e o vertice oposto pertence à circunferencia. O Teorema de Euclides I garante, entao, que o
quadrado sobre o cateto DE e equivalente ao retangulo determinado pela proje cao do cateto
DE sobre a hipotenusa DC e a propria hipotenusa, isto e, ao retangulo ABCD.
2
a
Demonstracao. Consideremos novamente um retangulo ABCD e suponhamos que o

lado DC seja um dos lados maiores. Prolonguemos DC ate E de modo que CE

= CB.
Descrevemos entao a semicircunferencia
E
A B
C
D
H
M
Figura 9.7
com diametro DE e a perpendicular a DE passando por C ate encontrar a semicircunferencia
em F. O segmento CF e o lado do quadrado equivalente ao retangulo ABCD. De fato, o
triangulo DEF retangulo em F e, pelo Teorema de Euclides II, equivalente ao retangulo
determinado pelos segmentos DC e CE, ou seja, o retangulo dado ABCD.
Captulo 10
PROPORC

OES E APLICAC

OES
A no cao de propor cao e suas aplica coes 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 coes implcita e aorando ja no Livro I dos Elementos.
Esta teoria estabelece as ferramentas necessarias para o estudo das semelhan cas e, alem
disso, nao se limita a problemas de comensurabilidade.
10.1 Teoria das Proporcoes
10.1.1 DEFINIC

AO
Diremos que segmentos a, b, c e d, nesta ordem, estao em proporcao 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 - Proposicao V.5)
1
A primeira edi cao 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
a : b :: c : d b : a :: d : c.
Demonstracao. Da deni cao temos
(a, d) (b, c)
e, das propriedades de equivalencia
(b, c) (a, d).
Portanto obtemos
b : a :: d : c.
A recproca e analoga.
10.1.3 TEOREMA (Proposicao V.9)
a : b :: c : d e b
= d =a
= c.
Demonstracao. Como a : b :: c : d e b
= d, temos
(a, d) (b, c) (d, c) (c, d),
ou seja a
= c, como queramos.
10.1.4 TEOREMA (Propriedade Simetrica)
a : b :: c : d c : d :: a : b.
Demonstracao. Como a : b :: c : d, por deni cao temos
(a, d) (b, c),
(b, c) (a, d),
e tambem
(c, b) (a, d).
Ou seja
c : d :: a : b.
A recproca e analoga.
10.1.5 TEOREMA (Propriedade Reexiva)
a : b :: a : b.
Demonstracao. A armativa segue da identidade
(a, b) (b, a),
a qual e assegurada pelo Teorema do Gnomon.
10.1.6 TEOREMA (Propriedade Transitiva - Proposicao V.11)
a : b :: c : d e c : d :: e : f = a : b :: e : f .
Demonstracao. 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 queramos.
10.1.7 TEOREMA (Proposicao V.5)
a : b :: c : d a : b :: nc : nd.
Demonstracao. Se n e um inteiro positivo, temos
(a, nd) n (a, d) n (b, c) (b, nc).
Logo
a : b :: nc : nd.

10.1.8 TEOREMA (Propriedade Alternando - Proposicao V.16)
a : b :: c : d a : c :: b : d.
Demonstracao. As equivalencias
(a, d) (b, c) (c, b)
implicam a : c :: b : d. A recproca e analoga.
10.1.9 TEOREMA (Propriedade Componendo - Proposicao V.18)
a : b :: c : d =(a +b) : b :: (c +d) : d.
Demonstracao. 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 - Proposicao V.17)
Se a b e c d, entao
a : b :: c : d =(a \ b) : b :: (c \ d) : d.
Demonstracao. Como a : b :: c : d, temos
(a, d) (b, c).
Mas a
= b + (a \ b) e c
= d + (c \ d). Entao
(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,
10.1.11 TEOREMA (Propriedade ex-aequali - Proposicao V.22)
a : b :: a
: b
e b : c :: b
: c
= a : c :: a
: c
.
Demonstracao. 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 arma cao.
OBSERVAC

AO. A teoria de propor coes que apresentamos, ainda que bastante intuitiva,
e restrita à classe dos segmentos de retas. Euclides, no Livro V de seus Elementos, expoe
uma teoria de propor coes, associada ao nome de Eudoxio, para uma classe muito ampla de
grandezas, mesmo deixando implcito esse conceito
3
. A deni cao de Eudoxio e a seguinte:
grandezas A, B, C e D estao em propor cao, nesta ordem, quando dados n umeros (naturais)
m e n, as seguintes condi coes estiverem satisfeitas:
P1) se mA nB entao tambem mC nD;
P2) se mA nB entao tambem mC nD;
P3) se mA
= nB entao tambem mC
= nD;
Esta deni cao, apesar de muito util para associar n umeros a geometria, e pouco intuitiva.
Supoe-se que originou-se no estudo de problemas ligados à Astronomia
4
.
10.1.12 TEOREMA (Existencia da Quarta Proporcional - Proposicao VI.12)
Dados tres segmentos a, b e c, existe um quarto segmento x tal que
a : b :: c : x.
Demonstracao. Fa camos a

= GK, b

= KF e c

= KI. Vamos transformar o retangulo
(GK, KF) em um retangulo com base KI. Para isso, prolongamos o lado GK ate um
ponto I de modo que o segmento KI seja a base pretendida:
3
Um estudo completo de grandezas e propor coes 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.
G K
F D
I
Figura 10.2
Completamos o retangulo (KI, KF) com vertice 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 cao I.43 garante que o retangulo (GK, FK)
foi transformado num retangulo equivalente (EH, HI), de base pre-xada KI. A quarta
proporcional procurada e o segmento x
= HI.
10.2 A Divisao em Extrema e Media Razao
A divisao de um segmento em extrema e media se cao pode ser feita em termos da
teoria das propor coes.
10.2.1 TEOREMA (da Divisao em Extrema e Media Razao - Proposicao VI.30)
Um ponto H divide um segmento AB em extrema e media se cao se e somente se
AB : AH :: AH : HB.
Demonstracao. Se H divide o segmento AB em extrema e media se cao, por deni cao temos
(AH) (HB, AB).
Figura 10.4
A deni cao de propor cao e a recproca da Proposi cao I.43 implicam, entao, a assertiva.
10.3 O Incentro de um Triangulo
Para o estudo da semelhan ca de triangulos sera fundamendal a no cao de incentro de
um triangulo e sua propriedade basica.
10.3.1 TEOREMA
As bissetrizes dos angulos internos de um triangulo se encontram em um unico ponto,
chamado incentro. Alem disso, as distancias do incentro a cada um dos lados do
triangulo sao congruentes.
Demonstracao. Seja I a interse cao 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
Os triangulos IAE e IAD sao congruentes (por que?); logo IE

= ID. Da mesma
forma, os triangulos IDC e IFC sao congruentes. Logo ID

= IF. A transitividade
da congruencia implica entao IE

= IF. Isto garante que os triangulos IFB e IEB
sao congruentes. Finalmente, conclumos que

EBI

=

IBF e portanto a semi-reta
BI e a
bisseriz do angulo

ABC e passa por I.
10.4 Semelhanca de Triangulos
10.4.1 DEFINIC

AO
Triangulos ABC e A
sao semelhantes se
ABC

A
;

ACB

A
e

CAB

C
.
Lados opostos aos angulos congruentes sao chamados correspondentes ou homologos.
Vamos mostrar que cortando-se um triangulo por uma reta paralela a um dos lados,
formamos um segundo triangulo semelhante ao primeiro.
10.4.2 LEMA
Seja ABC um triangulo retangulo 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
Entao
AE : EF :: AB : BC.
Demonstracao. Os triangulos AEF e CE
sao congruentes; vemos que

(IC, CG) (BC, CE
).
A B
C
E
F
D
E
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
Triangulos semelhantes tem seus lados homologos proporcionais.
Demonstracao. Consideremos dois triangulos semelhantes ABC e A
. Vamos
demonstrar que
AB : A
:: AC : A
, AB : A
:: BC : B
e AC : A
:: BC : B
.
Para isso denotemos por I e I
os respectivos incentros desses triangulos, ID, IE e IF e

I
, I
e I
as distancias aos respectivos lados.

Figura 10.8
Os triangulos ADI e IDB sao respectivamente semelhantes aos triangulos A
e
I
. Pelo Lema anterior, segue-se que

AD : ID :: A
: I
e DB : ID :: D
: I
,
donde
AB : ID :: A
: I
.
Analogamente,
BC : IE :: B
: I
e
AC : IF :: A
: I
.
Como ID

= IE

= IF e I
E

= I
F

= I
, obtemos nalmente as propor coes procuradas.
O Teorema de Tales
Podemos agora estabeler o teorema dos segmentos proporcionais, tambem conhecido
como Teorema de Tales.
10.4.4 TEOREMA DE TALES (Proposicao VI.2)
Duas secantes paralelas determinam sobre os lados de um angulo, a partir de sua
origem, quatro segmentos proporcionais.
Demonstracao. 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 triangulos determinados AOC e BOD sao semelhantes e a arma cao 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 vertice do angulo, seus outros extremos determinam retas paralelas.
Demonstracao. 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
. Entao, pelo Teorema 10.4.4

temos
OA : OB :: OC : OD
.
Agora, a Propriedade Transitiva das propor coes implica
OC : OD :: OC : OD
.
Mas entao OD
= OD
e portanto D = D
. Portanto as retas
AC e
BD sao paralelas, como

queramos demonstrar.
10.4.6 TEOREMA
Dois triangulos sao semelhantes, entre lados proporcionais, tem angulos congruentes.
Demonstracao. Segue-se diretamente dos Teoremas anteriores.
10.5 O Teorema de Pitagoras
O Teorema de Pitagoras tambem pode ser tratado no contexto da teoria das propor coes.
10.5.1 TEOREMA DE PIT
AGORAS (Proposicao VI.8 e Corolario)

Em todo triangulo retangulo, o quadrado sobre a hipotenusa e equivalente à soma
dos quadrados sobre os catetos.
Demonstracao. Consideremos um ABC retangulo em C, e denotemos por D o pe da
altura relativa a hipotenusa AB. Determinamos assim dois triangulos ADC e CDB,
retangulos em D.
A D
C
B
Figura 10.10
Os triangulos ABC, ADC e CDB sao 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 à soma dos quadrados sobre
os catetos AC e CB, como queramos demonstrar. .
Captulo 11
PONTOS E N
UMEROS REAIS
Um fato geralmente aceito sem discussao e aquele que estabelece uma correspondencia
entre pontos de uma reta e n umeros reais. Entretanto, longe de ser trivial este fato exige
uma demonstra cao longa e envolvente. Vamos dedicar este Captulo a fazer esta demon-
stra cao. Como os resultados aqui dependem apenas do Captulo 2, algums resultados dos
captulos posteriores serao repetidos com demonstra coes independentes, inclusive o Axioma
Arquimediano aqui sera um teorema.
11.1 O Axioma de Continuidade
Para podermos estabelecer uma correspondencia biunvoca entre os pontos de uma reta
e os n umeros reais precisamos admitir mais um axioma.
AXIOMA DE CONTINUIDADE
Para toda classe C, nao vazia, de segmentos contidos em um segmento xo, 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 tambem um segmento tal que I J
1
, qualquer que seja o segmento I,
na classe dada, entao J
0
J
1
.
O segmento J
0
denomina-se supremo da classe dada e denota-se por sup C.
Uma primeira aplica cao do Axioma de Continuidade e o seguinte. Dados pontos U e
O em uma semi-reta

CD, U = C coloca-se a (importante) questao de saber se para algum
n, sucientemente grande, vamos ter O nCU. Esta questao tem resposta armativa e
constitui o Princpio Arquimediano.
1
1
A tradi cao denomina esta propriedade de arquimediana. Mas os Elementos de Euclides s ao mais antigos
que a obra de Arquimedes e Euclides ja faz uso dessa propriedade.
107
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.
Demonstracao. Se CO CU, nao ha o que demonstrar. Se CU CO, suponhamos por
absurdo que
nCU CO,
para todo n N. Desta forma, a famlia de segmentos
F := { nCU ; n N}
e nao vazia e limitada superiormente. Seja J o segmento supremo desta famlia.

E claro que
o segmento J \ CU nao e um limitante superior. Portanto, existe m N tal que
J \ CU mCU,
donde
J (m+ 1) CU.
Entao J nao seria o supremo da famlia F, o que e uma contradi cao.
11.2 Divisao de um Segmento
O Axioma de Continuidade garante a divisao de um segmento em um n umero arbitrario
de partes congruentes. Vamos come car dimidiando um segmento, isto e, mostranto a ex-
istencia do ponto medio de um segmento arbitrario agora usando o Axioma de Continuidade.
11.2.1 DEFINIC

AO
O ponto medio M de um segmento AB e um ponto que verica as condi coes
A M B e AM

= MB.
Todo segmento AB admite um unico ponto medio.
Demonstracao. Consideremos a classe de segmentos
{ AC ; A C B e AC CB}.
Esta classe e nao 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.
Suponhamos que vale (i). Existe um ponto E, D E B, tal que AD

= EB. Existe
tambem 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 tambem somos levados a um absurdo.
Portanto, resta somente a alternativa (iii): AD
= DB; ou seja, D e o ponto medio do

segmento AB.
11.2.3 COROL
ARIO
Dados n N e um segmento AB, existe um ponto G, A GB, tal que
2
n
AG
= AB.
Demonstracao. Segue por indu cao e o Teorema do Ponto Medio.
11.2.4 TEOREMA
Dado n N, n 2, e um segmento AB, existe um ponto D, A D B, tal que
nAD
= AB.
Demonstracao. Como n > 1, existe m N tal que n = m + 1. Consideremos, entao, o
conjunto
{ AC ; A C B, mAC CB}.
Pelo Corolario acima, existe um ponto C, A C B, tal que 2
m+2
AC

= AB; segue-se
entao que (m + 1)AC AB e mAC CB. Logo, o conjunto em considera cao e nao 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, DE B, tal que EB

= mAD. Se M e o ponto medio 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.
Tambem, 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 tambem conduzidos a uma contradi cao. Portanto, pela Lei da
Tricotomia, deve valer (iii), ou seja mAD
= DB. Consequentemente,
nAD
= mAD +AD
= AD +DB

= AB,
o que demonstra a assertiva.
11.3 Produto de N umeros Racionais por Segmentos
O produto de um n umero natural n por um segmento arbitrario I e denido indutiva-
mente: (i) denimos 1 I :
= I, (ii) supomos dendo o produto nI, (iii) denimos

(n + 1) I :
= nI +I.
Vamos ter (demonstrando por indu cao) que
(mn) I = m(nI) = n(mI).
Vale tambem a propriedade
mI

= nI m = n.
Por outro lado, vimos na se cao anterior o seguinte:
Dado um segmento arbitrario I e um n umero natural q, existe um segmento I
q
tal que
q I
q

= I.
Denimos entao
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,
entao
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).
Tambem, 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).
Denimos, entao
p
q
I :
= p (
1
q
I)
= (
1
q
I).
Observe que
p
q
foi denido como um operador na classe dos segmentos do espa co eu-
clidiano.

E o operador divide por q e multiplica por p.
Vamos, agora, estudar as propriedades do operador
p
q
.
Se m N, temos
p
q
=
mp
mq
.
De fato, como q I
q

= I, entao (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
) sao dois pares de n umeros naturais, entao

p
q
=
p
pq
= p
q.
Demonstracao. Seja I um segmento arbitrario e suponhamos que pq
= p
q. Entao vamos
ter
p
q
I

=
pq
qq
I

=
p
q
qq
I

=
p
I.
Reciprocamente, se
p
q
I =
p
I,
entao
qq
(
p
q
I) = qq
(
p
I),
e
pq
I = p
q I.
Donde, pelo observado acima, segue-se que pq
= p
q.
E importante notar que a fra cao

a
b
foi denida como um operador que atua sobre segmen-
tos.
11.3.2 PROPOSIC

AO
Se (p, q) e (r, s) sao pares de n umeros naturais, temos
p
q
+
r
s
=
ps +qr
qs
.
Demonstracao. Se I e um segmento arbitrario, entao
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 tambem uma identidade para o produto. Mas este deve ser interpretado como
composi cao de operadores.
11.3.3 PROPOSIC

AO
Se (p, q) e (r, s) sao pares de n umeros naturais, temos
p
q

r
s
=
pr
qs
.
Demonstracao. Se I e um segmento arbitrario, entao
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)], denimos
r I :=
p
q
I.
Esta deni cao independe do representante (p, q) de r, como vimos acima.
11.4 Secoes de Dedekind
11.4.1 DEFINIC

AO
Uma secao no subconjunto Q
+
, dos n umeros racionais positivos, e um subconjunto
Q que verica as seguintes condi coes:
(S1) e nao vazio: = ;
(S2) e limitado superiormente: existe b Q
+
tal que a b, para todo a ;
(S3) nao tem elemento maximo: para cada a , existe a
tal que a < a
;
(S4) se a e b Q
+
, mas b < a, entao b .
NOTAC

AO.
Denotaremos por R
+
o conjunto de todas as se coes em Q
+
OBSERVAC

AO. Os elementos de R
+
, ou seja as se coes em Q
+
, podem ser chamados de
n umeros reais positivos.
EXEMPLO.
:= { x Q
+
; x
2
< 2 }
e uma se cao em Q
+
. De fato:
i) = , pois 1 ;
ii) e limitado superiormente: se x entao x < 2;
iii) nao tem elemento maximo, pois se x = p/q existe n N tal que y = x + 1/nq
e x < y (verique a existencia de n N);
iv) se x e y Q
+
, com y < x, entao y
2
< x
2
< 2, ou seja y .
As condi coes (S1)-(S4) sao portanto vericadas e e uma se cao em Q
+
.
EXERC
ICIO. Se e uma se cao e n N, mostre que o conjunto n := { na ; a } tambem e

uma se cao, em Q
+
.
11.5 Secoes Denidas por Pares de Segmentos
11.5.1 TEOREMA
Se I e J sao segmentos arbitrarios, o subconjunto
:= { r Q
+
; rI J }
e uma se cao em Q
+
.
Demonstracao. O Princpio Arquimediano garante isso. (S1): o conjunto e nao vazio,
pois se I J basta tomar r = 1; se J I, existe n N tal que I nJ, basta entao tomar
r = 1/n. (S2): o mesmo argumento mostra que e limitado superiormente. (S3): seja
r , arbitrario; existe n N tal que I n(J \ rI), ou seja existe n tal que (r +1/n)I J
e portanto nao tem elemento maximo. (S4): se r e s Q
+
sao tais que s < r, entao
sI rI J,
e portanto s . Como as condi coes (S1), (S2), (S3) e (S4) da deni cao de se cao estao
satisfeitas, segue-se que e uma se cao.
11.6 Pontos e N umeros Reais
11.6.1 TEOREMA
Quaisquer que sejam os segmentos I e J, as seguintes assertivas sao equivalentes:
A) = { r Q
+
; rI J };
B) J = sup{ rI ; r }.
Demonstracao. A) = B). Ja mostramos que e uma se cao. Pelo Axioma da Con-
tinuidade, o conjunto
J
0
= sup{ rI ; r }
e um segmento bem denido. Vamos ter J
0
J. Suponhamos que a desigualdade seja
estrita: J
0
J. Entao existe n N tal que
I n(J \ J
0
).
Por deni cao, 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, teramos r+1/n , o que contradiz o fato de J
0
ser o supremo. Logo, J
0
= J.
B) = A). Seja uma se cao e suponhamos que
J = sup{ r I ; r }.
Fa camos
0
:= { r Q
+
; r I J }.
Vamos mostrar que =
0
. Como e uma se cao, nao tem maior elemento; logo
r I J,
para todo r , e entao
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 nao e o caso. Logo =
0
.
11.6.2 TEOREMA
Existe uma correspondencia biunvoca da classe R
+
, das se coes em Q
+
, sobre qual-
quer semi-reta.
Demonstracao. Fixemos um segmento arbitrario I. Seja s uma semi-reta de origem O.
Dada uma se cao R
+
, a classe de segmentos
{ r I; r }
e limitada (por que?). Logo existe um segmento J
tal que
J
= sup{ r I ; r }.
Agora, pelo Axioma Fundamental da Congruencia, existe um ponto P
s tal que
J

= OP
.
Consideremos a correspondencia
R
+
P
s.
Esta correspondencia e biunvoca. De fato, seja R
+
e suponhamos que
P
= P
.
Tomemos um segmento J

= OP
. Entao
{ r Q
+
; r I J
} = { r Q
+
; r I J
},
e pelo Teorema anterior temos = , logo a correspondencia e biunvoca.
Seja agora Q s \ {O}, arbitrario. Fa camos J

= OQ. Entao o conjunto
:= { r Q
+
; r I J }
e uma se cao e, alem disso,
J = sup{ r I ; r }.
Logo, dado um ponto Q arbitrario em s existe um n umero real positivo tal que Q = Q
.
BIBLIOGRAFIA
[1] B. ARTMANN, EUCLID - The Creation of Mathematics. Springer-Verlag, New York,
1999. (CLE-UNICAMP)
[2] Oskar BECKER, O Pensamento Matematico. Ed. Herder. Sao 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. Sao 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 Ideias Fundamentais da Matematica. Ed. Grijalbo Ltda. &
EDUSP, Sao Paulo 1971. (IMECC/CLE-UNICAMP/ETC.)
[7] J.-M.-C. DUHAMEL, Des Methodes dans les Sciences de Raisonnement. Gauthier-
Villars. Paris, 1875. (UMDL)
[8] Alberto DOU, Fundamentos de la Matematica. 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 dEuclide 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, Mexico 1944. (IMECC-UNICAMP (Tombo X231))
[13] EUCLIDES, Elementos de Geometria. Trad. Rev. Anibal Faro (Baseado na Ed. de F.
Comandino) Ed. Cultura, Sao 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 dEuclid. (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, Geometrie Rationnalle. Gauthier-Villars. Paris, 1911. (UMDL e
IME-USP)
[23] Robin HARTSHORNE, Geometry: Euclid and Beyond. Springer-Verlag, New York,
2000. (IMECC-UNICAMP)
[24] Thomas L. HEATH, The Thirteen Books of Euclids 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,

Elements de Geometrie. 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 Euclids 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 cao
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 Geometrie 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, Analise Historica dos Livros de Matematica. 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)

Geometria Axiomática

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Geometria Axiomática

Transféré par

Droits d'auteur :

Formats disponibles

COLEC

ATICA CABEC A DE PROFESSOR

ENCIA DE FIGURAS PLANAS 25

UMEROS REAIS 107

IPIO DO TERCEIRO EXCLU

IPIO DA DUPLA NEGAC

ICIO. Sejam A, B e C pontos distintos e nao pertencentes a uma mesma reta r. Se A

AC; suponhamos entao que

ICIO. Consideremos uma reta r e A um ponto nao pertencente a r. Se s e uma semi-reta

pontos coplanares tais que ABC e A

. Entao, novamente, pelo Axioma Fundamental de Congruencia, devemos ter

= AB, o que demonstra A).

; alem disso suponhamos que AB

estao necessariamente na ordem A

sao tais que AC

. Nestas condi coes,

. Agora, pelo Axioma Fundamental da Congruencia,

. O Axioma de Extensao da Congruencia, aplicado aos

. A unicidade no Axioma Fundamental da Congruencia garante entao que C

, como queramos demonstrar.

pontos tais que AC

. Estamos, entao, nas hipoteses do Teorema 2.1.2. Logo, temos tambem

. Como ABC, entao B = C e pelo Teorema 2.1.3 segue-se que BC

, segmentos tais que AB

= GH =AB +CD EF +GH;

= k AB \ k CD, (CD AB);

duas guras geometricas. Uma congruencia e uma tranforma cao

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

sao congruentes se existe uma con-

. Neste caso, escrevemos F

guras planas. Entao:

entao T e biunvoca e sobre; logo existe sua inversa T

; entao a transforma cao composta T = T

. Para completar a demonstra cao falta observar que dados

duas semi-retas com extremos A e A

T(X). O Axioma Fundamental

. Para vericar que

CD duas retas quaisquer. De (i) sejam T

CD. Denimos entao

AB, pelas deni coes respectivamente

AB. Como T(X) = T

CD, segue-se que

AB, pelas deni coes respectivamente de T

Angulo e a gura geometrica formada por duas semi-retas nao-colineares, de mesma

AB denomina-se angulo plano

Angulo plano e, portanto, uma extensao do conceito de angulo.

AB, C) o semi-plano oposto ao semiplano S(

AB, C), determinado

AC. Denimos (e denotamos) o exte-

AC, com E e F distintos de A, existem

pontos nao colineares e D

um ponto tal que B

32 Dicesar Lass Fernandez

BC, temos tres casos a considerar: C = D, B C D e

Caso: C = D. Neste caso devemos ter tambem C

, e nao ha o que demonstrar.

Caso: BC D. Neste caso, o Teorema 2.1.2 implicara que B

Caso: BDC. Neste caso temos B

, e existe um ponto E com C BE,

, portanto por 2.1.1 temos C

, temos pelo Axioma da Transversalidade

o Teorema 2.1.1 nos da

, o que demonstra o Teorema.