Demuestra formalmente los dos siguientes resultados utilizando los axiomas de intermediación y

de congruencia.

1. Sean A, B, C y D cuatro puntos tales que A*B*C y A*C*D:

(i). Demuestra que A, B, C y D son cuatro puntos distintos.

Solución:

 Por el Axioma de intermediación 1 (AInt1) A, B y C son distintos, a su vez A, C y D

son distintos.
 De lo anterior se deduce que A y C son distintos entre ellos y distintos a B y D, pero
B y D no se conoce que sean distintos entre ellos. Basta con demostrar que B y D
son distintos.
 En efecto, como C es un punto distinto de A y D, Se construyen los rayos ⃗ CA y ⃗ CD
.
 Por contradicción, Supongamos que B=D. Como B está entre A y C entonces
pertenece al rayo ⃗CA , de tal modo que D pertenece de igual manera al rayo ⃗ CA .
 Quedando únicamente las opciones C*D*A o C*A*D, lo cual contradice el hecho
que A*C*D.
 Por lo tanto, B es distinto a D.
 Con ello se concluye que A, B, C y D son distintos.

(ii). Demuestra que A, B, C y D son colineales.

 Por el axioma de incidencia 1, llamemos l 1 a la recta que pasa por A y B. Que

además es única.
 Del mismo modo llamemos l 2 a la recta que pasa por A y D.
 Por la hipótesis A*B*C, entonces C pertenece a l 1
 Por A*C*D, entonces C pertenece a l 2.
 Teniendo con esto que A , C ∈l 1 ∩l 2, es decir, tienen dos puntos comunes.
 Por el axioma de incidencia 1 se tiene que l 1=l 2

2. Sean A, B y C tres puntos. Demuestra que si A y B están de lados opuestos con respecto a una
recta L y B y C están del mismo lado con respecto a L entonces A y C están de lados opuestos con
respecto a L.

 Se tienes que A , B , C ∉ l.
 Como A y B están en lados opuestos de l entonces sea H A el lado donde se encuentra A y
sea H B el lado donde se encuentra B. Además H A ∩ H B=∅.
 Procedemos por contradicción, supongamos que C ∈ H B y C ∈ H A
 Por lo tanto C ∈ H A ∩ H B , esto es una contradicción.
 Resulta de suponer que C está del mismo lado que A.
 Por lo tanto A y C están de lados opuestos.