Géométrie vectorielle de l'espace

Objectifs du chapitre

À la fin de ce chapitre, vous serez capable de:

calculer le produit vectoriel de deux vecteurs de $R^{3}$ , en démontrer les propriétés (antisymétrie, bilinéarité, orthogonalité, norme) et l'interpréter comme aire orientée;
calculer un produit mixte, l'identifier à un déterminant $3 \times 3$ et en déduire volumes et conditions de coplanarité;
décrire une droite de l'espace par une représentation paramétrique ou par un système de deux équations cartésiennes, et déterminer la position relative de deux droites;
écrire l'équation cartésienne d'un plan à partir d'un point et d'un vecteur normal, ou de trois points, et passer d'une représentation à l'autre;
calculer des distances (point–droite, point–plan, droites gauches), des angles (droite–plan, plan–plan), des projections orthogonales et des symétriques;
modéliser des situations d'ingénierie: moment d'une force, vitesse d'un solide en rotation, normale d'une facette de maillage, intersection d'un rayon avec un plan.

Pourquoi une géométrie propre à l'espace?

Les chapitres précédents traitent $R^{n}$ pour un $n$ quelconque: produit scalaire, norme, orthogonalité et projections (chapitre 7) ne dépendent pas de la dimension. L'espace physique à trois dimensions possède pourtant une structure supplémentaire, que $R^{2}$ et $R^{4}$ n'ont pas: à deux vecteurs $u$ et $v$ de $R^{3}$ , on peut associer un , perpendiculaire aux deux premiers, dont la longueur mesure l'aire du parallélogramme qu'ils engendrent. Ce est omniprésent en ingénierie.

Moments de forces et couples. Une force $F$ appliquée en un point $P$ tend à faire tourner un solide autour d'un point $O$ ; l'intensité et l'axe de cette tendance sont décrits par le moment $M_{O} = O P \land F$ . Toute la statique des structures — équilibre d'une poutre, d'un portique, d'un assemblage boulonné — repose sur des équations de moments.

Le produit vectoriel est aussi l'outil naturel pour décrire les droites et les plans de l'espace: un plan est déterminé par un point et un vecteur normal, et la distance d'un point à une droite ou entre deux droites s'exprime à l'aide d'aires et de volumes. Ce chapitre construit ces outils à partir du produit scalaire du chapitre 7 et des déterminants du chapitre 3.

Rappels: vecteurs et repères de l'espace

Repère orthonormé direct

On munit l'espace d'un repère orthonormé $(O; e_{1}, e_{2}, e_{3})$ : les trois vecteurs de base sont unitaires et deux à deux orthogonaux. Un point $P$ est repéré par ses coordonnées $(x, y, z)$ , c'est-à-dire par le vecteur , que nous identifions au vecteur colonne de . Pour alléger l'écriture, nous noterons souvent en ligne.

Un repère orthonormé peut être de deux types, images l'un de l'autre dans un miroir. Le repère est dit direct (ou droit) si, en pointant l'index de la main droite selon $e_{1}$ et le majeur selon $e_{2}$ , le pouce pointe selon $e_{3}$ ; il est indirect sinon. Cette convention, appelée règle de la main droite, ne se démontre pas: c'est un choix, universellement adopté en physique et en ingénierie, et nous supposons désormais le repère direct. En termes de déterminants (chapitre 3), une base orthonormée est directe si et seulement si sa matrice de passage depuis $(e_{1}, e_{2}, e_{3})$ a un déterminant égal à .

Produit scalaire, norme et angle

Rappelons du chapitre 7 les formules, valables dans tout repère orthonormé:

u \cdot v = u_{1} v_{1} + u_{2} v_{2} + u_{3} v_{3}, ∥ u ∥ = u_{1}^{2} + u_{2}^{2} + u_{3}^{2}, cos θ = \frac{u \cdot v}{∥ u ∥ ∥ v ∥}, (8.1)

où $θ \in [0, π]$ est l'angle géométrique entre deux vecteurs non nuls. Deux vecteurs sont orthogonaux si leur produit scalaire est nul. La projection orthogonale de $u$ sur l'axe dirigé par un vecteur non nul $a$ est

proj_{a} (u) = \frac{u \cdot a}{∥ a ∥ ^{2}} a,

et la longueur (signée) de cette projection vaut $u \cdot a / ∥ a ∥$ . Ces deux formules serviront à chaque calcul de distance de ce chapitre.

Enfin, un vecteur directeur d'une droite est un vecteur non nul parallèle à la droite; deux vecteurs non nuls $u$ , $v$ sont colinéaires s'il existe $λ \in R$ tel que $v = λ u$ , et trois vecteurs sont coplanaires s'ils sont contenus dans un même plan vectoriel, c'est-à-dire s'ils forment une famille liée (chapitre 4).

Le produit vectoriel

Définition

La formule (8.2) se retient grâce au déterminant symbolique, développé selon la première ligne comme au chapitre 3:

u \land v = e_{1} u_{1} v_{1} e_{2} u_{2} v_{2} e_{3} u_{3} v_{3} = u_{2} v_{2} u_{3} v_{3} e_{1} - u_{1} v_{1} u_{3} v_{3} e_{2} + u_{1} v_{1} u_{2} v_{2} e_{3} .

Chaque composante est un déterminant $2 \times 2$ obtenu en supprimant la ligne et la colonne de la composante calculée; le signe de la deuxième composante est négatif, ce qui revient à lire les indices dans l'ordre circulaire $1 \to 2 \to 3 \to 1$ : la composante $i$ vaut $u_{j} v_{k} - u_{k} v_{j}$ où est une permutation circulaire de .

Question 8.1

Soient $u = (2, - 1, 3)$ et $v = (1, 4, - 2)$ . Calculez $∥ u \land v ∥$ .

Premières propriétés

Démonstration. Les points 1 et 2 se lisent sur (8.2): chaque composante est une expression bilinéaire en $(u, v)$ qui change de signe quand on échange $u$ et $v$ . Pour le point 3, calculons

u \cdot (u \land v) = u_{1} (u_{2} v_{3} - u_{3} v_{2}) + u_{2} (u_{3} v_{1} - u_{1} v_{3}) + u_{3} (u_{1} v_{2} - u_{2} v_{1}) = 0,

puisque chacun des six produits $u_{i} u_{j} v_{k}$ apparaît deux fois avec des signes opposés ( $u_{1} u_{2} v_{3}$ et , etc.). Le calcul de est identique. Pour le point 4, si , l'antisymétrie et la bilinéarité donnent . Réciproquement, si avec , les trois déterminants de (8.2) sont nuls, ce qui signifie que la matrice de lignes et est de rang (chapitre 5): ses lignes sont proportionnelles. Le point 5 est un calcul direct.

Norme et aire

Démonstration. L'identité (8.3), due à Lagrange, se vérifie en développant les deux membres en fonction des composantes; le membre de gauche est une somme de neuf carrés et de produits croisés, le membre de droite est le produit de deux sommes de trois carrés, et tous les termes se correspondent. Ce développement, un peu long mais sans difficulté, est l'objet de l'exercice 8.5. Admettons-le un instant et déduisons (8.4): avec $u \cdot v = ∥ u ∥ ∥ v ∥ cos θ$ ,

∥ u \land v ∥^{2} = ∥ u ∥^{2} ∥ v ∥^{2} (1 - cos^{2} θ) = ∥ u ∥^{2} ∥ v ∥^{2} sin^{2} θ,

et comme $sin θ \geq 0$ sur $[0, π]$ , on peut prendre la racine carrée sans valeur absolue. $□$

La formule (8.4) a une lecture géométrique immédiate: $∥ v ∥ sin θ$ est la hauteur du parallélogramme de côtés $u$ et $v$ relativement à la base $u$ . Ainsi

aire du parall \overset{e}{ˊ} logramme engendr \overset{e}{ˊ} par u, v = ∥ u \land v ∥, aire du triangle A B C = \frac{1}{2} ∥ A B \land A C ∥ . (8.5)

Dans l'exemple 8.1, $∥ u ∥ = 14$ , $∥ v ∥ = 5$ , , et l'on vérifie (8.3): . L'angle vaut et le triangle de côtés , a pour aire .

Orientation et règle de la main droite

Les propriétés 3 et 4 du théorème 8.1 et la formule (8.4) déterminent $u \land v$ au signe près: c'est un vecteur orthogonal au plan de $u$ et $v$ (lorsqu'ils ne sont pas colinéaires), de longueur $∥ u ∥ ∥ v ∥ sin θ$ . Le signe est fixé par la propriété 5, $e_{1} \land e_{2} = e_{3}$ : le triplet est toujours , comme le repère lui-même. Concrètement, si l'index de la main droite pointe selon et le majeur selon , le pouce pointe selon (figure 8.1). Une conséquence importante: le produit vectoriel dépend de l'orientation du repère. Dans un repère indirect, la formule (8.2) fournit le vecteur opposé; c'est pourquoi on l'appelle parfois en physique.

Explorateur 8.1 · Explorateur du produit vectoriel

Le vecteur u est pris dans le plan z = 0 et v est quelconque. Le produit u ∧ v (en couleur d'accent) est orthogonal au parallélogramme engendré par u et v, et sa longueur est l'aire de ce parallélogramme. Observez comment il bascule lorsque v passe de l'autre côté de u, et comment il s'annule lorsque u et v sont colinéaires.

u₁2,0

u₂1,0

v₁1,0

v₂2,0

v₃1,0

u ∧ v

(1,00; −2,00; 3,00)

‖u ∧ v‖ (aire du parallélogramme)

3,742

u · v

4,00

Angle θ entre u et v

43,1°

Question 8.2

Soient $u$ et $v$ deux vecteurs non nuls de $R^{3}$ . Laquelle de ces affirmations est toujours vraie?

Le produit vectoriel n'est pas associatif

Le double produit vectoriel se calcule par la formule de Gibbs, que l'on démontre en comparant les composantes (exercice 8.5):

u \land (v \land w) = (u \cdot w) v - (u \cdot v) w . (8.6)

Elle montre que $u \land (v \land w)$ est une combinaison linéaire de $v$ et $w$ , ce qui est géométriquement évident: ce vecteur est orthogonal à $v \land w$ , donc dans le plan de $v$ et $w$ . On en déduit l'identité de Jacobi $u \land (v \land w) + v \land (w \land u) + w \land (u \land v) = 0$ , qui remplace l'associativité manquante.

Produit mixte et volumes

Démonstration. Développons le déterminant selon la troisième ligne (chapitre 3):

u_{1} v_{1} w_{1} u_{2} v_{2} w_{2} u_{3} v_{3} w_{3} = w_{1} u_{2} v_{2} u_{3} v_{3} - w_{2} u_{1} v_{1} u_{3} v_{3} + w_{3} u_{1} v_{1} u_{2} v_{2},

et l'on reconnaît exactement $w_{1} (u \land v)_{1} + w_{2} (u \land v)_{2} + w_{3} (u \land v)_{3} = (u \land v) \cdot w$ . Les propriétés de permutation sont celles du déterminant (une permutation circulaire de trois lignes est le produit de deux transpositions). Enfin, un déterminant est nul si et seulement si ses lignes forment une famille liée, c'est-à-dire si les trois vecteurs sont coplanaires.

Le produit mixte hérite de l'interprétation géométrique du déterminant vue au chapitre 3: $∣[u, v, w]∣$ est le volume du parallélépipède construit sur $u, v, w$ . On peut le retrouver directement: la base engendrée par $u$ et $v$ a pour aire $∥ u \land v ∥$ , et la hauteur est la longueur de la projection de $w$ sur la normale $u \land v$ , soit . Le produit «aire hauteur» redonne . Le signe du produit mixte indique si le triplet est direct (positif) ou indirect (négatif). Le de sommets occupe un sixième du parallélépipède construit sur :

V_{parall \overset{e}{ˊ} l \overset{e}{ˊ} pip \overset{e}{ˋ} de} = [u, v, w], V_{t \overset{e}{ˊ} tra \overset{e}{ˋ} dre A B C D} = \frac{1}{6} [A B, A C, A D] . (8.8)

Droites de l'espace

Représentations d'une droite

Une droite $D$ de l'espace est déterminée par un point $A = (x_{A}, y_{A}, z_{A})$ et un vecteur directeur $u = (a, b, c) \neq = 0$ : un point appartient à si et seulement si est colinéaire à , soit pour un réel .

Contrairement au plan, où une seule équation $a x + b y = c$ décrit une droite, une équation linéaire dans l'espace décrit un plan (section suivante). Une droite est l'intersection de deux plans non parallèles, donc l'ensemble des solutions d'un système de deux équations cartésiennes

{a_{1} x + b_{1} y + c_{1} z = d_{1} a_{2} x + b_{2} y + c_{2} z = d_{2}

dont la matrice des coefficients est de rang $2$ . Le passage du système à la forme paramétrique est une résolution par élimination de Gauss (chapitre 1): l'ensemble des solutions est de dimension $3 - 2 = 1$ , et le paramètre libre est $t$ . Inversement, pour passer de (8.9) au système, on élimine $t$ entre les équations. Nous verrons plus loin qu'un vecteur directeur de la droite est $n_{1} \land n_{2}$ , où .

Positions relatives de deux droites

Soient $D_{1} = A + s u$ et $D_{2} = B + t v$ deux droites. Dans le plan, deux droites sont sécantes ou parallèles; dans l'espace, une troisième situation apparaît: deux droites peuvent n'être ni parallèles ni sécantes, comme deux tubes qui se croisent sans se toucher.

Démonstration. Les droites sont sécantes s'il existe $s, t$ tels que $A + s u = B + t v$ , c'est-à-dire $A B = s u - t v$ . Si c'est le cas, est une combinaison linéaire de et , les trois vecteurs sont coplanaires et le produit mixte est nul (théorème 8.3). Réciproquement, si , la famille est liée; comme et sont libres, est nécessairement une combinaison linéaire (chapitre 4), et le point est commun aux deux droites. Il est unique puisque des droites non parallèles ne peuvent avoir deux points communs. La seconde équivalence est la négation de la première, les droites n'étant pas parallèles par hypothèse.

Question 8.3

Soient $D_{1}$ passant par $A = (1, 0, 0)$ de vecteur directeur $u = (1, 1, 0)$ et $D_{2}$ passant par $B = (0, 0, 2)$ de vecteur directeur $v = (0, 1, 1)$ . Quelle est leur position relative?

Distance d'un point à une droite

Démonstration. Soit $H$ la projection orthogonale de $M$ sur $D$ , donnée par la formule de projection sur l'axe $u$ rappelée en (8.1). Pour tout point $P = A + t u$ de $D$ , le théorème de Pythagore dans le triangle rectangle $M H P$ donne $∥ M P ∥^{2} = ∥ M H ∥^{2} + ∥ H P ∥^{2} \geq ∥ M H ∥^{2}$ : la distance minimale est bien . Pour la calculer, considérons le parallélogramme construit sur et : son aire vaut d'après (8.5), mais aussi «base hauteur» , puisque est la hauteur relative au côté porté par . En égalant les deux expressions, on obtient (8.10).

Distance entre deux droites gauches

Démonstration. Posons $n = u \land v \neq = 0$ , orthogonal aux deux droites. Pour $P = A + s u$ et $Q = B + t v$ , on a , et comme ,

P Q \cdot n = A B \cdot n = [A B, u, v] pour tous s, t .

Par l'inégalité de Cauchy–Schwarz, $∥ P Q ∥ \geq \frac{∣ P Q \cdot n ∣}{∥ n ∥} = \frac{∣[ A B , u , v ]∣}{∥ u \land v ∥}$ pour tout couple . Il reste à montrer que cette borne est atteinte, c'est-à-dire qu'il existe un couple tel que soit colinéaire à : c'est la . Les conditions et forment un système linéaire de deux équations en :

{- (u \cdot u) s + (u \cdot v) t = - A B \cdot u - (u \cdot v) s + (v \cdot v) t = - A B \cdot v

dont le déterminant $- (∥ u ∥^{2} ∥ v ∥^{2} - (u \cdot v)^{2}) = - ∥ u \land v ∥^{2}$ (identité de Lagrange) est non nul: le système a une unique solution . Pour ce couple, est orthogonal à et à , donc colinéaire à , et Cauchy–Schwarz est une égalité. Enfin, la distance est nulle si et seulement si le produit mixte est nul, ce qui, d'après le théorème 8.4, caractérise les droites sécantes.

La démonstration fournit aussi une méthode pour construire la perpendiculaire commune (exercice 8.3). Pour les droites de la question précédente ( $A = (1, 0, 0)$ , $u = (1, 1, 0)$ , $B = (0, 0, 2)$ , $v = (0, 1, 1)$ ), on avait et , donc .

Plans de l'espace

Équation cartésienne et vecteur normal

Un plan $P$ est déterminé par un point $A$ et deux vecteurs directeurs $u$ , $v$ non colinéaires: $P = {A + s u + t v : s, t \in R}$ (représentation , à deux paramètres). Mais il est souvent plus commode de décrire un plan par la direction qui lui est .

Démonstration. Un point $M$ appartient au plan si et seulement si $A M$ est une combinaison $s u + t v$ des vecteurs directeurs, c'est-à-dire si et seulement si $A M$ appartient au plan vectoriel . Or ce plan vectoriel est exactement l'orthogonal de : il est contenu dans par le théorème 8.1 (point 3), et les deux sous-espaces ont la même dimension ( est le noyau de la forme linéaire non nulle , de dimension par le théorème du rang, chapitre 5). Donc , ce qui est (8.12). Réciproquement, l'ensemble des solutions de est non vide (si , le point convient) et, si en est un point, il coïncide avec l'ensemble des tels que : c'est le plan par de normale .

Les coefficients $(a, b, c)$ d'une équation cartésienne se lisent donc directement comme un vecteur normal, et l'on peut multiplier l'équation par une constante non nulle sans changer le plan. Le passage entre les deux représentations d'un plan est immédiat:

paramétrique $\to$ cartésien: calculer $n = u \land v$ , puis $d = n \cdot O A$ ;
cartésien $\to$ paramétrique: résoudre l'équation par l'élimination de Gauss (deux inconnues libres), ou choisir un point du plan et deux vecteurs non colinéaires orthogonaux à .

Question 8.4

Remettez dans l'ordre les étapes permettant d'écrire l'équation cartésienne du plan passant par trois points non alignés $A$ , $B$ , $C$ .

Glissez les éléments pour les mettre dans le bon ordre

Lire les coefficients

(a, b, c)

de l'équation comme les composantes de

n

Contrôler que

B

C

vérifient aussi l'équation obtenue

Calculer

n = u \land v

et vérifier qu'il est non nul (les points ne sont pas alignés)

Déterminer

d = a x_{A} + b y_{A} + c z_{A}

en imposant que

A

vérifie l'équation

Former les vecteurs directeurs

u = A B

v = A C

Positions relatives et angles

Soient deux plans $P_{1} : n_{1} \cdot O M = d_{1}$ et . Ils sont si et seulement si et sont colinéaires (confondus si de plus les équations sont proportionnelles, avec le même rapport pour ). Sinon, ils se coupent selon une , dirigée par : en effet, la direction de l'intersection est orthogonale aux deux normales, comme dans l'exemple 8.3. Ce sont les deux situations possibles pour un système de deux équations à trois inconnues de rang (droite) ou de rang (plans parallèles: aucune solution, ou tout un plan).

Une droite $D = A + t u$ et un plan $P$ de normale $n$ sont parallèles si $u \cdot n = 0$ (la droite est contenue dans $P$ si de plus $A \in P$ ); sinon ils se coupent en un unique point, obtenu en substituant (8.9) dans (8.12) et en résolvant l'équation du premier degré en (voir l'application au lancer de rayons plus loin).

Les valeurs absolues garantissent un angle aigu, indépendant du sens choisi pour les normales. Par exemple, les plans $2 x - y + 2 z = 3$ et $x + 2 y - 2 z = 1$ ont pour normales $(2, - 1, 2)$ et $(1, 2, - 2)$ , de normes et et de produit scalaire : , soit . La droite dirigée par (la diagonale du cube) fait avec le plan horizontal , de normale , l'angle tel que , soit .

Distance d'un point à un plan, projection et symétrique

Démonstration. Soit $A$ un point quelconque de $P$ , de sorte que $n \cdot O A = d$ . Le point $H$ défini par (8.15) est de la forme $M_{0} - λ n$ : il est sur la perpendiculaire à passant par , et il appartient à puisque

n \cdot O H = n \cdot O M_{0} - \frac{n \cdot O M _{0} - d}{∥ n ∥ ^{2}} ∥ n ∥^{2} = d .

Pour tout point $P \in P$ , le vecteur $H P$ est dans le plan, donc orthogonal à $M_{0} H$ (colinéaire à ), et Pythagore donne . La distance cherchée est donc

∥ M_{0} H ∥ = \frac{∣ n \cdot O M _{0} - d ∣}{∥ n ∥ ^{2}} ∥ n ∥ = \frac{∣ a x _{0} + b y _{0} + c z _{0} - d ∣}{a ^{2} + b ^{2} + c ^{2}} .

De façon équivalente, $n \cdot O M_{0} - d = n \cdot A M_{0}$ : la distance est la valeur absolue de la composante de le long de la normale unitaire (figure 8.3). Enfin, est le milieu de par construction et est normal au plan: est le symétrique orthogonal.

Le signe de $a x_{0} + b y_{0} + c z_{0} - d$ indique de quel côté du plan se trouve $M_{0}$ : le plan partage l'espace en deux demi-espaces, celui où l'expression est positive (du côté vers lequel pointe ) et celui où elle est négative. Cette remarque est la clé des tests d'orientation en CAO.

Question 8.5

Calculez la distance du point $M = (1, 2, 3)$ au plan d'équation $2 x - 2 y + z = 5$ .

Applications en mécanique et en ingénierie

Moment d'une force

Un couple est un système de deux forces opposées $F$ et $- F$ appliquées en deux points $P$ et $Q$ : la résultante est nulle, mais le moment $O P \land F + O Q \land (- F) = QP \land F$ ne l'est pas, et il choisi. C'est ce que produit un tournevis ou un moteur électrique sur son arbre. Plus généralement, la statique d'un solide exige que la somme des forces la somme des moments soient nulles: six équations scalaires dans l'espace, contre trois dans le plan.

Vitesse d'un point d'un solide en rotation

Un solide tourne autour d'un axe passant par $O$ à la vitesse angulaire $ω$ (rad/s). On représente cette rotation par le vecteur rotation $ω$ , porté par l'axe, de norme $ω$ , orienté par la règle de la main droite (le solide tourne dans le sens des doigts lorsque le pouce pointe selon $ω$ ). La vitesse d'un point $P$ du solide est alors

v_{P} = ω \land O P . (8.17)

Cette formule condense trois faits: $v_{P}$ est orthogonale à l'axe et au rayon (donc tangente au cercle décrit par $P$ ), sa norme vaut $ω \cdot ∥ O P ∥ sin θ = ω ρ$ , où est la distance de à l'axe, et son sens est celui de la rotation. Par exemple, pour rad/s et m, on trouve m/s, de norme m/s : la distance de à l'axe est bien m, et la composante de n'intervient pas.

Normale à une facette et orientation d'un maillage

En CAO, en impression 3D (format STL) et en graphisme, une surface est approchée par un maillage de triangles. Chaque facette de sommets $P_{1}, P_{2}, P_{3}$ possède une normale

n = P_{1} P_{2} \land P_{1} P_{3}, \hat{n} = \frac{n}{∥ n ∥},

et une aire $\frac{1}{2} ∥ n ∥$ . L'ordre des sommets est significatif: échanger $P_{2}$ et $P_{3}$ renverse la normale. La convention universelle est que les sommets sont listés dans le sens antihoraire lorsqu'on regarde la facette depuis l'extérieur de la pièce, de sorte que $\hat{n}$ pointe vers l'extérieur. Une facette «retournée» produit des trous ou des artefacts d'éclairage; les logiciels de préparation d'impression les détectent en vérifiant, pour chaque facette, le signe de où est un point intérieur, qui doit être négatif. La facette de sommets , , a pour normale , d'aire , orientée vers l'extérieur du tétraèdre de sommet puisque .

Aire d'un polygone de l'espace

L'aire d'un polygone plan $P_{1} P_{2} \dots P_{k}$ de l'espace se calcule sans le découper explicitement en triangles, par la formule du lacet vectorielle:

A = \frac{1}{2} i = 1 \sum k O P_{i} \land O P_{i + 1} (P_{k + 1} = P_{1}), (8.18)

valable pour tout polygone simple (sans croisement) et tout choix de l'origine $O$ . En effet, pour un triangle $P_{1} P_{2} P_{3}$ , l'identité $P_{1} P_{2} \land P_{1} P_{3} = p_{1} \land p_{2} + p_{2} \land p_{3} + p_{3} \land p_{1}$ (avec , développer par bilinéarité) donne le double de l'aire orientée; pour un polygone convexe découpé en triangles depuis , les termes intermédiaires se télescopent et les normales des triangles, toutes de même sens, s'additionnent. Pour le quadrilatère , , , (un rectangle incliné), la somme vaut , d'où , ce qui est bien .

Intersection d'un rayon et d'un plan

Le lancer de rayons (ray tracing) calcule une image en suivant, pour chaque pixel, le rayon $R (t) = O + t d$ ( $t \geq 0$ ) issu de la caméra $O$ dans la direction $d$ et en cherchant la première surface rencontrée. Pour un plan $n \cdot O M = δ$ , on substitue: , où nous notons ici le point de départ du rayon pour ne pas le confondre avec l'origine, d'où

t^{*} = \frac{δ - n \cdot O O ^{'}}{n \cdot d} (n \cdot d \neq = 0) . (8.19)

Si $n \cdot d = 0$ , le rayon est parallèle au plan; si $t^{*} < 0$ , le plan est derrière la caméra. Pour le plan $2 x + y + 2 z = 8$ et le rayon partant de $O^{'} = (1, 1, 5)$ dans la direction , on trouve et , donc et le point d'impact est . Pour une facette triangulaire, on teste ensuite si le point d'impact est du triangle, en le décomposant sur et (exercice 8.4). Le signe de dit en outre si le rayon frappe la face avant ou la face arrière, ce qui permet d'éliminer d'emblée les facettes tournant le dos à la caméra ().

Synthèse

Le produit vectoriel $u \land v$ , défini par (8.2), est bilinéaire, antisymétrique, orthogonal à $u$ et $v$ , de norme $∥ u ∥ ∥ v ∥ sin θ$ (aire du parallélogramme) et orienté par la règle de la main droite; il est nul si et seulement si $u$ et $v$ sont colinéaires. Il n'est ni commutatif ni associatif.
Le produit mixte $[u, v, w] = (u \land v) \cdot w$ est le déterminant : volume signé du parallélépipède, un sixième pour le tétraèdre, nul si et seulement si les vecteurs sont coplanaires.

Série d'exercices du chapitre 8Exercice 1 sur 5

Question 8.6

Soient $u, v, w$ trois vecteurs de $R^{3}$ . Laquelle de ces égalités est vraie pour tous $u, v, w$ ?

Exercices

Vous pouvez afficher le corrigé directement sous chaque énoncé après avoir cherché la solution.

Exercice 8.1 · Calculs élémentaires

Soient $u = (1, - 2, 2)$ , $v = (3, 0, - 1)$ et $w = (0, 1, 1)$ .

Exercice 8.2 · Droite et plan

Soit $D$ la droite de représentation paramétrique $M (t) = (1, 2, 0) + t (1, - 1, 2)$ et $P$ le plan d'équation $2 x + y - z = 3$ .

Exercice 8.3 · Perpendiculaire commune à deux droites gauches

Soient $D_{1}$ passant par $A = (1, 2, 0)$ , dirigée par $u = (1, 0, 1)$ , et $D_{2}$ passant par , dirigée par .

Exercice 8.4 · Facette d'un maillage et lancer de rayons

Une facette triangulaire d'un maillage STL a pour sommets, dans cet ordre, $P_{1} = (0, 0, 0)$ , $P_{2} = (4, 0, 0)$ et (en cm). Le centre de gravité de la pièce est en .

Exercice 8.5 · Identité de Lagrange et formule du double produit vectoriel

Démontrer l'identité de Lagrange (8.3): pour tous $u, v \in R^{3}$ , $∥ u \land v ∥^{2} + (u \cdot v)^{2} = ∥ u ∥^{2} ∥ v ∥^{2}$ .

Références

Lay, D. C., Lay, S. R. et McDonald, J. J., Algèbre linéaire et applications, 5e éd., Pearson, Montréal, chap. 6.
Strang, G., Introduction to Linear Algebra, 5e éd., Wellesley-Cambridge Press, Wellesley, chap. 4 et 5.
Grifone, J., Algèbre linéaire, 6e éd., Cépaduès, Toulouse, chap. 7 (géométrie euclidienne).
Liret, F. et Martinais, D., Algèbre 1re année, 2e éd., Dunod, Paris, chap. «Géométrie de l'espace».
Gruber, P. et Weber, R., Algèbre linéaire, polycopié de l'EPFL, Lausanne.
Hibbeler, R. C., Engineering Mechanics: Statics, 14e éd., Pearson, Hoboken, chap. 2 et 4 (produit vectoriel, moment d'une force).

Objectifs du chapitre

Pourquoi une géométrie propre à l'espace?

Rappels: vecteurs et repères de l'espace

Repère orthonormé direct

Produit scalaire, norme et angle

Le produit vectoriel

Définition

Premières propriétés

Norme et aire

Orientation et règle de la main droite

Le produit vectoriel n'est pas associatif

Produit mixte et volumes

Droites de l'espace

Représentations d'une droite

Positions relatives de deux droites

Distance d'un point à une droite

Distance entre deux droites gauches

Plans de l'espace

Équation cartésienne et vecteur normal

Positions relatives et angles

Distance d'un point à un plan, projection et symétrique

Applications en mécanique et en ingénierie

Moment d'une force

Vitesse d'un point d'un solide en rotation

Normale à une facette et orientation d'un maillage

Aire d'un polygone de l'espace

Intersection d'un rayon et d'un plan

Synthèse

Exercices

Références

Vecteurs directeurs et vecteur normal

Équation cartésienne

Distance du point D au plan

Volume du tétraèdre