Escolar Documentos
Profissional Documentos
Cultura Documentos
16 de março de 2012
Sumário
1
Capı́tulo 1
Prova: 1 Vamos supor que existam mais de um ponto na interseção das retas. ∃ A 6=
B ∈ m ∩ n ⇒ A, B ∈ m e A, B ∈ n. Mas, por I2 , se isso acontece, m = n.
2
2
1.2 Axiomas de Ordem 3
Prova: 2 Vamos provar que SAB ∪ SBA = m. Podemos fazer isso provando que SAB
∪ SBA ⊂ m e m ⊂ SAB ∪ SBA ao mesmo tempo.
1. Seja C ∈ SAB ∪ SBA , então C ∈ SAB ou C ∈ SBA . Como SAB ⊂ m e SBA ⊂ m,
então C ∈ m, e portanto, SAB ∪ SBA ⊂ m.
2. Seja C ∈ m. Relacionando os pontos A, B e C com o axioma (O1 ), temos três
opções:
(a) C está entre A e B, o que implica que C ∈ AB ⊂ SAB .
(b) A está entre C e B, o que implica que C ∈ SBA .
(c) B está entre A e C, o que implica que C ∈ SAB .
Com isso, ou C ∈ SBA ou C ∈ SAB , e assim C ∈ SAB ∪ SBA , portanto m ⊂ SAB ∪
SBA , e concluı́mos que SAB ∪ SBA = m.
Agora vamos provar que SAB ∩ SBA = AB. Da mesma maneira, vamos provar que um
conjunto está contido no outro para chegarmos à igualdade.
1. Seja C ∈ AB. Pela definição de semirreta com origem no ponto A passando pelo
ponto B, sabemos que AB ⊂ SAB , portanto C ∈ SAB . Como AB = BA, C ∈ BA.
Da mesma maneira, BA ⊂ SBA , fazendo C ∈ SBA . Então temos que C ∈ SBA e
C ∈ SAB , portanto C ∈ AB ⊂ SAB ∩ SBA .
2. Seja C ∈ SAB ∩ SBA . Vamos supor que C ∈ / AB. Já que C ∈ SAB mas C ∈ / AB,
então C ∈ {C / A ∗ B ∗ C}}, portanto B está entre A e C. Mas temos também que
C ∈ SBA . Analogamente temos que C ∈ / AB e C ∈ {C / B ∗ A ∗ C}}, e portanto
A está entre B e C. Ora, pelo axioma (O1 ), dados três pontos, só um está entre
os outros dois, e portanto chegamos a um absurdo. Portanto, C ∈ AB, e assim C
∈ SAB ∩ SBA ⊂ AB.
Portanto, AB = SAB ∩ SBA .
2
Proposição 1.3 Entre quaisquer dois pontos de uma reta existem uma infinidade de
pontos.
Prova: 3 Vamos supor que existam finitos pontos entre dois pontos A e B em uma reta.
Vamos enumerá-los como {A, P1 , P2 , ..., Pn , B} onde n é um número natural finito. Ora,
basta pegar quaiquer par de pontos consecutivos, vamos supor P1 e P2 . Ora, pelo axioma
(O2 ), deverı́amos ter um ponto entre P1 e P2 , o que é impossı́vel já que os pontos são
finitos.
1.2 Axiomas de Ordem 4
Axioma 1.5 (O3 ) Uma reta m determina exatamente dois semiplanos cuja interseção
é a reta m.