Notas de Aula de Geometria Euclidiana

segundo a axiomtica de D. Hilbert a Prof. Jos Luiz Rosas Pinho e

Editorao: ca Ecila de Almeida Waltrick Marcos Teixeira Alves Helena Martins Tiara Martini

Termos primitivos: termos iniciais, aceitos sem deniao. c Axiomas: verdades iniciais aceitas sem demonstraao. c Atravs dos axiomas deveremos compreender os termos primitivos. e Os teoremas surgiro a partir destes axiomas, com a intruduao de algumas a c denioes. c Grupos de axiomas: I. II. III. IV. V. Axiomas de incidncia e Axiomas de ordem Axiomas de congruncia e Axioma das paralelas Axiomas de continuidade

Axiomas de Incidncia: e
Termos primitivos: ponto reta incidente a (ou incidncia). e Axioma I.1: Se A e B so dois pontos ento existe uma reta que passa por A e B. a a Axioma I.2: Se A e B so dois pontos ento no existe mais do que uma reta passando a a a por A e B. Axioma I.3: Em toda reta incidem (pelo menos) dois pontos. Existem (pelo menos) trs pontos que no so incidentes a mesma reta. e a a Deniao 1: Duas retas so ditas paralelas se elas no tm nenhum ponto c a a e comum. Observaao: A negaao dessa deniao : c c c e Duas retas no so paralelas se existir um ponto comum a ambas. a a Deniao 2: Duas ou mais retas so ditas concorrentes se existe um ponto c a incidente a todas elas. Observaao: A deniao 2 e a observaao anterior nos dizem que duas retas c c c 2

concorrentes no so paralelas. a a Deniao 3: Dizemos que trs ou mais pontos so colineares se eles so inc e a a cidentes a mesma reta. Observaao: A negaao desta deniao nos diz que trs ou mais pontos no c c c e a so colineares (ou so no colineares) se, dada qualquer reta que passa por dois a a a deles, existir um destes pontos que no incidente a esta reta. a e Teorema 1 Duas retas distintas ou so paraleas ou so concorrentes. Se elas forem cona a correntes ento existe um unico ponto comum a ambas. a Dem.: Sejam r e s duas retas. Pela deniao da lei do terceiro exclu c do, r e s so a paralelas ou no so paralelas (concorrentes). a a Suponha que r e s no sejam paralelas. a Seja P um ponto comum a r e s, deniao de retas concorrentes. Suponha, c por absurdo, que exista um ponto Q, distinto de P , incidente a r e s. Segue-se da que, r e s so duas retas distintas passando por P e Q. Chegamos a uma a contradiao com o axioma I.2. c Concluso: r e s possuem um unico ponto comum. a Teorema 2 Existem trs retas distintas concorrentes duas a duas, ou seja, cada duas e retas so concorrentes e as trs no concorrem no mesmo ponto. a e a Dem.: Pelo axioma I.3 existem trs pontos que no esto na mesma reta. Sejam e a a A, B e C estes pontos. Sejam r a reta que passa por A e B, s a reta que passa por A e C e t a reta que passa por B e C (teorema 1). Tais retas so ditas distintas, pois os trs pontos no esto em uma mesma a e a a reta (por exemplo: se r e s fossem a mesma reta, ento ter a amos A, B e C nessa mesma reta). As retas r e s so concorrentes em A (e somente em A - teorema 1). As a retas r e t so concorrentes em B, e as retas s e t so concorrentes somente em a a C. Teorema 3 Dada uma reta existe um ponto no incidente a ela. a Dem.:

Seja r uma reta qualquer. Suponha, por absurdo, que no exista pontos fora a de r. Ento todos os pontos so incidentes a r. Portanto no h trs pontos a a a a e no colineares. Mas isto contradiz o axioma I.3. a Logo, existe (pelo menos)um ponto no incidente a r. a Teorema 4 Dado um ponto existe uma reta que no passa por esse ponto. a Dem.: Seja P um ponto qualquer. Suponha, por absurdo, que todas as retas passem por P . Pelo teorema 2, existem trs retas concorrentes duas a duas, ou seja, as trs retas no concorrem e e a no mesmo ponto, mas cada par de retas concorrente. e Assim, a hiptese de absurdo nos leva diretamente a uma contradiao com o c o teorema 2. Portanto, no podemos negar a tese, ou seja, a tese verdadeira. a e 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 no passa a 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 so duas retas distintas pois, caso contrrio, P , M e N seriam a a colineares (na mesma reta s ou t), o que no ocorre, pois P no est na reta r a a a (que passa por M e N ). Para dar exemplos de sistemas geomtricos (ou simplesmente Geometria) sae tisfazendo (ou no) os axiomas dispon a veis at o momento, devemos inicialmete e descrever o que queremos entender como termos primitivos. A isto chamamos de interpretaao dos termos primitivos. Dada uma interpretaao, passamos ento c c a a vericar se os axiomas so satisfeitos. Se isto ocorrer, dizemos que aquela a o interpretaao nos fornece um modelo de geometria. No momento, como s disc pomos de axiomas de incidncia, diremos que o modelo de uma Geometria de e e Incidncia. e Se tivermos um modelo, ento qualquer teorema demonstrado a partir dos a axiomas dever ser vlido neste modelo. Os modelos servem ainda como contraa a exemplo. Assim, se uma determinada propriedade no pde ser provada eventua o almente a partir dos axiomas, ela poder ser falsa, bastando para isso apresentar a um modelo que no satisfaa tal propriedade. Por exemplo, podemos perguna c tar se os trs axiomas de incidncia implicam que toda geometria deve possuir e e

innitos pontos, ou se implicam na existncia de paralelas. Vejamos a seguir. e Exemplos Exemplo 1 Interpretaao dos termos primitivos: c A, B e C. pontos retas {A,B}, {A,C} e {B,C}. e e incidncia um ponto incidente a uma reta se ele for elemento do conjunto que reta. e Vamos vericar se os axiomas so satisfeitos. a Axioma I.1 - Dados dois pontos existe uma retaque passa por eles. OK Axioma I.2 - Por dois pontospassa uma unica reta. OK Axioma I.3 - Toda retapassa por dois pontose os trs pontosA, B e C e so no a a colineares (o pontoC, por exemplo, no est na retaA,B). a a OK Ento temos um modelo. a Observaao: Do modelo apresentado, constatamos que no poss c a e vel provar a existncia de innitos pontos, nem a existncia de paralelas, a partir dos axie e omas de incidncia. Observe que o modelo do exemplo 1 tm exatamente trs e e e pontos, e que as retas (somente trs) so concorrentes duas a duas. e a Deniao 4: Dizemos que um modelo satisfaz a propriedade el c ptica das paralelas se no houver retas paralelas neste modelo. Diremos que um modelo satisfaz a a propriedade hiperblica das paralelas se, dados qualquer ponto no incidente a o a esta reta, existirem mais do que uma reta paralela aquela reta dada, passando ` pelo ponto dado. Dizemos que um modelo satisfaz a propriedade euclidiana das paralelas se, dados qualquer reta e qualquer ponto no incidente a essa reta, a existir uma unica reta paralela aquela reta dada, passando pelo ponto dado. ` Exemplo 2 Interpretaao dos termos primitivos: c A, B e C. pontos retas {A,B}, {A,C}, {B,C} e {A, B, C}. incidncia usual. e

Axioma I.1 - OK. Axioma I.2 - No satisfeito: por A e B h duas retas, {A, B} e {A, B, C}. a e a No modelo. a e Exemplo 3

Observe que a reta {C} passa por um unico ponto, o ponto C. Portanto no satisfaz o axioma I.3. a No modelo. a e Exemplo 4 Interpretaao dos termos c pontos retas e incidncia primitivos: A, B e C. {A,B}, {A,C}, e {B,C}. um ponto incidente a uma retase ele e no for elemento do conjunto que reta . a e

Interpretaao dos termos primitivos: c A, B e C. pontos retas {A,B}, {A,C}, {B,C} e {C}. incidncia usual. e

Observe que a reta {A, B} passa por um unico ponto, o ponto C (se gundo a interpretaao de incidncia). Portanto, no satisfaz os axiomas I.1 e c e a I.2. No modelo. a e

Exemplo 5 Interpretaao dos termos primitivos: c A, B, C e D. pontos retas {A,B}, {A,C}, {A,D}, {B, C}, {B, D} e {C,D}. incidncia usual. e

Axioma I.1 - OK. Axioma I.2 - OK. Axioma I.3 - OK. E modelo.

Este modelo satisfaz a propriedade euclidiana das paralelas: Sejam {X, Y } uma reta e Z um ponto no incidente a esta reta. a Tomando o quarto ponto que chamaremos de W , a reta {Z, W } ser a paralela a reta {X, Y }. Suponha que por Z passe uma outra paralela a {X, Y }, ` distinta de {Z, W }. Vamos chamar esta reta de r. Que pontos esto em r (pelo axioma I.3, r tem pelo menos dois pontos)? a Um deles Z. O outro no pode ser X, Y nem W . Logo, haveria um quinto e a ponto na minha interpretaao de pontos, o que no ocorre. c a

Observaao: Note que, neste exemplo, temos trs pares de retas paralelas: c e {A, B} e {C, D}; {A, C} e {B, D}; {B, C} e {A, D}. Exemplo 6 Interpretaao dos termos primitivos: c A, B e C. pontos retas {A,B,C}, {A,D}, {B,D} e {C,D}. incidncia usual. e

Axioma I.1 - OK. Axioma I.2 - OK. Axioma I.3 - OK.

E modelo, e satisfaz a propriedade el ptica das paralelas. Exemplo 7 Interpretaao dos termos primitivos: c todos os pontos (innitos) de uma reta r (no sentido conhecido da pontos geometria euclidiana e mais um ponto P que no est nessa reta. a a retas a reta r e todos os conjuntos da forma {P,Q}, onde Q est em r. a incidncia usual. e

Axioma I.1 - OK, pois se tomarmos dois pontos A e B que so pontos de r, a ento a reta que passa por esses pontos a prpria r. Se considerarmos dois a e o pontos, um deles em r, digamos X, e o outro sendo P , a reta que passa por esses dois pontos {P, X}. e Axioma I.2 - OK, da prpria descriao de retas. o c Axioma I.3 - OK, pois: toda reta tem pelo menos dois pontos, e h trs pontos a e no colineares (P , X e P , onde Q e X esto em r). a a E modelo, e satisfaz a propriedade el ptica das paralelas. Exemplo 8

Interpretaao dos termos primitivos: c A, B, C, D e E. pontos retas {A, B}, {A, C}, {A, D}, {A, E}, {B, C}, {B, D}, {B, E}, {C, D}, {C, E} e {D, E}. incidncia usual. e Axiomas I.1 e I.2 - OK. Axioma I.3 - OK. E modelo, e satisfaz a propriedade hiperblica das paralelas. (Por exemplo, o dados a reta {A,B} e o ponto C, no incidente aquela reta, h duas paa ` a ralelas a {A,B} passando por C: {C,D} e {C,F}).

Argumentando de forma geral: Seja {X, Y } uma das retas do modelo, onde X e Y so dois entre os a pontos A, B, C, D ou E. Seja Z um terceiro ponto, distinto de X e Y . Note que Z no incidente a e a {X,Y}. Sobraram dois pontos. Chamemos estes pontos de P e Q. Ento {Z,P} e a {Z,Q} so retas do modelo (pela construao feita). Tais retas so paralelas a c a a reta {X,Y}, pois Z, P e Q so pontos distintos de X e Y . a Exemplo 9 Interpretaao dos termos primitivos: c 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 }. incidncia usual. e Axiomas I.1 e I.2 - OK. Axioma I.3 - OK. E modelo. Exemplo 10 Interpretaao dos termos primitivos: c 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, E, F }. incidncia usual. e Axiomas I.1 e I.2 - OK. Axioma I.3 - OK. E modelo. No satisfaz nenhuma propriedade das paralelas: a 1) Dada a reta {A,D}, e dado o ponto B, no incidente a {A,D}, as retas a {B,C} e {B,E} so paralelas a {A,D}. a 2) Dada a reta {A,B}, e dado o ponto C, no incidente a {A,B}, h uma a a unica paralela a {A,B} passando por C: a reta{C,D,E,F}. Exemplo 11 Interpretaao dos termos primitivos: c

Axioma I.1 Fura.Pois: por dois pontos, que so retas paralelas no plano, a no passa uma reta, isto , tais retas no tm ponto comum, que seria a a e a e reta passando pelos dois pontos. No modelo. a e Exemplo 12 Interpretaao dos termos primitivos: c todas as (innitas) retas (como usualmente conhecemos) do exemplo 7. pontos retas todos os (innitos) pontos (como usualmente conhecemosdoexemplo7. incidncia um ponto incidente a uma reta se a reta, que ponto, e e e passar pelo ponto, que reta. e

pontos retas e incidncia

todas as (innitas) retas (como usualmente conhecemos) do plano. todos os (innitos) pontos (como usualmente conhecemosplano. um ponto incidente a uma reta se a reta, que ponto, e e passar pelo ponto, que reta. e

Axioma I.1: OK. (no h paralelismo, no sentido euclidiano). a a Axioma II.1: OK, pelo fato de que duas retas concorrem em um unico ponto. Axioma III.1: OK, toda reta possui pelo menos dois pontos (h exaa tamente uma reta com innitos pontos, a reta r, e innitas retas com exatamente dois pontos). Existem trs pontos no colineares: P e mais e a dois pontos incidentes a reta r. ` E modelo, e satisfaz a propriedade el ptica das paralelas.

Problema: Explique porque em uma geometria nita com um total de 8 pontos, no a e poss construir um modelo onde as retas tenham exatamente 3 pontos. vel Para satisfazer os axiomas I.1 e I.2, devemos ter, a cada dois pontos, uma unica reta passando por eles, ou seja: Dados A, B, C, D, E, F, G e H, ter amos as retas: {A,B,C}, {A,D,E}, {A,F,G}, {A,H,? Falta um ponto para a reta {A,H,?}. Isso acontecer quando tivermos um nmero par de pontos, pois xando um a u ponto, cada reta deveria ter mais dois pontos. No entanto restam sempre um nmero u mpar de pontos (2k-1), ou seja, faltaria um ponto.

Axiomas de Ordem:
Termo primitivo: estar entre. Axioma II.1: a a a e Se um ponto B est entre os pontos A e C, ento A, B e C so trs pontos

distintos e colineares. Alm disso, B est entre C e A. e a Axioma II.2: Para cada dois pontos A e C h pelo menos um ponto B na reta que oassa a por A e C tal que C est entre A e B. a Obs.: Este axioma est dizendo ainda que existe um ponto D na reta que a passa por A e C tal que A est entre C e D. Porm no poss distinguir D a e a e vel de B. Exemplo: Interpretaao: Estar entre: dados trs pontos colineares qualquer um deles c e est entre os outros dois. a Axioma II.3: Dados trs pontos distintos e colineares no h mais do que um que est entre e a a a os outros dois. Obs.:(i) O axioma permite que nenhum deles esteja entre os outros dois. (ii) O asioma II.2 um axioma de existncia. Ele nos diz que toda reta pose e sui pelo menos trs pontos (no necessariamente quatro pontos - veja exemplo e a acima). E, pelo exerc 8 da lista 1, os modelos (at aqui) devem possuir pelo cio e menos 7 pontos. (iii) O axioma II.3 nos diz agora que, usando tambm o axioma II.2, toda reta e deve possuir pelo menos quatro pontos. Vamos vericar isto. Antes adotemos a seguinte notaao: c B est entre A e C: A B C ou C B A a O axioma II.2 nos diz que dados dois pontos (distintos) A e C, existe um ponto B tal que AC B. Esse axioma nos diz tambm que existe um ponto D tal que e D A C. Porm como foi vericado em um exemplo anterior, o ponto D pode e ser o ponto B. Agora, com o axioma II.3 necessariamente D e B so distintos a pois, caso contrrio, ter a amos AC B ou B AC, contrariando o axioma II.3. Exemplo de um modelo que satisfaz todos os axiomas at o axioma II.3 (inclue sive), onde h trs pontos colineares tal que nenhum deles est entre os outros a e a dois. Interpretaao: c Pontos: so todos os innitos pontos do plano (como conhecemos), exceto a os pontos que pertencem a (innitas) circunferncias concntricas, de centro no e e ponto O, e raios 1, 2, 3 ...

DESENHO

10

Retas: so as retas no sentido como conhecemos no plano, exceto por sea rem esburacadas pela falta dos pontos das circunferncias citadas acima. e Incidncia: usual. e Estar entre: dados trs pontos colineares um (e somente um) deles ese tar entre os outros dois somente se existir algum ponto de alguma das cira cunferncias retiradas que est entre (no sentido usual) dois dos trs pontos e a e considerados. Assim, se isso no ocorre, nenhum dos trs pontos estar entre a e a os outros dois. Na gura temos A B C mas, com os trs pontos M , N e P diremos que e nenhum deles est entre os outros. a Pergunta: Dados todos os axiomas at o axioma II.3 (inclusive), podemos gae rantir a existncia de innitos pontos em uma reta? e FIGURA A resposta para essa pergunta : no. Antes de ver o exemplo consideremos e a outra pergunta: Podemos garantir, com os axiomas dados at aqui, que dados e dois pontos existe um ponto entre esses dois? A resposta : no. Basta ver os e a pontos M e P no exemplo anterior. Ali N no est entre M e P . a a Vamos ver agora um exemplo onde as retas tm exatamente 5 pontos e os axie omas so todos satisfeitos. Considere uma reta com os pontos A, B, C, D e E. a Uma poss interpretaao: vel c FIGURA A B C, B C D, C D E, D E A, E A B. Note que no h a a 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 ultimo ponto no poder ser A, D ou B. a a Outra interpretaao: c 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. ABC BAE

AeB

Anal, qual o modelo? O modelo dado com 21 pontos e 21 retas, todas e e com exatamente 5 pontos cuja relaao estar entre foi dada acima. c DESENHO Axioma II.4 :

11

Se A, B e C so trs pontos no colineares, e se r uma reta que no passa por a e a e a a A, B ou C mas passa por um ponto do segmento AB ento a reta r passa por um ponto do segmento AC ou do segmento BC.

A r

Deniao 5: O segmento de reta de extremidades A e B, denotado por AB, c o conjunto formado pelos pontos A, B e todos os pontos C tais que C est e a entre A e B. Obs,: Com os axiomas II.1, II.2 e II.3 no podemos garantir ainda, que todo a segmento de reta possui, pelo menos, trs pontos. No podemos tambm gae a e rantir que, dados trs pontos colineares, um deles estar entre os outros dois. e a Deniao 6: A semi-reta de origem A passando por C, denotada por AC, c e o conjunto formado por todos os pontos do segmento AC e os pontos P tais que C est entre A e P . a Obs.: Das duas denioes (e dos axiomas vlidos at aqui) podemos veric a e car que AC AC, sendo que h mais pontos na semi-reta do que no segmento. a Quem garante isso o axioma II.2: dados A e C, existe um ponto P tal que e e A C P . Portanto P est em AC mas no em est em AC (pois P distinto a a a de A e C, e P no est entre A e C; isto decorre de A C P e do axioma II.3). a a A Deniao 6 e os axiomas garantem que toda semi-reta possui pelo menos c trs pontos. e Da mesma forma, a reta que passa por A e C, denotada por AC, contm a e semi-reta AC, sendo que h mais pontos na reta do que na semi-reta. Isto a 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 distinto de P (que e est na semi-reta AC). Este ponto Q no est em overrightarrowAC pois, Q a a a distinto de A e C, Q no est entre A e C, e C no est entre A e Q, j que e a a a a a Q A C e vlido o axioma II.3. Portanto Q um ponto da reta AC mas e a e no est na semi-reta AC. a a Observe ainda que, da Deniao 5 e do axioma II.1, AB o mesmo que BA. c e Pergunta: A semi-reta AC a mesma que a semi-reta CA? A resposta : e e no. Basta olhar o que foi comentado acima: o ponto Q no est em AC (note a a a 12

 que QAC o mesmo que CAQ e, pela deniao de semi-reta, Q est em CA. e c a Teorema 6 Dados dois pontos A e C, existe um ponto D que est entre A e C. a Dem.: Seja B um ponto no incidente a reta AC (teorema 3). Pelo axioma II.2, a `
P

dados os pontos A e B, existe um ponto P tal que A B P . Note que P no est na reta AC pois, caso contrrio, a reta AC seria a mesma a a a que a reta AP , e neste caso B (que est em AP ) estaria na reta AC. a Dados os pontos P e C, existe um ponto Q tal que C est entre P e Q (axioma a II.2). Note que as retas P A e P C so distintas, pois caso contrrio os pontos A, C a a e P seriam colineares, o que no ocorre conforme demonstrado anteriormente. a Segue-se que os pontos Q e B so distintos, pois P o unico ponto comum as a e ` retas P B e P Q (teorema 1). Considere a reta BQ (axioma I.1). Esta reta no passa pelos pontos A, C ou a P , pois caso contrrio, concluir a amos que as retas P A (ou P B) e P C so coina cidentes. Ento A, P e C so trs pontos no colineares, e a reta BQ passa por um ponto a a e a que est entre A e P (o ponto B). Pelo axioma II.4 a reta BQ deve passar por a um ponto do segmento P C. As retas BQ e P Q so distintas (pois B no est em P Q). A reta BQ no passa a a a a por um ponto do segmento P C pois, caso contrrio, tal ponto seria Q (o unico a ponto de intersecao das retas BQ e P Q), e neste caso Q estaria entre P e C, c mas isto no ocorre porque C est entre P e Q e pelo axioma II.3. a a Logo, BQ passa por um ponto D do segmento AC (distinto de A e C), ou seja, D est entre A e C. a Teorema 7 Dados trs pontos A, B e C colineares, um deles estar entre os outros dois. e a Obs.: Este teorema, juntamente com o axioma II.3 nos diz que dados trs e 13

pontos colineares, um e somente um deles estar entre os outros dois. a Dem.:

G F D E

Suponhamos que A no esteja entre B e C, e que C no esteja entre A e B. a a Vamos provar que, neste caso, B estar necessariamente entre A e C. a Seja D um ponto no incidente a reta AC (teorema 3). a `
D

Pelo axioma II.2 existe um ponto G tal que D est entre B e G. a

G

Note que G no incidente a reta que passa pelos pontos A, B e C. Pois, a e ` caso contrrio, a reta GB seria a mesma que a reta AC, e da termos D na a a reta AC, o que no ocorre. a Ento os pontos B, C e G so no-colineares, e a reta AD (axiomas I.1 e I.2) a a a passa por um ponto que est entre B e G (o ponto D) e no passa por B, C ou a a G (pois D no est em AC). a a Segue-se, pelo axioma II.4, que a reta AD passa por um ponto do segmento CG ou do segmento BC. A reta AD no passa por um ponto do segmento BC, pois caso contrrio, a a tal ponto seria o ponto A (o ponto de intersecao das retas AD e a reta que c contm B e C). Mas ento A estaria entre B e C, o que contradiz a hiptese e a o feita no in da demonstraao. Portanto a reta AD passa por um ponto que cio c est entre C e G. Seja E este ponto. a

14

A G

E D

Analogamente, considerando-se os pontos no-colineares A, B e G, e a reta a CD encontra-se um ponto F que est entre A e G. a
G F D E

Considere agora os pontos no colineares A, G e E (tais pontos no so a a a colineares pois, caso contrrio, A estaria na reta GE, que contm C, e portanto a e A, C e G seriam colineares), e considere a reta CF (que passa por um ponto do segmento AG - o ponto F ). Observe que a reta CF no passa por A, E ou G. a Pelo axioma II.4 a reta CF deve passar por um ponto do segmento GE ou do segmento AE. A reta CF no passa por um ponto de GE pois, caso a contrrio, tal ponto seria C, e ento ter a a amos C entre G e E, o que no ocorre a pois E est entre G e C (concluso anterior e o axioma II.3). a a Logo, a reta CF passa por um ponto do segmento AE. Mas este ponto s o pode ser D (o ponto de intersecao das retas CF e AE ). Acabamos de concluir c que D est entre A e E. a Finalmente considere os pontos no colineares A, E e C, e considere a reta a GD que passa por um ponto do segmento AE (o ponto D). A reta GD no a

15

 passa pelos pontos A, E ou C. Pelo axioma II.4, a reta GD deve passar por um ponto do segmento CE ou do segmento AC. Mas a reta GD no passa por a um ponto de CE pois, caso contrrio, tal ponto seria o ponto G, e da G estaria a entre E e C. Portanto a reta GD passa por um ponto de AC. Mas este ponto s pode ser o B (o ponto de intersecao das retas GD e AC). Logo, B est entre A e C. c a Teorema 8 Sejam A, B e C trs pontos no colineares, e seja r uma reta que no passa e a a a por A, B ou C. Se r passa por um ponto do segmento AC ento r passa por um ponto de somente um dos segmentos AB ou BC. Obs.: Este teorema nos diz que, nas condioes do axioma II.4, uma reta s c o pode interceptar dois segmentos dentre os trs formados por A, B e C. e Dem.:
C

P L

N Q B M

Suponhamos, por absurdo, que r passe por um ponto M de AB e por um ponto N de BC. Seja P o ponto de intersecao de r com AC. c Considere os pontos no colineares M , B e C (note que C no est na reta a a a AB, que a reta M B), e considere a reta AN (note que A no est na reta e a a BC, e potanto A distinto de N , use ento o axioma I.1). e a A reta AN no passa pelos pontos N , B ou C pois, caso contrrio, A, B e a a C seriam colineares, contradizendo a hiptese. o Pelo axioma II.4, a reta AN deve passar por um ponto do segmento M B ou por um ponto do segmento M C. A reta AN no passa por um ponto de M B a pois, caso contrrio, tal ponto deveria ser A (o ponto de intersecao das retas a c AN e M B), e da ter amos que A estaria entre M e B, o que no ocorre pois a de in admitimos que M est entre A e B (axioma II.3). Logo, a reta AN cio a

16

passa por um ponto Q de M C. Considere agora os pontos no colineares M , P e C (note que M no est a a a na reta P C, que a reta AC, pois caso contrrio ter e a amos A, B e C colineares), e considere a reta que passa por A e Q (AQ). Esta reta no passa pelos pontos a M , P ou C pois, caso contrrio, os pontos A, B e C seriam colineares. a Pelo axioma II.4, a reta AQ deve passar por um ponto do segmento M P . a A reta AQ no passa por P C pois, caso contrrio, tal ponto deveria ser o a ponto A (o ponto de intersecao das retas AQ e P C) e ento A estaria entre c a P e C, o que no ocorre pois, por hiptese, P est entre A e C (e pelo axioma a o a II.3). Logo, a reta AQ passa por um ponto L de M P . Mas L est na reta r (que passa por M e P ) e, como est tambm na reta a a e AQ (que passa por A e N que est em r), ento A estaria na reta que passa por a a L e N , que a reta r. Isto uma contradiao com a hiptese. e e c o Logo, a reta r no pode passar por um ponto do segmento AB e por um a ponto do segmento BC. Deniao 7: Seja r uma reta e sejam A e B os dois pontos no incidentes a r. c a Dizemos que A e B esto no mesmo lado de R se r no intercepta o segmento a a AB. Caso contrrio, diremos que A e B esto em lados opostos de r. a a Teorema 9 Seja r uma reta e sejam A, B e C trs pontos no incidentes a r. Ento: e a a (i) Se A e B esto no mesmo lado de r, e se A e C esto no mesmo lado de a a r, ento B e C esto no mesmo lado de r. a a (ii) Se A e B esto em lados opostos de r, e se A e C esto em lados opostos a a de r, ento B e C esto no mesmo lado de r. a a (iii) Se A e B esto no mesmo lado de r, e se A e C esto em lados opostos a a de r, ento B e C esto em lados opostos de r. a a Dem.: Vamos demonstrar o teorema no caso em que A, B e C so no colineares a a (o outro caso ca como exerc cio). (i) Suponha que B e C no estejam no mesmo lado de r. Ento r intercepta a a BC em um ponto P (que est entre B e C). a 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

Suponha que r intercepte AC. Ento A e C estariam em lados opostos de a r, contradizendo a hiptese. o

(ii)
A r C B

A reta r intercepta AB e AC. Pelo teorema 8, r no pode interceptar BC. a Logo, B e C esto no mesmo lado de r. a

(iii)
A B r

A reta r intercepta AC e no intercepta AB. Pelo axioma II.4, r deve ina terceptar BC. Logo, B e C esto em lados opostos de r. a

Obs.: Nos casos em que A, B e C so colineares, devemos obter um ponto a auxiliar de modo a formar trios de pontos no colineares. a Por exemplo, para demonstrar (i): Vejamos:

18

Q A P B C r

Seja P um ponto de r que no est na reta que passa por A, B e C (note a a que, pelo axioma I.3, a reta r possui pelo menos dois pontos; se um deles est a tambm na reta que passa por A, B e C, ento o outro no estar nesta reta). e a a a 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 est entre P e Q. a Note que o ponto Q no est na reta r pois, caso contrrio, a reta P Q seria a a a a prpria reta r, e ento o ponto B (que est em P Q) estaria em r. o a a Note ainda que o ponto Q no est na reta que passa por A, B e C pois, a a caso contrrio, a reta QB seria aquela reta e, neste caso P (que est em QB) a a estaria na reta que passa por A, B e C. Os pontos B e Q esto no mesmo lado de r pois, caso contrrio, existiria um a a ponto de r que estaria entre B e Q, mas tal ponto s poderia ser P ( o ponto o de intersecao da reta r com a reta QB). Mas ento ter c a amos P entre B e Q, o que no pode ocorrer pois B est entre P e Q (e o axioma II.3 completa o a a argumento). Agora, usando repetidas vezes a parte inicial do teorema 9 (j demonstrada) a temos: (a) A e Q esto no mesmo lado de r pois, A e B esto no mesmo lado de r a a (hiptese) e B e Q esto no mesmo lado de r (acabamos de demonstrar). o a (b) Q e C esto no mesmo lado de r pois, A e C esto no mesmo lado de r a a (hiptese) e A e Q esto no mesmo lado de r (item (a)). o a (c) Finalmente, B e C esto no mesmo lado de r, pois Q e C esto no mesmo a a lado de r (item (b)) e Q e B esto no mesmo lado de r (provado acima). a (Fazer (ii) e (iii), no caso colinear, como exerc cio). Deniao 8: Seja r uma reta e seja P um ponto no incidente a r. O semi-plano c a denido por r que contm o ponto P o conjunto dos pontos Q tais que P e e e Q esto no mesmo lado de r. (Notaao: Sr.P , ou SP caso esteja claro que o a c semi-plano denido por r). e Teorema 10 Toda reta dene exatamente dois semi-planos disjuntos. 19

Obs.: Este teorema nos diz que, dada uma reta r qualquer, todo ponto ou est em r, ou est em um (e somente um) dos semi-planos denidos por r. a a Dem.: Seja r uma reta qualquer. Vamos mostrar que existem dois semi-planos denidos por r que so distintos e depois mostraremos que no h mais do que a a a estes dois semi-planos.
A P B r

Seja A um ponto no incidente a r (teorema 3). Ento SA no vazio (A a a e a est neste semi-plano). a Seja P um ponto de r (axioma I.3), e seja P um ponto tal que P entre A e B (axioma II.2). Os pontos A e B esto em lados opostos de r (deniao), ou seja, B no a c a est em SA . a Segue-se que SB (no vazio, pois B est neste semi-plano) distinto de SA . a a e Vamos mostrar agora que no h mais semi-planos denidos por r. a a Seja ento C um ponto qualquer no incidente a r. a a Suponha que C no esteja em SA . No estar em SA signica que C e A a a esto em lados opostos de r. Pelo teorema 9, B e C esto no mesmo lado de r. a a Logo, C est em SB . a Note que, se C for B ento C est em SB . a a Vamos mostrar agora que SA SB = . Seja M um ponto qualquer de SA . Ento M e A esto no mesmo lado de a a r. Mas, A eB esto em lados opostos de r, pelo teorema 9, segue-se que M e B a a a esto em lados opostos de r, ou seja, M no est em SB . a Conclu mos que SA SB = . Corolrio: a Seja r uma reta. Todo ponto P de r divide esta reta em duas semi-retas

20

cujo unico ponto comum aquele ponto (P ). e

Q B P C s A C

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 est entre A e B (axioma II.2). a Note que B tambm est em r. e a Seja Q um ponto no incidente a r (teorema 3). Seja s a reta que passa por a P e Q (axiomas I.1 e I.2). A reta s distinta da reta r. e Considere as semi-retas P A e P B, ambas contidas em r. O ponto P pertence a essas duas semi-retas (da deniao de semi-retas). c Vamos mostrar que qualquer ponto de r distinto de P pertence a uma, e somente uma, das semi-retas P A ou P B. Os pontos A e B esto em lados opostos de s, pois s contm um ponto do a e e c segmento AB (o ponto P , que o ponto de intersecao de r com s). Considere os semi-planos SA e SB , respectivamente denidos por s contendo os pontos A e B. Como B no est em SA , segue-se, pelo teorema 10, que SA a a SB = .

Seja C um ponto qualquer da semi-reta P A distinto de P . Se C for A, ento a C est em SA . Se C for distinto de A, ento ou C est entre P e A ou A est a a a a entre C e P . Em qualquer um destes casos, C e A esto no mesmo lado de s a pois, caso contrrio, existiria um ponto de s entre C e A, mas este ponto s a o poderia ser P (o ponto de intersecao da reta s com a reta CA, ou seja, a reta c r). Mas isto no pode ocorrer, pelo que foi estabelecido anteriormente (ou seja, a C A P ou A C P ), e pelo axioma II.3. Segue-se, portanto, que C est no semi-plano SA . a Conclu mos que, se C = P est em P A, ento C est em SA . a a a Analogamente, se C = P est em P B ento C est em SB . a a a Como SA SB = , segue-se que P A PB = P.

21

Deniao 9: Sejam A, P e B trs pontos tais que P est entre A e B. As c e a semi-retas P A e P B so ditas semi-retas opostas. a Obs.: Pelo corolrio acima, temos que as semi-retas opostas esto contidas a a na mesma reta, tm a mesma origem, e esta origem seu unico ponto comum. e e Teorema 11 Todo segmento de reta contm innitos pontos. e Demonstraao esboo: c c Seja AB um segmento de reta. Pelo teorema 6, existe um ponto A1 talque A1 est entre A e B. a
r B A2 A A1

O ponto A1 distinto de A e B (axioma II.1). Pelo teorema 6, existe um e ponto A2 entre A e A1 . e O ponto A2 distinto de A e A1 (axioma II.1). O ponto A1 divide a reta r, que passa por A e B, em duas semi-retas opos tas (corolrio), as semi-retas A1 A e A1 B. O ponto A2 est na semi-reta A1 A a a (deniao- A A2 A1 ). Segue-se que A2 distinto de B. c e Seja agora A3 um ponto que est entre A e A2 (teorema 6). Ento o ponto a a A3 est na semi-reta A2 A, oposta a semi-reta A2 A1 . Mas B est em A2 A1 . a ` a Segue-se que A3 distinto de A, A1 , A2 e B. e E assim sucessivamente, provamos que h innitos pontos em AB. a

Axiomas de Congruncia e
Termo primitivo: congruncia (congruente a). e Estudaremos congruncia entre segmentos, angulos e depois, guras em gee ral. Axiomas de congruncia entre segmentos e Axioma III.1

22

Sejam AB um segmento, e uma semi-reta de origem C. Ento existe um a e ponto D, distinto de C, nessa semi-reta, tal que AB congruente a CD. Simbolicamente escrevemos: AB CD. Obs.: At o momento, no sabemos se AB CD implica CD AB (simetria), e a nem sabemos se AB BA. No axioma III.1, no est garantido que D unico. a a e Axioma III.2 Se AB congruente a EF , e se CD congruente a EF , ento AB congrue e a e ente a CD. Simbolicamente: AB EF e CD EF AB CD. Obs.: Com este axioma, podemos provar as propriedades reexiva, simtrica e e transitiva da congruncia entre segmentos: e Reexiva: Seja AB um segmento qualquer, e seja P um ponto qualquer. Seja uma semi-reta com origem P . Pelo Axioma III.1, existe um ponto Q nesta a semi-reta tal que AB P Q. Ento, de AB P Q e AB EF temos, pelo Axioma III.2, que AB AB. Simetria: Seja AB CD. De CD CD e AB CD temos, pelo Axioma III.2, que CD AB. Transitividade: Sejam AB CD e CD EF . Segue, por simetria, que CD AB. Sendo CD EF , obtemos, pelo Axioma III.2, AB EF . Portanto, a partir de agora, podemos falar simplesmente em dois segmentos congruentes (no importando a ordem). a Axioma III.3 Sejam A, B e C pontos tais que B est entre A e C. Sejam A , B e C tais a que B est entre A e C . Se AB A B e BC B C , ento AC A C . a a

B A

C A B C

Obs.: Sejam A, B e C trs pontos colineares. AB e BC tm um unico ponto e e comum se, e somente se, B estiver entre A e C. (Prove!) Exerc cios 1. Com as hipteses do Axioma III.3, e supondo ainda que D seja tal que C o est entre B e D, e D seja tal que C est entre B e D e CD C D , a a prove que AD A D . 2. Se BA e BC so semi-retas opostas, ento a reta r que passa por A, B e a a C BA AB. e 23

Deniao 10: Duas semi-retas distintas, de mesma origem e no opostas dec a nem um angulo. Em outras palavras, se OA e OBso distintas, e A, O e B no so colineares, a a a ento OA e OB denem um angulo. Notaao: AOB (ou BOA). a c A origem comum O das semi-retas OA e OB chamada vrtice do angulo e e AOB. As semi-retas OA e OB so chamadas lados do angulo AOB. a

B O A
Deniao 11: Um ponto P dito ponto interior ao angulo AOB, se P e A c e esto no mesmo lado da reta OA. a Pergunta: O interior de um angulo no vazio? e a Obs.: Seja AOB um angulo. Sejam M e N pontos nos lados OA e OB res pectivamente, distintos de A e de B. Ento, OA = OM e OB = ON (veja a exerc 7, item (b), da Lista 2). Portanto, AOB o mesmo que AON , ou cio e ainda, M OB (prove!). Pergunta: Existem pontos interiores a um angulo AOB? A resposta SIM. e Teorema 12: Seja AOB um angulo. Ento os pontos da reta AB so pontos interiores a a no angulo AOB se, e somente se, esses pontos estiverem entre A e B. Dem.:

B O P A Q
Seja P um ponto que est entre A e B (Teorema 6). Ento P e B esto a a a no mesmo lado da reta OA pois, caso contrrio, haveria um ponto da reta OA a entre P e B, mas tal ponto s poderia ser o ponto A (o ponto de interseao das o c retas OA e P B que a reta AB). Mas isso no ocorre pois P est entre A e B e a a (pelo Axioma II.3). Analogamente, prova-se que P e A esto no mesmo lado da reta OB. Logo P a ponto interior, e portanto existem pontos interiores ao angulo AOB. Como e AOB um angulo qualquer, todo angulo possui pontos interiores. e 24

 Seja agora Q um ponto da reta AB que no est no segmento AB. Ento, a a a uma e somente uma, das possibilidades ocorrer: a (i) Q A B, ou (ii) Q B A. Se (i) ocorre, ento os pontos Q e B esto em lados opostos da reta OA (pois A, a a que ponto da reta OA, est entre Q e B), e portanto Q no ponto interior e a a e ao angulo AOB (da negaao da Deniao de ponto interior a um angulo). O c c caso (ii) anlogo. e a Portanto, existem pontos que no so interiores a um angulo. Acabamos a a a e de provar que, se um ponto da reta AB no est no segmento AB, ento ele a a ponto interior. Da contrapositiva desta armaao, obtemos que se um ponto da c reta AB ponto interior, ento ele est no segmento AB. e a a Deniao 12: Seja AOB um angulo. O conjunto dos pontos interiores a esse c angulo chamado interior do angulo AOB. Um ponto que no pertence aos e a lados nem est no interior de AOB chamado ponto exterior a AOB. O a e conjunto dos pontos exteriores a AOB chamado exterior do angulo AOB. e Teorema 13: Seja AOB um angulo. Ento: a (i) Toda semi-reta de origem O e distinta de OA e de OB est toda no interior, a ou toda no exterior (exceto o ponto O) do angulo AOB. (ii) Se todos os pontos de uma semi-reta de origem O, exceto o prprio ponto o O, estiverem no interior de AOB, ento essa semi-reta intercepta o segemento a AB em um ponto entre A e B (Teorema da Barra Transversal). (iii) Se P um ponto interior a AOB, ento todos os pontos da semi-reta OP , e a exceto O, so pontos interiores a AOB, e todos os pontos da semi-reta oposta a a OP , exceto O, so pontos exteriores a AOB. a Dem.:

B O P Q P

(i) Seja uma semi-reta com origem O, distinta de OA e de OB. Ento, nenhum a ponto desta semi-reta exceto O, est nos lados OA e OB de AOB. Seja P a um ponto dessa semi-reta distinto de O. Ento P ponto interior ou ponto a e e exterior a AOB.

25

 Se P ponto interior a AOB, ento seja Q um ponto da semi-reta OP , e a distinto de O. Se Q for P , ento Q ponto interior. Se Q for distinto de P , a e ento uma, e somente uma das possibilidades ocorrer: a a (a) O Q P , ou (b) O P Q. Se (a) ocorre, ento Q e P esto no mesmo lado da reta OA e esto no a a a mesmo lado da reta OB pois, caso contrrio, existiria um ponto entre Q e P a que estaria na reta OB. Mas tal ponto s poderia ser o ponto O (o ponto de o interseao das retas OP , OA e OB). Mas isso no ocorre por (a). c a Analogamente prova-se que se (b) ocorre, ento Q e P esto no mesmo lado a a da reta OA e esto no mesmo lado da reta OB. Mas P ponto interior a a e AOB. Isto signica que P e A esto no mesmo lado da reta OB, e P e B a esto no mesmo lado da reta OA. a Conclu mos, pelo Teorema 9, que Q e A esto no mesmo lado da reta OB e a Q e B esto no mesmo lado da reta OA, ou seja, Q ponto interior a AOB. a e Seja agora P um ponto da semi-reta com origem O exterior a AOB. Ento, a P e B esto em lados opostos da reta OA ou P e A esto em lados opostos da a a reta OB ( ou os dois!) Suponhamos que P e B estejam em lados opostos da reta OA (o outro caso, isto , P e A em lados opostos da reta OB, anlogo), e seja Q um ponto de e e a OP , distinto de O. Se Q for P , ento Q ponto exterior a AOB. Se Q for distinto de P , ento a e a uma, e somente uma das situaoes ocorrer: c a (a) O Q P (b) O P Q No caso (a), P e Q esto no mesmo lado da reta OA pois, caso contrrio, a a existiria um ponto da reta OA entre P e Q, mas tal ponto s poderia ser o ponto o O (o ponto de interseao da reta OA com a reta P Q). Mas ento ter c a amos P O Q, o que no ocorre (por (a) e pelo Axioma II.3). a Pelo Teorema 9, Q e B esto em lados opostas da reta OA. Logo, Q ponto a e exterior a AOB. Portanto, todos os pontos da semi-reta OP , exceto O, so a pontos exteriores a AOB. O caso (b) anlogo. e a (ii)

Q S D O

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 semi-reta (que portanto denotada por OP ). e Seja Q um ponto da semi-reta oposta a semi-reta a semi-reta OA, distinto de O. Ento o ponto O est entre A e Q. a a 26

 Seja S um ponto distinto de O na semi-reta oposta a semi-reta OP . Ento ` a O est entre S e P . a Segue-se que S e P esto em lados opostos da reta OB. Por outro lado, a como P ponto interior a AOB, temos que P e A esto no mesmo ladoda e a reta OB. Pelo Teorema 9, temos que S e A esto em lados opostos da reta OB. a Isto signica que existe um ponto D entre S e A que est na reta OB. a Vamos mostrar que O est entre D e B. a Os pontos S e P esto em lados opostos da reta OA, pois O est entre S e P . a a Os pontos S e D esto no mesmo lado da reta OA pois, caso contrrio, existiria a a um ponto entre S e D que estaria na reta OA. Mas tal ponto s poderia ser A o (o ponto de interseao das retas OA e SD), e, ento, ter c a amos S A D, o que no ocorre (porque j temos S D A, e pelo Axioma II.3). a a Pelo Teorema 9, os pontos P e D esto em lados opostos da reta OA. Mas P a e B esto no mesmo lado da reta OA (P ponto interior - hiptese). Segue-se, a e o pelo Teorema 9, que os pontos B e D esto em lados opostos da reta OA. Isto a signica que O est entre B e D. a Segue-se que B e D esto em lados opostos da reta OP . a Agora, os pontos A e D esto no mesmo lado da reta OP pois, caso contrrio, a a existiria um ponto entre A e D que estaria na reta OP . Mas tal ponto s pode o ser S (o ponto de interseao da reta OP com a reta AD). Ento ter c a amos D S A, o que no ocorre (pois S D A e Axioma II.3). a Pelo Teorema 9, conclu mos que A e B esto em lados opostos da reta OP . a Isto signica que existe um ponto N entre A e B que est na reta OP . Pelo a item (i) deste Teorema, o ponto N ponto interior a AOB. O ponto N no e a est na semi-reta oposta a semi-reta OP , pois caso contrrio, ou N seria O ( o a a que no ocorre, pois ele ponto interior), ou ter a e amos N O P . Mas N e P estariam em lados opostos da reta OA e como P e B esto no mesmo lado da a reta OA, concluir amos, pelo Teorema 9, que N e B estariam em lados opostos da reta OA, contradizendo o fato de N ser ponto interior a AOB. (iii) Foi demonstrado acima (veja com atenao a ultima parte de (ii)). c Exerc cios propostos 1. Prove que se P e Q so pontos interiores a AOB, ento todos os pontos a a do segmento P Q so pontos interiores a esse angulo. a 2. Seja AOB um angulo e seja P um ponto do lado OA distinto de O. Prove que existe uma reta passando por P que contm uma semi-reta com e origem P cujos pontos so exteriores a AOB (exceto P ), e tal que sua a semi-reta oposta est no interior de AOB (exceto P ). a 3. Seja AOB um angulo. Prove que existe uma reta passando por O tal que todos os seus pontos (exceto O) so exteriores a AOB. a 4. Seja AOB um angulo. (a) Prove que existe uma reta tal que todos os seus pontos so exteriores a a AOB. (b) Prove que no existe uma reta passando por O tal que todos os seus a pontos (exceto O) so interiores a AOB. a 27

(c) Dar um exemplo de um modelo que um contra-exemplo para o item e (b) (nesse caso, no devem valer alguns dos axiomas de ordem). Obs.: O a modelo deve ter innitos pontos. Axiomas de Congruncia sobre Angulos e Axioma III.4 Seja AOB um angulo e O A uma semi-reta. Ento existe, em um dos a semi-planos denidos pela reta O A , uma unica semi-reta O B tal que o angulo AOB congruente ao angulo A O B . Alm disso, todo angulo congruente e e e a si prprio (reexividade). o Obs.: Notaao: AOB A O B . c Deniao 13: Um tringulo ca denido por trs pontos A, B e C no colineac a e a res, e pelos trs segmentos de reta AB, BC e AC. e Notaao: ABC (ou ACB, ou BAC, ou BCA, ou CAB, ou CBA). c Axioma III.5 Seja ABC e A B C dois tringulos tais que ABA B , ACA C e a BACB A C . Ento ABCA B C . a

Obs.: Trocando a ordem das congruncias de segmentos na hiptese, e mantendo e o a congruncia dos angulos, obtemos diretamente do axioma que: ACBA C B . e Portanto, o axioma nos diz que, sendo vlidas as hipteses, os outrs dois a o angulos do tringulo sero congruentes. a a Comentrio: Vimos um axioma (III.3) que tratava da aditividadede segmena tos: Se ABC ABA B e A B C , ento ACA C . a e BCB C .

E poss demonstrar o seguinte: vel Se ABC ABA B e A B C a e vel , ento BCB C ? No poss agora. a e ACA C .

Deniao 14: Dois angulos so ditos adjacentes se eles tm o mesmo vrtice, c a e e um lado comum, e os outrs dois lados esto, respectivamente, em semi-planos a distintos em relaao a reta que contm o lado comum. c ` e

28

Deniao 15: Dois angulos so ditos adjacentes suplementares se eles forem c a adjacentes e se os lados no comuns forem semi-retas opostas. a Ex.: Os angulos AOB e BOC da gura abaixo so adjacentes suplementares a (note que OA e OC so semi-retas opostas). a

Obs.: Dizemos que cada um deles suplemento do outro. e Deniao 16: Um angulo dito reto se ele for congruente a um suplemento dele. c e Obs.: (1) Todo angulo AOB possui dois suplementos: um obtido pela semi reta oposta ao lado OA (e OB comum), e o outro pela semi-reta oposta a OB (e OA comum).

B O C O A D

(2) Se AOB um angulo reto e BOC seu suplemento tal que AOBBOC, e e ento ainda no poss dizer que BOC tambm reto (pois no temos a a a e vel e e a propriedade da simetria na congruncia de angulos). e

(3) A deniao de angulo reto no implica na existncia de um tal angulo. No c a e a ca claro tambm que angulo reto de um unico tipo. e e

29

Ainda no sabemos se AOBA O B . a Deniao 17: Dois angulos so ditos opostos pelo vrtice se eles possuem o c a e mesmo vrtice e os lados de um deles so respectivamente semi-retas opostas e a aos lados do outro. Ex.:

C O D

Deniao 18: Um tringulo dito issceles se ele possui dois lados congruentes. c a e o Obs.: Vimos que um tringulo formado por trs pontos no colineares e pea e e a los trs segmentos cujas extremidades so aqueles pontos. Os trs pontos so e a e a chamados vrtices do tringulo, e os trs segmentos so chamados lados do e a e a tringulo. a Se ABC um tringulo, ento os trs angulos A (ou BAC), B (ou e a a e ABC) e C (ou ACB) so chamados angulos internos, ou simplesmente, a angulos do tringulo ABC. a Exerc cio: Prove que existem tringulos issceles. a o Teorema 15: Seja ABC um tringulo issceles tal que ABAC. Ento BC e a o a CB. Dem.: Considere os tringulos ABC e ACB (mesmo tringulo). a a

De ABAC, ACAB (simetria) e BACCAB (Axioma III.4). Temos, pelo Axioma III.5, que BC e CB. 30

Deniao 19: Um tringulo ABC congruente a um tringulo A B C c a e a (em notaao: ABC A B C ) se ABA B , ACA C , BCB C e, ainda, c AA , BB e CC . Teorema 16: (Primeiro Caso de Congruncia de Triangulos - LAL) e Sejam ABC e A B C dois tringulos. Se ABA B , ACA C e AA , a ento ABC A B C . a Dem.:

C D

B A

Pelo Axioma III.5, temos que BB e CC . Para provar, pela Deniao 19, que ABC A B C , falta provar que BCB C . c Suponha, por absurdo, que BC e B C no sejam congruentes. Ento, pelo a a Axioma III.1, existe um ponto D na semi-reta B C tal que BCB D, e, pela hiptese do absurdo, D distinto de C . Observe que ou D est entre B e C , o e a ou C est entre B e D. Em qualquer uma das situaoes, considere o tringulo a c a A B D. Note que as semi-retas A D e A C so distintas, pois, caso contrrio, a a A , C e D seriam colineares e, como C , D e B so colineares, ter a amos A , B e C colineares, o que no ocorre. a Agora, temos que ABA B (hiptese), BCB D (estabelecido acima pelo o Axioma III.2) e BB (conclu atravs do Axioma III.5). Pelo Axioma do e III.5, obtemos que B A D. Mas t nhamos, por hiptese, que AB A C o (ou A ). Observando que as semi-retas (distintas) A D e A C esto em um a mesmo semi-plano em relaao a reta A B (pois C e D esto no lado da reta c ` a A B - porqu?) chegamos a uma contradiao com a unicidade da semi-reta e c citada no Axioma III.4. Logo, BCB C e, portanto, ABC A B C . Teorema 17: (Segundo Caso de Congruncia de Tringulos - ALA) e a Sejam ABC e A B C dois tringulos tais que ABA B , AA e a BB . Ento, ABC A B C . a Dem.:

C D

31

Vamos provar que ACA C . Se isso ocorrer, pelo Teorema 16, temos que ABC A B C . a a Suponha, por absurdo, que AC e A C no sejam congruentes. Ento, pelo Axioma III.1, existe um ponto D, distinto de C na semi-reta A C , tal que ACA D. Ento temos: a ACA D(estabelecido acima) ABA B (hiptese) o AB A D(ouA) Pelo Teorema 16, temos que ABC A B D. Segue-se, da Deniao de c congruncia de tringulos, que ABC(ouB)A B D. Mas, por hiptese, e a o ABCA B C . Chegamos a uma contradiao com o Axioma III.4. c

Exerc cio: Sejam A, B e C tais que A B C, e seja B um ponto na semi-reta a A C . Se ACA C e ABA B . Mostre que B est entre A e C . Teorema 18: Sejam AOB e BOC, e A O B e B O C , respectivamente dois pares de angulos adjacentes suplementares. Se AOBA O B , ento BOCB O C a (ou seja, ao nal teremos que suplementos de angulos congruentes so congru a entes). Dem.:

Suponhamos, sem perda de generalidade, que OA O A , OB O B e OC O C . Ento, como por hiptese AOB A O B , teremos, pelo teorema 16 (1o a o caso de congruncia de tringulos), que: e a AOB A O B Segue-se, pela deniao de congruncia de tringulos que: c e a AB A B e BAO B A O . Observe agora que, como OA O A e OC O C , teremos pelo axioma III.3, a congruncia AC A C . Ento, de AB A B , AC A C e BAO e a B A O (que o mesmo que BAC B A C )temos, pelo teorema 16 (1o e caso), que: BAC B A C . 32

Segue-se, pela deniao de congruncia de tringulos, que BC B C e c e a BCO B C O . Agora, de BC B C , BCO B C O e CO C O temos, pelo teorema 16, que: BCO B C O . Conclu mos da que BOC B O C . Este teorema resulta em duas conseqncias importantes: ue Teorema 19: Angulos opostos pelo vrtice so congruentes. e a Dem.: Sejam AOB e COD angulos opostos pelo vrtice, com OA e OC semi e retas opostas, e OB e OD semi-retas opostas.

O C B

Vamos mostrar que AOB COD e que COD AOB. Os angulos AOB e AOD so adjacentes suplementares, e AOD e COD a tambm so adjacentes suplementares. Pelo teorema 18, e como AOD e a AOD (axioma III.4), temos que AOB COD e tambm que COD e AOB. Observaoes: c 1. Segue-se que AOD BOC e BOCAOD. 2. Vimos que todo angulo possui dois angulos adjacentes suplementares, e agora estamos vendo que tais angulos so congruentes. a Teorema 20: Existem angulos retos. Dem.: Seja OA uma semi-reta qualquer e seja B um ponto no incidente a reta a ` OA.

33

 Seja OD a semi-reta do semi-plano denido pela reta OA que no contm o a e ponto B, tal que AOB AOD (axioma III.4).

A O D

Suponhamos, sem perda de generalidade, que OB OD. Consideremos a c ento o segmento BD. Como B e D esto em semi-planos distintos em relaao a a reta OA, temos que B e D esto em lados opostos da reta OA. Isto signica ` a que existe um ponto C, entre B e D, que est na reta OA. a H ento trs possibilidades: a a e (i) C o ponto O; e (ii) C est em OA e distinto de O; a e (iii) C est na semi-reta oposta a semi-reta OA e distinto de O. a ` e Se (i) ocorre, ento: a

B A O C D
as semi-retas CB e CD so opostas e como, por hiptese, AOB AOD (ou a o seja, ACB ACD) os angulos ACB e ACD sendo adjacentes suplemen tares, temos que AOB reto (deniao de angulo reto). e c (ii) C = O e C est em OA: a

34

B O

C D

De OB OD, COB COD e OC OC temos, pelo teorema 16 (1o caso de congruncia de tringulos), que os tringulos COB COD. e a a Conclui-se da que BCO DCO. Como C est entre B e D temos que a CB e CD so semi-retas opostas. Segue-se que BCO e DCO so adjacentes a a e suplementares. Conclu mos ento, pela deniao, que BCO reto. a c (iii) C = O e C est na semi-reta oposta a semi-reta OA: a `

D
Neste caso, como COB e AOB so adjacentes suplementares, COD e a AOD tambm so adjacentes suplementares e, alm disso, AOB AOD, e a e teremos pelo teorema 18, que COB COD. Segue-se ento, de OB OD e OCOC que, pelo teorema 16, COB a COD. Conclu mos da que BCO DCO. Como C est entre B e D, temos que a CB e CD so semi-retas opostas. Segue-se que BCO e DCO so adjacentes a a suplementares. Conclu mos ento, pela deniao, que BCO reto. a c e Exerc cio: Prove, admitindo a simetria e transitividade na congruncia entre angulos, e que se um angulo congruente a um angulo reto, ento ele tambm angulo e a e e reto. Teorema 21: Sejam OA, OB e OC trs semi-retas distintas com origem O, e sejam O A , e O B e O C trs semi-retas distintas com origem O . Suponha que uma das e situaoes ocorra: c (a) OB e OC esto no mesmo semi-plano denido pela reta OA, e O B e a O C esto no mesmo semi-plano denido pela reta overlef trightarrowO A . a 35

 (b) OB e OC esto em semi-planos distintos, denidos pela reta OA, e O B a e O C esto em semi-planos distintos, denidos pela reta O A . a Se BOA B O A e COA C O A , ento BOC B O C . a Anlise: a (a)

C B O
(b)

C B O A B A A O C

O
Dem.:

Vamos demonstrar inicialmente o caso (a).

B A

B A

Neste caso, ou OC est no interior do angulo AOB, ou OB est no interior a a do angulo AOC. Consideremos este ultimo caso (o outro caso anlogo). e a Suponhamos, sem perda de generalidade, que OA O A e OC O C . Segue-se, pelo teorema 13 parte (ii) (teorema da barra transversal), que a semi-reta OB intercepta o segmento AC em um ponto D (entre A e C). Seja D o ponto da semi-reta O B tal que OD O D (axioma III.1). De OA O A , AOC A O C e OC O C temos, pelo teorema 16, que AOC A O C . Segue-se da que AC A C , OAC O A C , e OCA O C A . De OA O A , AOD A O D e OD O D temos, pelo teorema 16, que AD A D e OAD O A D . Observando que OAC o mesmo que OAD e, do que foi conclu acima, e do que OAC O A C e OAD O A D , temos, pelo axioma III.4, que as semi-retas A C e A D so a mesma semi-reta. a

36

Como AC A C , AD A D e como D est entre A e C segue-se, de um a exerc da aula anterior, que D est entre A e C . cio a Segue-se de outro exerc (subtratividade para segmentos) que CD C D . cio Agora, como OC O C , OCD O C D e CD C D temos, pelo teorema 16, que OCD O C D . Segue-se da que COD C O D , ou seja, COB C O B . O caso (b) pode ser provado a partir do caso (a), observando que:

C A D
(Exerc cio) Teorema 22:

C A D O B

Sejam AOB e A O B tais que AOB A O B . Seja OC uma semi reta no interior de AOB. Ento existe uma unica semi-reta O C no interior a de A O B tal que AOC A O C e BOC B O C .

B C O
Dem.:

B C O

Pelo axioma III.4 existe uma unica semi-reta O C , no mesmo semi-plano, denido pela reta O A , da semi-reta O B tal que AOC A O C . Devemos provar que O C est no interior de A O B . a No teorema 21 vimos que existe um ponto da semi-reta O C que est entre a A e B . Segue-se, do teorema 12, que aquele ponto interior ao angulo A O B . e Ainda do teorema 21, temos que BOC B O C . Teorema 23: Sejam Z1 e Z2 dois pontos em semi-retas distintas denidos pela reta XY tais que XZ1 XZ2 e Y Z1 Y Z2 . Ento XY Z1 XY Z2 (e XY Z2 a XY Z1 ) e Y XZ1 Y XZ2 (e Y XZ2 Y XZ1 ).

37

Z1

Z2

Y
Dem.: Suponha que X, Z1 e Z2 no sejam colineares, nem Y , Z1 e Z2 . a O tringulo XZ1 Z2 issceles. Pelo teorema 15 temos XZ1 Z2 XZ2 Z1 a e o (e Y Z2 Z1 Y Z1 Z2 ). Da mesma forma temos que Y Z1 Z2 issceles, e portanto Y Z1 Z2 e o Y Z2 Z1 (e Y Z2 Z1 Y Z1 Z2 ). Pelo teorema 21 temos que angleXZ1 Y XZ2 Y (e, como conseqncia ue das relaoes simtricas da congruncia, neste caso, XZ2 Y XZ1 Y ). c e e Se X, Z1 e Z2 so colineares: a

Z1

Z2

Y
Ento Y , Z1 e Z2 no sero colineares (porqu?) e ento trabalhamos apenas a a a e a com Y 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 congruncia de tringulos) que XY Z1 e a XY Z2 (aqui tambm temos XY Z2 XY Z1 ). Conclu e mos da que XY Z1 XY Z2 (e XY Z2 XY Z1 ), e tambm que Y XZ1 Y XZ2 (e Y XZ2 e Y XZ1 ).

Teorema 24 - (3o caso de congruncia de tringulos - LLL) e a Sejam ABC e A B C dois tringulos tais que AB A B , AC A C a e BC B C . Ento ABC A B C (e A B C ABC). a Dem.:

38

C B B B0 A

B" A

Sejam A B0 e A B as semi-retas em semi-planos distintos em relaao a reta c ` A C , tais que BAC B0 A C e BAC B A C (axioma III.4), com B0 e B no mesmo semi-plano. Suponha, sem perda de generalidade, que AB A B0 e que AB A B . De AB A B0 , BAC B0 A C e AC A C , temos pelo teorema 16, que: ABC A B0 C . Segue-se que BC B0 C . Analogamente teremos ABC A B C . mos, do axioma III.2, que B0 C B C . Segue-se que BC B C . Conclu Tambm, de AB A B0 e AB A B , temos que A B0 A B . Do e teorema 23, temos que, B A C B0 A C . Por outro lado, das hipteses AB A B e BC B C , obtemos que o AB AB eBC B C. Pelo teorema 23 temos que B A C e B A C . Conclu mos ento que as a semi-retas A B0 e A B coincidem (axioma III.4), e portanto B0 = B . Segue-se que ABC A B C . A prova de que A B C ABC a mesma trocando-se as guras. e

Teorema 25: Sejam A O C , A O C e AOC tais que AOC A O C e AOC A O C . Ento A O C A O C . a Dem.:

C A A

C A"

C"

O
39

O"

Suponha, sem perda de generalidade, que OA O A e OA O A , e que OC O C e OC O C . Ento de AOC A O C temos, pelo teorema 16, que AOC A O C . a Segue-se que AC A C . Agora, de AOC A O C temos, pelo teorema 16, que AOC A O C . Segue-se que AC A C . Da simetria e transitividade na congrncia de segmentos, obtemos que O A e O A , OC O C e A C A C . Pelo teorema 24, conclu mos que A O C A O C e A O C A O C ).Segue-se da que A O C A O C (e A O C A O C . Observaao: Suponha que AOB A O B . De AOB AOB (axic oma II.4) e do teorema 25, obtemos A O B AOB (simetria). Agora suponha ABC DEF , e que DEF GHI. Da simetria obtemos, DEF ABC e DEF GHI nos d, pelo teorema 25, a ABC GHI (transitividade). A partir de agora podemos falar em angulos congruentes e tambm em e tringulos congruentes. a Teorema 26 Sejam AOB e A O B dois angulos. Seja O B a unica semi-reta, no mesmo semi-plano da semi-reta O D , tal que A O B AOB. Seja ainda OD a unica semi-reta, no mesmo semi-plano da semi-reta OB, tal que AOB A O D . Se O B est no interior de A O D , ento OD est no exterior de AOB, a a a e reciprocamente.

D B O A O

D B A

Obs: Se a situaao do enunciado do teorema acima ocorre, diremos que o c e angulo AOB menor do que o angulo A O D (ou que A O B menor e menor do que AOD), e escrevemos: AOB < A O D . Ou que A O D maior do que AOB, e A O D > AOB.

Dados dois angulos e uma, e somente uma, das situaoes poder ocorrer: c a < , = , < 40

Nesta relaao de menor que (ou maior que) vale a transitividade: c Se < e < , ou se < e , ou se e < , ento < . a Dem: Suponha que a semi-reta OD no esteja no exterior do angulo AOB. Ento a a ou OD coincide com OB, ou OD est no interior de AOB. a Se OD coincide com OB, ento AOD AOB. a

D B O A O

D B A

Mas, por hiptese, AOB A O B . Mas tambm, por hiptese, A O B < o e o A O D e A O D AOD. Por transitividade, obtemos: AOD < AOD. Absurdo.

Se OD est no exterior de AOB : a

B D O A O

B E A

Ento, pelo teorema 22, existe uma unica semi-reta O E , no interior de a A O B , tal que A O E AOD. Mas, por hiptese, A O D AOD e, como O E e O D so distintas o a (porqu?), teremos uma contradiao com o axioma II.4. e c Logo, OD est no exterior de AOB. A rec a proca anloga. e a

Obs: As semi-retas O E e O D so distintas porque O E est no interior a a de A O B e O D est no exterior de A O B . Pois O B est no interior de a a A O D :

41

D B O
Teorema 27 Todos os angulos retos so congruentes entre si. a Dem: Sejam AOB e A O B angulos retos. Seja C um ponto na semi-reta oposta a OA, e seja C um ponto na semi-reta oposta a O A .

B D C O A C O B A

Ento, por deniao (de angulos retos), temos: a c AOB BOC e A O B B O C .

Suponha, por absurdo, que AOB e A O B no sejam congruentes. a Seja OD a semi-reta no mesmo semi-plano de OB (em relaao a reta OA) c ` tal que AOD a O B (axioma III.4). Ento ou OD est no interior de a a AOB, ou OD est no exterior de AOB. a Suponha que OD esteja no interior de AOB. Ento, pelo teorema 18, a DOC B O C Mas, por hiptese, B O C A O B . Segue-se, por transitividade, que o DOC A O B (1)

Por outro lado, como OD est no interior de AOB, ento OB est no a a a interior de DOC (por qu?). Segue-se que DOC > BOC. Mas, por e deniao, c BOC AOB. Ainda, como OD est no interior de AOB, temos a AOB > AOD, e como, por construao (e axioma III.4), c AOD A O B , 42

temos, por transitividade, que DOC > A O B (2)

Contradiao entre (1) e (2). c Se OD est no exterior de AOB chegamos, analogamente, a uma cona tradiao. c Obs: A comparaao entre segmentos uma consequncia da unicidade do c e e ponto no axioma III.1.

Se C P D, ento AB < CD. a Se C D P , ento AB > CD. a Deniao 20 c Se um angulo menor do que um angulo reto, ento dizemos que um e a e angulo agudo. Se um angulo maior do que um angulo reto, dizemos que e um angulo obtuso. e Isto equivalente a dizer que um angulo agudo menor do que seu suplee e mento, e um angulo obtuso maior do que seu suplemento. e Deniao 21 c Os angulos ABC, BAC e ACB de um tringulo ABC so chamados a a angulos (internos) de ABC. Os suplementos daqueles angulos so chamados a angulos externos de ABC.

A
Teorema 28: (Teorema dos angulos externos)

Qualquer angulo externo de um tringulo maior do que os angulos internos a e no adjacentes a ele. a Dem:

43

D D

Seja ABC um tringulo qualquer e seja D um ponto na semi-reta oposta a a semi-reta AB tal que AD DC. ` Vamos provar que CAD > ACB. Inicialmente provaremos que CAD e ACB no so congruentes. a a Suponha, por absurdo, que CAD ACB. Ento, a CAD ACB, pois

AD BC, CAD ACB e CA CA (teorema 16 - LAL) Segue-se que DCA BAC. Mas ento, como BAC suplemento de DAC teremos, pelo teorema 18, a e que o suplemento de ACB congruente a BAC. Mas ento, pelo axioma e a II.4, DCA o suplemento de ACB. Segue-se que CD e CB so opostas, e a ou seja, D est na reta BC, e como D, A e B so colineares, ter a a amos que C estaria na reta AB, contradizendo o fato de que ABC um tringulo. e a Vamos provar agora que CAD no menor do que ACB. a e Suponha, por absurdo, que CAD ACB.

Ento existe uma unica semi-reta no interior do angulo ACB com origem a C tal que o angulo formado por esta semi-reta e pela semi-reta CA congruente e a CAD. Pelo teorema da barra trasversal (teorema 13, item (b)), aquela semi-reta intercepta AB em um ponto E que est entre A e B. a Mas ento, o angulo CAD, externo ao tringulo ACE em A, congruente a a e 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 oposto e pelo vrtice a CAD, maior do que ABC. e e 44

Consequncias do teorema dos ngulos externos e a Teorema 29 (Existncia de paralelas) e Dada uma reta r qualquer, existe uma reta paralela a r. Dem: Seja P um ponto no incidente a r. Vamos provar que por P passa uma reta a paralela a r.

C P

r A B Q

Sejam A e B pontos de r. Seja P C a semi-reta no semi-plano distinto do semi-plano do ponto B em relaao a reta P A, tal que AP C P AB (axioma III.4). c ` Considere a reta s que passa por P e C. Veremos que s paralela a r. e Suponha que s e r no sejam paralelas. Ento elas se interceptam em um a a ponto Q. Se Q est no mesmo semi-plano que B ento AP C angulo externo ao a a e tringulo AP Q e congruente ao angulo interno P AQ, contradizendo o a e teorema dos angulos externos. Se Q est no semi-plano distinto de B ento P AB angulo externo do a a e P AQ que congruente ao angulo interno AP Q, contradizendo o teorema e dos angulos externos. Logo, s no intercepta r, ou seja, tais retas so paralelas. a a Teorema 30 Dados dois lados no congruentes de um tringulo, ao maior deles ope-se o a a o maior angulo. Dem:

45

Suponha que AB > BC. Vamos provar que ACB > BAC. Seja C o ponto entre A e B tal que BC BC (axioma III.1 e teorema 14). Ento a semi-reta CC est no interior de ACB, e portanto BCC < ACB. a a O tringulo BCC issceles, com BC BC. Segue-se, do teorema 15, a e o que BC C BCC . O angulo BC C externo em C do AC C. Segue-se, pelo teorema dos e angulos externos, que C AC < BC C. Por transitividade temos BAC < ACB. Obs: Vale a rec proca: dados dois angulos no congruentes de um tringulo, ao a a maior deles ope-se o maior lado. (Prove) o

A
Teorema 31 - Rec proca do teorema 15

Se um tringulo possui dois angulos congruentes ento ele issceles. a a e o Dem: Seja ABC um tringulo com BAC ABC. a

Vamos provar que BC AC. Suponha, por absurdo, que BC no seja congruente a AC. Ento BC > AC, a a ou BC < AC. 46

Se BC > AC teremos, pelo teorema 30, que BAC > ABC, contradizendo a hiptese. o Analogamente chega-se a uma contradiao se BC < AC. c

Teorema 32 - Caso especial de congruncia de tringulos e a Sejam ABC e A B C dois tringulos tais que AB A B , A A e a C C . Ento ABC A B C . a

C D

A
Dem:

Vamos provar que AC A C . E ento, pelo 1o caso de congruncia de a e tringulos (teorema 16) teremos que ABC A B C . a a Suponha que AC e A C no sejam congruentes. Suponha A C < AC (o caso AC < A C anlogo). Seja D o ponto entre A e C tal que AD A C . e a Ento ABD A B C , pois: AD A C , A A e AB A B (1o a caso - teorema 16). Segue-se que ADB C . Mas, pelo teorema dos angulos externos, teremos que ADB > ACB (C), e por hiptese, C C . o Chegamos a uma contradiao. c Deniao 22 c Um ponto P dito ponto mdio de um segmento AB se AP BP . e e Obs: Desta deniao deduzimos que um ponto mdio de um segmento est entre c e a as extremidades deste segmento (se existir um tal ponto mdio) - Exerc e cio. No sabemos ainda se todo segmento possui um ponto mdio e, se possui, a e se ele unico. e Deniao 23 c Dado um angulo AOB, uma semi-reta OP dita bissetriz de AOB se e AOP BOP . Obs: Da deniao no podemos inferir a existncia e a unicidade da bissetriz c a e de um angulo. se existir tal bissetriz, ento ela ser uma semi-reta no interior a a do angulo. (Exerc cio)

47

Teorema 33 Todo segmento possui um unico ponto mdio. e Dem: Seja AB um segmento qualquer. Seja C um ponto fora da reta AB. No semi-plano distinto do semi-plano (em relaao a reta AB) que contm o ponto c ` e C, marquemos um angulo ABD tal que BAC ABD (axioma III.4). Sem perda de generalidade, podemos considerar que overlineBD AC. Os pontos C e D esto em semi-planos distintos (em relaao a reta AB), a c ` ou seja, C e D esto em semi-planos distintos da reta AB. Portanto existe um a ponto M na reta AB que est entre C e D. a Vamos provar agora que M est entre A e B. a Se M for A (ou B):

D
Teremos uma contradiao com o teorema dos angulos externos pois, por c construao, o angulo externo BAC, de ABD congruente ao angulo interno c e ABD desse tringulo. a Se M no pertence a AB (suponha que B esteja entre A e M - o outro caso, a M A B, anlogo), e a

D
ento novamente teremos uma contradiao pois, pelo teorema dos angulos exa c ternos, ABD > BM D (ABD externo ao BM D), e BM D > M AC e 48

(BM D externo ao AM C), ou seja, BM D > BAC. Por transitividade e teremos ABD > BAC, contradizendo a construao feita no in c cio desta demonstraao. c Logo, M est entre A e B. a

D
Considere agora os tringulos a AM C e BM D. Temos:

M AC M DB (construao) c AC BD (construao) c AM C BM D (opostos pelo vrtice - teorema 19) e

Segue-se, pelo caso especial de congruncia de tringulos (teorema 32), que e a AM C BM D. Segue-se que AM BM , e portanto M ponto mdio de e e AB. Vejamos agora que M o unico ponto mdio de AB. e e Suponha, por construao, que exista um ponto N , distinto de M , tal que c AN BN . Sabemos que N deve estar entre A e B. Ento N est entre B e M , ou N est entre A e M . Suponha que N esteja a a a entre B e M (o outro caso anlogo). Ento M est entre A e N (exerc 5 e a a a cio da lista 2). Segue-se que: AN > AM (1) Mas, AM BM (2) Por outro lado, de M N B, temos BM > BN (3). Por transitividade de (1), (2) e (3), obtemos: AN > BN . Contradiao. c Logo, M o unico ponto mdio de AB. e e

Teorema 34

49

Todo angulo possui uma unica bissetriz. Dem: Seja AOB um angulo qualquer. Suponha, sem perda de generalidade, que OA OB.

M A

Pelo torema 33, AB possui um ponto mdio M (AM BM ) que est no e a interior de AOB (teorema 12). Ento, a M OA M OB, pois:

OA OB (hiptese) o AM BM ( M ponto mdio) e e OM OM caso LLL - teorema 24. Segue-se que BOM AOM , ou seja, OM bissetriz de AOB. e Unicidade: (exerc cio). Deniao 24 c Duas retasso ditas perpendiculares se elas se interceptam em um ponto O a que vrtice de um angulo reto cujos lados so semi-retas respectivamente cone e a tidas em cada uma daquelas retas. J provamos, no teorema 20, que dado um ponto P fora de uma reta r, a existe uma reta perpendicular a reta r, passando por P . Vejamos que esta reta ` perpendicular unica. e Teorema 35 Por um ponto P fora de uma reta r passa uma unica reta perpendicular a r. Dem: Suponha, por absurdo, que existam retas s e t, perpendiculares a r, passando por P .

50

P r D t

C s

Sejam A e B as intersecoes de s e t respectivamente com r. c Sejam C e D na reta AB tais que C A B e A B D. Ento P AC reto a e e externo ao tringulo P BA (reto, teorema 37). Contradiao com o teorema a c dos angulos externos. Logo, existe uma unica perpendicular. Deniao 25 c a Um tringulo dito retngulo se ele possui um angulo interno reto. a e Deniao 26 c Uma reta dita mediatriz de um segmento se ela for perpendicular a reta e ` que contm esse segmento no ponto mdio dele. e e Obs: Como consequncia do teorema 33 e da existncia e unicidade da perpene e dicular a uma reta por um ponto desta reta, temos que todo segmento possui ` uma unica mediatriz. Teorema 36 Dado um segmento AB e um ponto P , tem-se que P A P B se, e somente se, P for incidente a mediatriz de AB. ` Dem: Seja P um ponto da mediatriz de AB. Se P for M , o ponto mdio de e AB, ento, por deniao, temos P A P B. Se P no for o ponto mdio de AB a c a e ento P no incidente a reta AB, e portanto P M A e P M B so tringulos. a a e ` a a

51

Mas ento a

PMA

P M B, pois: PM PM P M A P M B AM BM

caso LAL (teorema 16). Segue-se que P A P B. a c Seja agora P um ponto tal que P A P B. Se P for M ento P , por diniao est na mediatriz de AB. a Se P no for M ento, como P A P B, resulta da unicidade do ponto a a mdio, que P no est na reta AB. e a a Segue-se que P , A e B so no colineares. a a

A
Considere os tringulos a PMA e

B
PMA P M B, pois:

P M B. Ento a

P A P B (hiptese) o AM BM (M ponto mdio) e PM PM caso LLL (teorema 24). Segue-se que P M A P M B. Mas tais angulos so suplementares. Segue a se, por deniao, que P M A e P M B so retos. Ento a reta P M perpenc a a e dicular a reta AB e passa pelo ponto mdio M de AB. Logo, P M mediatriz ` e e de AB, e P incidente a ela. e

Teorema 37 Seja AOB um angulo e seja P um ponto no interior de AOB e sejam A e B pontos nos lados OA e OB respectivamente, tais que P A perpendicular e a OA, e P B perpendicular a OB. e O ponto P pertence a bissetriz de AOB se, e somente se, P A P B . `

52

O A

53