AXIOMAS DA GEOMETRIA ABSOLUTA

C. M. CARBALLO

Incid
encia.
Axioma 1. Dados dois pontos (distintos) existe uma u
nica reta que
os contem.
Axioma 2. Toda reta tem pelo menos dois pontos (distintos).
Axioma 3. Existem pelo menos tres pontos (distintos) nao colineares.
Dist
ancia e r
egua.
Axioma 4 (distancia). A cada par de pontos corresponde um (
unico)
n
umero real maior ou igual a zero, a distancia, que e zero se e so se os
pontos coincidem.
Isso define uma funcao distancia como no contexto de espacos metricos.
Implicitamente se pede que seja uma funcao simetrica mas falta a desigualdade triangular, que sera provada como teorema.
Axioma 5 (regua graduada). Para toda reta existe uma correspondencia
entre seus pontos e os n
umeros reais tal que
(1) cada ponto da reta corresponde a exatamente um n
umero real,
(2) cada n
umero real corresponde a exatamente um ponto da reta,
(3) a distancia entre dois pontos da reta e o valor absoluto da diferencia entre os n
umeros correspondentes.
Os dois primeiros itens dizem que a correspondencia e bijetiva. Esse
axioma implica que toda reta tem infinitos pontos.
Axioma 6 (colocacao da regua). Se na reta forem dados dois pontos,
e possvel definir a correspondencia acima de forma tal que o primeiro
ponto corresponde com zero e o segundo ponto com um n
umero positivo.
Separac
ao do plano. Um conjunto e convexo se ele contem todos os
pontos de todo segmento cujos extremos estao no conjunto.
Axioma 7 (de separacao do plano). O subconjunto (do plano) dos
pontos que nao pertencem a uma reta dada e a uniao de dois convexos
disjuntos e tais que todo segmento que une dois pontos que nao estao
no mesmo convexo intersecta a reta dada.

C. M. CARBALLO

Medida de
angulos. Dados os pontos A e B, a semirreta com inicio
em A e que passa por B e o conjunto uniao do segmento AB com os
pontos X tais que B esta entre A e X.
Um angulo e a uniao de duas semirretas, que chamaremos de lados
do angulo, com mesma origem que nao estao contidas numa mesma
reta.
O interior de um angulo e o conjunto intersecao dos dois semiplanos
dados pelas retas que contem os lados do angulo e que contem algum
ponto do outro lado do angulo.
Axioma 8 (transferidor). A cada angulo corresponde um n
umero entre
0 e 180 (ou 0 e ).
~ e um
Axioma 9 (construcao do angulo). Dados uma semirreta AB
n
umero entre 0 e 180 e escolhido um dos semiplanos em que a reta
~ tal que
por A e B separa o plano existe uma u
nica semirreta AC
b = e C esta no semiplano escolhido.
B AC
b entao B AC
b =
Axioma 10 (soma de angulos). Se D e interior a B AC
b + DAC.
b
B AD
~ e AB,
~ com mesma origem, sao opostas se A esta
As semirretas AC
entre B e C. Dois angulos sao suplementares se a soma de suas medidas
e 180.
~ e AB
~ sao semirretas oposAxioma 11 (par linear de angulos). Se AC
tas e D um ponto fora da reta entao a soma das medidas dos angulos
b e DAC
b e 180, ou seja, eles sao angulos suplementares.
B AD
Congru
encia de tri
angulos. Dois triangulos sao congruentes se existe
uma correspondencia entre seus vertices tal que os lados e os angulos
correspondentes sao respectivamente congruentes.
Axioma 12 (caso LAL). Se existe uma correspondencia entre os vertices
de dois triangulos tal que dois lados adjacentes e o angulo entre eles
sao congruentes aos lados e angulo correspondentes entao os triangulos
sao congruentes, pela mesma correspondencia.