Géométrie dans un repère : Démonstrations à connaitre
Deux vecteurs sont colinéaires si et seulement si leur déterminant est nul.
Cette propriété est énoncée de la façon suivante dans le cours :
Stratégie de la démonstration
Nous allons d'abord démontrer que si les 2 vecteurs sont colinéaires alors leur déterminant est nul, puis réciproquement on montre que si le déterminant de deux vecteurs est nul alors ces vecteurs sont colinéaires.
On utilise les définitions suivantes :
et
Démonstration
On suppose que les vecteurs \(\vec{u}\) et \(\vec{v}\) sont colinéaires.
Si \(\vec{u}=\vec{0}\) ou \(\vec{v}=\vec{0}\), alors \(x=0,y=0\) ou \(x'=0,y'=0\) donc \(xy'-yx'=0\).
Si \(\vec{u}\) et \(\vec{v}\) sont non nuls, alors il existe un réel \(k\) tel que \(\vec{v}=k\vec{u}\).
Ainsi \(x'=kx\) et \(y'=ky\) et on en déduit que det(\(\vec{u},\vec{v}\))\(=xy'-yx'=x(ky)-y(kx)=0\).
Réciproquement, on suppose que \(xy'-yx'=0\).
Si \(\vec{u}=\vec{0}\), alors les vecteurs \(\vec{u}\) et \(\vec{v}\) sont colinéaires.
Si \(\vec{u}\ne \vec{0}\), alors l'une au moins de ses coordonnées est non nulle, par exemple \(x\ne 0\).
Donc \(y'=\cfrac{x'}{x}y\) c'est-à-dire \(y'=ky\) avec \(k=\cfrac{x'}{x}\).
On a aussi \(x'=\cfrac{x'}{x}x=kx\).
Ainsi \( \vec{v} \begin{pmatrix} kx \\ ky \end{pmatrix}=k\vec{u} \),
Donc les vecteurs \(\vec{u}\) et \(\vec{v}\) sont colinéaires.