Tale spé · Chapitre 03 · Algèbre et géométrie

Orthogonalité et distances dans l'espace

Produit scalaire dans l'espace, vecteur normal à un plan, projeté orthogonal, plan médiateur.

Ce qu'il faut savoir faire

  • Produit scalaire dans l'espace
  • Vecteur normal à un plan
  • Projeté orthogonal
  • Plan médiateur

En première, le produit scalaire a transformé la géométrie du plan : angles, longueurs et perpendicularités sont devenus des calculs. Le chapitre précédent a étendu les vecteurs à l'espace, mais sans cet outil de mesure : nous savons dire que des points sont alignés ou coplanaires, pas encore que deux arêtes d'un cube sont perpendiculaires ou qu'une diagonale mesure telle longueur. Ce chapitre comble ce manque en étendant le produit scalaire à l'espace. La bonne nouvelle est qu'il n'y a presque rien de nouveau à apprendre : deux vecteurs de l'espace peuvent toujours être ramenés dans un même plan, et tout ce qui a été vu en première s'y applique. Les nouveautés véritables sont géométriques : orthogonalité d'une droite et d'un plan, vecteur normal, projeté orthogonal, et le calcul de distances dans l'espace, avec une démonstration exigible au baccalauréat.

Produit scalaire dans l'espace

Comment définir le produit scalaire de deux vecteurs de l'espace ? L'observation clé est la suivante : si l'on représente deux vecteurs u et v à partir d'une même origine, en écrivant u=AB et v=AC, alors les trois points A, B et C sont toujours contenus dans un même plan. Deux vecteurs de l'espace sont donc toujours coplanaires, et dans ce plan, le produit scalaire de première est parfaitement défini. Il suffit de le réutiliser.

Définition

Produit scalaire de deux vecteurs de l'espace. Soient u et v deux vecteurs de l'espace. On choisit des points A, B et C tels que u=AB et v=AC, puis un plan P contenant A, B et C. Le produit scalaire uv est le produit scalaire des vecteurs AB et AC calculé dans le plan P, au sens de la classe de première.

On admet que le nombre obtenu ne dépend ni des points A, B, C choisis pour représenter les vecteurs, ni du plan qui les contient : le produit scalaire est bien une opération sur les vecteurs de l'espace eux-mêmes. Conséquence immédiate et précieuse : toutes les expressions vues en première restent valables, mot pour mot.

Propriété

Expressions héritées de la première. Soient u et v deux vecteurs non nuls de l'espace.

  • Avec le cosinus : uv=u×v×cos(u;v), où (u;v) désigne l'angle géométrique formé par les deux vecteurs ramenés à une même origine.
  • Avec la projection orthogonale : si u=AB, v=AC et si H est le projeté orthogonal de C sur la droite (AB), alors ABAC=ABAH, ce produit valant AB×AH si AB et AH sont de même sens, AB×AH sinon, et 0 si H=A.

Si u=0 ou v=0, on convient que uv=0.

Le signe du produit scalaire garde sa lecture de première : positif pour un angle aigu, négatif pour un angle obtus, nul pour un angle droit. Les règles de calcul algébriques sont elles aussi conservées ; on les admet dans l'espace comme on les avait admises dans le plan.

Propriété

Symétrie et bilinéarité (admises). Pour tous vecteurs u, v, w de l'espace et tout réel k :

  • Symétrie : uv=vu.
  • Bilinéarité :
u(v+w)=uv+uwet(ku)v=k(uv).

En pratique, on développe donc un produit scalaire de sommes comme un produit de sommes de nombres, en distribuant terme à terme. Rappelons la vigilance habituelle : le résultat d'un produit scalaire est un nombre, pas un vecteur, et une écriture comme uvw n'a aucun sens.

Propriété

Carré scalaire. Pour tout vecteur u de l'espace :

uu=u2.

Ce nombre, appelé carré scalaire de u, se note aussi u2. En particulier, pour tous points A et B : ABAB=AB2.

Mettons tout cela en œuvre dans la figure emblématique de la géométrie dans l'espace : le cube.

Cube ABCDEFGH, de base ABCD, avec la diagonale AG tracée en pointillés

Exemple

ABCDEFGH est un cube d'arête 2 : ABCD est la face du bas, et E, F, G, H sont respectivement au-dessus de A, B, C, D.

  • ABAD : les deux vecteurs sont dans le plan de la face ABCD, qui est un carré, et l'angle en A est droit. Donc ABAD=0.
  • ABAF : les points A, B, F sont dans le plan de la face ABFE. Le projeté orthogonal de F sur la droite (AB) est B, et AB, AB sont de même sens, donc ABAF=AB×AB=4.
  • ABAG : ici, la diagonale [AG] traverse le cube, et aucune face ne contient les deux vecteurs. On décompose alors AG=AB+AD+AE et on développe par bilinéarité :
ABAG=ABAB+ABAD+ABAE=4+0+0=4.
  • AECG : les arêtes verticales du cube sont parallèles et de même sens, donc CG=AE, et AECG=AEAE=AE2=4.

Le troisième calcul illustre la stratégie centrale du chapitre : quand deux vecteurs ne « vivent » pas dans une face visible, on les décompose le long des arêtes, et la bilinéarité fait le reste.

Orthogonalité de deux vecteurs

Comme dans le plan, l'annulation du produit scalaire caractérise l'angle droit, et cette caractérisation mérite le statut de définition.

Définition

Vecteurs orthogonaux. Deux vecteurs u et v de l'espace sont dits orthogonaux lorsque

uv=0.

On note alors uv. Par convention, le vecteur nul est orthogonal à tout vecteur de l'espace.

Pour deux vecteurs non nuls, cette définition traduit exactement l'intuition géométrique : uvcos(u;v)=0 si et seulement si cos(u;v)=0, c'est-à-dire si et seulement si l'angle (u;v) est droit.

Exemple

Dans le cube ABCDEFGH d'arête 2, les vecteurs AE et BC ne sont portés par aucune face commune, mais BC=AD, et dans la face ADHE l'angle en A est droit : donc AEBC=AEAD=0. Les vecteurs AE et BC sont orthogonaux, alors même que les segments [AE] et [BC] ne se touchent pas. L'orthogonalité de vecteurs ne parle que de directions.

Cette dernière remarque annonce une distinction importante entre droites orthogonales et droites perpendiculaires, que nous préciserons plus loin.

Développements de normes et formules de polarisation

La bilinéarité permet de développer le carré scalaire d'une somme, exactement comme l'identité remarquable (a+b)2=a2+2ab+b2 pour les nombres. Ces formules, déjà rencontrées en première, restent valables dans l'espace puisque toutes les règles de calcul sont conservées.

Propriété

Développements de normes. Pour tous vecteurs u et v de l'espace :

u+v2=u2+2uv+v2etuv2=u22uv+v2.

Démonstration. Le carré d'une norme est un carré scalaire : u+v2=(u+v)(u+v). En développant par bilinéarité puis en utilisant la symétrie :

(u+v)(u+v)=uu+uv+vu+vv=u2+2uv+v2.

Pour la seconde formule, on remplace v par v : la norme de v est celle de v, et le double produit change de signe.

En isolant uv dans chacune de ces égalités, on obtient les formules de polarisation : elles expriment le produit scalaire uniquement à l'aide de normes, c'est-à-dire de longueurs.

Propriété

Formules de polarisation. Pour tous vecteurs u et v de l'espace :

uv=12(u+v2u2v2)=12(u2+v2uv2).

En particulier, pour trois points A, B et C, comme ABAC=CB :

ABAC=12(AB2+AC2BC2).

Méthode

Calculer un produit scalaire à partir de longueurs. Lorsqu'un solide est donné par les longueurs de ses arêtes, sans angle ni repère :

  1. ramener les deux vecteurs à une même origine, au besoin par la relation de Chasles ;
  2. identifier les trois longueurs AB, AC et BC dans la figure ;
  3. appliquer ABAC=12(AB2+AC2BC2).

Exemple

ABCD est un tétraèdre régulier d'arête 1 : ses quatre faces sont des triangles équilatéraux. Calculons ABAC :

ABAC=12(AB2+AC2BC2)=12(1+11)=12.

On aurait pu utiliser le cosinus : la face ABC est équilatérale, donc l'angle en A vaut π3 et ABAC=1×1×cosπ3=12. Les deux méthodes concordent, mais la polarisation n'a demandé aucune connaissance d'angle.

Base et repère orthonormés : expressions analytiques

Au chapitre précédent, nous avons repéré l'espace avec des bases quelconques : trois vecteurs non coplanaires suffisent pour définir des coordonnées. Mais pour que les coordonnées mesurent des longueurs et des angles, il faut une base adaptée au produit scalaire : des vecteurs de norme 1, deux à deux orthogonaux.

Définition

Base et repère orthonormés. Une base (i;j;k) de l'espace est dite orthonormée lorsque :

  • les trois vecteurs sont unitaires : i=j=k=1 ;
  • ils sont deux à deux orthogonaux : ij=ik=jk=0.

Un repère (O;i;j;k) est dit orthonormé lorsque la base (i;j;k) est orthonormée.

Dans une telle base, le produit scalaire admet une expression remarquablement simple : celle de première, complétée d'un troisième terme.

Propriété

Produit scalaire en base orthonormée. Dans une base orthonormée, si u(xyz) et v(xyz), alors :

uv=xx+yy+zz.

Démonstration. Par définition des coordonnées, u=xi+yj+zk et v=xi+yj+zk. On développe par bilinéarité : le produit uv est la somme des neuf produits scalaires croisés. Or, la base étant orthonormée, les six produits « mixtes » (ij, ik, jk et leurs symétriques) sont nuls, et les trois carrés scalaires valent 1. Il reste :

uv=xxii+yyjj+zzkk=xx+yy+zz.

En appliquant cette formule à v=u, puis à u=AB, on obtient les expressions de la norme et de la distance.

Propriété

Norme et distance en repère orthonormé. Dans un repère orthonormé :

  • si u(xyz), alors u=x2+y2+z2 ;
  • si A(xA;yA;zA) et B(xB;yB;zB), alors
AB=AB=(xBxA)2+(yByA)2+(zBzA)2.

Insistons sur l'hypothèse : ces formules ne sont valables qu'en base orthonormée. Dans une base quelconque du chapitre précédent, les coordonnées restent utilisables pour les questions d'alignement ou de coplanarité, mais ni xx+yy+zz ni x2+y2+z2 n'ont de signification métrique.

Exemple

Dans un repère orthonormé, on donne u(123), v(452) et les points A(1;0;2), B(3;1;4).

  • uv=1×4+(2)×5+3×2=410+6=0 : les vecteurs u et v sont orthogonaux.
  • u=12+(2)2+32=14.
  • AB(212), donc AB=22+(1)2+22=9=3.

Autre exemple naturel : un cube d'arête a fournit un repère orthonormé « à l'échelle », et l'on retrouve la longueur de la grande diagonale : AG=AB+AD+AE donne AG=a2+a2+a2=a3.

Orthogonalité de droites et de plans

Le produit scalaire en main, revenons à la géométrie. Dans l'espace, deux droites qui « se croisent à angle droit » sur un dessin peuvent en réalité ne jamais se rencontrer : il faut donc distinguer soigneusement deux notions.

Définition

Droites orthogonales. Deux droites d et d de l'espace, de vecteurs directeurs respectifs u et v, sont dites orthogonales lorsque uv=0. On note dd.

Si de plus d et d sont sécantes, on dit qu'elles sont perpendiculaires.

Deux droites perpendiculaires sont donc toujours orthogonales, mais la réciproque est fausse : dans le cube ABCDEFGH, les droites (AE) et (BC) sont orthogonales (nous avons vérifié que AEBC=0) alors qu'elles ne se coupent pas. C'est un piège classique de vocabulaire : dans l'espace, « orthogonales » parle de directions, « perpendiculaires » exige en plus un point d'intersection.

Passons à l'orthogonalité entre une droite et un plan, la notion la plus utile du chapitre.

Définition

Droite orthogonale à un plan. Une droite d est dite orthogonale à un plan P lorsqu'elle est orthogonale à toutes les droites contenues dans P.

Droite d orthogonale à un plan P en un point I, avec deux droites sécantes du plan

Telle quelle, cette définition semble invérifiable : un plan contient une infinité de droites, on ne peut pas toutes les tester. Le théorème suivant, admis, réduit la vérification à deux droites bien choisies. On l'appelle parfois « théorème de la porte » : une porte pivote autour de l'axe de ses gonds ; si cet axe est perpendiculaire à deux directions du sol (le bas du mur et la ligne de seuil, sécantes), alors le bas de la porte reste au ras du sol dans toutes les positions, c'est-à-dire que l'axe est orthogonal à toutes les directions du sol.

Propriété

Caractérisation de l'orthogonalité droite-plan (admise). Une droite d est orthogonale à un plan P dès qu'elle est orthogonale à deux droites sécantes de P.

Attention au mot « sécantes » : deux droites parallèles du plan ne suffisent pas, car elles ne représentent qu'une seule direction. Une droite peut très bien être orthogonale à cette direction commune tout en étant « couchée » dans le plan. Il faut deux directions distinctes pour contrôler tout le plan, ce qui est cohérent avec le chapitre précédent : deux vecteurs non colinéaires d'un plan en engendrent toutes les directions.

Exemple

Dans le cube ABCDEFGH, montrons que la droite (AE) est orthogonale au plan (ABC), c'est-à-dire au plan de la face du bas.

  • (AE)(AB) : l'angle en A de la face carrée ABFE est droit.
  • (AE)(AD) : l'angle en A de la face carrée ADHE est droit.

Les droites (AB) et (AD) sont deux droites sécantes (en A) du plan (ABC), donc (AE) est orthogonale au plan (ABC). On en déduit gratuitement que (AE) est orthogonale à toute droite de ce plan, par exemple à la diagonale (AC) ou à (BD), ce qui n'avait rien d'évident au départ.

Cet exemple montre tout l'intérêt du théorème : deux vérifications faciles donnent une infinité d'orthogonalités.

Vecteur normal à un plan

L'orthogonalité droite-plan admet une traduction vectorielle extrêmement efficace : plutôt que de décrire un plan par deux vecteurs qui le dirigent, on peut le décrire par un seul vecteur qui lui est « perpendiculaire ».

Définition

Vecteur normal à un plan. Un vecteur n non nul est dit normal à un plan P lorsque toute droite de vecteur directeur n est orthogonale à P. Autrement dit, n est orthogonal à tout vecteur dont les représentants sont contenus dans P.

Un plan admet une infinité de vecteurs normaux : tous les vecteurs non nuls colinéaires à l'un d'entre eux. La caractérisation de la section précédente se transpose immédiatement aux vecteurs, et donne le critère pratique du chapitre.

Propriété

Caractérisation d'un vecteur normal. Un vecteur non nul n est normal à un plan P si et seulement si n est orthogonal à deux vecteurs non colinéaires de P.

En effet, si u et v sont deux vecteurs non colinéaires de P, tout vecteur w de P se décompose en w=au+bv (caractérisation vectorielle d'un plan, chapitre précédent). Par bilinéarité, nw=a(nu)+b(nv)=0 : l'orthogonalité aux deux vecteurs suffit à l'assurer pour tous.

Réciproquement, un point et un vecteur normal suffisent à déterminer entièrement un plan : c'est la nouvelle manière de définir un plan qu'introduit ce chapitre.

Propriété

Plan défini par un point et un vecteur normal. Soient A un point et n un vecteur non nul. L'ensemble des points M de l'espace tels que

AMn=0

est le plan passant par A et de vecteur normal n. C'est l'unique plan passant par A auquel n est normal.

Cette caractérisation est le pont entre géométrie et calcul : « M appartient au plan » se traduit par une équation, l'annulation d'un produit scalaire. Elle sera le point de départ du chapitre suivant.

Méthode

Démontrer qu'un vecteur est normal à un plan. Pour montrer qu'un vecteur n est normal à un plan P :

  1. choisir deux vecteurs non colinéaires de P, par exemple AB et AC si A, B, C sont trois points non alignés du plan ;
  2. vérifier que nAB=0 et nAC=0 ;
  3. conclure que n est normal à P, en n'oubliant pas de mentionner la non-colinéarité.

Exemple

Dans un repère orthonormé, on considère les points A(1;0;1), B(2;2;1), C(1;1;2) et le vecteur n(211). On calcule AB(120) et AC(011). Ces deux vecteurs ne sont pas colinéaires (leurs coordonnées ne sont pas proportionnelles). Puis :

nAB=2×1+(1)×2+1×0=0etnAC=2×0+(1)×1+1×1=0.

Le vecteur n est donc normal au plan (ABC).

Les vecteurs normaux donnent enfin un critère simple pour comparer deux plans entre eux.

Définition

Plans perpendiculaires. Deux plans P1 et P2 sont dits perpendiculaires lorsque l'un d'eux contient une droite orthogonale à l'autre.

Propriété

Positions relatives et vecteurs normaux. Soient P1 et P2 deux plans de vecteurs normaux respectifs n1 et n2.

  • P1 et P2 sont perpendiculaires si et seulement si n1n2=0.
  • P1 et P2 sont parallèles si et seulement si n1 et n2 sont colinéaires.

Ainsi, comparer deux plans revient à comparer deux vecteurs : un calcul de produit scalaire pour la perpendicularité, un test de colinéarité pour le parallélisme. Attention toutefois à une fausse intuition : la perpendicularité de plans ne se comporte pas comme le parallélisme. Deux plans perpendiculaires à un même troisième plan ne sont pas nécessairement parallèles entre eux ; il suffit de penser à deux murs d'une pièce, tous deux perpendiculaires au sol, et pourtant sécants.

Projeté orthogonal et distances

Nous voici armés pour la question des distances : quel est le point d'un plan (ou d'une droite) le plus proche d'un point donné ? La réponse passe par le projeté orthogonal, dont voici les définitions dans l'espace.

Définition

Projeté orthogonal sur une droite. Soient d une droite et M un point de l'espace. Le projeté orthogonal de M sur d est l'unique point H de d tel que MH soit orthogonal à un vecteur directeur de d. Si M appartient à d, alors H=M.

Définition

Projeté orthogonal sur un plan. Soient P un plan et M un point de l'espace. Le projeté orthogonal de M sur P est l'unique point H de P tel que le vecteur MH soit normal à P (ou nul). Si M appartient à P, alors H=M ; sinon, la droite (MH) est orthogonale à P.

Point M au-dessus d'un plan P et son projeté orthogonal H, reliés en pointillés avec l'angle droit marqué

Intuitivement, H est le « pied » de M sur le plan : le point où atterrit un fil à plomb lâché depuis M, si le plan est horizontal. Le théorème suivant, dont la démonstration est exigible au baccalauréat, justifie que ce pied est bien le point le plus proche.

Propriété

Le projeté orthogonal réalise la distance (démonstration exigible). Soient P un plan, M un point de l'espace et H le projeté orthogonal de M sur P. Alors H est le point de P le plus proche de M : pour tout point N de P,

MNMH,

avec égalité si et seulement si N=H.

Démonstration. Soit N un point quelconque de P. Par la relation de Chasles, MN=MH+HN. Développons le carré de la norme :

MN2=MH+HN2=MH2+2MHHN+HN2.

Étudions le double produit. Le vecteur MH est normal au plan P (ou nul, si MP). Le vecteur HN relie deux points de P : c'est un vecteur du plan. Un vecteur normal à P est orthogonal à tout vecteur de P, donc :

MHHN=0.

Il reste MN2=MH2+HN2 : on reconnaît l'égalité de Pythagore dans le triangle MHN, rectangle en H. Comme HN20, on en déduit :

MN2=MH2+HN2MH2.

Les distances MN et MH étant des nombres positifs, l'inégalité des carrés donne MNMH. Enfin, l'égalité MN=MH équivaut à HN2=0, c'est-à-dire à HN=0, c'est-à-dire à N=H. Le point H est donc l'unique point de P qui réalise la plus petite distance à M.

Ce théorème donne tout son sens à la définition suivante.

Définition

Distance d'un point à un plan, à une droite. La distance d'un point M à un plan P, notée d(M;P), est la distance MH, où H est le projeté orthogonal de M sur P. C'est la plus petite des distances MN pour N parcourant P.

De même, la distance de M à une droite d est la distance MH, où H est le projeté orthogonal de M sur d (le résultat précédent s'adapte à une droite, avec la même démonstration).

Reste à savoir calculer cette distance. Le produit scalaire avec un vecteur normal fournit la méthode, sans qu'il soit nécessaire de déterminer les coordonnées de H.

Méthode

Calculer la distance d'un point M à un plan P. On connaît un point A de P et un vecteur normal n de P. En notant H le projeté orthogonal de M sur P :

  1. décomposer par la relation de Chasles : AMn=(AH+HM)n=AHn+HMn ;
  2. remarquer que AHn=0, car A et H sont deux points de P, donc AH est un vecteur du plan ;
  3. remarquer que HM et n sont colinéaires (tous deux normaux à P), donc HMn=MH×n ;
  4. conclure :
d(M;P)=MH=AMnn.

Exemple

Dans un repère orthonormé, soit P le plan passant par A(1;0;2) et de vecteur normal n(212), et soit M(3;1;4). On calcule AM(212), puis :

AMn=2×2+1×(1)+2×2=7etn=22+(1)2+22=3.

D'où d(M;P)=73=73.

Pour la distance d'un point M à une droite d passant par A et de vecteur directeur u, la démarche est analogue : le projeté orthogonal H de M sur d vérifie AH=tu pour un certain réel t (colinéarité), et la condition MHu=0 donne t=AMuu2. On termine avec Pythagore dans le triangle AHM rectangle en H : MH2=AM2AH2.

Bilan : les trois visages du produit scalaire

Ce chapitre a étendu à l'espace tout l'outillage métrique de la première, et l'a enrichi de notions proprement spatiales : orthogonalité droite-plan, vecteur normal, projeté orthogonal et distances. Pour les calculs, trois expressions du produit scalaire cohabitent ; savoir choisir la bonne selon les données de l'énoncé est la première compétence du chapitre.

Expression Formule Quand l'utiliser
Cosinus uv=uvcos(u;v) Normes et angle connus (faces de solides usuels, angles remarquables)
Polarisation ABAC=12(AB2+AC2BC2) Longueurs connues, aucun angle ni repère (tétraèdres, solides donnés par leurs arêtes)
Coordonnées uv=xx+yy+zz Repère orthonormé et coordonnées connues

Dans tous les cas, la stratégie reste celle rodée sur le cube : ramener les vecteurs à une même origine, décomposer le long de directions bien choisies, et laisser la bilinéarité transformer la géométrie en calcul. Le chapitre suivant prolongera ce travail en donnant aux droites et aux plans de l'espace des représentations par équations, où le vecteur normal jouera le premier rôle.

Bloqué sur « Orthogonalité et distances dans l'espace » ?

On peut le travailler ensemble dès cette semaine. La première heure est offerte — on fait le point honnêtement, et vous repartez au minimum avec une méthode.