Escolar Documentos
Profissional Documentos
Cultura Documentos
AO MATEM
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
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 `a 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 logica- mente 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
IDO
Dadas duas proposi coes tais que uma e a nega cao da outra, entao uma delas e
verdadeira.
PRINC
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 `a quail serao submeti-
dos os termos primitivos.
As deni coes permitindo introduzir, `a 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!).
4 Dicesar Lass Fernandez
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.
Elementos de Geometria 5
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 `a 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.
6 Dicesar Lass Fernandez
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.
Elementos de Geometria 7
1.3.3 PROPOSIC
AO
Se A e B sao pontos distintos, entao
AB = BA.
Demonstracao. Pelo Axioma I, dois pontos distintos determinam apenas um segmento.
1.3.4 COROL
ARIO
Se A e B sao pontos distintos, entao
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.
8 Dicesar Lass Fernandez
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.
Demonstracao. Exerccio.
1.4.8 PROPOSIC
AO
Existem pelo menos duas retas distintas que passam por cada ponto dado.
Demonstracao. Exerccio.
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
Elementos de Geometria 9
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.
10 Dicesar Lass Fernandez
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
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}.
14 Dicesar Lass Fernandez
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.
1.7.3 PROPOSIC
AO
Se A B C, entao B e o unico ponto comum `as semi-retas
BA e
BC, e alem
disso
AB =
AC.
Demonstracao. Exerccio.
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)
Elementos de Geometria 15
Se s =
AB, escrevemos s
op
para denotar a semi-reta colinear e oposta:
s
op
:=
AB.
EXERC
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
,
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
18 Dicesar Lass Fernandez
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
; logo AB
= CD e 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
e AC
= A
. Entao, os
pontos A
, B
e C
.
Demonstracao. Pelo Axioma Fundamental da Congruencia, existe C
em
, tal que
BC
= B
. Temos A
. Mas C
, C
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
.
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
tal que BC
= B
, B
e C
, assegura que AC
= A
. Porem, C
e por hipotese
AC
= A
= C
.
Conseq uentemente BC
= B
.
Repetindo o argumento do caso anterior, conclumos tambem que CB
= C
, e a demon-
stra cao esta completa.
Elementos de Geometria 19
2.1.4 COROL
ARIO
Sejam A, B e C dados na ordem AB C e A
e C
.
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
,
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.
Demonstracao. Exerccio.
2.2.4 TEOREMA
20 Dicesar Lass Fernandez
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.
Elementos de Geometria 21
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 `a 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.
22 Dicesar Lass Fernandez
2.3.3 TEOREMA
Sejam AB, CD, A
e C
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
= 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)
Elementos de Geometria 23
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;
Demonstracao. Exerccio.
24 Dicesar Lass Fernandez
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
Demonstracao. Exerccio.
2.4.4 LEI DO CANCELAMENTO
Se AB e um segmento e m e n sao n umeros naturais, entao
mAB nAB =m n.
Demonstracao. Exerccio.
2.4.5 TEOREMA
Consideremos os segmentos AB, CD e os n umeros k, n e m. Entao
k (AB \ CD)
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
26 Dicesar Lass Fernandez
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
.
3.1.5 TEOREMA
Sejam F, F
e 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
sobre F, ou seja, T
1
e uma congruencia de F
em F. (iii)
Seja T
2
uma congruencia de F
em 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).
Elementos de Geometria 27
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
, respectivamente.
Dado X em s, seja T(X) o unico ponto em s
tal que 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
AB sobre
CD e
AB sobre
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 e Y
CD e T(Y ) = T
2
(Y )
AB. Se
X, Y
AB ou X, Y
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.
28 Dicesar Lass Fernandez
Captulo 4
GEOMETRIA DOS
ANGULOS
4.1 Nocoes Gerais
4.1.1 DEFINIC
AO
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, C) S(
AC, B).
29
30 Dicesar Lass Fernandez
Lembremos que S
op
(
AB e
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
`
`
`
`
`
`
`
`
`
`
`
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
Elementos de Geometria 31
1
o
caso: P, Q S
op
(
AB, C) ou P, Q S
op
(
AC, B);
2
o
caso: P
AB e Q
AC;
3
o
caso: P S
op
(
AB, C) S(
AC, B) e Q S
op
(
AC, B) S(
AB, C),
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
X
Y
A
Q
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
,
e suponhamos que AB
= A
, BC
= B
, AC
= A
e BD
= B
, entao
AD
= A
.
-
-
-
-
-
-
-
-
-
-
--
A
B
C
D
-
-
-
-
-
-
-
-
-
-
--
, 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
= D
; e estaremos
nas condi coes do Axioma da Transversalidade.
3
o
tal
que CE
= C
e D
. Como CA
= C
,
BA
= B
, BC
= B
, CE
= C
e C
.
Como CB
= C
, CE
= C
, C B E e C
. 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
= 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
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
e P
pontos de
AB e
.
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
34 Dicesar Lass Fernandez
que B
A
= OP
. Agora, BA
= OP e AB
= OP
, e como B
AB, P
OP, temos
B
A B e P
OP temos P
. 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
e Q
OQ e C
. Assim, AC
= OQ, AB
= OP
, CB
= QP
e
CC
= QQ
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
sao
angulos opostos (pelos vertices).
Elementos de Geometria 35
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
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
, AB
= A
e BC
= B
.
Sejam D e D
pontos de
AB e
= D
. Entao, pelo
Axioma de Transversalidade da Congruencia temos
CD
= C
.
O Teorema 4.3.2 garante entao que CAD
= C
, respectivamente.
(ii) Seja E um ponto em
AC e D um ponto de
. Tambem, ABC A
se ABC A
ou
ABC
= A
.
36 Dicesar Lass Fernandez
B
D
A
C
Figura 4.9
4.4.2 LEI DA TRICOTOMIA
Dados os angulos ABC e A
,
(2) ABC
= A
,
(3) A
ABC.
Demonstracao: Exerccio.
4.4.3 TEOREMA
A) Se ABC A
e A
= A
e A
, entao ABC A
.
Demonstracao: A) Se ABC 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
.
Escrevemos entao
ABC +A
= MON.
4.4.5 DEFINIC
AO
Suponhamos que ABC A
= 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
38 Dicesar Lass Fernandez
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 `a 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 `a 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.
Elementos de Geometria 39
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 `a 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
, 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
com AB
= A
, BC
=
BC
e ABC
= A
de modo que
T(B) = B
segue-se
T(A) = A
. Mas entao AC
= T(A)T(C)
= A
; ou
seja AC
= 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.
5.5.1 TEOREMA (Proposicao I.26)
Se ABC e A
, BAC
= B
e CBA
=
C
com A e B correspondendo a A
e B
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
\
A B
C
A
Q P
Figura 5.4
Demonstracao. Como AB
= A
e BAC
= B
e AC
= A
P, BC
= B
= C
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. Assim teremos BC
= B
e AC
= A
, logo ABC
= A
.
Elementos de Geometria 41
Suponhamos, agora, que seja possvel P = C
. Como { C
} =
, entao
P = Q, pois C
, 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. Logo
A
P
= A
Q, assim A
Q
= A
P,
temos Q
P que contem A
P A
Q e no segundo caso A
Q A
P.
Logo A
= A
P. Portanto, A
= A
. 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 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
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
,
42 Dicesar Lass Fernandez
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.
5.7.2 TEOREMA (Proposicao I.16)
Em todo triangulo, qualquer angulo externo e maior que os angulos internos opostos
(ou nao adjacentes).
Demonstracao. Consideremos um triangulo ABC e X em
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
DC. Mas
AC=
DC e portanto B
#
#
#
#
#
#
##
A
A
A
A
A
A
A
B
C X Y
Figura 5.7
Como Y
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
A B
C
D
Figura 5.8
Vamos demonstrar que ABC BAC. Seja D
CA tal que BC
= CD. Como ADC,
a semi-reta
= 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
= AC +CB,
como queramos demonstrar.
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.
46 Dicesar Lass Fernandez
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
`aquele 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
= 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
e AC
= A
. Se as medianas relativas
aos lados AB e A
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
=
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
AC
nem a
BC.
/
/
/
/
/
/
/
/
`
`
`
`
`
`
`
`
A B
C C
Figura 5.3
48 Dicesar Lass Fernandez
Neste caso, C
Int(CAB) ou C C
AB). Suponhamos C
AB
= CAD, o que
e uma contradi cao.
5.9.7 COROL
ARIO
Se ABC
= ABC
e se C e C
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
ou CAB C
ou CAB
= C
.
Vamos demonstrar que as duas primeiras hipoteses levam a contradi coes.
Suponhamos que CAB C
Int(C
) tal que E
= CAB.
D A B
C
D
Figura 5.5
Sejam CAD e C
, respectivamente.
Como por hipotese os angulos CAB e C
= C
. Como C
CAB e E
= CAB segue-se que
C
CAB e tambem C
e E
. Portanto, C
e analogo (Exerc
icio!).
Portanto, temos necessariamente CAB
= C
.
5.10.4 COROL
ARIO
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.
6.1.2 TEOREMA (Proposicao I.22)
Seja P um ponto pertencente `a uma reta s. Existe uma unica reta r perpendicular `a
s tal que r s = {P}, ou seja, existe uma unica perpendicular passando pelo ponto
P.
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 s tal que
em
. 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
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
52 Dicesar Lass Fernandez
D
= D
Q e ND
= MD
Q temos MQ
`
`
`
`
`
`
`
`
`
`
`
`
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
= P
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
ICIOS.
1) Se semiretas
OM e
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 `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 `a 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.
Elementos de Geometria 55
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 `a 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
56 Dicesar Lass Fernandez
suponhamos ainda que HC HB. Seja C
seja igual
a HC; pelo Caso B) segue-se entao que AC
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.
7.1.4 TEOREMA (Proposicao I.28)
Se uma reta intercepta duas outras retas de modo que um angulo exterior e congru-
ente ao angulo interior oposto do mesmo lado, ou se a soma dos angulos internos de
um mesmo lado e igual a um angulo plano, 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.
Elementos de Geometria 59
7.1.5 TEOREMA (Proposicao I.31)
Seja r uma reta qualquer e P um ponto arbitrario. Entao existe pelo menos uma
reta s que contem P e e paralela `a 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
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.
60 Dicesar Lass Fernandez
mesmo lado de
OP que
CD, e
OP a
CD. Portanto,
AB intercepta
EB; logo o 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
nao e paralela a
CD, contrariando a hipotese.
Logo, devemos ter
`
`
`
`
`
`
`
`
`
P Q C
A B
Figura 7.3
Entao PCA
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
= 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.
62 Dicesar Lass Fernandez
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
tal
que F C F
. Como FCE
= BAC, pelo Teorema 4.2.4, temos FCE
= ACF
e
entao BAC
= ACF
CF e, por hipotese
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
X Y , entao pelo
Teorema 7.3.1 temos que X
XA
= X
Y C. Como 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
XY e
ZW e, se W
e tal que
ZWW
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
Elementos de Geometria 63
(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
`a 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.
7.4.4 TEOREMA (Proposicao I.34)
Os lados e angulos opostos de um paralelogramo sao congruentes e a diagonal o
divide em triangulos congruentes.
Demonstracao. Exerccio.
OBSERVAC
AO. O leitor deve ter observado que a existencia de paralelogramos e um
fato nao trivial: depende do 5
o
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 `a outra.
Demonstracao. Sejam r e s duas retas paralelas. Por dois pontos A e B da reta r tomam-
se perpendiculares em rela cao `a 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 `a 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 `a outra.
EXERC
, 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
e B
`
`
`
`
`
`
`
`
`
`
`
`
`
t t
A
B
C
D
A
Figura 7.4
66 Dicesar Lass Fernandez
7.6.2 TEOREMA
Consideremos transversais sobre um feixe de paralelas. As paralelas determinam
segmentos sobre as transversais. Alem disso, a segmentos congruentes determinados
sobre uma delas correspondem segmentos congruentes sobre a outra.
Demonstracao. Sejam t e t
e C
os correspondentes
segmentos sobre t
B
= C
.
Se t e t
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
` `
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 `as paralelas
BB
DD
e
`a transversal
AD) e
BAE
=
DCF (como correspondentes em rela cao `as paralelas
AE e
CF
e `a transversal
e CFD
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
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
, 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
, entao A
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.
68 Dicesar Lass Fernandez
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 `as partes
de AC. Como cada uma destas partes e subm ultipla de AC segundo o fator 4, tem-se,
correspondentemente, que cada uma das partes de BC e subm ultipla de BC segundo o
mesmo inteiro 4.
A
A
A
A
A
A
A
A
A
A
A
A
A
C
B
Figura 7.8
Este 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 `a 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
, B
, B
`
`
`
`
`
`
`
`
`
`
`
`
A
A
C
B
A
Figura 7.9
Armamos que as reta
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
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
, D
, D
`
`
`
`
`
`
`
`
`
`
`
`
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
, ...
70 Dicesar Lass Fernandez
Mas AD
, 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 `a 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 `a 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.
Elementos de Geometria 71
`
`
`
`
`
`
`
`
`
`
`
`
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.
72 Dicesar Lass Fernandez
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
74 Dicesar Lass Fernandez
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
`
`
`
`
`
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.
Elementos de Geometria 75
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.
76 Dicesar Lass Fernandez
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.
PROPRIEDADE DE EQUIVAL
C
C
C
C
C
C
C
C
C
C
C
C
A B
C D M L
E F
H G
Elementos de Geometria 77
Figura 8.3
Sobre AB consideremos o paralelogramo ABLM, congruente ao paralelogramo EFGH.
Como a distancia entre as duas paralelas EF e GH e igual `aquela 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
78 Dicesar Lass Fernandez
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 `aquela dos paralelogramos e que tem
tambem importancia independente.
8.3.2 TEOREMA (Proposicao I.37)
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
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
80 Dicesar Lass Fernandez
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.
8.4.2 TEOREMA (Proposicao I.44)
Sobre um segmento dado, existe um paralelogramo equivalente a um triangulo dado
e com um angulo congruente a outro tambem dado.
8.4.3 TEOREMA (Proposicao I.45)
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
`a 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.
Elementos de Geometria 81
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
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 `as correspondentes bases.
Armamos que o quadrado BCDE e equivalente `a soma dos quadrados sobre os cate-
tos AB e AC. Para vermos isso, tra camos do vertice A a perpendicular `a 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.
Elementos de Geometria 83
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 `a hipotenusa BC.
`
`
`
`
`
`
`
`
`
`
`
`
F G
M L
B H C
A
D
E
c
c
c
c
c
c
c c
Figura 8.11
Sobre o segmento BF determinamos o ponto M de modo que BM
= BH; tomando a
paralela a BH passando por M, determinamos o ponto L. 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 `a diferen ca do quadrado sobre a hipotenusa AB e do
quadrado BHLM. Mas o quadrado sobre AB, pelo Teorema de Euclides I, e equivalente ao
retangulo BHGF. Entao
(AB) (AH) (BH)
e
(AB) (BH, BF);
portanto
(AH) (ML, LG),
como queramos demonstrar.
84 Dicesar Lass Fernandez
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.
8.5.4 TEOREMA (Proposicao I.48)
Em um triangulo, se o quadrado de um lado e equivalente `a 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 `a soma dos quadrados sobre AC e CB. Vamos mostrar que, necessariamente o angulo
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
) e (BC) (B
), e pelo
Teorema de Pitagoras
(A
) (A
) (C
B
= AB e os triangulos ABC e 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 `a 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.
Demonstracao. Exerccio.
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
86 Dicesar Lass Fernandez
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
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
=
e raios OA e O
, respectivamente.
Se C = C
entao O = O
e consideremos a reta
; logo O
C
= O
D.
Suponhamos que COO
C
= O
D OD,
o que e uma contradi cao, uma vez que OC
= OD.
Os caso C O
O e O C O
= 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.
Elementos de Geometria 87
Conclumos entao que
OAB
=
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
ARIO
Toda circunferencia admite em cada ponto uma e unica tangente.
Demonstracao. Exerccio.
EXERC
, de centro O
O.
Elementos de Geometria 89
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.
9.4.3 TEOREMA (Proposicao I.1)
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.
90 Dicesar Lass Fernandez
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
MY intercepta
NZ em um ponto X, pois
se nao encontrasse, teramos
NZ //
BC e
logo
AB =
MY e reta mediatriz de AB e X
MY , pela
Teorema 6.2.4 temos AX
= BX, e do mesmo modo BX
= CX. Logo AX
= BX
= CX e
os pontos A, B e C pertencem `a 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 `a 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.
Elementos de Geometria 91
9.4.6 TEOREMA
Dados uma circunferencia e um ponto externo, existe uma tangente `a 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
`a reta r pelo centro O.
Demonstracao. Seja I r IntC. Entao se P e a interse cao da perpendicular `a 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
O. Como
OPQ
= O
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.
92 Dicesar Lass Fernandez
9.4.8 TEOREMA
Todo retangulo pode ser transformado em um quadrado equivalente.
1
a
= 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.
Elementos de Geometria 97
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.
= 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,
Elementos de Geometria 99
como queramos demonstrar.
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
:: c : c
,
e alternando obtemos a arma cao.
OBSERVAC
AO. A teoria de propor coes que apresentamos, ainda que bastante intuitiva,
e restrita `a 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 `a 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.
100 Dicesar Lass Fernandez
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).
Elementos de Geometria 101
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
102 Dicesar Lass Fernandez
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
).
Elementos de Geometria 103
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
, I
e I
e
I
: I
e DB : ID :: D
: I
,
104 Dicesar Lass Fernandez
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
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.
Elementos de Geometria 105
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
.
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
A D
C
B
Figura 10.10
106 Dicesar Lass Fernandez
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 `a 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
108 Dicesar Lass Fernandez
PRINC
IPIO ARQUIMEDIANO
Dada uma semi-reta
CD e os pontos U e O em
CD, U = C, existe um inteiro n
tal que O nCU.
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.
11.2.2 TEOREMA (Proposicao I.10)
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.
Elementos de Geometria 109
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
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.
110 Dicesar Lass Fernandez
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 :
= 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.
Elementos de Geometria 111
Vamos, agora, estudar as propriedades do operador
p
q
.
Se m N, temos
p
q
=
mp
mq
.
De fato, como q I
q
= I, 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
pq
= p
q.
Demonstracao. Seja I um segmento arbitrario e suponhamos que pq
= p
q. Entao vamos
ter
p
q
I
=
pq
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.
= 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.
Elementos de Geometria 113
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
;
(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
0
:= { r Q
+
; r I J }.
Vamos mostrar que =
0
. Como e uma se cao, nao tem maior elemento; logo
r I J,
Elementos de Geometria 115
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
.
116 Dicesar Lass Fernandez
BIBLIOGRAFIA
[1] B. ARTMANN, EUCLID - The Creation of Mathematics. Springer-Verlag, New York,
1999. (CLE-UNICAMP)
[2] Oskar BECKER, O Pensamento Matematico. Ed. Herder. 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)
Elementos de Geometria 117
[23] Robin HARTSHORNE, Geometry: Euclid and Beyond. Springer-Verlag, New York,
2000. (IMECC-UNICAMP)
[24] Thomas L. HEATH, The Thirteen Books of 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
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)