Axiomas da Geometria Euclidiana

Sadao Massago Abril de 2010

Sumrio
1 Introduo . . . . . . . . . . . . . . . . . . . . . . 2 Axioma da Incidncia . . . . . . . . . . . . . . . . 3 Axiomas de ordem (na reta) e separao do plano 4 Axioma da distncia . . . . . . . . . . . . . . . . 5 Axioma dos ngulos . . . . . . . . . . . . . . . . . 6 Congruncias . . . . . . . . . . . . . . . . . . . . 7 Retas paralelas . . . . . . . . . . . . . . . . . . . Referncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 3 5 6 7 8

Introduo

Este texto apresenta os axiomas da geometria euclidiana, acompanhado de comentrios importantes. No entanto, ainda no um texto completo, pois foi elaborado com o objetivo de ser usado como um complemento de algum texto mais completo. Portanto, a explicao em torno dos axiomas e alguns pontos importantes na geometria so enfatizados, mas existem vrias informaes que maioria dos textos costumam apresentar. Tambm no h preocupao de apresentar denies, resultados, exemplos e exerccios de forma completa. Como o texto ainda est na fase inicial de elaborao, pode conter erros. O plano um conjunto na qual seus elementos so denominados de pontos e uma reta um subconjunto especial do plano. Neste texto, no vamos losofar sobre planos, retas e pontos. O plano, retas e pontos so objetos matemticos caracterizado pelos conjuntos de axiomas (regras) que sero apresentados aos poucos.

Axioma da Incidncia

Axioma 1 (incidncia). Dados dois pontos distintos, existe uma nica reta que os contm. Axioma acima da determinao das retas. Na forma informal, seria dois pontos distintos determina uma nica reta. Axioma 2 (distino da reta e do ponto). Toda reta possui pelo menos dois pontos distintos. Axioma acima garante que a reta no pode ser conjunto unitrio com apenas um nico ponto (com o abuso da linguagem: ponto distinguido da reta), nem o conjunto vazio. Axioma 3 (distino da reta e do plano). Existem pelo menos trs pontos no colineares.

Axioma acima garante que plano mais do que uma reta. Tambm pode ser enunciado como dado uma reta, existe pelo menos um ponto no pertencente a reta). Exerccio 1. Explique o signicado de cada um dos axiomas acima. Exerccio 2. Dena o que pontos serem colineares. Exerccio 3. Mostre que, se trs pontos forem no colineares, ento so distintos. Exerccio 4. Mostre que dois ltimos axiomas pode ser substituido por 1. (Existncia da reta) Existe pelo menos uma reta. 2. (distino da reta) Dada uma reta, existe pelo menos dois ponto pertencentes a reta e um ponto no pertencente a reta. Exerccio 5. Justique que no exerccio anterior, 1. pode ser substituido por existe pelo menos dois pontos. Exerccio 6. O conjunto que satisfaz os axiomas de incidncia denominado de plano de incidncia. Mostre que o plano de incidncia tem pelo menos trs pontos e trs retas. D exemplo do plano de incidncia com exatamente trs pontos e trs retas. Exerccio 7. Faa o desenho ilustrativo para cada um dos axiomas.

Axiomas de ordem (na reta) e separao do plano

Os axiomas de incidncia no garante que tem innitos pontos na reta. No entanto, colocar axioma para garantir somente a existncia de innitos pontos no fora a ser reta, pois pode 1 haver saltos entre os pontos da reta como no conjunto { n : n N}. Para evitar que tenha saltos, precisaria garantir que tenha pontos entre dois pontos quaisquer. Alem disso, uma reta tem que continuar para ambos lados, o que requer que tenha pontos fora do segmento. Os axiomas de ordem serve para este propsito. O ponto B est entre os pontos A e C que ser denotado por A B C, satisfazem os seguintes axiomas. Axioma 4. A B C ento A, B e C so colineares, distintos e C B A. Axioma acima uma propriedade similar a reexitiva (simetria). O prximo axioma garante que est bem denida (no h ambiguidade). Axioma 5. Dados trs pontos colineares e distintos, um e apenas um est entre outros dois. Axioma 6. Dados dois pontos A e C, existem pontos B e D tais que A B C e A C D. Axioma acima necesrio para garantir que no h saltos, assim como distinguir segmento de uma reta (com auxlio de outros axiomas). Os axiomas de ordem ainda no garante que os pontos fora do segmento no pode estar no segmento. Somente garantir que ponto fora do segmento no pode estar no segmento ainda permite objetos indesejveis como um segmento aberto ser considerado uma reta. Assim, precisaria garantir que retas continuam indenidamente, dividindo o plano. Axioma 7 (separao do plano). Toda reta determina exatamente dois semi-planos (convexos), cuja interseco a prpria reta. 2

Aparentemente, o axioma de separao do plano obriga que a reta seja contnua por causa da reta no pode atravessar a outra. No entanto, a reta ainda pode estar cheio de furos invisveis por onde pode atravessar as curvas contnuas. Teorema 8. Se A B C e A C D ento B C D e A B D. O teorema acima garante que, dado dois pontos, os pontos que est entre e os pontos que est fora so distintos. Para provar o teorema, necessario ter separao do plano. Geometria da reta (que no tem axioma da separao do plano) requer separao da reta (um ponto da reta separa a reta em duas semi retas) ou que o teorema seja adotada como axioma. Pela separao do plano, tambm podemos provar o Teorema de Pasch: A reta que corta um dos lados (fora do vrtice) do triangulo corta algum lado que no seja ele prprio. Exerccio 8. Dena formalmente o que conjunto convexo e discuta o motivo pelo qual o semi-plano ser considerado convexo. Exerccio 9. Dena formalmente o que estar no mesmo lado. Faa um desenho ilustrativo e mostre que, se A e B esto no memo lado (relativamente a uma reta dada) e B e C tambm esto no mesmo lado, ento A e C esto no mesmo lado. Exerccio 10. Os axiomas de ordem chamado assim por permitir denir uma ordem na reta. Atravs de dois pontos distintos dados na reta, dena uma ordem dos pontos na reta (vericando que deniu uma ordem). Exerccio 11. Dena formalmente o que um segmento e uma semi-reta. Mostre que reta no um segmento, nem uma semi-reta. Exerccio 12. Faa o desenho ilustrativo para cada um dos axiomas.

Axioma da distncia

O estudo axiomtico da geometria euclidiana consiste em estabelecer as regras necessrias e sucientes para que o plano, retas e pontos forme exatamente o plano euclidiano como nos conhecemos. No entanto, caracterizar rigorosamente o plano euclidiano trabalho, sobrando pouco tempo para estudar propriedades das guras geomtricas. Por esta razo, muitos cursos da geometria euclidiana estuda rigorosamente o sistema axiomtico no incio, mas a partir de algum momento, troca um conjunto de axiomas por um teorema (adotando como axioma), assim como aceitar alguns teoremas intuitivos (como continuidade circular) sem demonstrar. No estudo das medidas de distncias e ngulos, precisar um pouco de trabalho e maturidade para construir medidas a partir de axiomas. Para simplicar e acelerar o estudo, usaremos o axioma da existncia das medidas na parte de distncias e ngulos. No entanto, esta ttica ainda no suciente para simplicar a demonstrao dos teoremas sosticadas como a continuidade circular. Quem est interessado no sistema axiomtico da geometria euclidiana completa, veja o [3], principalmente na parte de distncias e ngulos. Apesar do estudo da Geometria Euclidiana no costuma usar medidas de distncias e ngulos como apresentados aqui, o enfoque apresentado ajuda a entender as propriedades essenciais das medidas como um todo. Inicialmente, vamos supor que existe o conjnto dos nmeros reais, que pode ser construido sem usar a reta (como feito na anlise). A existncia da distncia garantido pelo conjunto de axiomas a seguir. Axioma 9 (existncia da medida). Todo par de pontos associado a um nico nmero real no negativo denominado de distncia. 3

Denio 10. A medida do segmento a distsncia entre seus extremos. Uma medida associao do conjunto com os nmeros reais no negativos. Pense na medida de segmento em vez da distncia, para ter uma interpretao correta como medidas. A medida do segmento AB denotado como AB. Axioma 11 (coerncia). Se A B C ento AC = AB + BC. Axioma acima estabelece que a ordem na reta (induzida pelo axioma de ordem) deve ser compatvel com dos nmeros reais. Como axiomas de ordem foi adotado antes da bijeo com a reta, precisar assegurar esta compatibilidade. Uma das propriedades importantes na medida quando divide o conjunto em dois, a medida total a soma das medidas das partes. Para ver isto no axioma acima, pense como medida do segmento. Os dois axiomas acima assegura que distncia uma medida. No entanto, necessrio ter alguma regra que permite medir (saber o valor), para trabalhar com a medida. No caso de distncia, o seguinte axioma apropriado. Axioma 12 (axioma da rgua ou continuidade). Existe uma correspondncia biunvoca entre os pontos da reta e os nmeros reais de forma que o valor absorto da diferna entre os nmeros associados a distncia entre os pontos correspondentes. Apesar dos axiomas de ordem e da separao dos planos ter garantido algum nvel de continuidade, ainda no garante a continuidade completa. Por exemplo, o plano racional Q Q satisfaz os axiomas de incidncia, ordem e separao do plano, mas um arco de crculo pode atravessar a reta sem ter interseco. A garantia para que nenhuma curva contnua atravesse a reta (continuidade total) devido ao axioma de Dedekind que no foi apresentado aqui. O axioma da rgua (alm de permitir calcular a distncia) transfere a propriedade de Dedekind do conjunto dos nmeros reais para a reta, garantindo a continuidade. No entanto, quando trabalha com as propriedades de Dedekind, natural construir distncia em vez de adotar. Ns no vamos trabalhar com as propriedades de Dedekind para evitar complexidades. Proposio 13 (distncia nula). A ditncia entre dois pontos nula se, e somente se, dois pontos so coincidentes. No estudo das medidas, importante estudar o conjunto que tem a medida nula. Se pensar como segmento, estar determinando os segmentos de medida nula. Exerccio 13. Demonstre a Proposio 13. Exerccio 14. Dena o estar entre dois pontos da reta usando o estar entre dois nmeros reais (escreva formalmente a denio) e demonstre que os axiomas 5, 6 e 11 pode ser considerado como conseqncia desta denio. Apesar da demonstrao no ser simples e precisar dos conceitos de ngulos, seguintes teoremas so importantes para o estudo da existncia de certos objetos geomtricos. Teorema 14 (princpio da continuidade circular). Um arco circular que liga os pontos dentro e ponto fora de um crculo intercepta o crculo em um nico ponto. Teorema 15 (princpio da continuidade elementar). Um segmento que liga os pontos dentro e ponto fora do crculo intercepta o crculo em um nico ponto. Apesar de precisar de ngulos e congruncias para demonstrar, seguinte teorema importante. 4

Teorema 16 (desigualdade triangular). AC AB + BC. Exerccio 15. Prove o Teorema 15 no caso do segmento passar no centro do crculo. Exerccio 16. Dena formalmente o crculo e mostre que todo crculo tem innitos pontos. Exerccio 17. Faa o desenho ilustrativo para cada um dos axiomas.

Axioma dos ngulos

Da mesma forma como foi feito na distncia, vamos adotar o axioma do transferidor para assegurar a existncia da medida do ngulo. No caso de ngulos, no precisar de axiomas equivalentes a do Dedekind, o que deixaria razoavelmente simples de trabalhar sem os axiomas do transferidor, que podem ser substituidos pelos axiomas do ngulo reto (esquadro) e congruncias. No entanto, vamos adotar o transferidor para fazer paralelo com a da rgua, assim como familiaizar melhor com as medidas. Preste ateno na semelhana dos axiomas em relaao aos axiomas das retas, para entender as duas propriedades de maior destaque das medidas que so existncia e somabilidade. Axioma 17 (existncia do ngulos). Todo ngulo associado a um nico nmero real no negativo denominado de medidas do ngulo. Uma semi-reta divide o semi-pano quando ele tem a origem na reta que determina o semiplano e est contido no semi-plano. Sendo AOC (tambm pode ser denotado como AOC ou AOB), o ngulo entre as semi retas OA e OC e denotando a medida do ngulo AOC que o nmero real assoacido a ele por AOC (tambm pode ser denotado como mAOC), temos Axioma 18 (coerncia). Se OB divide o ngulo AOC, temos m AOC = m AOB + m BOC. Uma semi-reta divide o ngulo quando intercepta qualquer segmento que tem os extremos contidos em cada uma das semi-retas que determinam o ngulo. No confundir entre AOC e AOC. Tambm car atento ao fato de (ngulo) no < (menor), nem (delimitador). Quando no h ambiguidade, podemos usar a notao de ngulos tambm para suas medidas. Axioma 19 (axioma do transferidor). Dado um semi-palno, existe uma correspondncia biunvoca entre o conjunto das semi-retas de mesma origem que dividem o semi-plano e o conjunto dos nmeros reais em [0, 180] de forma que o valor absoluto da diferna entre os nmeros seja a medida do ngulo entre as semi-retas correspondentes. Proposio 20 (medida nula). Mdida de um ngulo nulo se, e somente se, as semi-retas que determinam forem coincidentes. Exerccio 18. Prove a Proposio 20. Exerccio 19 (ngulo raso). Prove, se A O B ento SOA associado a 0 e SOB associado a 180 ou vice-versa. Conclua ento que mAOB = 180 . Exerccio 20. Mostre que, o ngulo oposto ao vrtice, formado pelas duas retas concorrentes tem a mesma medida. Exerccio 21. Dena o ngulo reto a partir do ngulo suplementar e mostre que todo ngulo reto de 90 para o nosso transferidor (de 0 a 180, estabelecido pelo axioma do transferidor). 5

Exerccio 22. Prove que, para cada ponto da reta dada, existe uma nica reta ortogonal passando por este ponto. Exerccio 23. Prove a existncia da reta bissetriz do ngulo. Em geral, os ngulos importantes que aparecem na geometria euclidiana so fraes ou multiplos do ngulo reto (ou multiplos ou fraes dos ngulos j existentes). Por esta razo, o ngulo reto costuma ser usado como unidade na geometria euclidiana, sendo denotado por R. Exerccio 24. Faa o desenho ilustrativo para cada um dos axiomas.

Congruncias

Objetos matemticos no podem ser transportados. Ento comparamos com uma cpia que tem a mesma medida (intuitivamente, objetos matemticos movido uma cpia). Precisamos estar atentos com a diferena entre coincidentes (igual) e congruentes (mesma medida). Coincidentes: Quando representao diferente, mas o mesmo objeto. Por exemplo, x + y = 0 e 2x + 2y = 0 representa a mesma reta na geometria analtica, sendo coincidentes como retas. Congruentes: Quando todas as caractersticas selecionadas (consideradas importantes) so iguais. No caso da geometria euclidiana, a medida do segmento e medidas do ngulo sero considerados essenciais. Equivalntes: Quando algumas caractersticas em considerao no contexto (nem todas existentes) so iguais. Por exemplo, as guras geomtricas com mesma rea costumam ser chamados de equivalntes no estudo das reas. Denio 21. Dois segmentos so ditos congruentes quando tem a mesma medida e dois ngulos so ditos congruentes quanto tem a mesma medida. Com o abuso da linguagem, quando no h ambiguidade, as vezes dizemos que segmentos ou ngulos so iguais para designar os segmentos ou ngulos congruentes. O tringulo tem seis medidas e queremos garantir a igualdade somente com a comparao de trs medidas. Denio 22. Dois tringulos so congruentes quando seus ngulos e lados (segmentos) so congruentes na ordem estabelecida. Axioma 23 (LAL). Dado os tringulos ABC e DEF , AB = DE, ABC DEF e = BC = EF implica que dois tringulos so congruentes. Mesmo sem o critrio de congruncias, ainda possvel efetuar clculos de comprimentos e das reas atravs da integrao. Tal geometria constitui a Geometria Diferencial. Para ter o critrio de congruncia usual, a geometria dever apresentar medidas uniformes, o que permite calcular distncias entre dois pontos a partir de segmentos poligonais alternativos, ou calcular a rea a partir do seu contorno poligonal. Tal geometria apresentar curvaturas constantes (o que no explicaremos aqui), o que torna euclidiana, hiperbolica ou eliptica. Dado um ponto fora da reta, pergunta se existe uma reta paralela passando por ele. No caso de elptica, no existe paralelos. No caso da euclidiana, existe uma nica reta paralela. No caso da hiperblica, existe mais de uma (usando isto, prova-se que tem innitas) reta paralela. No caso da geometria eliptica, reta um crculo, o que distingue da reta real, alm da propriedade dos paralelos. 6

Exerccio 25. Dena o tringulo isceles e estude suas propriedades. Exerccio 26. Explique a diferena entre iguais, congruentes e equivalentes, dando exemplos. Exerccio 27. Dado dois ngulos com a mesma medida, mostre que, quando for sobrepostos de forma que um lado coincida e outro lado esteja no mesmo lado (relativamente ao lado sobreposto), ento outro lado tambm ser sobreposto. Note que sobrepor na geometria signica criar uma cpia idntica sobre outro. No esquecer do desenho. Exerccio 28. Prove o caso da congruncia de tringulos por ALA. Exerccio 29. Prove o caso da congruncia de tringulos por LLL. Exerccio 30. Faa o desenho ilustrativo para cada um dos axiomas.

Retas paralelas

A geometria euclidiana difere da hiperblica (e tambm da eliptica) exatamente na questo dos paralelos. Duas retas no plano so ditas paralelas quando eles no tem pontos em comum. Axioma 24 (existncia e unicidade dos paralelos). Dado uma reta e um ponto fora dela, existe uma nica reta paralela a a reta dada, passando pelo ponto dado O axioma acima forma mais usada entre os axiomas equivalnte ao quinto postulado de Euclides (ou dodcimo axioma de Euclides). Agora temos todos axiomas necessrios para assegurar que o plano, retas e pontos formam o plano euclidiano. Assim, podemos estudar as propriedades das guras geometricas sem ter restries. Um dos resultados imediatos sobre retas paralelas a igualdade dos ngulos alternos internos de uma reta que cruza as duas paralelas, e a soma dos ngulos internos de um triangulo. A denio formal dos ngulos correspondntes, internos e alternos internos so deixados como exerccio. Tambm sero deixados como exerccio, as demonstraes dos reesultados a seguir. Teorema 25 (ngulos alternos internos). Quando uma reta intercepta outras duas retas (distintas), ento so equivalentes 1. As duas retas so paralelas 2. ngulos correspondntes so iguais 3. ngulos alternos internos so iguais 4. ngulos colaterais internos so suplementares. Teorema 26 (ngulo externo). ngulo externo de um tringulo igual a soma de dois ngulos no adjacentes. Corolrio 27 (soma do ngulo interno). Soma das medidas dos ngulos internos de um tringulo 2R. No caso da geometria hiperblica ou elptica, a soma dos ngulos internos variam e serve para obter a rea do tringulo. Isto implica em caso de congruncia AAA. Na geometria euclidiana, os tringulos com trs ngulos congruentes no necessariamente congruentes, denominados de semelhantes. 7

Exerccio 31. Faa o desenho ilustrativo para o axioma. Exerccio 32. Prove que quando uma reta intercepta uma de duas retas paralelas, entao intercepta a outra. Exerccio 33 (paralelogramo). Mostre que no caso de um quadriltelo, so equivalentes: 1. um paralelogramo 2. Lados opostos so congruentes 3. ngulos opostos so congruentes 4. ngulos adjacentes so suplementares. 5. Os diagonais cruzam no ponto mdio. Exerccio 34 (losango). Mostre que um paralelogramo losango se, e somente se, diagonais cruzam ortogonalmente, mas que nem todo quadriltelo na qual o diagonal cruza ortogonalmente losango. Exerccio 35 (retngulo). Mostre que um paralelogramo retngulo se, e somente se diagonais so congruentes, mas que nem todo quadriltelo com diagonais congruentes um retngulo. Exerccio 36. Dado duas retas paralelas, prove que a distncia dos pontos de uma reta a outra sempre constante. Exerccio 37. Prove que o axioma de paralelos equivalente ao Quinto Postulado de Euclides (ou Dodcimo Axioma de Euclides): se uma reta intercepta outras duas retas (distintas) formando dois ngulos colaterais internos cuja soma inferior a 2R, ento estas duas retas interceptam (no so paralelas).

Referncias
[1] Barbosa, Joo. L. Marques, "Geometria Euclidiana plana", SBM, 2005. [2] Rezende, Eliane Q. F. e Queiroz, Maria L. B de, Geometria Euclidiana plana e construes geomtricas. [3] Greenberg, Martin J., "Euclidean and non-euclidean geometries", W. H. Freeman and company, 1993.