Axiomas da Geometria Euclidiana

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 definies, 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 filosofar 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 significado de cada um dos axiomas acima.

Exerccio 2. Defina 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. Justifique 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 infinitos pontos na reta. No entanto, colocar
axioma para garantir somente a existncia de infinitos pontos no fora a ser reta, pois pode
haver saltos entre os pontos da reta como no conjunto { n1 : 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 reflexitiva (simetria). O prximo axioma garante
que est bem definida (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 indefinidamente, 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. Defina formalmente o que conjunto convexo e discuta o motivo pelo qual o
semi-plano ser considerado convexo.
Exerccio 9. Defina 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 definir uma ordem na
reta. Atravs de dois pontos distintos dados na reta, defina uma ordem dos pontos na reta
(verificando que definiu uma ordem).
Exerccio 11. Defina 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
suficientes 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 figuras 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 simplificar e acelerar o estudo, usaremos o axioma da existncia das medidas na parte
de distncias e ngulos. No entanto, esta ttica ainda no suficiente para simplificar a
demonstrao dos teoremas sofisticadas 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
Definio 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. Defina o estar entre dois pontos da reta usando o estar entre dois nme-
ros reais (escreva formalmente a definio) e demonstre que os axiomas 5, 6 e 11 pode ser
considerado como conseqncia desta definio.
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. Defina formalmente o crculo e mostre que todo crculo tem infinitos 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 AOB),b 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 ficar atento ao fato de (ngulo) no
< (menor), nem h (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 biun-
voca 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. Defina 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.

6 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 consi-
derados essenciais.
Equivalntes: Quando algumas caractersticas em considerao no contexto (nem todas
existentes) so iguais. Por exemplo, as figuras geomtricas com mesma rea costumam ser
chamados de equivalntes no estudo das reas.

Definio 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.

Definio 22. Dois tringulos so congruentes quando seus ngulos e lados (segmentos) so
congruentes na ordem estabelecida.

Axioma 23 (LAL). Dado os tringulos 4ABC e 4DEF , 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 infinitas) reta paralela.
No caso da geometria eliptica, reta um crculo, o que distingue da reta real, alm da pro-
priedade dos paralelos.

6
Exerccio 25. Defina 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
significa 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.

7 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 figuras 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 definio 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 (dis-
tintas), 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 trin-
gulo 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 ortogonal-
mente 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 com-
pany, 1993.