Documentos de Académico
Documentos de Profesional
Documentos de Cultura
En Un Plano Afín
En Un Plano Afín
Demostración
1. Reflexividad
Sea AB un vector no nulo (ya que si lo fuera, es equipolente a sí mismo por definición).
AB es colineal consigo mismo. Por actividad 1.1.2, existe un punto C que no pertenece
a r(AB). Consideremos la recta paralela a r(AB) que contiene a C, la cual existe por el
axioma IV y la llamamos t.
Por otra parte, los puntos A y C determinan una recta por axioma II. Y por axioma
IV, existe una recta que contiene a B paralela a r(AC). Por el teorema 1, esta recta
corta a la recta t en un punto D.
Luego, las rectas r(AB), r(CD), r(AC) y r(BD) forman un paralelogramo. Es decir,
AB#CD.
2. Simetría
Consideremos dos vectores AB y CD tales que AB#CD. Analicemos los tres casos:
Dado que AB#CD, por definición de equipolencia de vectores existe un vector EF, no
colineal con ellos, tal que AB#EF y EF#CD. Por la demostración del caso anterior,
EF#AB y CD#EF. Luego, CD#AB
3. AB y CD son nulos