Escolar Documentos
Profissional Documentos
Cultura Documentos
Editora
c
ao:
Ecila de Almeida Waltrick
Marcos Teixeira Alves
Helena Martins
Tiara Martini
Axiomas de incidencia
Axiomas de ordem
Axiomas de congruencia
Axioma das paralelas
Axiomas de continuidade
Axiomas de Incid
encia:
Termos primitivos:
ponto
reta
incidente a (ou incidencia).
Axioma I.1:
Se A e B sao dois pontos entao existe uma reta que passa por A e B.
Axioma I.2:
Se A e B sao dois pontos entao nao existe mais do que uma reta passando
por A e B.
Axioma I.3:
Em toda reta incidem (pelo menos) dois pontos.
Existem (pelo menos) tres pontos que nao sao incidentes a mesma reta.
Definica
o 1: Duas retas sao ditas paralelas se elas nao tem nenhum ponto
comum.
Observacao: A negacao dessa definicao e:
Duas retas nao sao paralelas se existir um ponto comum a ambas.
Definica
o 2: Duas ou mais retas sao ditas concorrentes se existe um ponto
incidente a todas elas.
Observacao: A definicao 2 e a observacao anterior nos dizem que duas retas
2
Seja r uma reta qualquer. Suponha, por absurdo, que nao exista pontos fora
de r. Entao todos os pontos sao incidentes a r. Portanto nao ha tres pontos
nao colineares. Mas isto contradiz o axioma I.3.
Logo, existe (pelo menos)um ponto nao incidente a r.
Teorema 4
Dado um ponto existe uma reta que nao passa por esse ponto.
Dem.:
Seja P um ponto qualquer.
Suponha, por absurdo, que todas as retas passem por P . Pelo teorema 2,
existem tres retas concorrentes duas a duas, ou seja, as tres retas nao concorrem
no mesmo ponto, mas cada par de retas e concorrente.
Assim, a hipotese de absurdo nos leva diretamente a uma contradicao com
o teorema 2.
Portanto, nao podemos negar a tese, ou seja, a tese e verdadeira.
Teorema 5
Por todo ponto passam, pelo menos, duas retas distintas.
Dem.:
Seja P um ponto qualquer. Pelo teorema 4, existe uma reta r que nao passa
por P .
A reta r possui dois pontos M e N (axioma I.3).
Seja s a reta que passa por P e M , e seja t a reta que passa por P e N
(axiomas I.1 e I.2).
As retas s e t sao duas retas distintas pois, caso contrario, P , M e N seriam
colineares (na mesma reta s ou t), o que nao ocorre, pois P nao esta na reta r
(que passa por M e N ).
Para dar exemplos de sistemas geometricos (ou simplesmente Geometria) satisfazendo (ou nao) os axiomas disponveis ate o momento, devemos inicialmete
descrever o que queremos entender como termos primitivos. A isto chamamos de
interpretacao dos termos primitivos. Dada uma interpretacao, passamos entao
a verificar se os axiomas sao satisfeitos. Se isto ocorrer, dizemos que aquela
interpretacao nos fornece um modelo de geometria. No momento, como so dispomos de axiomas de incidencia, diremos que o modelo e de uma Geometria de
Incidencia.
Se tivermos um modelo, entao qualquer teorema demonstrado a partir dos
axiomas devera ser valido neste modelo. Os modelos servem ainda como contraexemplo. Assim, se uma determinada propriedade nao pode ser provada eventualmente a partir dos axiomas, ela podera ser falsa, bastando para isso apresentar
um modelo que nao satisfaca tal propriedade. Por exemplo, podemos perguntar se os tres axiomas de incidencia implicam que toda geometria deve possuir
pontos
A, B e C.
retas
{A,B}, {A,C} e {B,C}.
incid
e
ncia
Axioma I.1 - Dados dois pontos existe uma retaque passa por eles. OK
Axioma I.2 - Por dois pontospassa uma u
nica reta. OK
Axioma I.3 - Toda retapassa por dois pontose os tres pontosA, B e C
sao nao
colineares (o pontoC, por exemplo, nao esta na retaA,B).
OK
Entao temos um modelo.
Observacao: Do modelo apresentado, constatamos que nao e possvel provar
a existencia de infinitos pontos, nem a existencia de paralelas, a partir dos axiomas de incidencia. Observe que o modelo do exemplo 1 tem exatamente tres
pontos, e que as retas (somente tres) sao concorrentes duas a duas.
Definica
o 4: Dizemos que um modelo satisfaz a propriedade elptica das paralelas
se nao houver retas paralelas neste modelo. Diremos que um modelo satisfaz a
propriedade hiperbolica das paralelas se, dados qualquer ponto nao incidente a
esta reta, existirem mais do que uma reta paralela a`quela reta dada, passando
pelo ponto dado. Dizemos que um modelo satisfaz a propriedade euclidiana das
paralelas se, dados qualquer reta e qualquer ponto nao incidente a essa reta,
existir uma u
nica reta paralela a`quela reta dada, passando pelo ponto dado.
Exemplo 2
Interpretacao dos termos primitivos:
A, B e C.
pontos
retas
{A,B}, {A,C}, {B,C} e {A, B, C}.
incidencia usual.
A, B e C.
pontos
retas
{A,B}, {A,C}, {B,C} e {C}.
incidencia usual.
pontos
retas
incid
e
ncia
primitivos:
A, B e C.
{A,B}, {A,C}, e {B,C}.
um pontoe incidente a uma retase ele
nao for elemento do conjunto que e reta .
Exemplo 5
Interpretacao dos termos primitivos:
A, B, C e D.
pontos
retas
{A,B}, {A,C}, {A,D}, {B, C}, {B, D} e {C,D}.
incidencia usual.
Observacao: Note que, neste exemplo, temos tres pares de retas paralelas:
{A, B} e {C, D}; {A, C} e {B, D}; {B, C} e {A, D}.
Exemplo 6
Interpretacao dos termos primitivos:
A, B e C.
pontos
retas
{A,B,C}, {A,D}, {B,D} e {C,D}.
incidencia usual.
pontos
todos os pontos (infinitos) de uma reta r (no sentido conhecido da
a
reta r e todos os conjuntos da forma {P,Q}, onde Q esta em r.
incidencia usual.
Axioma I.1 - OK, pois se tomarmos dois pontos A e B que sao pontos de r,
entao a reta que passa por esses pontos e a propria r. Se considerarmos dois
pontos, um deles em r, digamos X, e o outro sendo P , a reta que passa por
esses dois pontos e {P, X}.
Axioma I.2 - OK, da propria descricao de retas.
Axioma I.3 - OK, pois: toda reta tem pelo menos dois pontos, e ha tres pontos
nao colineares (P , X e P , onde Q e X estao em r).
modelo, e satisfaz a propriedade elptica das paralelas.
E
Exemplo 8
pontos
A, B, C, D e E.
retas
{A, B}, {A, C}, {A, D}, {A, E}, {B, C}, {B, D}, {B, E},
{C, D}, {C, E} e {D, E}.
incidencia usual.
Axiomas I.1 e I.2 - OK.
Axioma I.3 - OK.
A, B, C, D , E e F.
pontos
retas
{A, B}, {A, C}, {A, D}, {A, E}, {A, F }, {B, C}, {B, D},
{B, E}, {B, F }, {C, D}, {C, E}, {C, F }, e {D, E, F }.
incidencia usual.
Axiomas I.1 e I.2 - OK.
Axioma I.3 - OK.
modelo.
E
Exemplo 10
Interpretacao dos termos primitivos:
pontos
A, B, C, D , E e F.
retas
{A, B}, {A, C}, {A, D}, {A, E}, {A, F }, {B, C},
{B, D}, {B, E}, {B, F }, {C, D, E, F }.
incidencia usual.
Axiomas I.1 e I.2 - OK.
Axioma I.3 - OK.
pontos
retas
incid
encia
Axioma I.1 Fura.Pois: por dois pontos, que sao retas paralelas no plano,
nao passa uma reta, isto e, tais retas nao tem ponto comum, que seria a
reta passando pelos dois pontos.
Nao e modelo.
Exemplo 12
Interpretacao dos termos primitivos:
pontos
todas as (infinitas) retas (como usualmente conhecemos) do exemplo 7.
retas
todos os (infinitos) pontos (como usualmente conhecemosdoexemplo7.
incid
e
ncia
Problema:
Explique porque em uma geometria finita com um total de 8 pontos, nao e
possvel construir um modelo onde as retas tenham exatamente 3 pontos.
Para satisfazer os axiomas I.1 e I.2, devemos ter, a cada dois pontos, uma
u
nica reta passando por eles, ou seja:
Dados A, B, C, D, E, F, G e H, teramos as retas:
{A,B,C}, {A,D,E}, {A,F,G}, {A,H,?
Falta um ponto para a reta {A,H,?}.
Isso acontecera quando tivermos um n
umero par de pontos, pois fixando um
ponto, cada reta deveria ter mais dois pontos. No entanto restam sempre um
n
umero mpar de pontos (2k-1), ou seja, faltaria um ponto.
Axiomas de Ordem:
Termo primitivo: estar entre.
Axioma II.1:
Se um ponto B esta entre os pontos A e C, entao A, B e C sao tres pontos
DESENHO
10
Retas: sao as retas no sentido como conhecemos no plano, exceto por serem esburacadas pela falta dos pontos das circunferencias citadas acima.
Incidencia: usual.
Estar entre: dados tres pontos colineares um (e somente um) deles estara entre os outros dois somente se existir algum ponto de alguma das circunferencias retiradas que esta entre (no sentido usual) dois dos tres pontos
considerados. Assim, se isso nao ocorre, nenhum dos tres pontos estara entre
os outros dois.
Na figura temos A B C mas, com os tres pontos M , N e P diremos que
nenhum deles esta entre os outros.
Pergunta: Dados todos os axiomas ate o axioma II.3 (inclusive), podemos garantir a existencia de infinitos pontos em uma reta?
FIGURA
A resposta para essa pergunta e: nao. Antes de ver o exemplo consideremos
outra pergunta: Podemos garantir, com os axiomas dados ate aqui, que dados
dois pontos existe um ponto entre esses dois? A resposta e: nao. Basta ver os
pontos M e P no exemplo anterior. Ali N nao esta entre M e P .
Vamos ver agora um exemplo onde as retas tem exatamente 5 pontos e os axiomas sao todos satisfeitos. Considere uma reta com os pontos A, B, C, D e E.
Uma possvel interpretacao:
FIGURA
A B C, B C D, C D E, D E A, E A B. Note que nao ha
pontos entre: A e B, B e C, C e D, D e E, E e A.
Temos ainda: A D C, D A B, D E D, E B C, C E A, E C?
este u
ltimo ponto nao podera ser A, D ou B.
Outra interpretacao:
A B C, B C D, C D E, D E A, E A B, A D B, B E C,
C A D, D B E, E C A.
AeB
ABC
BAE
11
Se A, B e C sao tres pontos nao colineares, e se r e uma reta que nao passa por
A, B ou C mas passa por um ponto do segmento AB entao a reta r passa por
um ponto do segmento AC ou do segmento BC.
A
r
Definica
o 5: O segmento de reta de extremidades A e B, denotado por AB,
e o conjunto formado pelos pontos A, B e todos os pontos C tais que C esta
entre A e B.
Obs,: Com os axiomas II.1, II.2 e II.3 nao podemos garantir ainda, que todo
segmento de reta possui, pelo menos, tres pontos. Nao podemos tambem garantir que, dados tres pontos colineares, um deles estara entre os outros dois.
Definica
o 6: A semi-reta de origem A passando por C, denotada por AC, e
o conjunto formado por todos os pontos do segmento AC e os pontos P tais que
C esta entre A e P .
Obs.: Das duas definicoes (e dos axiomas validos ate aqui) podemos verifi
car que AC AC, sendo que ha mais pontos na semi-reta do que no segmento.
Quem garante isso e o axioma II.2: dados A e C, existe um ponto P tal que
Da mesma forma, a reta que passa por A e C, denotada por AC, contem a
semi-reta AC, sendo que ha mais pontos na reta do que na semi-reta. Isto e
devido novamente ao axioma II.2: dados os pontos A e C existe um ponto Q
tal que Q A C. Vimos que, pelo axioma II.3, o ponto Q e distinto de P (que
nao. Basta olhar o que foi comentado acima: o ponto Q nao esta em AC (note
12
que QAC e o mesmo que CAQ e, pela definicao de semi-reta, Q esta em CA.
Teorema 6
Dados dois pontos A e C, existe um ponto D que esta entre A e C.
Dem.:
Seja B um ponto nao incidente a` reta AC (teorema 3). Pelo axioma II.2,
P
Note que P nao esta na reta AC pois, caso contrario, a reta AC seria a mesma
Considere a reta BQ (axioma I.1). Esta reta nao passa pelos pontos A, C ou
Entao A, P e C sao tres pontos nao colineares, e a reta BQ passa por um ponto
que esta entre A e P (o ponto B). Pelo axioma II.4 a reta BQ deve passar por
um ponto do segmento P C.
As retas BQ e P Q sao distintas (pois B nao esta em P Q). A reta BQ nao passa
por um ponto do segmento P C pois, caso contrario, tal ponto seria Q (o u
nico
ponto de interseccao das retas BQ e P Q), e neste caso Q estaria entre P e C,
mas isto nao ocorre porque C esta entre P e Q e pelo axioma II.3.
F
D
Note que G nao e incidente a` reta que passa pelos pontos A, B e C. Pois,
Segue-se, pelo axioma II.4, que a reta AD passa por um ponto do segmento
CG ou do segmento BC.
A reta AD nao passa por um ponto do segmento BC, pois caso contrario,
tal ponto seria o ponto A (o ponto de interseccao das retas AD e a reta que
contem B e C). Mas entao A estaria entre B e C, o que contradiz a hipotese
14
G
E
D
F
D
colineares pois, caso contrario, A estaria na reta GE, que contem C, e portanto
Logo, a reta CF passa por um ponto do segmento AE. Mas este ponto so
pode ser D (o ponto de interseccao das retas CF e AE ). Acabamos de concluir
que D esta entre A e E.
Finalmente considere os pontos nao colineares A, E e C, e considere a reta
15
passa pelos pontos A, E ou C. Pelo axioma II.4, a reta GD deve passar por
Portanto a reta GD passa por um ponto de AC. Mas este ponto so pode ser
B (o ponto de interseccao das retas GD e AC). Logo, B esta entre A e C.
Teorema 8
Sejam A, B e C tres pontos nao colineares, e seja r uma reta que nao passa
por A, B ou C. Se r passa por um ponto do segmento AC entao r passa por
um ponto de somente um dos segmentos AB ou BC.
Obs.: Este teorema nos diz que, nas condicoes do axioma II.4, uma reta so
pode interceptar dois segmentos dentre os tres formados por A, B e C.
Dem.:
C
Q
L
B
M
AB, que e a reta M B), e considere a reta AN (note que A nao esta na reta
16
e considere a reta que passa por A e Q (AQ). Esta reta nao passa pelos pontos
M , P ou C pois, caso contrario, os pontos A, B e C seriam colineares.
A reta AQ nao passa por P C pois, caso contrario, tal ponto deveria ser o
ponto A (o ponto de interseccao das retas AQ e P C) e entao A estaria entre
P e C, o que nao ocorre pois, por hipotese, P esta entre A e C (e pelo axioma
AQ (que passa por A e N que esta em r), entao A estaria na reta que passa por
L e N , que e a reta r. Isto e uma contradicao com a hipotese.
Logo, a reta r nao pode passar por um ponto do segmento AB e por um
ponto do segmento BC.
Definica
o 7: Seja r uma reta e sejam A e B os dois pontos nao incidentes a r.
Dizemos que A e B estao no mesmo lado de R se r nao intercepta o segmento
AB. Caso contrario, diremos que A e B estao em lados opostos de r.
Teorema 9
Seja r uma reta e sejam A, B e C tres pontos nao incidentes a r. Entao:
(i) Se A e B estao no mesmo lado de r, e se A e C estao no mesmo lado de
r, entao B e C estao no mesmo lado de r.
(ii) Se A e B estao em lados opostos de r, e se A e C estao em lados opostos
de r, entao B e C estao no mesmo lado de r.
(iii) Se A e B estao no mesmo lado de r, e se A e C estao em lados opostos
de r, entao B e C estao em lados opostos de r.
Dem.:
Vamos demonstrar o teorema no caso em que A, B e C sao nao colineares
(o outro caso fica como exerccio).
(i)
Suponha que B e C nao estejam no mesmo lado de r. Entao r intercepta
BC em um ponto P (que esta entre B e C).
Pelo axioma II.4, e pelo teorema 8, r deve interceptar um, e apenas um, dos
segmentos AC ou AB.
17
B
A
C
r
(ii)
A
r
C
B
(iii)
A
B
r
A reta r intercepta AC e nao intercepta AB. Pelo axioma II.4, r deve interceptar BC.
Logo, B e C estao em lados opostos de r.
18
Q
B
C
r
Seja P um ponto de r que nao esta na reta que passa por A, B e C (note
que, pelo axioma I.3, a reta r possui pelo menos dois pontos; se um deles esta
tambem na reta que passa por A, B e C, entao o outro nao estara nesta reta).
Considere agora os pontos P e B (ou P e A, ou P e C). Pelo axioma II.2,
existe um ponto Q tal que B esta entre P e Q.
Note que o ponto Q nao esta na reta r pois, caso contrario, a reta P Q seria
caso contrario, a reta QB seria aquela reta e, neste caso P (que esta em QB)
estaria na reta que passa por A, B e C.
Os pontos B e Q estao no mesmo lado de r pois, caso contrario, existiria um
ponto de r que estaria entre B e Q, mas tal ponto so poderia ser P ( o ponto
Obs.: Este teorema nos diz que, dada uma reta r qualquer, todo ponto ou
esta em r, ou esta em um (e somente um) dos semi-planos definidos por r.
Dem.:
Seja r uma reta qualquer. Vamos mostrar que existem dois semi-planos definidos por r que sao distintos e depois mostraremos que nao ha mais do que
estes dois semi-planos.
A
r
P
B
Corolario:
Seja r uma reta. Todo ponto P de r divide esta reta em duas semi-retas
20
cujo u
nico ponto comum e aquele ponto (P ).
Q
B
A C
P C
s
Dem.:
Seja P um ponto de r. Seja A um ponto distinto de P em r (axioma I.3), e
seja B tal que P esta entre A e B (axioma II.2).
Note que B tambem esta em r.
Seja Q um ponto nao incidente a r (teorema 3). Seja s a reta que passa por
P e Q (axiomas I.1 e I.2). A reta s e distinta da reta r.
Considere as semi-retas P A e P B, ambas contidas em r. O ponto P pertence
a essas duas semi-retas (da definicao de semi-retas).
Vamos mostrar que qualquer ponto de r distinto de P pertence a uma, e
SB = .
poderia ser P (o ponto de interseccao da reta s com a reta CA, ou seja, a reta
r). Mas isto nao pode ocorrer, pelo que foi estabelecido anteriormente (ou seja,
C A P ou A C P ), e pelo axioma II.3.
Segue-se, portanto, que C esta no semi-plano SA .
T
SB = , segue-se que P A P B = P .
21
Definica
o 9: Sejam A, P e B tres pontos tais que P esta entre A e B. As
semi-retas P A e P B sao ditas semi-retas opostas.
Obs.: Pelo corolario acima, temos que as semi-retas opostas estao contidas
na mesma reta, tem a mesma origem, e esta origem e seu u
nico ponto comum.
Teorema 11
Todo segmento de reta contem infinitos pontos.
Demonstracao esboco:
Seja AB um segmento de reta. Pelo teorema 6, existe um ponto A1 talque
A1 esta entre A e B.
r
B
A2
A1
Axiomas de Congru
encia
Termo primitivo: congruencia (congruente a).
Estudaremos congruencia entre segmentos, angulos e depois, figuras em geral.
Axiomas de congru
encia entre segmentos
Axioma III.1
22
B
A
C
A
B
Definica
o 10: Duas semi-retas distintas, de mesma origem e nao opostas definem um angulo.
Em outras palavras, se OA e OBsao distintas, e A, O e B nao sao colineares,
entao OA e OB definem um angulo. Notacao: AOB (ou BOA).
A origem comum O das semi-retas OA e OBe chamada vertice do angulo
AOB. As semi-retas OA e OB sao chamadas lados do angulo AOB.
B
O
A
Definica
o 11: Um ponto P e dito ponto interior ao angulo AOB, se P e A
estao no mesmo lado da reta OA.
Pergunta: O interior de um angulo e nao vazio?
Obs.: Seja AOB um angulo. Sejam M e N pontos nos lados OA e OB res
B
P
A
Q
Seja P um ponto que esta entre A e B (Teorema 6). Entao P e B estao
no mesmo lado da reta OA pois, caso contrario, haveria um ponto da reta OA
entre P e B, mas tal ponto so poderia ser o ponto A (o ponto de intersecao das
retas OA e P B que e a reta AB). Mas isso nao ocorre pois P esta entre A e B
(pelo Axioma II.3).
Analogamente, prova-se que P e A estao no mesmo lado da reta OB. Logo P
e ponto interior, e portanto existem pontos interiores ao angulo AOB. Como
AOB e um angulo qualquer, todo angulo possui pontos interiores.
24
Seja agora Q um ponto da reta AB que nao esta no segmento AB. Entao,
uma e somente uma, das possibilidades ocorrera:
(i) Q A B, ou
(ii) Q B A.
que e ponto da reta OA, esta entre Q e B), e portanto Q nao e ponto interior
ao angulo AOB (da negacao da Definicao de ponto interior a um angulo). O
caso (ii) e analogo.
Portanto, existem pontos que nao sao interiores a um angulo. Acabamos
de provar que, se um ponto da reta AB nao esta no segmento AB, entao ele e
ponto interior. Da contrapositiva desta afirmacao, obtemos que se um ponto da
reta AB e ponto interior, entao ele esta no segmento AB.
Definica
o 12: Seja AOB um angulo. O conjunto dos pontos interiores a esse
angulo e chamado interior do angulo AOB. Um ponto que nao pertence aos
lados nem esta no interior de AOB e chamado ponto exterior a AOB. O
conjunto dos pontos exteriores a AOB e chamado exterior do angulo AOB.
Teorema 13:
Seja AOB um angulo. Entao:
B
Q
O
P
(i) Seja uma semi-reta com origem O, distinta de OA e de OB. Entao, nenhum
ponto desta semi-reta exceto O, esta nos lados OA e OB de AOB. Seja P
um ponto dessa semi-reta distinto de O. Entao P e ponto interior ou e ponto
exterior a AOB.
25
Se P e ponto interior a AOB, entao seja Q um ponto da semi-reta OP ,
distinto de O. Se Q for P , entao Q e ponto interior. Se Q for distinto de P ,
entao uma, e somente uma das possibilidades ocorrera:
(a) O Q P , ou
(b) O P Q.
Se (a) ocorre, entao Q e P estao no mesmo lado da reta OA e estao no
mesmo lado da reta OB pois, caso contrario, existiria um ponto entre Q e P
que estaria na reta OB. Mas tal ponto so poderia ser o ponto O (o ponto de
intersecao das retas OP , OA e OB). Mas isso nao ocorre por (a).
Analogamente prova-se que se (b) ocorre, entao Q e P estao no mesmo lado
da reta OA e estao no mesmo lado da reta OB. Mas P e ponto interior a
AOB. Isto significa que P e A estao no mesmo lado da reta OB, e P e B
estao no mesmo lado da reta OA.
Conclumos, pelo Teorema 9, que Q e A estao no mesmo lado da reta OB e
Q e B estao no mesmo lado da reta OA, ou seja, Q e ponto interior a AOB.
Seja agora P um ponto da semi-reta com origem O exterior a AOB. Entao,
P e B estao em lados opostos da reta OA ou P e A estao em lados opostos da
reta OB ( ou os dois!)
Suponhamos que P e B estejam em lados opostos da reta OA (o outro caso,
isto e, P e A em lados opostos da reta OB, e analogo), e seja Q um ponto de
OP , distinto de O.
Se Q for P , entao Q e ponto exterior a AOB. Se Q for distinto de P , entao
uma, e somente uma das situacoes ocorrera:
(a) O Q P
(b) O P Q
No caso (a), P e Q estao no mesmo lado da reta OA pois, caso contrario,
existiria um ponto da reta OA entre P e Q, mas tal ponto so poderia ser o ponto
O (o ponto de intersecao da reta OA com a reta P Q). Mas entao teramos
P O Q, o que nao ocorre (por (a) e pelo Axioma II.3).
Pelo Teorema 9, Q e B estao em lados opostas da reta OA. Logo, Q e ponto
S
D
Considere uma semi-reta com origem O tal que todos os seus pontos, exceto
O, sejam pontos interiores a AOB. Seja P um ponto distinto de O dessa
Seja S um ponto distinto de O na semi-reta oposta a` semi-reta OP . Entao
O esta entre S e P .
Segue-se que S e P estao em lados opostos da reta OB. Por outro lado,
como P e ponto interior a AOB, temos que P e A estao no mesmo ladoda
reta OB. Pelo Teorema 9, temos que S e A estao em lados opostos da reta OB.
Isto significa que existe um ponto D entre S e A que esta na reta OB.
Vamos mostrar que O esta entre D e B.
Os pontos S e P estao em lados opostos da reta OA, pois O esta entre S e P .
Os pontos S e D estao no mesmo lado da reta OA pois, caso contrario, existiria
um ponto entre S e D que estaria na reta OA. Mas tal ponto so poderia ser A
(o ponto de intersecao das retas OA e SD), e, entao, teramos S A D, o que
nao ocorre (porque ja temos S D A, e pelo Axioma II.3).
Pelo Teorema 9, os pontos P e D estao em lados opostos da reta OA. Mas P
e B estao no mesmo lado da reta OA (P e ponto interior - hipotese). Segue-se,
pelo Teorema 9, que os pontos B e D estao em lados opostos da reta OA. Isto
significa que O esta entre B e D.
Segue-se que B e D estao em lados opostos da reta OP .
Agora, os pontos A e D estao no mesmo lado da reta OP pois, caso contrario,
existiria um ponto entre A e D que estaria na reta OP . Mas tal ponto so pode
ser S (o ponto de intersecao da reta OP com a reta AD). Entao teramos
D S A, o que nao ocorre (pois S D A e Axioma II.3).
Pelo Teorema 9, conclumos que A e B estao em lados opostos da reta OP .
Isto significa que existe um ponto N entre A e B que esta na reta OP . Pelo
item (i) deste Teorema, o ponto N e ponto interior a AOB. O ponto N nao
Axiomas de Congru
encia sobre Angulos
Axioma III.4
28
Definica
o 15: Dois angulos sao ditos adjacentes suplementares se eles forem
adjacentes e se os lados nao comuns forem semi-retas opostas.
Ex.: Os angulos AOB e BOC da figura abaixo sao adjacentes suplementares
(note que OA e OC sao semi-retas opostas).
(e OA comum).
B
O
D
(2) Se AOB e um angulo reto e BOC e seu suplemento tal que AOBBOC,
entao ainda nao e possvel dizer que BOC tambem e reto (pois nao temos a
propriedade da simetria na congruencia de angulos).
(3) A definicao de angulo reto nao implica na existencia de um tal angulo. Nao
fica claro tambem que angulo reto e de um u
nico tipo.
29
B
O
A
Definica
o 18: Um triangulo e dito isosceles se ele possui dois lados congruentes.
Obs.: Vimos que um triangulo e formado por tres pontos nao colineares e pelos tres segmentos cujas extremidades sao aqueles pontos. Os tres pontos sao
chamados vertices do triangulo, e os tres segmentos sao chamados lados do
triangulo.
Se 4ABC e um triangulo, entao os tres angulos A (ou BAC), B (ou
ABC) e C (ou ACB) sao chamados angulos internos, ou simplesmente,
angulos do triangulo 4ABC.
Exerccio: Prove que existem triangulos isosceles.
Teorema 15:
Seja 4ABC um triangulo isosceles tal que ABAC. Entao BC e
CB.
Dem.: Considere os triangulos 4ABC e 4ACB (mesmo triangulo).
Definica
o 19: Um triangulo 4ABC e congruente a um triangulo 4A 0 B 0 C 0
(em notacao: 4ABC4A0 B 0 C 0 ) se ABA0 B 0 , ACA0 C 0 , BCB 0 C 0 e, ainda,
AA0 , BB 0 e CC 0 .
Teorema 16: (Primeiro Caso de Congruencia de Triangulos - LAL)
Sejam 4ABC e 4A0 B 0 C 0 dois triangulos. Se ABA0 B 0 , ACA0 C 0 e AA0 ,
entao 4ABC4A0 B 0 C 0 .
Dem.:
C D
B A
Pelo Axioma III.5, temos que BB 0 e CC 0 . Para provar, pela Definicao 19, que 4ABC4A0 B 0 C 0 , falta provar que BCB 0 C 0 .
Suponha, por absurdo, que BC e B 0 C 0 nao sejam congruentes. Entao, pelo
C
D
31
Vamos provar que ACA0 C 0 . Se isso ocorrer, pelo Teorema 16, temos que
4ABC4A0 B 0 C 0 .
Suponha, por absurdo, que AC e A0 C 0 nao sejam congruentes. Entao, pelo
AB 0 A0 D(ouA)
Pelo Teorema 16, temos que 4ABC4A0 B 0 D. Segue-se, da Definicao de
congruencia de triangulos, que ABC(ouB)A0 B 0 D. Mas, por hipotese,
ABCA0 B 0 C 0 . Chegamos a uma contradicao com o Axioma III.4.
B
B
Teorema 19:
Angulos
opostos pelo vertice sao congruentes.
Dem.:
Sejam AOB e COD angulos opostos pelo vertice, com OA e OC semi
retas opostas, e OB e OD semi-retas opostas.
O
B
OA.
33
A
O
D
a` reta OA, temos que B e D estao em lados opostos da reta OA. Isto significa
B
A
O
C
D
as semi-retas CB e CD sao opostas e como, por hipotese, AOB AOD (ou
seja, ACB ACD) os angulos ACB e ACD sendo adjacentes suplementares, temos que AOB e reto (definicao de angulo reto).
34
B
O
D
De OB OD, COB COD e OC OC temos, pelo teorema 16
(1o caso de congruencia de triangulos), que os triangulos 4COB COD.
Conclui-se da que BCO DCO. Como C esta entre B e D temos que
CB e CD sao semi-retas opostas. Segue-se que BCO e DCO sao adjacentes
suplementares. Conclumos entao, pela definicao, que BCO e reto.
D
Neste caso, como COB e AOB sao adjacentes suplementares, COD e
AOD tambem sao adjacentes suplementares e, alem disso, AOB AOD,
teremos pelo teorema 18, que COB COD.
Segue-se entao, de OB OD e OCOC que, pelo teorema 16, 4COB
4COD.
Conclumos da que BCO DCO. Como C esta entre B e D, temos que
CB e CD sao semi-retas opostas. Segue-se que BCO e DCO sao adjacentes
suplementares.
Conclumos entao, pela definicao, que BCO e reto.
Exerccio:
Prove, admitindo a simetria e transitividade na congruencia entre angulos,
que se um angulo e congruente a um angulo reto, entao ele tambem e angulo
reto.
Teorema 21:
Sejam OA, OB e OC tres semi-retas distintas com origem O, e sejam O0 A0 ,
00 00
O B e O C tres semi-retas distintas com origem O 0 . Suponha que uma das
situacoes ocorra:
(a) OB e OC estao no mesmo semi-plano definido pela reta OA, e O0 B 0 e
00
O C estao no mesmo semi-plano definido pela reta overlef trightarrowO 0 A0 .
35
(b) OB e OC estao em semi-planos distintos, definidos pela reta OA, e O0 B 0
B
O
(b)
B
A
O
A
O
Dem.:
Vamos demonstrar inicialmente o caso (a).
B
A
36
C
A
D
A
D
(Exerccio)
Teorema 22:
C
O
Dem.:
37
Z1
Z2
Y
Dem.:
Suponha que X, Z1 e Z2 nao sejam colineares, nem Y , Z1 e Z2 .
O triangulo 4XZ1 Z2 e isosceles. Pelo teorema 15 temos XZ1 Z2 XZ2 Z1
(e Y Z2 Z1 Y Z1 Z2 ).
Da mesma forma temos que 4Y Z1 Z2 e isosceles, e portanto Y Z1 Z2
Y Z2 Z1 (e Y Z2 Z1 Y Z1 Z2 ).
Pelo teorema 21 temos que angleXZ1 Y XZ2 Y (e, como conseq
uencia
das relacoes simetricas da congruencia, neste caso, XZ2 Y XZ1 Y ).
Se X, Z1 e Z2 sao colineares:
Z1
Z2
Y
Entao Y , Z1 e Z2 nao serao colineares (porque?) e entao trabalhamos apenas
com 4Y Z1 Z2 e teremos Y Z1 X Y Z2 X (e Y Z2 X Y Z1 X).
Segue-se, do teorema 16 (1o caso de congruencia de triangulos) que 4XY Z1
4XY Z2 (aqui tambem temos 4XY Z2 4XY Z1 ). Conclumos da que XY Z1
XY Z2 (e XY Z2 XY Z1 ), e tambem que Y XZ1 Y XZ2 (e Y XZ2
Y XZ1 ).
38
C
B
C
B
B0
B"
A
Sejam A0 B0 e A0 B 00 as semi-retas em semi-planos distintos em relacao a` reta
C
A"
C"
O
39
O"
Seja ainda OD a u
nica semi-reta, no mesmo semi-plano da semi-reta OB,
tal que AOB A0 O0 D0 .
B
O
Dados dois angulos e uma, e somente uma, das situacoes podera ocorrer:
< , = , <
40
B
O
D
O
41
D
B
O
Teorema 27
Todos os angulos retos sao congruentes entre si.
Dem:
Sejam AOB e A0 O0 B 0 angulos retos. Seja C um ponto na semi-reta
B
D
C
B
C
(1)
(2)
43
D
Seja 4ABC um triangulo qualquer e seja D um ponto na semi-reta oposta
pois
C tal que o angulo formado por esta semi-reta e pela semi-reta CA e congruente
a CAD.
Pelo teorema da barra trasversal (teorema 13, item (b)), aquela semi-reta
intercepta AB em um ponto E que esta entre A e B.
Mas entao, o angulo CAD, externo ao triangulo 4ACE em A, e congruente
ao angulo interno ACE, contradizendo o que foi provado anteriormente.
Logo, o angulo CAD > ACB.
Analogamente prova-se que o angulo externo ao angulo BAC, que e oposto
pelo vertice a CAD, e maior do que ABC.
44
Consequ
encias do teorema dos
angulos externos
Teorema 29 (Existencia de paralelas)
Dada uma reta r qualquer, existe uma reta paralela a r.
Dem:
Seja P um ponto nao incidente a r. Vamos provar que por P passa uma reta
paralela a r.
C
P
r
A
Sejam A e B pontos de r.
45
Suponha que AB > BC. Vamos provar que ACB > BAC.
Seja C 0 o ponto entre A e B tal que BC 0 BC (axioma III.1 e teorema 14).
Se BC > AC teremos, pelo teorema 30, que BAC > ABC, contradizendo
a hipotese.
Analogamente chega-se a uma contradicao se BC < AC.
Teorema 32 - Caso especial de congruencia de triangulos
Sejam 4ABC e 4A0 B 0 C 0 dois triangulos tais que AB A0 B 0 , A A0 e
C C 0 . Entao 4ABC 4A0 B 0 C 0 .
Dem:
Vamos provar que AC A0 C 0 . E entao, pelo 1o caso de congruencia de
triangulos (teorema 16) teremos que 4ABC 4A0 B 0 C 0 .
Suponha que AC e A0 C 0 nao sejam congruentes. Suponha A0 C 0 < AC (o
caso AC < A0 C 0 e analogo). Seja D o ponto entre A e C tal que AD A0 C 0 .
Entao 4ABD 4A0 B 0 C 0 , pois: AD A0 C 0 , A A0 e AB A0 B 0 (1o
caso - teorema 16). Segue-se que ADB C 0 . Mas, pelo teorema dos angulos
externos, teremos que ADB > ACB (C), e por hipotese, C C 0 .
Chegamos a uma contradicao.
Definica
o 22
Um ponto P e dito ponto medio de um segmento AB se AP BP .
Obs: Desta definicao deduzimos que um ponto medio de um segmento esta entre
as extremidades deste segmento (se existir um tal ponto medio) - Exerccio.
Nao sabemos ainda se todo segmento possui um ponto medio e, se possui,
se ele e u
nico.
Definica
o 23
47
Teorema 33
Todo segmento possui um u
nico ponto medio.
Dem:
semi-plano distinto do semi-plano (em relacao a` reta AB) que contem o ponto
C, marquemos um angulo ABD tal que BAC ABD (axioma III.4).
Sem perda de generalidade, podemos considerar que overlineBD AC.
D
Teremos uma contradicao com o teorema dos angulos externos pois, por
construcao, o angulo externo BAC, de 4ABD e congruente ao angulo interno
ABD desse triangulo.
Se M nao pertence a AB (suponha que B esteja entre A e M - o outro caso,
M A B, e analogo),
D
entao novamente teremos uma contradicao pois, pelo teorema dos angulos externos, ABD > BM D (ABD e externo ao 4BM D), e BM D > M AC
48
D
Considere agora os triangulos 4AM C e 4BM D. Temos:
M AC M DB (construcao)
AC BD (construcao)
AM C BM D (opostos pelo vertice - teorema 19)
49
M
A
50
D
t
51
e B 0 pontos nos lados OA e OB respectivamente, tais que P A0 e perpendicular
0
52
O
A
53