Ce fichier regroupe les démonstrations du cours "Forme générale de l’équation d’un plan de l’espace"
Démonstration 1 : Soit à démontrer la propriété suivante.
Démonstration 1 : Soit à démontrer la propriété suivante.
Un vecteur est dit normal à un plan si, et seulement si, il est orthogonal à deux vecteurs non colinéaires de ce plan.
La propriété directe découle de la définition. Nous n'allons donc prouver que la réciproque.
Soient et deux vecteurs non colinéaires d'un plan , un vecteur de et un vecteur orthogonal à et .
Il existe donc deux réels et tels que .
Ainsi .
Le vecteur est donc orthogonal à tous les vecteurs du plan . Il lui est par conséquent orthogonal.
Démonstration 2 : soit à démontrer le théorème suivant
La propriété directe découle de la définition. Nous n'allons donc prouver que la réciproque.
Soient et deux vecteurs non colinéaires d'un plan , un vecteur de et un vecteur orthogonal à et .
Il existe donc deux réels et tels que .
Ainsi .
Le vecteur est donc orthogonal à tous les vecteurs du plan . Il lui est par conséquent orthogonal.
Démonstration 2 : soit à démontrer le théorème suivant
Théorème : On considère un vecteur normal à un plan .
Il existe alors un réel tel qu'une équation du plan soit .
Cette équation est appelée équation cartésienne du plan .
Il existe alors un réel tel qu'une équation du plan soit .
Cette équation est appelée équation cartésienne du plan .
Soit un point du plan .
Pour tout point , les vecteurs et sont orthogonaux.
Par conséquent .
Or .
Ainsi :
En posant , on obtient l'équation .
Démonstration 3 : soit à démontrer la propriété réciproque
Propriété réciproque : On considère trois réels non tous nuls et un réel quelconque .
L'ensemble des points tels que est un plan dont un vecteur normal est .
L'ensemble des points tels que est un plan dont un vecteur normal est .
On peut supposer que . Par conséquent les coordonnées du point vérifient l'équation .
On considère le vecteur non nul .
Soit un point de .
On a alors .
Puisque , on a donc .
Ainsi est l'ensemble des points tels que et soient orthogonaux.
Il s'agit donc du plan passant par dont un vecteur normal est .