En un plano afín, la equipolencia de vectores es una relación de equivalencia.

Demostración

Sólo debemos demostrar que la equipolencia de vectores satisface las propiedades

reflexiva y simétrica ya que la transitiva es válida por el axioma V de la definición de
plano afí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.

Por lo tanto AB#AB

2. Simetría

Consideremos dos vectores AB y CD tales que AB#CD. Analicemos los tres casos:

1. AB y CD son no nulos y r(AB)≠r(CD)

Por definición de equipolencia, las rectas AB, CD, AC y BD forman un paralelogramo.

Dado que en la definición de paralelogramo no se establece un orden para nombrar las
rectas, podemos decir que las rectas CD, AB, CA y DB forman un paralelogramo y
por lo tanto CD#AB.
 2. AB y CD son no nulos y colineales

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

Si ambos son nulos, son equipolentes por definición de equipolencia de vectores.

Podemos concluir entonces que la equipolencia de vectores en un plano afín es una

relación de equivalencia.