RESOLUCIÓN Actividad 4

Lo invitamos a profundizar este tema, para ello complete la Figura 1b con un vector GH
adecuado: para evitar casos particulares, conviene no ubicarlo sobre las rectas AB, EF.

Comprobará entonces que, para poder demostrar que CD # CD’, necesita apelar a la
transitividad de la equipolencia.
¿Puede también concluir que CD = CD’ ? Justifique.

Sea CD` tal que ABCD` (i) entonces, por definición de equipolencia de caso 1b, existe otro
vector GH no colineal con ellos tal que: AB # GH y GH#CD’

Como ABCD entonces, por definición de equipolencia de caso 1b , existe otro vector EF
no colineal con ellos tal que: AB#EF (ii) y EF#CD

Luego, por simetría de la equipolencia, resulta que EF#AB (iii)

Como EF # AB y AB # GH, entonces en virtud de la transitividad (axioma v): EF#GH

Además, GH # CD’, por lo tanto, utilizando nuevamente la transitividad: EF#CD’.

Resulta entonces que EF # CD y EF # CD’ , y en consecuencia CD #EF por simetría.

Además, por transitividad: CD #CD`.

De lo anterior resulta, por la demostración de unicidad para el caso 1a, que es

necesariamente CD = CD’.