Desenhe um modelo para o sistema axiomático da geometria quatro pontos (Exemplo 1.16), em que uma “reta” é um segmento de reta, um “ponto” é uma extremidade de um segmento de reta e um ponto “está em” uma reta se for uma de suas extremidades.

Passo 1

O enunciado pede um modelo para a geometria de quatro pontos (Exemplo 1.16), cujos axiomas são:
  1. Dado qualquer par de pontos distintos, existe exatamente uma reta que os contém.
  2. Cada reta contém pelo menos dois pontos.
  3. Existem quatro pontos de modo que não haja reta que contenha três deles.
Vamos construir um modelo em que “pontos” são extremidades de segmentos e “retas” são esses segmentos, com incidência “está em” definida por “é extremidade de”.

Passo 2

Defina o conjunto de pontos
M = A, B, C, D,
tomando estes quatro pontos em posição geral no plano (ou seja, sem três colineares).

Passo 3

Defina o conjunto de “retas” como todos os segmentos que unem cada par de pontos de M. Há exatamente binom42=6 segmentos:
AB,;AC,;AD,;BC,;BD,;CD

Passo 4

Defina a relação de incidência “ p está em lá” por
pin l Long<=ftrightarrow p é uma das extremidades do segmento l é

Passo 5

Verifique os axiomas:
  1. Para quaisquer dois pontos distintos P e Q em M existe exatamente o segmento PQ.
  2. Cada segmento PQ contém exatamente os pontos P e Q, portanto pelo menos dois.
  3. Como cada “reta” (segmento) tem só as suas duas extremidades, não há como três pontos de M ficarem numa mesma “reta”.
Logo este modelo satisfaz os três axiomas da geometria de quatro pontos.

Resposta

Coloque quatro pontos A,B,C,D em posição geral (por exemplo, vértices de um quadrilátero convexo) e ligue cada par por um segmento. Chame esses segmentos de “retas” e diga que um ponto “está em” uma reta exatamente quando é uma das suas extremidades.

Exercícios de Livros Relacionados