Deux vecteurs
u et
v sont dits
colinéaires s’il existe un réel
k tel que
u=kv .
Deux vecteurs colinéaires ont obligatoirement la même direction.
La relation vectorielle
CD=−AF signifie que les vecteurs
CD et
AF sont colinéaires. Ici, le réel
k est égale à
−1 .
Deux vecteurs colinéaires sans point en commun permettent d'affirmer que les droites sont parallèles.
CD et
AF sont colinéaires et ils n'ont pas de point commun.
Il en résulte donc que les droites
(CD) et
(AF) sont parallèles.