2.1.

Axiomas de Incidncia
Neste primeiro grupo estudaremos a incidncia entre pontos e retas que ter o mesmo
significado de interceptar, passar por, estar sobre. Comearemos pelo axioma de ex
istncia.
Axioma I.1: (de existncia)
a)
Existe ponto.
b)
Existe reta e qualquer que seja a reta, existem pontos que pertencem ret
a e pontos que no pertencem reta.
O mais interessante deste axioma que ele nos garante a existncia dos objetos bsico
s, ou seja, a geometria no constitui-se de um conjunto vazio e, portanto, far sent
ido o estudo da relao entre esses objetos.
Axioma I.2: (de determinao): Dados dois pontos distintos existe uma nica reta que c
ontm estes pontos.
Observaes:
1. Como dois pontos determinam uma reta, quando falarmos de uma reta que passa p
or dois pontos distintos A e B, a denotaremos por rAB.
2. Este axioma constitui um bom teste de qualidade das rguas que utilizamos, ou s
eja, se voc conseguir desenhar duas retas distintas passando por dois pontos dist
intos significa que esta rgua no adequada para esta geometria.
3. Dada uma reta r, que existe pelo Axioma I.1.b, tomamos um ponto P qualquer fo
ra de r e um ponto Q em r, que existem pelo mesmo axioma; unindo P com Q, teremo
s uma nova reta s que univocamente determinada pelos pontos P e Q de acordo com
o Axioma I.2a. O ponto Q na reta r, o que chamaremos de interseo de r e s, cuja no
tao ser r ? s. Fazendo um abuso de notao, escreveremos r ? s = Q ao invs de r ? s = {Q
}. Isto ser feito com o objetivo de simplific-la.
Os axiomas de incidncia no garante que tem infinitos pontos na reta. No entanto, c
olocar
axioma para garantir somente a existncia de infinitos pontos no fora a ser reta, po
is 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 d
isso, uma reta
tem que continuar para ambos lados, o que requer que tenha pontos fora do segmen
to. Osaxiomas 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 ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
Axioma acima uma propriedade similar a reflexitiva (simetria). O prximo axioma ga
rante
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 ret
a. Assim,
precisaria garantir que retas continuam indefinidamente , dividindo o plano.
2.1. Axiomas de Incidncia
Neste primeiro grupo estudaremos a incidncia entre pontos e retas que ter o mesmo
significado de interceptar, passar por, estar sobre. Comearemos pelo axioma de ex
istncia.
Axioma I.1: (de existncia)
a)
Existe ponto.
b)
Existe reta e qualquer que seja a reta, existem pontos que pertencem ret
a e pontos que no pertencem reta.
O mais interessante deste axioma que ele nos garante a existncia dos objetos bsico
s, ou seja, a geometria no constitui-se de um conjunto vazio e, portanto, far sent
ido o estudo da relao entre esses objetos.
Axioma I.2: (de determinao): Dados dois pontos distintos existe uma nica reta que c
ontm estes pontos.
Observaes:
1. Como dois pontos determinam uma reta, quando falarmos de uma reta que passa p
or dois pontos distintos A e B, a denotaremos por rAB.
2. Este axioma constitui um bom teste de qualidade das rguas que utilizamos, ou s

eja, se voc conseguir desenhar duas retas distintas passando por dois pontos dist
intos significa que esta rgua no adequada para esta geometria.
3. Dada uma reta r, que existe pelo Axioma I.1.b, tomamos um ponto P qualquer fo
ra de r e um ponto Q em r, que existem pelo mesmo axioma; unindo P com Q, teremo
s uma nova reta s que univocamente determinada pelos pontos P e Q de acordo com
o Axioma I.2a. O ponto Q na reta r, o que chamaremos de interseo de r e s, cuja no
tao ser r ? s. Fazendo um abuso de notao, escreveremos r ? s = Q ao invs de r ? s = {Q
}. Isto ser feito com o objetivo de simplific-la.