Géométrie du plan et de l'espace
Cours · mathématiques (PTSI), chapitre 9 · CPGE PTSI (1re année) · le début du chapitre, la suite sur Adloun
9.1 Introduction et motivation
À l'issue de la terminale, nous connaissons le plan et l'espace euclidiens en tant qu'ensembles de points, la façon d'associer à deux points et le vecteur , ainsi que les propriétés opératoires usuelles. À ce titre, nous utiliserons librement la notation
Ce chapitre prolonge cette étude en y ajoutant de nouveaux modes de repérage (coordonnées polaires dans le plan, cylindriques dans l'espace) et surtout trois produits qui encodent les notions métriques :
- le produit scalaire, qui mesure longueurs, angles et orthogonalité ;
- le produit mixte dans le plan et le produit vectoriel dans l'espace, qui mesurent aires et détectent la colinéarité ;
- le produit mixte dans l'espace, qui mesure des volumes et détecte la coplanarité.
Ces outils permettent une étude complète des droites, cercles, plans et sphères. Ce chapitre illustre géométriquement la théorie des systèmes linéaires du chapitre 7 (une droite de l'espace est l'intersection de deux plans, donc l'ensemble des solutions d'un système !) et prépare l'intuition des espaces vectoriels abstraits du chapitre 11 : la notation introduite ici y deviendra un objet central. Enfin, l'expression du produit mixte dans une base orthonormée directe annonce le déterminant, étudié systématiquement au chapitre 13. Le maître mot est : faire de nombreuses figures, en dimension 2 comme en dimension 3.
Partie A — Géométrie du plan
Dans toute cette partie, le plan est muni d'un repère orthonormé (on dit aussi orthonormal) , supposé direct lorsque l'orientation intervient : l'angle de vers vaut (sens trigonométrique, inverse des aiguilles d'une montre).
9.3 Modes de repérage dans le plan
9.3.1 Coordonnées cartésiennes
Tout point du plan s'écrit de manière unique , c'est-à-dire . Le couple est le couple des coordonnées cartésiennes de dans le repère . De même, tout vecteur du plan s'écrit de manière unique : on note ou .
Ce mode de repérage identifie le plan à , exactement comme le chapitre 3 l'identifiait à : le point correspond à l'affixe . Les deux points de vue s'éclairent mutuellement et nous passerons de l'un à l'autre sans hésiter.
9.3.2 Coordonnées polaires
Soit un point du plan distinct de . Un couple est un couple de coordonnées polaires de si :
autrement dit si et si est une mesure de l'angle . Le lien avec les coordonnées cartésiennes est :
Le vecteur , obtenu en tournant d'un angle , complète en une base orthonormée directe : c'est la base polaire au point , celle qu'emploient la mécanique et les sciences industrielles (notations , des cours de physique).
Les coordonnées polaires d'un point ne sont pas uniques : si convient, alors convient pour tout . Le rayon est en revanche déterminé, et l'angle l'est modulo : c'est exactement la situation module--argument du chapitre 3, puisque . Le point est à part : et quelconque.
Le point vérifie et , , donc : un couple de coordonnées polaires est . Inversement, le point de coordonnées polaires a pour coordonnées cartésiennes .
9.4 Produit scalaire dans le plan
9.4.1 Norme euclidienne
La norme euclidienne du vecteur est le réel positif :
Si , alors est la distance de à : pour et ,
C'est le théorème de Pythagore, et c'est aussi le module des affixes du chapitre 3. Un vecteur de norme est dit unitaire.
9.4.2 Définition géométrique du produit scalaire
Soient et deux vecteurs du plan. Leur produit scalaire est le réel :
Le cosinus ne dépend ni de l'orientation choisie ni du représentant de l'angle () : le produit scalaire est défini sans ambiguïté, avant même d'orienter le plan. Son signe se lit sur l'angle : pour un angle aigu, pour un angle obtus, pour un angle droit.
Soient et . Si est le projeté orthogonal de sur la droite , alors :
Autrement dit : projeter orthogonalement l'un des vecteurs sur la direction de l'autre ne change pas le produit scalaire.
Démonstration
Si , les deux membres sont nuls. Sinon, notons l'angle géométrique en . Dans le triangle rectangle : si est aigu, et est du sens de , donc ; si est obtus, et avec de sens contraire, d'où le signe ; si , tout est nul.
9.4.3 Bilinéarité et symétrie
Pour tous vecteurs , , du plan et tous réels , :
- symétrie : ;
- linéarité à droite : ;
- linéarité à gauche : .
On résume les deux derniers points en disant que le produit scalaire est bilinéaire.
La symétrie est immédiate sur la définition. La bilinéarité, elle, n'a rien d'évident à partir de la formule ; on peut la justifier grâce à l'interprétation par projection (la projection orthogonale respecte sommes et multiples de vecteurs), mais la démonstration n'est pas exigible. Grâce à la symétrie, il suffit d'ailleurs d'établir la linéarité d'un seul côté.
9.4.4 Expression en base orthonormée
Dans une base orthonormée , si et , alors :
En particulier .
Démonstration
La base étant orthonormée, (angle nul, normes ) et (angle droit). En développant par bilinéarité :
Avec et : , , , d'où :
et l'angle géométrique entre et vaut . C'est la méthode de calcul d'un angle.
9.4.5 Identité remarquable et polarisation
Pour tous vecteurs et :
d'où la formule de polarisation, qui exprime le produit scalaire à l'aide de normes seules :
Démonstration
Par bilinéarité et symétrie :
puis on isole .
On développe de même : c'est le théorème d'Al-Kashi en germe. Ces identités sont l'analogue vectoriel de : on calcule avec les normes et les produits scalaires comme avec des carrés et des produits de réels.
9.4.6 Orthogonalité
Deux vecteurs et sont orthogonaux lorsque . On note .
Deux vecteurs non nuls sont orthogonaux si et seulement si leur angle est droit. Le vecteur nul est orthogonal à tout vecteur. En coordonnées dans une base orthonormée :
Le vecteur est orthogonal à : en effet . C'est le vecteur « tourné d'un quart de tour direct » — en affixes, c'est la multiplication par du chapitre 3. Ce procédé, constamment utilisé, transforme un vecteur directeur en vecteur normal et réciproquement.
Retenons les trois usages du produit scalaire : calculer une longueur (), calculer un angle (), caractériser l'orthogonalité ().
9.5 Produit mixte dans le plan orienté
9.5.1 Orientation du plan
Orienter le plan, c'est choisir un sens de rotation positif : par convention, le sens trigonométrique (inverse des aiguilles d'une montre). Une base orthonormée est alors directe si l'on passe de à par un quart de tour dans le sens positif. La notion d'orientation est ici admise : nous nous appuyons sur l'intuition et sur les figures. Une fois le plan orienté, l'angle de deux vecteurs non nuls possède un signe, et a un sens (contrairement au produit scalaire, qui n'utilisait que le cosinus, insensible au signe de l'angle).
9.5.2 Définition géométrique
Soient et deux vecteurs du plan orienté. Leur produit mixte (ou déterminant) est le réel :
est l'aire du parallélogramme construit sur et . Le signe de indique l'orientation du couple : positif si est direct (on tourne de vers dans le sens positif, par le plus court chemin), négatif sinon. On parle d'aire orientée.
Démonstration
Prenons pour base le côté porté par : sa longueur est , et la hauteur correspondante vaut où . L'aire du parallélogramme, base hauteur, vaut donc . Le signe de est celui de l'angle orienté , d'où l'interprétation du signe.
9.5.3 Propriétés
Pour tous vecteurs , , et tous réels , :
- antisymétrie : ; en particulier ;
- bilinéarité : , et de même à droite.
L'antisymétrie vient de : échanger les deux vecteurs change l'orientation du couple, donc le signe de l'aire orientée. Comme pour le produit scalaire, la démonstration de la bilinéarité n'est pas exigible.
Dans une base orthonormée directe , si et , alors :
On note aussi (déterminant , chapitre 13).
Démonstration
La base étant orthonormée directe, et . En développant par bilinéarité :
Deux vecteurs et sont colinéaires si et seulement si , c'est-à-dire, en base orthonormée directe, si et seulement si .
Exercices du chapitre
- Un cercle déguisé en équation polaire corrigé
- Le théorème de Huygens, et les lignes de niveau de corrigé
- L'aire d'un polygone, par le produit mixte corrigé
- Les deux bissectrices sont perpendiculaires corrigé
- La tangente par dédoublement, et la puissance d'un point corrigé
- La base locale des coordonnées cylindriques corrigé