Escolar Documentos
Profissional Documentos
Cultura Documentos
Geometria Euclidiana Axiomas
Geometria Euclidiana Axiomas
Sadao Massago
Abril de 2010
Sumrio
1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Axioma da Incidncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3 Axiomas de ordem (na reta) e separao do plano . . . . . . . . . . . . . . . . . 2
4 Axioma da distncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
5 Axioma dos ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6 Congruncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
7 Retas paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Referncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1 Introduo
Este texto apresenta os axiomas da geometria euclidiana, acompanhado de comentrios im-
portantes. 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 v-
rias 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.
2 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.
1
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.
3 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
haver saltos entre os pontos da reta como no conjunto {
1
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.
4 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 QQ
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 nme-
ros 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 impor-
tante.
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.
5 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 axio-
mas 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 semi-
plano e est contido no semi-plano.
Sendo AOC (tambm pode ser denotado como
AOC ou A
.
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