Par définition,
le déterminant
vaut
.
Supposons que et soient colinéaires.
Si
, alors
. Sinon, il existe
tel
que
, donc
et
. Dans ce cas,
Considérons les vecteurs de
définis comme suit.
Par définition, le produit vectoriel de par est :
Si et sont colinéaires, alors et
le sont aussi, et également et
, ainsi que et
. Donc les trois coordonnées de
sont nulles, d'après la question précédente.
Nous devons montrer que
est orthogonal à tous
les vecteurs de la forme
, où
et sont deux réels quelconques. Pour montrer que deux vecteurs
sont orthogonaux, nous devons montrer que leur produit scalaire est
nul. Par la bilinéarité du produit scalaire, il suffit de montrer
que :
et
C'est une vérification facile.
Si , et sont
coplanaires, alors l'un des trois vecteurs est combinaison linéaire
des deux autres. Sans perte de généralité, nous allons supposer
qu'il existe deux réels et , tels que
. Ecrivons :
d'après la question précédente.
On trouve
. Le calcul est
inutile, il suffit d'observer que
.
En effectuant le
calcul des produits vectoriels, on trouve :
Les produits scalaires suivants sont bien nuls.
Exercice 1 :
Nous devons d'abord vérifier que les trois points appartiennent au
plan :
Nous devons ensuite montrer que les 3 points ne sont pas alignés, ce
qui se vérifie par exemple en montrant que les deux vecteurs
et
ne sont pas
colinéaires. Il suffit pour cela de calculer leur produit vectoriel,
et de vérifier qu'il est non nul.
Donc
,
et
.
Puisque
, le
triangle est rectangle en , d'après le théorème de
Pythagore.
Le plan affine est associé au plan vectoriel ,
d'équation . Cette équation traduit le fait que tout
vecteur directeur de , de coordonnées , est
orthogonal au vecteur de coordonnées , qui est donc
un vecteur normal au plan . En effectuant les produits
vectoriels, on trouve :
En appliquant la formule,
La droite a pour vecteur directeur . Tout point , s'il appartient à
, est tel que
est colinéaire
à , dont les coordonnées de vérifient :
Le point est l'intersection de la droite avec le plan
. Nous devons donc trouver le réel tel que :
soit
. Le point a pour coordonnées
. La norme du vecteur
est telle que :
La distance , qui est aussi la distance de au plan , vaut .
Par définition,
On en déduit les coordonnées de :
.
Pour calculer la distance de au plan ,
on applique la formule :
Le centre de gravité du triangle est tel que :
Donc
: est le
milieu du segment .
Le point est tel que, pour tout point de l'espace :
Donc est l'ensemble des points de l'espace tels que :
C'est la sphère de centre et de rayon . Nous avons vu que la
distance de au plan est , donc inférieure au rayon de
la sphère. Donc l'intersection de et est non
vide : c'est bien un cercle. Son centre est la projection orthogonale
de sur . Son rayon est tel que
, soit
.
Exercice 2 :
Considérons un espace affine de dimension 3, muni d'un repère
orthonormé
.
Soit le point de coordonnées dans le repère
. Soit le vecteur de
coordonnées dans la base
.
Soit un point de . Le vecteur
est
colinéaire au vecteur . Donc les coordonnées de
vérifient :
Ce sont les équations paramétriques de la droite . Pour
obtenir des équations implicites, il faut éliminer dans
les équations ci-dessus :
Le plan admet comme vecteur normal. Nous devons
trouver deux vecteurs non colinéaires, et orthogonaux au vecteur
. Par exemple : et . Tout point de
est tel que
est combinaison
linéaire de ces deux vecteurs. Ses coordonnées vérifient
donc :
Pour l'équation implicite, nous savons que est un vecteur
normal à , qui admet donc une équation du type
. Pour déterminer , il suffit d'écrire que
vérifie l'équation. On trouve ainsi l'équation .
La distance de à se calcule par la formule :
La distance de à peut se déduire du théorème de
Pythagore, puisque
. On
trouve :
Donc la distance de 0 à est de
.
Par construction, le vecteur
appartient au plan
vectoriel associé à , ainsi qu'à . Il est
donc orthogonal à la droite . Donc est la projection
orthogonale de sur , donc la distance de à
est égale à la distance de à la droite .
Considérons la droite , passant par et perpendiculaire
au plan (figure 11). Un système
d'équations paramétriques de cette droite est :
La projection orthogonale de sur est l'intersection de
la droite avec le plan . elle a pour
coordonnées
.
Figure 11:
Plans et droites parallèles.
Par construction, les plans et sont
parallèles. Considérons les trois points . Par
construction, les vecteurs
et
sont orthogonaux, donc non colinéaires. Il
existe donc un unique plan passant par . Ce plan contient toute
droite, passant par un de ses points, et parallèle à , en
particulier . Il contient donc . Les vecteurs
et
sont égaux, donc le quadrilatère
est un parallélogramme. De plus,
et
sont orthogonaux, donc c'est un rectangle.