Outils mathématiques pour la physique (PCSI)/Produit scalaire, produit vectoriel et produit mixte

**Produit scalaire, produit vectoriel et produit mixte**
Leçon : Outils mathématiques pour la physique (PCSI)

Chapitre n^o 7
Chap. préc. :	Fonction de plusieurs variables indépendantes
Chap. suiv. :	Grandeurs associées à une fonction sinusoïdale du temps : amplitude complexe et vecteur de Fresnel

En raison de limitations techniques, la typographie souhaitable du titre, « Outils mathématiques pour la physique (PCSI) : Produit scalaire, produit vectoriel et produit mixte
Outils mathématiques pour la physique (PCSI)/Produit scalaire, produit vectoriel et produit mixte », n'a pu être restituée correctement ci-dessus.

Produit scalaire de deux vecteurs

Définition intrinsèque du produit scalaire de deux vecteurs

Soient deux vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ d'un espace vectoriel à trois $\;{\big (}$ ou deux ${\big )}\;$ dimensions représentés au même point $\;M\;$ de l'espace physique affine dont l'espace vectoriel est la direction^[1] ; nous commençons par donner une « définition intrinsèque »^[2] du produit scalaire avant de poursuivre avec une définition équivalente utilisant une base de l'espace.

Définition intrinsèque

     Le produit scalaire des vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}$ , noté $\;{\vec {u}}\!\cdot \!{\vec {v}}$ ,
     Le produit scalaire des vecteurs est le scalaire égal au
     Le produit de la norme d'un des vecteurs par la mesure algébrique du projeté du 2^ème vecteur sur la direction orientée du 1^er soit encore

\;{\vec {u}}\!\cdot \!{\vec {v}}=\Vert {\vec {u}}\Vert \times {\overline {\mathrm {proj.sur} \,{\vec {u}}\,\mathrm {de} \,{\vec {v}}}}\;

ou

\;{\vec {u}}\!\cdot \!{\vec {v}}=\Vert {\vec {v}}\Vert \times {\overline {\mathrm {proj.sur} \,{\vec {v}}\,\mathrm {de} \,{\vec {u}}}}

.

     Avec $\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}$ , on en déduit $\;{\overline {\mathrm {proj.sur} \,{\vec {u}}\,\mathrm {de} \,{\vec {v}}}}={\overline {MK}}=\Vert {\vec {v}}\Vert \times \cos(\alpha )\;$ ainsi que
     Avec $\;\color {transparent}{\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}}$ , on en déduit $\;{\overline {\mathrm {proj.sur} \,{\vec {v}}\,\mathrm {de} \,{\vec {u}}}}={\overline {MH}}=\Vert {\vec {u}}\Vert \times \cos(\alpha )\;$ d'où, en utilisant l'une ou l'autre forme de la définition intrinsèque^[2] du produit scalaire de $\;{\vec {u}}\;$ et $\;{\vec {v}}$ ,
     Avec $\;\color {transparent}{\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}}$ , on en déduit $\;{\vec {u}}\!\cdot \!{\vec {v}}=\Vert {\vec {u}}\Vert \times \Vert {\vec {v}}\Vert \times \cos(\alpha )$ .

Autre forme de la définition intrinsèque

Le produit scalaire des vecteurs

\;{\vec {u}}\;

et

\;{\vec {v}}

, noté

\;{\vec {u}}\!\cdot \!{\vec {v}}

, est le scalaire égal au
Le produit des normes des deux vecteurs par le cosinus de l'angle formé entre les deux vecteurs

\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}\;

soit encore

\;{\vec {u}}\!\cdot \!{\vec {v}}=\Vert {\vec {u}}\Vert \times \Vert {\vec {v}}\Vert \times \cos(\alpha )

.

Conséquence de la définition d'un produit scalaire sur un espace vectoriel à trois (ou deux) dimensions

     La définition de la multiplication scalaire de deux vecteurs d'un espace vectoriel à trois $\;{\big (}$ ou deux ${\big )}\;$ dimensions rend l'espace vectoriel euclidien de même
                 La définition de la multiplication scalaire de deux vecteurs d'un espace vectoriel à trois $\;\color {transparent}{\big (}$ ou deux $\color {transparent}{\big )}\;$ elle rend euclidien l'espace affine dont cet espace vectoriel est la direction^[1],
           La définition de la multiplication scalaire de deux vecteurs d'un espace vectoriel à trois $\;\color {transparent}{\big (}$ ou deux $\color {transparent}{\big )}\;$ le caractère euclidien de l'espace affine permettant de définir
           La définition de la multiplication scalaire de deux vecteurs d'un espace vectoriel à trois $\;\color {transparent}{\big (}$ ou deux $\color {transparent}{\big )}\;$ le caractère euclidien de l'espace affine la distance entre deux points de l'espace affine^[3].

Propriétés

Valeurs possibles d'un produit scalaire de deux vecteurs

« Lorsque $\;{\vec {u}}\;$ ou $\;{\vec {v}}\;$ est nul », « $\;{\vec {u}}\!\cdot \!{\vec {v}}=0\;$ » ;

« lorsque aucun des vecteurs n'est nul mais $\;{\vec {u}}\perp {\vec {v}}\;$ », $\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}=\pm {\dfrac {\pi }{2}}\Rightarrow \cos(\alpha )=0\;$ d'où « $\;{\vec {u}}\!\cdot \!{\vec {v}}=0\;$ » ;

« dans tous les autres cas $\;{\vec {u}}\!\cdot \!{\vec {v}}\neq 0\;$ » en étant $\;\left\lbrace {\begin{array}{c}>0\;\;{\text{si }}\;\alpha \;{\text{est aigu}}\\<0\;\;{\text{si }}\;\alpha \;{\text{est obtus}}\end{array}}\right.$ .

À retenir

« Deux vecteurs

\;{\vec {u}}\;

et

\;{\vec {v}}\;

non nuls sont orthogonaux ssi

\;{\vec {u}}\!\cdot \!{\vec {v}}=0\;

».

Autres propriétés

La multiplication scalaire entre deux vecteurs est commutative c.-à-d. « $\;{\vec {u}}\!\cdot \!{\vec {v}}={\vec {v}}\!\cdot \!{\vec {u}}\;$ »^[4].

La multiplication scalaire entre deux vecteurs est distributive par rapport à l'addition vectorielle c.-à-d. « $\;{\vec {u}}\!\cdot \!\left({\vec {v}}+{\vec {w}}\right)={\vec {u}}\!\cdot \!{\vec {v}}+{\vec {u}}\!\cdot \!{\vec {w}}\;$ »^[5].

Définition du produit scalaire de deux vecteurs à l'aide de leurs composantes sur une base de l'espace

On considère une base « orthonormée »^[6] de l'espace vectoriel à trois dimensions $\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ ^[7] ainsi que
On considère la décomposition de $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ dans cette base $\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\\{\vec {v}}=v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\end{array}}\right.$ ; utilisant la distributivité de la multiplication scalaire entre deux vecteurs relativement à l'addition vectorielle^[8] on obtient $\;{\vec {u}}\!\cdot \!{\vec {v}}=\left(u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\right)\!\cdot \!\left(v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\right)=u_{x}\,v_{x}\,{\vec {i}}^{2}+u_{y}\,v_{y}\,{\vec {j}}^{2}+u_{z}\,v_{z}\,{\vec {k}}^{2}+\left(u_{x}\,v_{y}+u_{y}\,v_{x}\right){\cancel {{\vec {i}}\!\cdot \!{\vec {j}}}}+\left(u_{x}\,v_{z}+u_{z}\,v_{x}\right){\cancel {{\vec {i}}\!\cdot \!{\vec {k}}}}\,+\left(u_{y}\,v_{z}+u_{z}\,v_{y}\right){\cancel {{\vec {j}}\!\cdot \!{\vec {k}}}}\;$ en utilisant le caractère orthogonal deux à deux des vecteurs de base et enfin, par utilisation du caractère normé de ces derniers « $\;{\vec {u}}\!\cdot \!{\vec {v}}=u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}\;$ ».

Définition équivalente utilisant les composantes des deux vecteurs

Le produit scalaire des vecteurs

\;{\vec {u}}\;

et

\;{\vec {v}}\;

peut se définir à l'aide de leurs composantes dans une base orthonormée

\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;

de l'espace vectoriel à trois dimensions, à savoir

\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\\{\vec {v}}=v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\end{array}}\right.

,
Le produit scalaire des vecteurs

\;\color {transparent}{\vec {u}}\;

et

\;\color {transparent}{\vec {v}}\;

peut se définir comme le scalaire «

\;u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}\;

noté

\;{\vec {u}}\!\cdot \!{\vec {v}}\;

», soit
Le produit scalaire des vecteurs

\;\color {transparent}{\vec {u}}\;

et

\;\color {transparent}{\vec {v}}\;

peut se définir comme le scalaire «

\;{\vec {u}}\!\cdot \!{\vec {v}}=u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}\;

».

Remarque

Le produit scalaire des vecteurs

\;{\vec {u}}\;

et

\;{\vec {v}}\;

ayant une définition intrinsèque^[2], sa valeur est la même pour toute base orthonormée ;
si on définit deux bases orthonormées distinctes de l'espace vectoriel à trois dimensions

\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;

et

\;\left\lbrace {\vec {i'}},\,{\vec {j'}},\,{\vec {k'}}\right\rbrace \;

dans lesquelles les composantes des deux vecteurs sont respectivement

\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\\{\vec {v}}=v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\end{array}}\right.\;

et

\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x'}\,{\vec {i'}}+u_{y'}\,{\vec {j'}}+u_{z'}\,{\vec {k'}}\\{\vec {v}}=v_{x'}\,{\vec {i'}}+v_{y'}\,{\vec {j'}}+v_{z'}\,{\vec {k'}}\end{array}}\right.\;

\Rightarrow

l'« invariance du produit scalaire par changement de base »^[9] soit «

\;{\vec {u}}\!\cdot \!{\vec {v}}=u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}=u_{x'}\,v_{x'}+u_{y'}\,v_{y'}+u_{z'}\,v_{z'}\;

».

Calcul de l'angle entre deux vecteurs connaissant leurs composantes dans une même base orthonormée et par l'intermédiaire de leur produit scalaire

     Soient deux vecteurs non nuls $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ de l'espace vectoriel à trois dimensions dans lequel on définit la base orthonormée $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace$ ,
     supposons connues les composantes de ces vecteurs dans cette base c.-à-d. $\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\\{\vec {v}}=v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\end{array}}\right.\;$ et
     cherchons à déterminer l'angle $\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}\;$ ^[10] entre ces deux vecteurs ; pour cela
     on exprime le produit scalaire de ces deux vecteurs de façon intrinsèque ^[2] « $\;{\vec {u}}\!\cdot \!{\vec {v}}=\Vert {\vec {u}}\Vert \times \Vert {\vec {v}}\Vert \times \cos(\alpha )\;$ »^[11] puis
     on explicite ce dernier en utilisant leurs composantes                                     « $\;{\vec {u}}\!\cdot \!{\vec {v}}=u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}\;$ »^[12],
     on en déduit alors                                                                                             « $\;\cos(\alpha )={\dfrac {u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}}{\Vert {\vec {u}}\Vert \times \Vert {\vec {v}}\Vert }}\;$ », la norme des vecteurs étant éliminée selon $\;\left\lbrace {\begin{array}{c}\Vert {\vec {u}}\Vert ={\sqrt {u_{x}^{2}+u_{y}^{2}+u_{z}^{2}}}\\\Vert {\vec {v}}\Vert ={\sqrt {v_{x}^{2}+v_{y}^{2}+v_{z}^{2}}}\end{array}}\right.\;$ d'où
     on en déduit alors                                                                                             « $\;\cos(\alpha )={\dfrac {u_{x}\,v_{x}+u_{y}\,v_{y}+u_{z}\,v_{z}}{{\sqrt {u_{x}^{2}+u_{y}^{2}+u_{z}^{2}}}\,{\sqrt {v_{x}^{2}+v_{y}^{2}+v_{z}^{2}}}}}\;$ ».

Produit vectoriel de deux vecteurs

La définition de la multiplication vectorielle de deux vecteurs d'un espace vectoriel à trois dimensions nécessite de vérifier, au préalable, que l'espace affine dont l'espace vectoriel est la direction^[1] est orientable^[13], ce que nous admettrons ;
l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] étant orientable^[13] et connexe, nous admettrons qu'il y a exactement deux orientations possibles différentes, le choix d'une de ces orientations qualifiant l'espace physique affine à trois dimensions de

« orienté à droite » $\;{\big (}$ orientation définie par le mouvement de rotation et translation associées d'un tire-bouchon de Maxwell^[14] positionné en un point $\;M\;$ de l'espace ${\big )}\;$ ou
« orienté à gauche » $\;{\big (}$ orientation définissable par le mouvement de rotation et translation associées d'un tire-bouchon de farces et attrapes^[15] positionné en un point $\;M\;$ de l'espace ${\big )}\;$ .

Dans la suite de ce paragraphe nous supposons, en absence de précision, l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] « orienté à droite » $\;{\big \{}$ par abus nous dirons « l'espace vectoriel est orienté à droite » au lieu de « l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] est orienté à droite » $\;{\big (}$ nous emploierions le même abus pour « l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] orienté à gauche » ${\big )}{\big \}}$ .

Base directe d'un espace orienté à droite

Soit une base « orthonormée »^[6] $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ de l'espace vectoriel, direction^[1] de l'espace physique affine à trois dimensions « orienté à droite »^[16], la base est

« directe » si, levant le pouce de la main droite dans le sens de $\;{\vec {i}}$ , l'index pointant dans le sens de $\;{\vec {j}}$ , « le sens de $\;{\vec {k}}\;$ est donné par le majeur courbé vers la paume de la main droite »^[17] $\;{\big (}$ voir schémas^[18] ci-contre à gauche ${\big )}\;$ ou
« indirecte » si, levant le pouce de la main gauche dans le sens de $\;{\vec {i}}$ , l'index pointant dans le sens de $\;{\vec {j}}$ , « le sens de $\;{\vec {k}}\;$ est donné par le majeur courbé vers la paume de la main gauche » $\;{\big (}$ « règle de la main gauche »^[19] ${\big )}$ $\;{\big (}$ voir schémas^[20] ci-dessus à droite ${\big )}$ .

Remarque

Si la base

\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;

est orthonormée « directe », la base

\;\left\lbrace {\vec {i}},\,{\vec {j}},\,-{\vec {k}}\right\rbrace \;

est orthonormée « indirecte »^[21] et il en est de même de toutes les bases obtenues à partir de

\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;

en remplaçant un quelconque vecteur de la base par son opposé ;
par contre si on remplace deux vecteurs quelconques de la base par leurs opposés par exemple

\;\left\lbrace {\vec {i}},\,-{\vec {j}},\,-{\vec {k}}\right\rbrace

, on retrouve une base « directe » et
si on remplace les trois vecteurs de la base par leurs opposés soit

\;\left\lbrace -{\vec {i}},\,-{\vec {j}},\,-{\vec {k}}\right\rbrace

, la base est de nouveau « indirecte ».

Base directe (au sens de la physique) d'un espace orienté à gauche

     Préliminaire : Dans un espace « orienté à gauche »^[16], la notion de base « directe $\;{\big (}$ au sens de la physique ${\big )}\;$ » doit être identifiée à celle de base « indirecte introduite en mathématiques » et
           Préliminaire : Dans un espace « orienté à gauche »,       celle de base « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ » doit être identifiée à celle de base « directe introduite en mathématiques » en effet,
     Préliminaire : « en mathématiques, une base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ est dite directe » si les sens des vecteurs successifs de la base sont donnés par la même règle que celle définissant l'orientation de l'espace,
     Préliminaire : « en mathématiques, pour un espace « orienté à gauche »^[16] une base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ est donc dite directe si elle suit la « règle de la main gauche »^[19] et
           Préliminaire : « en mathématiques, pour un espace « orienté à gauche » une base $\;\color {transparent}{\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace }\;$ est donc dite indirecte si elle suit la « règle de la main droite »^[17] alors que
     Préliminaire : « en physique, une base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ sera dite directe » si les sens des vecteurs successifs de la base suivent la « règle de la main droite »^[17] quelle que soit l'orientation de l'espace,
     Préliminaire : « en physique, pour un espace « orienté à gauche »^[16] une base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ sera donc dite directe $\;{\big (}$ au sens de la physique ${\big )}\;$ si elle suit la « règle de la main droite »^[17] et
           Préliminaire : « en physique, pour un espace « orienté à gauche » une base $\;\color {transparent}{\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace }\;$ sera donc dite indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ si elle suit la « règle de la main gauche »^[19] ;

     Préliminaire : « en physique, la raison du choix fait en physique dans un espace « orienté à gauche »^[16] est son utilisation pratique en optique géométrique lors de la présence d'un miroir plan en effet
     Préliminaire : « en physique, la raison du choix fait en physique un miroir plan mettant en correspondance un espace objet^[22] avec un espace image^[23],
     Préliminaire : « en physique, la raison du choix fait en physique un miroir plan pour un espace objet usuellement « orienté à droite »^[16] avec choix d'une base « directe » $\;\left\lbrace {\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ ^[24]
           Préliminaire : « en physique, la raison du choix fait en physique un miroir plan pour un espace objet usuellement « orienté à droite » obtenu par la « règle de la main droite »^[17], il est souhaitable,
     Préliminaire : « en physique, la raison du choix fait en physiquement, que l'espace image associé soit « orienté à gauche »^[16]^,^[25] avec choix d'une base symétrique de $\;\left\lbrace {\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ par rapport
                  Préliminaire : « en physique, la raison du choix fait en physiquement, que l'espace image associé soit « orienté à gauche » au miroir soit $\;\left\lbrace {{\vec {u}}'}_{\!x}=-{\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ ^[26], base de l'espace image
                  Préliminaire : « en physique, la raison du choix fait en physiquement, que l'espace image associé soit « orienté à gauche » au miroir soit obtenue par la « règle de la main gauche »^[19] ;
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de la base de l'espace image suivant la même règle que celle définissant l'orientation de l'espace image,
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de la base serait qualifiée de « directe en mathématiques » mais
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de la base est qualifiée d'« indirecte en physique » car, ce qui importe le plus en physique,
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de c'est le choix de la base indépendamment de l'orientation de l'espace, par suite, il semble difficile
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de de qualifier simultanément $\;{\big (}$ comme il faudrait le faire en suivant les définitions mathématiques ${\big )}\;$
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de de qualifier simultanément de « directe » la base de l'espace objet « orienté à droite »^[16],
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de de qualifier simultanément de « directe » la base obtenue par la « règle de la main droite »^[17] et
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de de qualifier simultanément de « directe » la base de l'espace image « orienté à gauche »^[16],
     Préliminaire : « en physique, la raison du choix fait en physique les sens des vecteurs successifs de de qualifier simultanément de « directe » la base obtenue par la « règle de la main gauche »^[19] $\;\ldots$

     Caractère direct ou indirect d'une base d'un espace orienté à gauche en physique : Soit une base « orthonormée »^[6] $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ de l'espace vectoriel, direction^[1] de l'espace physique affine à trois dimensions « orienté à gauche »^[16] $\;{\big (}$ l'orientation étant obtenue avec la « règle de la main gauche »^[19] ${\big )}$ ,
     Caractère direct ou indirect d'une base d'un espace orienté à gauche en physique : la base est qualifiée de $\bullet \;$ « directe $\;{\big (}$ au sens de la physique ${\big )}\;$ » si les sens des vecteurs successifs de la base
     Caractère direct ou indirect d'une base d'un espace orienté à gauche en physique : la base est qualifiée de $\color {transparent}{\bullet }\;$ « directe $\;\color {transparent}{\big (}$ au sens de la physique $\color {transparent}{\big )}\;$ » suivent la « règle de la main droite »^[17] ou
     Caractère direct ou indirect d'une base d'un espace orienté à gauche en physique : la base est qualifiée de $\bullet \;$ « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ » si les sens des vecteurs successifs de la base
     Caractère direct ou indirect d'une base d'un espace orienté à gauche en physique : la base est qualifiée de $\color {transparent}{\bullet }\;$ « indirecte $\;\color {transparent}{\big (}$ au sens de la physique $\color {transparent}{\big )}\;$ » suivent la « règle de la main gauche »^[19].

Définition intrinsèque du produit vectoriel de deux vecteurs

Définition intrinsèque

\;{\vec {u}}\;

et

\;{\vec {v}}\;

étant deux vecteurs de l'espace vectoriel, direction^[1] de l'espace physique affine à trois dimensions « orienté »^[16], on définit le produit vectoriel de

\;{\vec {u}}\;

et

\;{\vec {v}}

, noté

\;{\vec {u}}\wedge {\vec {v}}

, comme le vecteur ayant les propriétés suivantes :

si $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ sont colinéaires ou si un des deux vecteurs au moins est nul, $\;{\vec {u}}\wedge {\vec {v}}={\vec {0}}$ ,
si $\;{\vec {u}}\neq {\vec {0}}\;$ et $\;{\vec {v}}\neq {\vec {0}}\;$ ne sont pas colinéaires, $\;{\vec {u}}\wedge {\vec {v}}\neq {\vec {0}}\;$ ^[27] et
$\succ \;$ sa direction est normale au plan formé par $\;{\vec {u}}\;$ et $\;{\vec {v}}$ ,
$\succ \;$ son sens est tel que le trièdre $\;\left\lbrace {\vec {u}},\,{\vec {v}},\,{\vec {u}}\wedge {\vec {v}}\right\rbrace \;$ est « direct » pour « un espace orienté à droite »^[16]^,^[28] et
$\color {transparent}{\succ }\;$ son sens est tel que le trièdre $\;\color {transparent}{\left\lbrace {\vec {u}},\,{\vec {v}},\,{\vec {u}}\wedge {\vec {v}}\right\rbrace }\;$ est « indirect ${\big (}$ au sens de la physique ${\big )}\;$ » pour « un espace orienté à gauche »^[16]^,^[29]
$\succ \;$ sa norme est définie par $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert =\left\Vert {\vec {u}}\right\Vert \;\left\Vert {\vec {v}}\right\Vert \;|\sin(\alpha )|\;$ où $\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}$ .

Propriétés

$\succ \;$ La multiplication vectorielle entre deux vecteurs est anticommutative c.-à-d. « $\;{\vec {v}}\wedge {\vec {u}}=-\left({\vec {u}}\wedge {\vec {v}}\right)\;$ » ;

$\succ \;$ la multiplication vectorielle entre deux vecteurs est distributive par rapport à l'addition vectorielle c.-à-d. « $\;{\vec {u}}\wedge \left({\vec {v}}+{\vec {w}}\right)=$ ${\vec {u}}\wedge {\vec {v}}+{\vec {u}}\wedge {\vec {w}}\;$ ».

Définition du produit vectoriel de deux vecteurs à l'aide de leurs composantes sur une base de l'espace

Définition (équivalente) du produit vectoriel à l'aide d'une base orthonormée

Soient

\;{\vec {u}}\;(u_{1},\,u_{2},\,u_{3})\;

et

\;{\vec {v}}\;(v_{1},\,v_{2},\,v_{3})\;

les composantes de

\;{\vec {u}}\;

et

\;{\vec {v}}\;

dans une base orthonormée

\;({\vec {e}}_{1},\,{\vec {e}}_{2},\,{\vec {e}}_{3})

\;{\big \{}

base « directe dans un espace orienté à droite »^[16] et « indirecte

\;{\big (}

au sens de la physique

{\big )}\;

dans un espace orienté à gauche »^[16]^,^[29]

{\big \}}

, les composantes de

\;{\vec {u}}\wedge {\vec {v}}\;

dans la même base sont «

\;(u_{2}\,v_{3}-u_{3}\,v_{2},\;u_{3}\,v_{1}-u_{1}\,v_{3},\;u_{1}\,v_{2}-u_{2}\,v_{1})\;

» ;
on peut les déterminer de la façon décrite ci-après :

\;\left\lbrace {\begin{array}{l c c c c c}&&{\vec {u}}&\wedge &{\vec {v}}&=&{\vec {u}}\wedge {\vec {v}}\\{\vec {e}}_{1}&|&u_{1}&&v_{1}&&u_{2}\,v_{3}-u_{3}\,v_{2}\\{\vec {e}}_{2}&|&u_{2}&^{+}{\searrow }&v_{2}&&\\{\vec {e}}_{3}&|&u_{3}&_{-}{\nearrow }&v_{3}&&\end{array}}\right\rbrace \;

^[30]

\;\left\lbrace {\begin{array}{l c c c c c}&&{\vec {u}}&\wedge &{\vec {v}}&=&{\vec {u}}\wedge {\vec {v}}\\{\vec {e}}_{1}&|&u_{1}&&v_{1}&&\\{\vec {e}}_{2}&|&u_{2}&&v_{2}&&u_{3}\,v_{1}-u_{1}\,v_{3}\\{\vec {e}}_{3}&|&u_{3}&^{+}{\searrow }&v_{3}&&\\{\vec {e}}_{1}&|&u_{1}&_{-}{\nearrow }&v_{1}&&\end{array}}\right\rbrace \;

^[31]

\;\left\lbrace {\begin{array}{l c c c c c}&&{\vec {u}}&\wedge &{\vec {v}}&=&{\vec {u}}\wedge {\vec {v}}\\{\vec {e}}_{1}&|&u_{1}&^{+}{\searrow }&v_{1}&&\\{\vec {e}}_{2}&|&u_{2}&_{-}{\nearrow }&v_{2}&&\\{\vec {e}}_{3}&|&u_{3}&&v_{3}&&u_{1}\,v_{2}-u_{2}\,v_{1}\end{array}}\right\rbrace \;

^[32].

Remarque : La détermination des composantes du produit vectoriel des deux vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ étant la même quel que soit le caractère « direct ou indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ de la base » adaptée à l'« orientation à droite ou à gauche de l'espace »^[16] $\Rightarrow$ le produit vectoriel de ces deux vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ dans un espace orienté à gauche^[16] $\;{\big \{}$ avec base indirecte $\;{\big (}$ au sens de la physique ${\big )}{\big \}}\;$ est opposé à celui de $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ dans un espace orienté à droite^[16] $\;{\big \{}$ avec base directe ${\big \}}\;$ en effet

     Remarque : appelant $\;({\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ la base « directe dans un espace orienté à droite »^[16] et
     Remarque : appelant $\;({{\vec {b}}'}_{\!1}=-{\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ la base « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ dans le même espace orienté à gauche »^[16],
     Remarque : les composantes de $\;{\vec {u}}\;$ « dans $\;({\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ étant $\;(u_{1},\,u_{2},\,u_{3})\;$ », « dans $\;({{\vec {b}}'}_{\!1}=-{\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ elles sont $\;({u'}_{\!1}=-u_{1},\,u_{2},\,u_{3})\;$ », de même
     Remarque : les composantes de $\;{\vec {v}}\;$ « dans $\;({\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ étant $\;(v_{1},\,v_{2},\,v_{3})\;$ », « dans $\;({{\vec {b}}'}_{\!1}=-{\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ elles sont $\;({v'}_{\!1}=-v_{1},\,v_{2},\,v_{3})\;$ », nous en déduisons que
     Remarque : les composantes de $\;{\vec {u}}\wedge {\vec {v}}\;$ « dans $\;({\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ sont $\;\left\lbrace u_{2}\,v_{3}-u_{3}\,v_{2}\;,\;u_{3}\,v_{1}-u_{1}\,v_{3}\;,\;u_{1}\,v_{2}-u_{2}\,v_{1}\right\rbrace \;$ » et
     Remarque : les composantes de              « dans $\;({{\vec {b}}'}_{\!1}=-{\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ sont $\;\left\lbrace u_{2}\,v_{3}-u_{3}\,v_{2}\;,\;u_{3}\,{v'}_{\!1}-{u'}_{\!1}\,v_{3}\;,\;{u'}_{\!1}\,v_{2}-u_{2}\,{v'}_{\!1}\right\rbrace =\left\lbrace (u_{2}\,v_{3}-u_{3}\,v_{2})\;,\;-(u_{3}\,v_{1}-u_{1}\,v_{3})\;,\;-(u_{1}\,v_{2}-u_{2}\,v_{1})\right\rbrace \;$ »

Remarque : d'où $\;{\vec {u}}\wedge {\vec {v}}\;$ exprimé dans $\;({\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ et dans $\;({{\vec {b}}'}_{\!1}=-{\vec {b}}_{1},\,{\vec {b}}_{2},\,{\vec {b}}_{3})\;$ ayant une même 1^ère composante et un couple de 2^ème, 3^ème composante opposée sont des vecteurs opposés,

Remarque : cette conclusion étant en accord avec la définition intrinsèque^[2] du produit vectoriel de deux vecteurs.

Propriété des vecteurs de base d'une base orthonormée

Propriété

Soit une base orthonormée

\;({\vec {e}}_{1},\,{\vec {e}}_{2},\,{\vec {e}}_{3})\;

d'un espace orienté

\;{\big (}

« à droite » ou « à gauche »

{\big )}\;

^[16], « tout vecteur de base peut être écrit comme le produit vectoriel des deux autres vecteurs de base

\;{\big (}

en respectant l'ordre de la base

{\big )}\;

» :

\;\left\lbrace {\begin{array}{c}{\vec {e}}_{1}={\vec {e}}_{2}\wedge {\vec {e}}_{3}\\{\vec {e}}_{2}={\vec {e}}_{3}\wedge {\vec {e}}_{1}\\{\vec {e}}_{3}={\vec {e}}_{1}\wedge {\vec {e}}_{2}\end{array}}\right.\;

^[33].

     On peut utiliser cette propriété et la distributivité de la multiplication vectorielle relativement à l'addition vectorielle^[34] pour retrouver les composantes du produit vectoriel de deux vecteurs en effet :
      $\;{\vec {u}}\wedge {\vec {v}}=\left(u_{1}\,{\vec {e}}_{1}+u_{2}\,{\vec {e}}_{2}+u_{3}\,{\vec {e}}_{3}\right)\wedge \left(v_{1}\,{\vec {e}}_{1}+v_{2}\,{\vec {e}}_{2}+v_{3}\,{\vec {e}}_{3}\right)$
      $\;\color {transparent}{{\vec {u}}\wedge {\vec {v}}}$ $=u_{1}\,v_{2}\left({\vec {e}}_{1}\wedge {\vec {e}}_{2}\right)+u_{1}\,v_{3}\left({\vec {e}}_{1}\wedge {\vec {e}}_{3}\right)+u_{2}\,v_{1}\left({\vec {e}}_{2}\wedge {\vec {e}}_{1}\right)+u_{2}\,v_{3}\left({\vec {e}}_{2}\wedge {\vec {e}}_{3}\right)+u_{3}\,v_{1}\left({\vec {e}}_{3}\wedge {\vec {e}}_{1}\right)+u_{3}\,v_{2}\left({\vec {e}}_{3}\wedge {\vec {e}}_{2}\right)$
      $\;\color {transparent}{{\vec {u}}\wedge {\vec {v}}}$ $=\left(u_{1}\,v_{2}-u_{2}\,v_{1}\right)\left({\vec {e}}_{1}\wedge {\vec {e}}_{2}\right)+\left(u_{2}\,v_{3}-u_{3}\,v_{2}\right)\left({\vec {e}}_{2}\wedge {\vec {e}}_{3}\right)$ $+\left(u_{3}\,v_{1}-u_{1}\,v_{3}\right)\left({\vec {e}}_{3}\wedge {\vec {e}}_{1}\right)\;$ ^[35] $=\left(u_{1}\,v_{2}-u_{2}\,v_{1}\right){\vec {e}}_{3}+\left(u_{2}\,v_{3}-u_{3}\,v_{2}\right){\vec {e}}_{1}+\left(u_{3}\,v_{1}-u_{1}\,v_{3}\right){\vec {e}}_{2}\;$ ou en ordonnant
      $\;{\vec {u}}\wedge {\vec {v}}=\left(u_{2}\,v_{3}-u_{3}\,v_{2}\right){\vec {e}}_{1}+\left(u_{3}\,v_{1}-u_{1}\,v_{3}\right){\vec {e}}_{2}+\left(u_{1}\,v_{2}-u_{2}\,v_{1}\right){\vec {e}}_{3}$ .

Interprétation géométrique

     Notant $\;\alpha \;$ l'angle non orienté entre les deux vecteurs, la norme de $\;{\vec {u}}\wedge {\vec {v}}\;$ s'écrit alors « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert =\left\Vert {\vec {u}}\right\Vert \;\left\Vert {\vec {v}}\right\Vert \;\sin(\alpha )\;$ » ou,
     Notant $\;\color {transparent}{\alpha }\;$ l'angle non orienté entre les deux vecteurs, avec « $\;\left\Vert {\vec {v}}\right\Vert \;\sin(\alpha )=h\;$ » $\;{\big (}$ voir figure ci-contre ${\big )}$ ,
     Notant $\;\color {transparent}{\alpha }\;$ l'angle non orienté entre les deux vecteurs, la norme de $\;\color {transparent}{{\vec {u}}\wedge {\vec {v}}}\;$ s'écrit alors « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert =\left\Vert {\vec {u}}\right\Vert \;h\;$ » encore égale à
     Notant $\;\color {transparent}{\alpha }\;$ l'angle non orienté entre les deux vecteurs, l'aire du parallélogramme construit à partir des vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ ^[36].

À retenir

\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \;

peut être interprété comme l'aire du parallélogramme construit à partir des vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}$ .

Calcul de l'angle entre deux vecteurs connaissant leurs composantes dans une même base orthonormée et par l'intermédiaire de leur produit vectoriel

     Soient deux vecteurs non nuls $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ de l'espace vectoriel à trois dimensions orienté^[16] dans lequel on définit la base orthonormée $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ ^[37],
     supposons connues les composantes de ces vecteurs dans cette base c.-à-d. $\;\left\lbrace {\begin{array}{l}{\vec {u}}=u_{x}\,{\vec {i}}+u_{y}\,{\vec {j}}+u_{z}\,{\vec {k}}\\{\vec {v}}=v_{x}\,{\vec {i}}+v_{y}\,{\vec {j}}+v_{z}\,{\vec {k}}\end{array}}\right.\;$ et
     cherchons à déterminer l'angle $\;\alpha ={\widehat {\left({\vec {u}}\,{,}\,{\vec {v}}\right)}}\;$ ^[10] entre ces deux vecteurs ; pour cela
     on exprime la norme du produit vectoriel de ces deux vecteurs de façon intrinsèque^[2] « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert =\left\Vert {\vec {u}}\right\Vert \times \left\Vert {\vec {v}}\right\Vert \times \sin(\alpha )\;$ »^[38] puis
     on explicite cette dernière en utilisant les composantes du produit vectoriel                   « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert ={\sqrt {(u_{y}\,v_{z}-u_{z}\,v_{y})^{2}+(u_{z}\,v_{x}-u_{x}\,v_{z})^{2}+(u_{x}\,v_{y}-u_{y}\,v_{x})^{2}}}\;$ »^[39],
     on en déduit alors                                                                                                              « $\;\sin(\alpha )={\dfrac {\sqrt {(u_{y}\,v_{z}-u_{z}\,v_{y})^{2}+(u_{z}\,v_{x}-u_{x}\,v_{z})^{2}+(u_{x}\,v_{y}-u_{y}\,v_{x})^{2}}}{||{\vec {u}}||\times ||{\vec {v}}||}}\;\;$ »,
     la norme des vecteurs étant éliminée selon $\;\left\lbrace {\begin{array}{c}\Vert {\vec {u}}\Vert ={\sqrt {u_{x}^{2}+u_{y}^{2}+u_{z}^{2}}}\\\Vert {\vec {v}}\Vert ={\sqrt {v_{x}^{2}+v_{y}^{2}+v_{z}^{2}}}\end{array}}\right.\;$ d'où             « $\;\sin(\alpha )={\dfrac {\sqrt {(u_{y}\,v_{z}-u_{z}\,v_{y})^{2}+(u_{z}\,v_{x}-u_{x}\,v_{z})^{2}+(u_{x}\,v_{y}-u_{y}\,v_{x})^{2}}}{{\sqrt {u_{x}^{2}+u_{y}^{2}+u_{z}^{2}}}\,{\sqrt {v_{x}^{2}+v_{y}^{2}+v_{z}^{2}}}}}\;$ ».

Itération de la multiplication vectorielle

Conséquence de la non associativité de la multiplication vectorielle

Le produit vectoriel de deux vecteurs étant un vecteur, il est possible d'itérer la multiplication vectorielle mais cette dernière étant « non associative »^[40],
Le produit vectoriel de deux vecteurs étant un vecteur, il est possible d'itérer la multiplication vectorielle il est donc indispensable de préciser dans quel ordre la multiplication vectorielle est faite ;

     ainsi avec un triplet ordonné de vecteurs $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace \;$ quelconques on peut former deux « doubles produits vectoriels » $\;\left\lbrace {\begin{array}{c}{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\\{\text{ou}}\\\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}\end{array}}\right\rbrace \;$ ^[41] a priori différents,
     ainsi avec un triplet ordonné de vecteurs $\;\color {transparent}{\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace }\;$ quelconques on peut former deux « doubles produits vectoriels » la non associativité de la multiplication vectorielle rendant
     ainsi avec un triplet ordonné de vecteurs $\;\color {transparent}{\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace }\;$ quelconques on peut former deux « doubles produits vectoriels » la non associativité l'expression $\;{\cancel {{\vec {u}}\wedge {\vec {v}}\wedge {\vec {w}}}}\;$ sans aucune signification^[42].

Formules du double produit vectoriel

Celles-ci peuvent se démontrer laborieusement à l'aide des composantes de chaque produit vectoriel dans une base orthonormée^[37], voir le paragraphe « en complément : démonstration d'une des formules du double produit vectoriel par identification des composantes cartésiennes de chaque membre » plus loin dans le chapitre $\;{\big (}$ pour les sceptiques ${\big )}\;\ldots$

$\;\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}=-\left({\vec {v}}\cdot {\vec {w}}\right){\vec {u}}+\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}\;$ $\quad \longleftarrow \quad$ le membre de droite est une combinaison linéaire (C.L.) des deux vecteurs à l'intérieur des parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {u}}\;$ et $\;{\vec {v}}{\big )}$ , le facteur multiplicatif de chaque vecteur étant le produit scalaire des deux autres vecteurs $\;{\big (}$ pour $\;{\vec {u}}\;$ le produit scalaire est $\;{\vec {v}}\cdot {\vec {w}}\;$ et pour $\;{\vec {v}}\;$ c'est $\;{\vec {u}}\cdot {\vec {w}}{\big )}\;$ avec un signe $\;-\;$ devant le 1^er vecteur des deux vecteurs à l'intérieur des parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {u}}{\big )}\;$ ^[43] ;
$\;{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)=\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}-\left({\vec {u}}\cdot {\vec {v}}\right){\vec {w}}\;$ $\quad \longleftarrow \quad$ le membre de droite est une combinaison linéaire (C.L.) des deux vecteurs à l'intérieur des parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {v}}\;$ et $\;{\vec {w}}{\big )}$ , le facteur multiplicatif de chaque vecteur étant le produit scalaire des deux autres vecteurs $\;{\big (}$ pour $\;{\vec {v}}\;$ le produit scalaire est $\;{\vec {u}}\cdot {\vec {w}}\;$ et pour $\;{\vec {w}}\;$ c'est $\;{\vec {u}}\cdot {\vec {v}}{\big )}\;$ avec un signe $\;-\;$ devant le 2^ème vecteur des deux vecteurs à l'intérieur des parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {w}}{\big )}\;$ ^[44].

     Remarque : La 1^ère formule du double produit vectoriel peut se déduire de la 2^nde $\;{\big (}$ et vice versa ${\big )}\;$ par utilisation de l'anticommutativité de la multiplication vectorielle^[45]
     Remarque : en effet $\;\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}=-{\vec {w}}\wedge \left({\vec {u}}\wedge {\vec {v}}\right)={\vec {w}}\wedge \left[-\left({\vec {u}}\wedge {\vec {v}}\right)\right]={\vec {w}}\wedge \left({\vec {v}}\wedge {\vec {u}}\right)=\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}-\left({\vec {v}}\cdot {\vec {w}}\right){\vec {u}}\;$ par utilisation de la 2^ème formule du double produit vectoriel, ce qui établit finalement $\;\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}=-\left({\vec {v}}\cdot {\vec {w}}\right){\vec {u}}+\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}\;$ c.-à-d. la 1^ère formule du double produit vectoriel ;
     Remarque : il ne reste donc plus qu'à établir la 2^nde formule du double produit vectoriel $\;\ldots$

Vérification des formules du double produit vectoriel à partir de l'utilisation de la base orthonormée cartésienne directe

On note

\;\left\lbrace {\vec {e}}_{x}\,,\,{\vec {e}}_{y}\,,\,{\vec {e}}_{z}\right\rbrace \;

la base orthonormée cartésienne^[37].

À utiliser en particulier si on se souvient que le développement du double produit vectoriel aboutit à une C.L.^[46] des deux vecteurs situés entre parenthèses dans le membre de gauche mais
À utiliser en particulier si on a oublié où doit être positionné le signe $\;-\;\ldots$

Formant un 1^er produit vectoriel $\;{\vec {e}}_{x}\wedge {\vec {e}}_{y}\;$ donnant $\;{\vec {e}}_{z}\;$ et formant avec ce dernier le produit vectoriel $\;{\vec {e}}_{z}\wedge {\vec {e}}_{x}\;$ donnant $\;{\vec {e}}_{y}\;$ la formule du double produit vectoriel doit être en accord avec ce résultat
Formant un 1^er produit vectoriel $\;\color {transparent}{{\vec {e}}_{x}\wedge {\vec {e}}_{y}}\;$ donnant $\;\color {transparent}{{\vec {e}}_{z}}\;$ et formant avec ce dernier le produit vectoriel $\;\color {transparent}{{\vec {e}}_{z}\wedge {\vec {e}}_{x}}\;$ donnant $\;\color {transparent}{{\vec {e}}_{y}}\;$ on doit donc vérifier « $\;\left({\vec {e}}_{x}\wedge {\vec {e}}_{y}\right)\wedge {\vec {e}}_{x}={\vec {e}}_{y}\;$ » ;

si on se souvient que le développement du double produit vectoriel doit être une C.L.^[46] de $\;{\vec {e}}_{x}\;$ et $\;{\vec {e}}_{y}\;$ ${\big (}$ vecteurs du produit vectoriel entre parenthèses du membre de gauche ${\big )}$ ,
si on se souvient que le développement du double produit vectoriel doit être une C.L. de $\;\color {transparent}{{\vec {e}}_{x}}\;$ et $\;\color {transparent}{{\vec {e}}_{y}}\;$ devant quel vecteur faut-il positionner le signe $\;-\;$ ?

Compte tenu du résultat trouvé par utilisation des propriétés des vecteurs de base orthonormée, « le signe $\;+\;$ doit être devant $\;{\vec {e}}_{y}\;$ et le signe $\;-\;$ devant $\;{\vec {e}}_{x}\;$ » selon la formule suivante
Compte tenu du résultat trouvé par utilisation des propriétés des vecteurs de base orthonormée, « $\;\left({\vec {e}}_{x}\wedge {\vec {e}}_{y}\right)\wedge {\vec {e}}_{x}=$ ${\cancel {-\left({\vec {e}}_{y}\cdot {\vec {e}}_{x}\right){\vec {e}}_{x}+}}\;{\cancel {\left({\vec {e}}_{x}\cdot {\vec {e}}_{x}\right)}}\;{\vec {e}}_{y}={\vec {e}}_{y}\;$ »^[47].

En complément : démonstration d'une des formules du double produit vectoriel par identification des composantes cartésiennes de chaque membre

     Nous nous proposons de démontrer la 2^nde formule du double produit vectoriel c.-à-d. « $\;{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\;{\overset {\text{?}}{=}}\;\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}-\left({\vec {u}}\cdot {\vec {v}}\right){\vec {w}}\;$ » en déterminant les composantes cartésiennes du 1^er membre^[39] et
     Nous nous proposons de démontrer la 2^nde formule du double produit vectoriel c.-à-d. « $\;\color {transparent}{{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\;{\overset {\text{?}}{=}}\;\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}-\left({\vec {u}}\cdot {\vec {v}}\right){\vec {w}}}\;$ » en retrouvant celles du 2^nd à l'aide du produit scalaire de deux vecteurs
     Nous nous proposons de démontrer la 2^nde formule du double produit vectoriel c.-à-d. « $\;\color {transparent}{{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\;{\overset {\text{?}}{=}}\;\left({\vec {u}}\cdot {\vec {w}}\right){\vec {v}}-\left({\vec {u}}\cdot {\vec {v}}\right){\vec {w}}}\;$ » en retrouvant en fonction des composantes de ces derniers^[12] soit :

$\;{\begin{array}{c}&&{\vec {u}}&\wedge \\{\vec {e}}_{1}&|&u_{1}&\\{\vec {e}}_{2}&|&u_{2}&\\{\vec {e}}_{3}&|&u_{3}&\\{\vec {e}}_{1}&|&u_{1}&\end{array}}\;\left({\begin{array}{c}{\vec {v}}&\wedge &{\vec {w}}\\v_{1}&&w_{1}\\v_{2}&&w_{2}\\v_{3}&&w_{3}\\v_{1}&&w_{1}\end{array}}\right)\;{\begin{array}{c}=&{\vec {u}}&\wedge &\left({\vec {v}}\wedge {\vec {w}}\right)\\&u_{1}&&v_{2}\,w_{3}-v_{3}\,w_{2}\\&u_{2}&&v_{3}\,w_{1}-v_{1}\,w_{3}\\&u_{3}&&v_{1}\,w_{2}-v_{2}\,w_{1}\\&u_{1}&&v_{2}\,w_{3}-v_{3}\,w_{2}\end{array}}\;{\begin{array}{c}=&{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\\&u_{2}\,(v_{1}\,w_{2}-v_{2}\,w_{1})-u_{3}\,(v_{3}\,w_{1}-v_{1}\,w_{3})\\&u_{3}\,(v_{2}\,w_{3}-v_{3}\,w_{2})-u_{1}\,(v_{1}\,w_{2}-v_{2}\,w_{1})\\&u_{1}\,(v_{3}\,w_{1}-v_{1}\,w_{3})-u_{2}\,(v_{2}\,w_{3}-v_{3}\,w_{2})\\&\end{array}}\;$ soit, en factorisant autrement chaque composante

$\;{\begin{array}{c}&\\{\vec {e}}_{1}&|\\{\vec {e}}_{2}&|\\{\vec {e}}_{3}&|\end{array}}\;{\begin{array}{c}{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\\v_{1}\,(u_{2}\,w_{2}+u_{3}\,w_{3})-w_{1}\,(u_{2}\,v_{2}+u_{3}\,v_{3})\\v_{2}\,(u_{3}\,w_{3}+u_{1}\,w_{1})-w_{2}\,(u_{3}\,v_{3}+u_{1}\,v_{1})\\v_{3}\,(u_{1}\,w_{1}+u_{2}\,w_{2})-w_{3}\,(u_{1}\,v_{1}+u_{2}\,v_{2})\end{array}}\;$ puis en ajoutant et retranchant dans chaque composante le même produit à savoir

pour la 1^ère composante on ajoute $\;v_{1}\;u_{1}\;w_{1}\;$ permettant d'obtenir comme 1^er terme $\;v_{1}\;(u_{1}\,w_{1}+u_{2}\,w_{2}+u_{3}\,w_{3})=v_{1}\left({\vec {u}}\cdot {\vec {w}}\right)\;$ et
pour la 1^ère composante on retranche $\;w_{1}\;u_{1}\;v_{1}\;$ permettant d'obtenir pour 2^ème terme $\;-w_{1}\;(u_{1}\,v_{1}+u_{2}\,v_{2}+u_{3}\,v_{3})=-w_{1}\left({\vec {u}}\cdot {\vec {v}}\right)$ ,
pour la 2^ème composante on ajoute $\;v_{2}\;u_{2}\;w_{2}\;$ permettant d'obtenir comme 1^er terme $\;v_{2}\;(u_{1}\,w_{1}+u_{2}\,w_{2}+u_{3}\,w_{3})=v_{2}\left({\vec {u}}\cdot {\vec {w}}\right)\;$ et
pour la 2^ème composante on retranche $\;w_{2}\;u_{2}\;v_{2}\;$ permettant d'obtenir pour 2^ème terme $\;-w_{2}\;(u_{1}\,v_{1}+u_{2}\,v_{2}+u_{3}\,v_{3})=-w_{2}\left({\vec {u}}\cdot {\vec {v}}\right)\;$ et
pour la 3^ème composante on ajoute $\;v_{3}\;u_{3}\;w_{3}\;$ permettant d'obtenir comme 1^er terme $\;v_{3}\;(u_{1}\,w_{1}+u_{2}\,w_{2}+u_{3}\,w_{3})=v_{3}\left({\vec {u}}\cdot {\vec {w}}\right)\;$ et
pour la 3^ème composante on retranche $\;w_{3}\;u_{3}\;v_{3}\;$ permettant d'obtenir pour 2^ème terme $\;-w_{3}\;(u_{1}\,v_{1}+u_{2}\,v_{2}+u_{3}\,v_{3})=-w_{3}\left({\vec {u}}\cdot {\vec {v}}\right)$ ;

finalement on obtient $\;{\begin{array}{c}&\\{\vec {e}}_{1}&|\\{\vec {e}}_{2}&|\\{\vec {e}}_{3}&|\end{array}}\;{\begin{array}{c}{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\\v_{1}\left({\vec {u}}\cdot {\vec {w}}\right)-w_{1}\left({\vec {u}}\cdot {\vec {v}}\right)\\v_{2}\left({\vec {u}}\cdot {\vec {w}}\right)-w_{2}\left({\vec {u}}\cdot {\vec {v}}\right)\\v_{3}\left({\vec {u}}\cdot {\vec {w}}\right)-w_{3}\left({\vec {u}}\cdot {\vec {v}}\right)\end{array}}\;$ établissant la formule du double produit vectoriel $\;{\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)={\vec {v}}\left({\vec {u}}\cdot {\vec {w}}\right)-{\vec {w}}\left({\vec {u}}\cdot {\vec {v}}\right)$ .

Produit mixte de trois vecteurs

La définition de la multiplication mixte de trois vecteurs d'un espace vectoriel à trois dimensions nécessite de vérifier, au préalable, que l'espace affine dont l'espace vectoriel est la direction^[1] est orientable^[13], ce qui a déjà été fait en introduction du paragraphe « produit vectoriel de deux vecteurs » plus haut dans ce chapitre ;
l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] étant orientable^[13] a, du fait de son caractère connexe, exactement deux orientations différentes possibles à savoir

une « orientation à droite » $\;{\big (}$ orientation définie par le mouvement de rotation et translation associées d'un tire-bouchon de Maxwell^[14] positionné en un point $\;M\;$ de l'espace ${\big )}\;$ ou
une « orientation à gauche » $\;{\big (}$ orientation définissable par le mouvement de rotation et translation associées d'un tire-bouchon de farces et attrapes^[15] positionné en un point $\;M\;$ de l'espace ${\big )}\;$ .

Dans la suite de ce paragraphe nous supposons, en absence de précision, l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] « orienté à droite » $\;{\big \{}$ par abus nous dirons « l'espace vectoriel est orienté à droite » au lieu de « l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] est orienté à droite » $\;{\big (}$ nous emploierions le même abus pour « l'espace physique affine à trois dimensions dont l'espace vectoriel est la direction^[1] orienté à gauche » ${\big )}{\big \}}$ .

Définition intrinsèque du produit mixte de trois vecteurs

Définition intrinsèque

\;{\vec {u}}

,

\;{\vec {v}}\;

et

\;{\vec {w}}\;

étant trois vecteurs de l’espace vectoriel, direction^[1] de l'espace physique affine à trois dimensions « orienté »^[16], on définit le produit mixte de

\;{\vec {u}}

,

\;{\vec {v}}\;

et

\;{\vec {w}}\;

^[48] comme le scalaire «

\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\;

» ayant les propriétés suivantes :

si $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ sont coplanaires^[49] ou si un des trois vecteurs au moins est nul, $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=0$ ,
si $\;{\vec {u}}\neq {\vec {0}}$ , $\;{\vec {v}}\neq {\vec {0}}\;$ et $\;{\vec {w}}\neq {\vec {0}}\;$ ne sont pas coplanaires, $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\neq 0\;$ ^[50].

     Remarque : Le produit vectoriel de deux vecteurs dépendant de l'orientation de l'espace $\;{\big \{}$ le produit vectoriel de deux vecteurs dans un espace « orienté à gauche »^[16] étant l'opposé du produit vectoriel des mêmes vecteurs dans le même espace mais « orienté à droite »^[16]^,^[51] ${\big \}}\;$ bien que
     Remarque : le produit scalaire de deux vecteurs en soit indépendant, nous en déduisons que
     Remarque : le produit mixte de trois vecteurs dépend de l'orientation de l'espace, plus précisément
     Remarque : le produit mixte de trois vecteurs dans un espace « orienté à gauche »^[16] est l'opposé du produit mixte des mêmes vecteurs dans le même espace mais « orienté à droite »^[16].

Propriétés

$\succ \;$ Le produit mixte de trois vecteurs est invariant par permutation circulaire c.-à-d. que « $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=({\vec {v}}\wedge {\vec {w}})\cdot {\vec {u}}=({\vec {w}}\wedge {\vec {u}})\cdot {\vec {v}}\;$ » ;

$\succ \;$ par contre toute permutation entre deux vecteurs laissant le 3^ème en la même position change le produit mixte en son opposé par exemple :

$\color {transparent}{\succ }\;$ par contre $\blacktriangleright \;$ « $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=-({\vec {v}}\wedge {\vec {u}})\cdot {\vec {w}}\;$ » résultant de l'anticommutativité du produit vectoriel^[45] ou

$\color {transparent}{\succ }\;$ par contre $\blacktriangleright \;$ « $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=-({\vec {u}}\wedge {\vec {w}})\cdot {\vec {v}}\;$ » résultant d'une 1^ère permutation circulaire mettant $\;{\vec {v}}\;$ en 3^ème position selon $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=({\vec {w}}\wedge {\vec {u}})\cdot {\vec {v}}\;$
$\color {transparent}{\succ }\;$ par contre $\color {transparent}{\blacktriangleright }\;$ « $\;\color {transparent}{({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=-({\vec {u}}\wedge {\vec {w}})\cdot {\vec {v}}}\;$ » suivi de l'utilisation de l'anticommutativité du produit vectoriel^[45] ;

$\succ \;$ dans un espace « orienté à droite »^[16], le produit mixte « $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\;$ est $\;\left\lbrace {\begin{array}{l l l}>0\!\!&{\text{si le trièdre}}\;({\vec {u}},\,{\vec {v}},\,{\vec {w}})\!\!&{\text{est direct}}\\<0\!\!&{\text{si le trièdre}}\;({\vec {u}},\,{\vec {v}},\,{\vec {w}})\!\!&{\text{est indirect}}\end{array}}\right.\;$ »^[52] alors que
$\color {transparent}{\succ }\;$ dans un espace « orienté à gauche »^[16], le produit mixte« $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\;$ est $\;\left\lbrace {\begin{array}{l l l}>0\!\!&{\text{si le trièdre}}\;({\vec {u}},\,{\vec {v}},\,{\vec {w}})\!\!&{\text{est indirect (au sens de la physique) (« règle de la main gauche »)}}\\<0\!\!&{\text{si le trièdre}}\;({\vec {u}},\,{\vec {v}},\,{\vec {w}})\!\!&{\text{est direct (au sens de la physique) (« règle de la main droite »)}}\end{array}}\right.\;$ »^[52].

Définition du produit mixte de trois vecteurs à l'aide de leurs composantes sur une base de l'espace

Définition (équivalente) du produit mixte à l'aide d'une base orthonormée

Soient

\;{\vec {u}}\;(u_{1},\,u_{2},\,u_{3})

,

\;{\vec {v}}\;(v_{1},\,v_{2},\,v_{3})\;

et

\;{\vec {w}}\;(w_{1},\,w_{2},\,w_{3})\;

les composantes de

\;{\vec {u}}

,

\;{\vec {v}}\;

et

\;{\vec {w}}\;

dans une base orthonormée

\;{\big \{}

base « directe dans un espace orienté à droite » et « indirecte

\;{\big (}

au sens de la physique

{\big )}\;

dans un espace orienté à gauche »

{\big \}}

\;({\vec {e}}_{1},\,{\vec {e}}_{2},\,{\vec {e}}_{3})

,
Soient les composantes de

\;{\vec {u}}\wedge {\vec {v}}\;

dans la même base étant «

\;(u_{2}\,v_{3}-u_{3}\,v_{2},\;u_{3}\,v_{1}-u_{1}\,v_{3},\;u_{1}\,v_{2}-u_{2}\,v_{1})\;

»^[39],
Soient le produit mixte

\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\;

est défini par le scalaire «

\;(u_{2}\,v_{3}-u_{3}\,v_{2})\;w_{1}+(u_{3}\,v_{1}-u_{1}\,v_{3})\;w_{2}+(u_{1}\,v_{2}-u_{2}\,v_{1})\;w_{3}\;

».

     Remarque : On peut aisément vérifier l'invariance du produit mixte par permutation circulaire à l'aide des composantes des vecteurs par exemple
     Remarque : On peut aisément vérifier pour montrer que « $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=({\vec {w}}\wedge {\vec {u}})\cdot {\vec {v}}\;$ » on part de $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=(u_{2}\,v_{3}-u_{3}\,v_{2})\;w_{1}+(u_{3}\,v_{1}-u_{1}\,v_{3})\;w_{2}+(u_{1}\,v_{2}-u_{2}\,v_{1})\;w_{3}\;$ dans laquelle
     Remarque : On peut aisément vérifier on fait des factorisations partielles en $\;v_{1}$ , $\;v_{2}\;$ et $\;v_{3}\;$ $\Rightarrow$ $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=(u_{3}\,w_{2}-u_{2}\,w_{3})\;v_{1}+(u_{1}\,w_{3}-u_{3}\,w_{1})\;v_{2}+(u_{2}\,w_{1}-u_{1}\,w_{2})\;v_{3}\;$ dans laquelle
     Remarque : On peut aisément vérifier $(w_{2}\,u_{3}-w_{3}\,u_{2},\;w_{3}\,u_{1}-w_{1}\,u_{3},\;w_{1}\,u_{2}-w_{2}\,u_{1})\;$ sont les composantes ordonnées du produit vectoriel $\;{\vec {w}}\wedge {\vec {u}}$ $\;\ldots$

Interprétation géométrique de la valeur absolue du produit mixte de trois vecteurs non coplanaires

Interprétation géométrique du produit mixte

     L'espace étant « orienté à droite »^[16] et appelant $\;{\vec {n}}\;$ un vecteur unitaire normal au plan formé par $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ tel que $\;({\vec {u}},\,{\vec {v}},\,{\vec {n}})\;$ soit direct, nous pouvons écrire « $\;{\vec {u}}\wedge {\vec {v}}=\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert {\vec {n}}\;$ » avec « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \;$ représentant l'aire du parallélogramme construit à partir de $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ »^[53] ;
     la définition intrinsèque^[2] du produit scalaire nous conduisant à « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}=\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \,\left\Vert {\vec {w}}\right\Vert \,\cos(\gamma )\;$ »^[11] avec « $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ »^[10] $\Rightarrow$
     la valeur absolue du produit scalaire vaut « $\;\vert ({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}\,\vert =\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \,\left\Vert {\vec {w}}\right\Vert \,\vert \cos(\gamma )\vert \;$ » où « $\;\left\Vert {\vec {w}}\right\Vert \,\vert \cos(\gamma )\vert =h\;$ représente la hauteur du parallélépipède relativement à la base formée du parallélogramme construit à partir de $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ » d'où
     la valeur absolue du produit scalaire vaut « $\;\vert ({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}\,\vert =\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \,h\;$ » c.-à-d.
     la valeur absolue du produit scalaire vaut le volume du parallélépipède construit à partir de $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ ^[54].

À retenir

La valeur absolue du produit mixte représente le « volume du parallélépipède construit sur ces trois vecteurs »^[55].

Remarques : $\succ \;$ Si l'angle $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ est aigu $\;{\big (}$ cas de la figure ci-dessus ${\big )}\;$ « le trièdre $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace \;$ est direct » $\Rightarrow$ « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}>0\;$ »,
Remarques : $\color {transparent}{\succ }\;$ si l'angle $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ est obtus $\;{\big (}$ figure non représentée ${\big )}\;$ « le trièdre $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace \;$ est indirect » $\Rightarrow$ « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}<0\;$ ».

     Remarques : $\succ \;$ Avec un espace « orienté à gauche »^[16], nous appelons $\;{\vec {n}}\;$ un vecteur unitaire normal au plan formé par $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ tel que $\;({\vec {u}},\,{\vec {v}},\,{\vec {n}})\;$ soit indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ ^[56],
          Remarques : $\color {transparent}{\succ }\;$ Avec un espace « orienté à gauche », nous pouvons écrire « $\;{\vec {u}}\wedge {\vec {v}}=\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert {\vec {n}}\;$ » avec « $\;\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \;$ représentant l'aire du parallélogramme construit à partir de $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ »^[53]
          Remarques : $\color {transparent}{\succ }\;$ Avec un espace « orienté à gauche », nous pouvons écrire ${\big [}$ le trièdre $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {u}}\wedge {\vec {v}}\right\rbrace \;$ étant indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ ^[57] $\Rightarrow$ $\;{\vec {u}}\wedge {\vec {v}}\;$ et $\;{\vec {n}}\;$ colinéaires et de même sens ${\big ]}\;$ et
          Remarques : $\color {transparent}{\succ }\;$ Avec un espace « orienté à gauche », nous pouvons écrire « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}=\left\Vert {\vec {u}}\wedge {\vec {v}}\right\Vert \,\left\Vert {\vec {w}}\right\Vert \,\cos(\gamma )\;$ »^[11] avec « $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ »^[10] d'où une « même interprétation de $\;\vert ({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}\,\vert \;$ »,
          Remarques : $\color {transparent}{\succ }\;$ Avec un espace « orienté à gauche », si l'angle $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ est aigu, « le trièdre $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace \;$ est indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ »^[57] $\Rightarrow$ « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}>0\;$ »,
          Remarques : $\color {transparent}{\succ }\;$ Avec un espace « orienté à gauche », si l'angle $\;\gamma ={\widehat {({\vec {n}}\,{\text{,}}\,{\vec {w}})}}\;$ est obtus, « le trièdre $\;\left\lbrace {\vec {u}}\,,\,{\vec {v}}\,,\,{\vec {w}}\right\rbrace \;$ est direct $\;{\big (}$ au sens de la physique ${\big )}\;$ »^[58] $\Rightarrow$ « $\;({\vec {u}}\wedge {\vec {v}})\!\cdot \!{\vec {w}}<0\;$ ».

Notes et références

↑ ^1,00 ^1,01 ^1,02 ^1,03 ^1,04 ^1,05 ^1,06 ^1,07 ^1,08 ^1,09 ^1,10 ^1,11 ^1,12 ^1,13 ^1,14 et ^1,15
La direction d'un espace affine $\;{\mathcal {E}}\;$ $\;{\mathcal {E}}\;$ étant l'espace vectoriel $\;{\overrightarrow {\mathcal {E}}}\;$ $\;{\overrightarrow {\mathcal {E}}}\;$ à partir duquel l'espace affine $\;{\mathcal {E}}\;$ $\;{\mathcal {E}}\;$ est défini à l'aide de l'application $\;\varphi \;$ $\;\varphi \;$ qui, à chaque bipoint $\;\left(A\,,\;B\right)\in {\mathcal {E}}^{2}$ $\;\left(A\,,\;B\right)\in {\mathcal {E}}^{2}$ , associe un élément de $\;{\overrightarrow {\mathcal {E}}}\;$ $\;{\overrightarrow {\mathcal {E}}}\;$ noté $\;{\overrightarrow {AB}}\;$ $\;{\overrightarrow {AB}}\;$ vérifiant les deux propriétés suivantes :
- « $\;\forall \;\left(A\,,\,B\,,\,C\right)\;\in \,{\mathcal {E}}^{3},\;\;{\overrightarrow {AB}}\,+\,{\overrightarrow {BC}}\,=\,{\overrightarrow {AC}}\;$ » $\;{\big (}$ relation de Chasles ${\big )}$ ,
- « $\;\forall \;A\,\in \,{\mathcal {E}},\;\;\forall \;{\vec {v}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;\exists !\;B\,\in \,{\mathcal {E}},\;\;{\overrightarrow {AB}}\,=\,{\vec {v}}\;$ » $\;{\big (}$ existence et unicité d'un translaté ${\big )}$ .
Michel Chasles (1793 - 1880) mathématicien français à qui on doit d'importants travaux en géométrie projective ainsi qu'en analyse harmonique ; la relation dite de Chasles, connue depuis très longtemps, porte son nom pour lui rendre hommage.
↑ ^2,0 ^2,1 ^2,2 ^2,3 ^2,4 ^2,5 ^2,6 et ^2,7 Une définition est dite intrinsèque si elle est donnée sans référence à une quelconque base de l'espace.
↑
Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;A\;$ $\;A\;$ et $\;B\;$ $\;B\;$ de l'espace affine $\;{\mathcal {E}}\;$ $\;{\mathcal {E}}\;$ de direction $\;{\overrightarrow {\mathcal {E}}}$ $\;{\overrightarrow {\mathcal {E}}}$ , notée « $\;d(A\,B)\;$ $\;d(A\,B)\;$ »,
   Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;\color {transparent}{A}\;$ et $\;\color {transparent}{B}\;$ est la norme euclidienne de $\;{\overrightarrow {AB}}\;$ $\;{\overrightarrow {AB}}\;$ soit « $\;d(A\,B)={\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ $\;d(A\,B)={\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ » avec
   Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;\color {transparent}{A}\;$ et $\;\color {transparent}{B}\;$ « $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }={\sqrt {{\overrightarrow {AB}}\cdot {\overrightarrow {AB}}}}={\sqrt {{\overrightarrow {AB}}^{2}}}\;$ $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }={\sqrt {{\overrightarrow {AB}}\cdot {\overrightarrow {AB}}}}={\sqrt {{\overrightarrow {AB}}^{2}}}\;$ » ;
   un espace vectoriel euclidien $\;{\big (}$ $\;{\big (}$ c.-à-d. sur lequel est définie la multiplication scalaire ${\big )}\;$ ${\big )}\;$ est normé, la norme $\;{\big (}$ $\;{\big (}$ application de $\;{\overrightarrow {\mathcal {E}}}\;$ $\;{\overrightarrow {\mathcal {E}}}\;$ dans $\;\mathbb {R} {\big )}\;$ $\;\mathbb {R} {\big )}\;$ possède les propriétés
- de séparation c.-à-d. « $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }=0\;$ $\Rightarrow$ $\;{\overrightarrow {AB}}={\vec {0}}\;$ »,
- d'absolue homogénéité de degré $\;0\;$ c.-à-d. « $\;\forall \;\lambda \,\in \,\mathbb {R} ,\;\;\forall \;{\overrightarrow {AB}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;{\Big \Vert }\lambda \;{\overrightarrow {AB}}{\Big \Vert }=\vert \lambda \vert \;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ » et
- de sous-additivité c.-à-d. « $\;\forall \;\left({\overrightarrow {AB}}\,,\,{\overrightarrow {CD}}\right)\,\in \,{\overrightarrow {\mathcal {E}}}^{2}\!,\;\;{\Big \Vert }{\overrightarrow {AB}}+{\overrightarrow {CD}}{\Big \Vert }\leqslant {\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+{\Big \Vert }{\overrightarrow {CD}}{\Big \Vert }\;$ » encore appelée inégalité triangulaire ;
conséquence des propriétés précédentes « une norme est toujours positive » en effet « $\;\forall \;{\overrightarrow {AB}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;0=\Vert {\vec {0}}\Vert ={\Big \Vert }{\overrightarrow {AB}}-{\overrightarrow {AB}}{\Big \Vert }\leqslant {\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+{\Big \Vert }-{\overrightarrow {AB}}{\Big \Vert }={\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+\vert -1\vert \;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }=2\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ d'où $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\geqslant 0\;$ ».
↑ Cela se déduit de la 2^ème forme de la définition intrinsèque du produit scalaire et du fait que le cosinus d'un angle est égal au cosinus de l'angle opposé $\;{\big (}$ c'est en effet ce qu'on obtient en permutant les deux vecteurs si on définit $\;\alpha \;$ comme l'angle orienté entre le 1^er vecteur et le 2^nd ${\big )}$ .
↑ Cela se déduit de la 1^ère forme de la définition intrinsèque du produit scalaire et du fait que le projeté de la somme de deux vecteurs sur une direction orientée est la somme des projetés de chaque vecteur sur cette même direction orientée $\;{\big (}$ par exemple le projeté de $\;{\vec {v}}+{\vec {w}}\;$ sur la direction de $\;{\vec {u}}\;$ est la somme du projeté de $\;{\vec {v}}\;$ sur la direction de $\;{\vec {u}}\;$ et du projeté de $\;{\vec {w}}\;$ sur la direction de $\;{\vec {u}}{\big )}\;\ldots$
↑ ^6,0 ^6,1 et ^6,2 Vecteurs unitaires et orthogonaux deux à deux.
↑ La base étant orthonormée on a $\;||{\vec {i}}||^{2}={\vec {i}}^{2}=1$ , $\;||{\vec {j}}||^{2}={\vec {j}}^{2}=1$ , $\;||{\vec {k}}||^{2}={\vec {k}}^{2}=1$ , $\;{\vec {i}}\!\cdot \!{\vec {j}}={\vec {j}}\!\cdot \!{\vec {i}}=0$ , $\;{\vec {i}}\!\cdot \!{\vec {k}}={\vec {k}}\!\cdot \!{\vec {i}}=0\;$ et $\;{\vec {j}}\!\cdot \!{\vec {k}}=$ ${\vec {k}}\!\cdot \!{\vec {j}}=0$ .
↑ Voir le paragraphe « autres propriétés (de la multiplication scalaire, 2^ème propriété) » plus haut dans ce chapitre.
↑ Signifiant que le produit scalaire des deux vecteurs reste inchangé par changement de base.
↑ ^10,0 ^10,1 ^10,2 et ^10,3 Angle non orienté.
↑ ^11,0 ^11,1 et ^11,2 Voir le paragraphe « définition intrinsèque du produit scalaire de deux vecteurs (autre forme de la définition intrinsèque) » plus haut dans ce chapitre.
↑ ^12,0 et ^12,1 Voir le paragraphe « définition du produit scalaire de deux vecteurs à l'aide de leurs composantes sur une base de l'espace » plus haut dans ce chapitre.
↑ ^13,0 ^13,1 ^13,2 et ^13,3 C.-à-d. que tout déplacement continu d'un objet chiral $\;{\big (}$ non superposable à son image dans un miroir plan ${\big )}\;$ dans l'espace aboutit, lors du retour au point de départ, à la superposition de l'image obtenue par déplacement avec l'objet de départ.
↑ ^14,0 et ^14,1 Le tire-bouchon de Maxwell est un tire-bouchon pour droitier, plaçant un bouchon en un point $\;M\;$ de l'espace et tournant le tire-bouchon de façon à ce qu'il s'enfonce dans le bouchon, l'orientation est donnée par les sens associés de rotation et de translation au point $\;M$ , elle est dite « à droite » parce qu'il faut tourner vers la droite pour que le tire-bouchon s'enfonce dans le bouchon ;
James Clerk Maxwell (1831 - 1879) physicien et mathématicien écossais, principalement connu pour ses équations unifiant l'électricité, le magnétisme et l'induction ainsi que pour l'établissement du caractère électromagnétique des ondes lumineuses, mais aussi pour sa distribution des vitesses utilisée dans une description statistique de la théorie cinétique des gaz ; le tire-bouchon fictif portant son nom a été baptisé ainsi en son honneur.
↑ ^15,0 et ^15,1 Le tire-bouchon de farces et attrapes serait en fait un tire-bouchon pour gaucher, plaçant un bouchon en un point $\;M\;$ de l'espace et tournant le tire-bouchon de façon à ce qu'il s'enfonce dans le bouchon, l'orientation est donnée par les sens associés de rotation et de translation au point $\;M$ , elle est dite « à gauche » parce qu'il faudrait tourner vers la gauche pour que le tire-bouchon s'enfonce dans le bouchon.
↑ ^16,00 ^16,01 ^16,02 ^16,03 ^16,04 ^16,05 ^16,06 ^16,07 ^16,08 ^16,09 ^16,10 ^16,11 ^16,12 ^16,13 ^16,14 ^16,15 ^16,16 ^16,17 ^16,18 ^16,19 ^16,20 ^16,21 ^16,22 ^16,23 ^16,24 ^16,25 ^16,26 ^16,27 ^16,28 ^16,29 et ^16,30 Voir l'introduction du paragraphe « produit vectoriel de deux vecteurs » plus haut dans ce chapitre.
↑ ^17,0 ^17,1 ^17,2 ^17,3 ^17,4 ^17,5 et ^17,6 Cette règle pour déterminer le caractère « direct » d'un trièdre de vecteurs dans un espace orienté à droite est dite « règle de la main droite » $\;{\big (}$ ceux qui se souviennent de leur enfance pourraient l'appeler « règle de l'apprenti cow-boy droitier » ${\big )}$ ; il existe d'autres règles équivalentes :
   « règle de l'auto-stoppeur (droitier) » : l'avant bras $\;{\big (}$ droit ${\big )}\;$ étant dans le sens de $\;{\vec {i}}$ , la poigne de la main $\;{\big (}$ droite ${\big )}\;$ courbée dans le sens de $\;{\vec {j}}$ , le pouce est alors levé dans le sens de $\;{\vec {k}}$ ,
   « règle du tire-bouchon de Maxwell » : le tire-bouchon tournant de $\;{\vec {i}}\;$ vers $\;{\vec {j}}$ , il s'enfonce dans le bouchon fixe dans le sens de $\;{\vec {k}}$ ,
   « règle du bonhomme d'Ampère » : le bonhomme d'Ampère se couchant sur $\;{\vec {i}}$ , ce vecteur lui entrant par les pieds et lui sortant par la tête, regardant droit devant dans le sens de $\;{\vec {j}}$ , il tend le bras gauche perpendiculairement à son corps dans le sens de $\;{\vec {k}}$ ,
   et bien d'autres règles que vous pouvez vous-même inventer.
   James Clerk Maxwell (1831 - 1879) physicien et mathématicien écossais, principalement connu pour ses équations d'électromagnétisme, pour plus de détails voir la note « ¹⁴ » plus haut dans ce chapitre.
   André-Marie Ampère (1775 - 1836), mathématicien, physicien, chimiste et philosophe français, peut être considéré comme l'un des 1^ers artisans de la mathématisation de la physique, il a édifié les fondements théoriques de l'électromagnétisme et a découvert les bases de l'électronique de la matière ; c'est lui qui inventa le bonhomme fictif portant son nom et permettant de déterminer le caractère direct d'un triplet de vecteurs.
↑ Sur le schéma en perspective, pour traduire que l'axe $\;Ox\;$ vient vers le lecteur on peut donner un effet au trait en lui donnant une épaisseur d'autant plus grande que l'endroit considéré est éloigné du plan de front ;
sur le schéma projeté on traduit le sens de l'axe $\;Ox\;$ $\perp \;$ au plan de front et venant vers l'observateur par un cercle dans lequel on place un point.
↑ ^19,0 ^19,1 ^19,2 ^19,3 ^19,4 ^19,5 et ^19,6 Pouvant encore être appelé « règle de l'apprenti cow-boy gaucher » ; là encore il est possible de trouver des règles équivalentes $\;\ldots$
↑ Sur le schéma en perspective, pour traduire que l'axe $\;Ox\;$ s'éloigne du lecteur on peut donner un effet au trait en le remplaçant par des hachures d'autant moins larges que l'endroit considéré est éloigné du plan de front ;
sur le schéma projeté on traduit le sens de l'axe $\;Ox\;$ $\perp \;$ au plan de front et s'éloignant de l'observateur par un cercle dans lequel on place une croix.
↑ On passe de la base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ à la base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,-{\vec {k}}\right\rbrace \;$ par symétrie plane relativement au plan $\;\left({\vec {i}},\,{\vec {j}}\right)$ ; en conséquence une symétrie plane transforme une base « directe » en base « indirecte » et vice versa.
↑ Espace physique dans lequel les objets sont positionnés, réellement pour la partie située du côté air du miroir ou virtuellement pour celle située du côté opaque du miroir.
↑ Espace physique dans lequel les images données par le miroir des objets sont positionnées, réellement pour la partie située du côté air du miroir ou virtuellement pour celle située du côté opaque du miroir.
↑ Le vecteur unitaire $\;{\vec {u}}_{x}\;$ orientant l'axe optique principal $\;{\big [}$ voir le paragraphe « algébrisation physique de l'axe optique principal (associé à un objet ponctuel) (dans un système catadioptrique unidirectionnel) » du chap. $12$ de la leçon « Signaux physiques (PCSI) » ${\big ]}\;$ dans le sens de propagation de la lumière, $\;{\vec {u}}_{y}\;$ et $\;{\vec {u}}_{z}\;$ étant $\;\parallel \;$ au miroir.
↑ En effet l'image d'un objet par un miroir plan est le symétrique de l'objet par rapport au plan du miroir et une symétrie plane a pour effet une inversion de l'orientation.
↑ Le vecteur unitaire $\;{{\vec {u}}'}_{\!x}=-{\vec {u}}_{x}\;$ orientant l'axe optique principal $\;{\big [}$ voir le paragraphe « algébrisation physique de l'axe optique principal (associé à un objet ponctuel) (dans un système catadioptrique unidirectionnel) » du chap. $12$ de la leçon « Signaux physiques (PCSI) » ${\big ]}\;$ dans le sens de propagation de la lumière réfléchie sur le miroir, $\;{\vec {u}}_{y}\;$ et $\;{\vec {u}}_{z}\;$ étant $\;\parallel \;$ au miroir.
↑ On utilisera la contraposée $\;{\big (}$ proposition contraire ${\big )}\;$ pour démontrer la colinéarité de deux vecteurs non nuls : "si deux vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ non nuls sont tels que $\;{\vec {u}}\wedge {\vec {v}}={\vec {0}}$ , alors ils sont colinéaires" étant la contraposée de "si deux vecteurs non nuls ne sont pas colinéaires, alors $\;{\vec {u}}\wedge {\vec {v}}\neq {\vec {0}}$ ".
↑ Cette précision « un espace orienté à droite » est souvent omise en physique car il est rare qu'un espace orienté à gauche soit utilisé, en particulier, quand on introduira un produit vectoriel de deux vecteurs, on utilisera la règle de la main droite pour déterminer le sens du produit vectoriel, ce qui sous-entend qu'on a orienté l'espace à droite.
↑ ^29,0 et ^29,1 Dans le cas où l'espace est orienté à gauche le caractère indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ du trièdre correspond à l'utilisation de la règle de la main gauche pour déterminer le sens du produit vectoriel $\;{\big (}$ c'est la même règle utilisée pour déterminer l'orientation de l'espace, raison pour laquelle le trièdre serait qualifié de direct en mathématiques, ce que nous ne ferons pas ${\big )}\;\ldots$
↑ Disposant verticalement les trois composantes des vecteurs on forme la somme des produits des composantes en suivant les flèches avec le signe les précédant $\;{\big (}$ pour la 1^ère composante du produit vectoriel les flèches sont mises entre les lignes des 2^èmes et 3^èmes composantes des vecteurs ${\big )}$ : suivant la flèche descendante, le produit $\;u_{2}\times v_{3}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{3}\times v_{2}\;$ avec signe « $\;-\;$ » soit $\;u_{2}\,v_{3}-u_{3}\,v_{2}\;$ comme 1^ère composante du produit vectoriel.
↑ Pour la 2^ème composante du produit vectoriel les flèches devant être positionnées entre les lignes des 3^èmes et 1^ères composantes des vecteurs, on recopie la 1^ère ligne en 4^ème ligne pour pouvoir suivre la même règle de calcul et on positionne les flèches entre la 3^ème et 4^ème ligne : suivant la flèche descendante, le produit $\;u_{3}\times v_{1}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{1}\times v_{3}\;$ avec signe « $\;-\;$ » soit $\;u_{3}\,v_{1}-u_{1}\,v_{3}\;$ comme 2^ème composante du produit vectoriel ;
ce résultat peut aussi être obtenu par permutation circulaire $\;(1\rightarrow 2\rightarrow 3\rightarrow 1)\;$ à partir de la 1^ère composante du produit vectoriel ce qui donne $\;u_{2}\,v_{3}-u_{3}\,v_{2}\rightarrow u_{3}\,v_{1}-u_{1}\,v_{3}$ .
↑ Pour la 3^ème composante du produit vectoriel les flèches devant être positionnées entre les lignes des 1^ères et 2^èmes composantes des vecteurs : suivant la flèche descendante, le produit $\;u_{1}\times v_{2}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{2}\times v_{1}\;$ avec signe « $\;-\;$ » soit $\;u_{1}\,v_{2}-u_{2}\,v_{1}\;$ comme 3^ème composante du produit vectoriel ;
ce résultat peut aussi être obtenu par permutation circulaire $\;(1\rightarrow 2\rightarrow 3\rightarrow 1)\;$ à partir de la 2^ème composante du produit vectoriel ce qui donne $\;u_{3}\,v_{1}-u_{1}\,v_{3}\rightarrow u_{1}\,v_{2}-u_{2}\,v_{1}$ .
↑ Ceci que la base soit « directe dans un espace orienté à droite » ou « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ dans un espace orienté à gauche » car on utilise la même règle pour définir le produit vectoriel et l'orientation de l'espace.
↑ Voir le paragraphe « propriétés (de la multiplication vectorielle, 2^ème propriété) » plus haut dans ce chapitre.
↑ On a utilisé l'anticommutativité du produit vectoriel $\;{\big [}$ voir le paragraphe « propriétés (de la multiplication vectorielle, 1^ère propriété) » plus haut dans ce chapitre ${\big ]}\;$ pour effectuer des regroupements par factorisation.
↑ L'aire d'un parallélogramme se calculant en multipliant la longueur d'un côté par la hauteur correspondante (c.-à-d. la distance orthogonale séparant ce côté et le côté qui lui est parallèle).
↑ ^37,0 ^37,1 et ^37,2 La base étant « directe si l'espace est orienté à droite » ou « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ si l'espace est orienté à gauche ».
↑ Voir le paragraphe « définition intrinsèque du produit vectoriel de deux vecteurs » plus haut dans ce chapitre.
↑ ^39,0 ^39,1 et ^39,2 Voir le paragraphe « définition du produit vectoriel de deux vecteurs à l'aide de leurs composantes sur une base de l'espace » plus haut dans ce chapitre.
↑ Contrairement à la multiplication dans l'ensemble $\;\mathbb {R} \;$ des réels laquelle est associative selon $\;(a\times b)\times c=a\times (b\times c),\;\;\forall \,\left\lbrace a\,,\,b\,,\,c\right\rbrace \in \mathbb {R} ^{3}$ ,
Contrairement à la multiplication vectorielle est non associative : a priori $\;\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}\neq {\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\;$ avec trois vecteurs $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ quelconques $\;{\big (}$ l'égalité pouvant se produire uniquement pour des cas particuliers ${\big )}$ ; vérifions en utilisant le triplet $\;\left\lbrace {\vec {i}}\,,\,{\vec {j}}\,,\,{\vec {k}}\right\rbrace \;$ des vecteurs de base cartésienne et formons successivement $\;{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)\;$ et $\;\left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}\;$ pour les comparer,
or $\;\left\lbrace {\begin{array}{l}{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)={\vec {i}}\wedge {\vec {k}}=-{\vec {j}}\\\left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}={\vec {0}}\wedge {\vec {j}}={\vec {0}}\end{array}}\right\rbrace \;$ $\Rightarrow$ $\;{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)\neq \left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}\;$ établissant la non associativité sur cet exemple ce qui est suffisant pour affirmer que la propriété d'associativité n'est pas applicable pour la multiplication vectorielle.
↑ On distingue ces doubles produits vectoriels par la position de la parenthèse ouvrante devant le 1^er vecteur ou devant le 2^nd.
↑ On ne doit donc jamais oublier de placer les parenthèses.
↑ Moyen mnémotechnique : dans le membre de gauche la parenthèse ouvrante est devant le 1^er vecteur des trois vecteurs $\;{\big (}$ à savoir $\;{\vec {u}}{\big )}$ , dans le membre de droite le signe $\;-\;$ est devant le 1^er vecteur du couple entre parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {u}}{\big )}$ .
↑ Moyen mnémotechnique : dans le membre de gauche la parenthèse ouvrante est devant le 2^ème vecteur des trois vecteurs $\;{\big (}$ à savoir $\;{\vec {v}}{\big )}$ , dans le membre de droite le signe $\;-\;$ est devant le 2^ème vecteur du couple entre parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {w}}{\big )}$ .
↑ ^45,0 ^45,1 et ^45,2 Voir le paragraphe « propriétés (de la multiplication vectorielle, 1^ère propriété) » plus haut dans le chapitre.
↑ ^46,0 et ^46,1 Combinaison Linéaire.
↑ La parenthèse s’ouvrant sur le 1^er vecteur des trois vecteurs du membre de gauche, le signe $\;-\;$ est bien devant le 1^er vecteur de la C.L. du membre de droite.
↑ L'ordre n'est pas indifférent.
↑ Une telle situation peut être engendrée par deux vecteurs colinéaires, le 3^ème étant alors nécessairement coplanaire avec les deux autres, ou trois vecteurs coplanaires sans qu'aucun ne soit colinéaire à un autre.
↑ On peut utiliser la contraposée ${\big (}$ c.-à-d. la proposition contraire ${\big )}\;$ pour démontrer la coplaniarité de trois vecteurs non nuls : « si trois vecteurs $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ non nuls sont tels que $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=0$ , alors ils sont coplanaires » étant la contraposée de la proposition « si trois vecteurs non nuls ne sont pas coplanaires, alors $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\neq 0\;$ ».
↑ Voir le paragraphe « définition du produit vectoriel de deux vecteurs à l'aide de leurs composantes sur une base de l'espace (remarque) » plus haut dans ce chapitre.
↑ ^52,0 et ^52,1 Si la règle suivie par le trièdre ordonné des trois vecteurs d'un produit mixte est la même que celle définissant l'orientation de l'espace $\;{\big (}$ « règle de la main droite pour un espace orienté à droite » ou « règle de la main gauche pour un espace orienté à gauche » ${\big )}\;$ le produit mixte est $\;>0\;$ sinon il est $\;<0$
↑ ^53,0 et ^53,1 Voir le paragraphe « interprétation géométrique (de la norme d'un produit vectoriel de deux vecteurs) » plus haut dans ce chapitre.
↑ On rappelle que le volume d'un parallélépipède se calcule en multipliant l'aire d'une base quelconque par la hauteur correspondante.
↑ Pour que le parallélépipède existe il faut que les trois vecteurs $\;{\vec {u}},\;{\vec {v}}\;{\text{et}}\;{\vec {w}}\;$ ne soient pas coplanaires, sinon la valeur absolue du produit mixte est nulle en accord avec la dégénérescence du parallélépipède.
↑ Il est donc obtenu par application de la « règle de la main gauche » tout comme la règle définissant l'orientation de l'espace et est donc de sens contraire à celui de la figure ci-dessus.
↑ ^57,0 et ^57,1 Donc obtenu par application de la « règle de la main gauche » tout comme $\;{\vec {n}}$ .
↑ Donc obtenu par application de la « règle de la main droite » contrairement à $\;{\vec {n}}\;$ obtenu par application de la « règle de la main gauche ».

Outils mathématiques pour la physique (PCSI)

Fonct. de plusieurs variables indépend.

Grandeurs associées à une fonct. sinus. du temps : amplit. compl. et vect. de Fresnel

[direction_d'un_espace_affine-1] 1,00 ^1,01 ^1,02 ^1,03 ^1,04 ^1,05 ^1,06 ^1,07 ^1,08 ^1,09 ^1,10 ^1,11 ^1,12 ^1,13 ^1,14 et ^1,15 La direction d'un espace affine $\;{\mathcal {E}}\;$ étant l'espace vectoriel $\;{\overrightarrow {\mathcal {E}}}\;$ à partir duquel l'espace affine $\;{\mathcal {E}}\;$ est défini à l'aide de l'application $\;\varphi \;$ qui, à chaque bipoint $\;\left(A\,,\;B\right)\in {\mathcal {E}}^{2}$ , associe un élément de $\;{\overrightarrow {\mathcal {E}}}\;$ noté $\;{\overrightarrow {AB}}\;$ vérifiant les deux propriétés suivantes :
« $\;\forall \;\left(A\,,\,B\,,\,C\right)\;\in \,{\mathcal {E}}^{3},\;\;{\overrightarrow {AB}}\,+\,{\overrightarrow {BC}}\,=\,{\overrightarrow {AC}}\;$ » $\;{\big (}$ relation de Chasles ${\big )}$ ,

« $\;\forall \;A\,\in \,{\mathcal {E}},\;\;\forall \;{\vec {v}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;\exists !\;B\,\in \,{\mathcal {E}},\;\;{\overrightarrow {AB}}\,=\,{\vec {v}}\;$ » $\;{\big (}$ existence et unicité d'un translaté ${\big )}$ .
Michel Chasles (1793 - 1880) mathématicien français à qui on doit d'importants travaux en géométrie projective ainsi qu'en analyse harmonique ; la relation dite de Chasles, connue depuis très longtemps, porte son nom pour lui rendre hommage.

[2] « $\;\forall \;\left(A\,,\,B\,,\,C\right)\;\in \,{\mathcal {E}}^{3},\;\;{\overrightarrow {AB}}\,+\,{\overrightarrow {BC}}\,=\,{\overrightarrow {AC}}\;$ » $\;{\big (}$ relation de Chasles ${\big )}$ ,

[3] « $\;\forall \;A\,\in \,{\mathcal {E}},\;\;\forall \;{\vec {v}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;\exists !\;B\,\in \,{\mathcal {E}},\;\;{\overrightarrow {AB}}\,=\,{\vec {v}}\;$ » $\;{\big (}$ existence et unicité d'un translaté ${\big )}$ .

[définition_intrinsèque-2] 2,0 ^2,1 ^2,2 ^2,3 ^2,4 ^2,5 ^2,6 et ^2,7 Une définition est dite intrinsèque si elle est donnée sans référence à une quelconque base de l'espace.

[distance_entre_deux_points-3] Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;A\;$ et $\;B\;$ de l'espace affine $\;{\mathcal {E}}\;$ de direction $\;{\overrightarrow {\mathcal {E}}}$ , notée « $\;d(A\,B)\;$ »,
Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;\color {transparent}{A}\;$ et $\;\color {transparent}{B}\;$ est la norme euclidienne de $\;{\overrightarrow {AB}}\;$ soit « $\;d(A\,B)={\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ » avec
Avec les notations introduites dans la note « ¹ » plus haut dans ce chapitre, la distance entre les points $\;\color {transparent}{A}\;$ et $\;\color {transparent}{B}\;$ « $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }={\sqrt {{\overrightarrow {AB}}\cdot {\overrightarrow {AB}}}}={\sqrt {{\overrightarrow {AB}}^{2}}}\;$ » ;
un espace vectoriel euclidien $\;{\big (}$ c.-à-d. sur lequel est définie la multiplication scalaire ${\big )}\;$ est normé, la norme $\;{\big (}$ application de $\;{\overrightarrow {\mathcal {E}}}\;$ dans $\;\mathbb {R} {\big )}\;$ possède les propriétés
de séparation c.-à-d. « $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }=0\;$ $\Rightarrow$ $\;{\overrightarrow {AB}}={\vec {0}}\;$ »,

d'absolue homogénéité de degré $\;0\;$ c.-à-d. « $\;\forall \;\lambda \,\in \,\mathbb {R} ,\;\;\forall \;{\overrightarrow {AB}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;{\Big \Vert }\lambda \;{\overrightarrow {AB}}{\Big \Vert }=\vert \lambda \vert \;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ » et

de sous-additivité c.-à-d. « $\;\forall \;\left({\overrightarrow {AB}}\,,\,{\overrightarrow {CD}}\right)\,\in \,{\overrightarrow {\mathcal {E}}}^{2}\!,\;\;{\Big \Vert }{\overrightarrow {AB}}+{\overrightarrow {CD}}{\Big \Vert }\leqslant {\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+{\Big \Vert }{\overrightarrow {CD}}{\Big \Vert }\;$ » encore appelée inégalité triangulaire ;
conséquence des propriétés précédentes « une norme est toujours positive » en effet « $\;\forall \;{\overrightarrow {AB}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;0=\Vert {\vec {0}}\Vert ={\Big \Vert }{\overrightarrow {AB}}-{\overrightarrow {AB}}{\Big \Vert }\leqslant {\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+{\Big \Vert }-{\overrightarrow {AB}}{\Big \Vert }={\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+\vert -1\vert \;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }=2\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ d'où $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\geqslant 0\;$ ».

[6] séparation c.-à-d. « $\;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }=0\;$ $\Rightarrow$ $\;{\overrightarrow {AB}}={\vec {0}}\;$ »,

[7] 'absolue homogénéité de degré $\;0\;$ c.-à-d. « $\;\forall \;\lambda \,\in \,\mathbb {R} ,\;\;\forall \;{\overrightarrow {AB}}\,\in \,{\overrightarrow {\mathcal {E}}}\!,\;\;{\Big \Vert }\lambda \;{\overrightarrow {AB}}{\Big \Vert }=\vert \lambda \vert \;{\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }\;$ » et

[8] sous-additivité c.-à-d. « $\;\forall \;\left({\overrightarrow {AB}}\,,\,{\overrightarrow {CD}}\right)\,\in \,{\overrightarrow {\mathcal {E}}}^{2}\!,\;\;{\Big \Vert }{\overrightarrow {AB}}+{\overrightarrow {CD}}{\Big \Vert }\leqslant {\Big \Vert }{\overrightarrow {AB}}{\Big \Vert }+{\Big \Vert }{\overrightarrow {CD}}{\Big \Vert }\;$ » encore appelée inégalité triangulaire ;

[4] Cela se déduit de la 2^ème forme de la définition intrinsèque du produit scalaire et du fait que le cosinus d'un angle est égal au cosinus de l'angle opposé $\;{\big (}$ c'est en effet ce qu'on obtient en permutant les deux vecteurs si on définit $\;\alpha \;$ comme l'angle orienté entre le 1^er vecteur et le 2^nd ${\big )}$ .

[5] Cela se déduit de la 1^ère forme de la définition intrinsèque du produit scalaire et du fait que le projeté de la somme de deux vecteurs sur une direction orientée est la somme des projetés de chaque vecteur sur cette même direction orientée $\;{\big (}$ par exemple le projeté de $\;{\vec {v}}+{\vec {w}}\;$ sur la direction de $\;{\vec {u}}\;$ est la somme du projeté de $\;{\vec {v}}\;$ sur la direction de $\;{\vec {u}}\;$ et du projeté de $\;{\vec {w}}\;$ sur la direction de $\;{\vec {u}}{\big )}\;\ldots$

[base_orthonormée-6] 6,0 ^6,1 et ^6,2 Vecteurs unitaires et orthogonaux deux à deux.

[7] La base étant orthonormée on a $\;||{\vec {i}}||^{2}={\vec {i}}^{2}=1$ , $\;||{\vec {j}}||^{2}={\vec {j}}^{2}=1$ , $\;||{\vec {k}}||^{2}={\vec {k}}^{2}=1$ , $\;{\vec {i}}\!\cdot \!{\vec {j}}={\vec {j}}\!\cdot \!{\vec {i}}=0$ , $\;{\vec {i}}\!\cdot \!{\vec {k}}={\vec {k}}\!\cdot \!{\vec {i}}=0\;$ et $\;{\vec {j}}\!\cdot \!{\vec {k}}=$ ${\vec {k}}\!\cdot \!{\vec {j}}=0$ .

[distributivité_de_la_multiplication_scalaire_relativement_à_l'addition_vectorielle-8] Voir le paragraphe « autres propriétés (de la multiplication scalaire, 2^ème propriété) » plus haut dans ce chapitre.

[9] Signifiant que le produit scalaire des deux vecteurs reste inchangé par changement de base.

[angle_non_orienté-10] 10,0 ^10,1 ^10,2 et ^10,3 Angle non orienté.

[définition_intrinsèque_du_produit_scalaire-11] 11,0 ^11,1 et ^11,2 Voir le paragraphe « définition intrinsèque du produit scalaire de deux vecteurs (autre forme de la définition intrinsèque) » plus haut dans ce chapitre.

[définition_du_produit_scalaire_à_l'aide_des_composantes_des_vecteurs-12] 12,0 et ^12,1 Voir le paragraphe « définition du produit scalaire de deux vecteurs à l'aide de leurs composantes sur une base de l'espace » plus haut dans ce chapitre.

[orientable-13] 13,0 ^13,1 ^13,2 et ^13,3 C.-à-d. que tout déplacement continu d'un objet chiral $\;{\big (}$ non superposable à son image dans un miroir plan ${\big )}\;$ dans l'espace aboutit, lors du retour au point de départ, à la superposition de l'image obtenue par déplacement avec l'objet de départ.

[tire-bouchon_de_Maxwell-14] 14,0 et ^14,1 Le tire-bouchon de Maxwell est un tire-bouchon pour droitier, plaçant un bouchon en un point $\;M\;$ de l'espace et tournant le tire-bouchon de façon à ce qu'il s'enfonce dans le bouchon, l'orientation est donnée par les sens associés de rotation et de translation au point $\;M$ , elle est dite « à droite » parce qu'il faut tourner vers la droite pour que le tire-bouchon s'enfonce dans le bouchon ;
James Clerk Maxwell (1831 - 1879) physicien et mathématicien écossais, principalement connu pour ses équations unifiant l'électricité, le magnétisme et l'induction ainsi que pour l'établissement du caractère électromagnétique des ondes lumineuses, mais aussi pour sa distribution des vitesses utilisée dans une description statistique de la théorie cinétique des gaz ; le tire-bouchon fictif portant son nom a été baptisé ainsi en son honneur.

[tire-bouchon_de_farces_et_attrapes-15] 15,0 et ^15,1 Le tire-bouchon de farces et attrapes serait en fait un tire-bouchon pour gaucher, plaçant un bouchon en un point $\;M\;$ de l'espace et tournant le tire-bouchon de façon à ce qu'il s'enfonce dans le bouchon, l'orientation est donnée par les sens associés de rotation et de translation au point $\;M$ , elle est dite « à gauche » parce qu'il faudrait tourner vers la gauche pour que le tire-bouchon s'enfonce dans le bouchon.

[espace_orienté-16] 16,00 ^16,01 ^16,02 ^16,03 ^16,04 ^16,05 ^16,06 ^16,07 ^16,08 ^16,09 ^16,10 ^16,11 ^16,12 ^16,13 ^16,14 ^16,15 ^16,16 ^16,17 ^16,18 ^16,19 ^16,20 ^16,21 ^16,22 ^16,23 ^16,24 ^16,25 ^16,26 ^16,27 ^16,28 ^16,29 et ^16,30 Voir l'introduction du paragraphe « produit vectoriel de deux vecteurs » plus haut dans ce chapitre.

[règle_de_la_main_droite-17] 17,0 ^17,1 ^17,2 ^17,3 ^17,4 ^17,5 et ^17,6 Cette règle pour déterminer le caractère « direct » d'un trièdre de vecteurs dans un espace orienté à droite est dite « règle de la main droite » $\;{\big (}$ ceux qui se souviennent de leur enfance pourraient l'appeler « règle de l'apprenti cow-boy droitier » ${\big )}$ ; il existe d'autres règles équivalentes :
« règle de l'auto-stoppeur (droitier) » : l'avant bras $\;{\big (}$ droit ${\big )}\;$ étant dans le sens de $\;{\vec {i}}$ , la poigne de la main $\;{\big (}$ droite ${\big )}\;$ courbée dans le sens de $\;{\vec {j}}$ , le pouce est alors levé dans le sens de $\;{\vec {k}}$ ,
« règle du tire-bouchon de Maxwell » : le tire-bouchon tournant de $\;{\vec {i}}\;$ vers $\;{\vec {j}}$ , il s'enfonce dans le bouchon fixe dans le sens de $\;{\vec {k}}$ ,
« règle du bonhomme d'Ampère » : le bonhomme d'Ampère se couchant sur $\;{\vec {i}}$ , ce vecteur lui entrant par les pieds et lui sortant par la tête, regardant droit devant dans le sens de $\;{\vec {j}}$ , il tend le bras gauche perpendiculairement à son corps dans le sens de $\;{\vec {k}}$ ,
et bien d'autres règles que vous pouvez vous-même inventer.
James Clerk Maxwell (1831 - 1879) physicien et mathématicien écossais, principalement connu pour ses équations d'électromagnétisme, pour plus de détails voir la note « ¹⁴ » plus haut dans ce chapitre.
André-Marie Ampère (1775 - 1836), mathématicien, physicien, chimiste et philosophe français, peut être considéré comme l'un des 1^ers artisans de la mathématisation de la physique, il a édifié les fondements théoriques de l'électromagnétisme et a découvert les bases de l'électronique de la matière ; c'est lui qui inventa le bonhomme fictif portant son nom et permettant de déterminer le caractère direct d'un triplet de vecteurs.

[18] Sur le schéma en perspective, pour traduire que l'axe $\;Ox\;$ vient vers le lecteur on peut donner un effet au trait en lui donnant une épaisseur d'autant plus grande que l'endroit considéré est éloigné du plan de front ;
sur le schéma projeté on traduit le sens de l'axe $\;Ox\;$ $\perp \;$ au plan de front et venant vers l'observateur par un cercle dans lequel on place un point.

[règle_de_la_main_gauche-19] 19,0 ^19,1 ^19,2 ^19,3 ^19,4 ^19,5 et ^19,6 Pouvant encore être appelé « règle de l'apprenti cow-boy gaucher » ; là encore il est possible de trouver des règles équivalentes $\;\ldots$

[20] Sur le schéma en perspective, pour traduire que l'axe $\;Ox\;$ s'éloigne du lecteur on peut donner un effet au trait en le remplaçant par des hachures d'autant moins larges que l'endroit considéré est éloigné du plan de front ;
sur le schéma projeté on traduit le sens de l'axe $\;Ox\;$ $\perp \;$ au plan de front et s'éloignant de l'observateur par un cercle dans lequel on place une croix.

[21] On passe de la base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,{\vec {k}}\right\rbrace \;$ à la base $\;\left\lbrace {\vec {i}},\,{\vec {j}},\,-{\vec {k}}\right\rbrace \;$ par symétrie plane relativement au plan $\;\left({\vec {i}},\,{\vec {j}}\right)$ ; en conséquence une symétrie plane transforme une base « directe » en base « indirecte » et vice versa.

[22] Espace physique dans lequel les objets sont positionnés, réellement pour la partie située du côté air du miroir ou virtuellement pour celle située du côté opaque du miroir.

[23] Espace physique dans lequel les images données par le miroir des objets sont positionnées, réellement pour la partie située du côté air du miroir ou virtuellement pour celle située du côté opaque du miroir.

[24] Le vecteur unitaire $\;{\vec {u}}_{x}\;$ orientant l'axe optique principal $\;{\big [}$ voir le paragraphe « algébrisation physique de l'axe optique principal (associé à un objet ponctuel) (dans un système catadioptrique unidirectionnel) » du chap. $12$ de la leçon « Signaux physiques (PCSI) » ${\big ]}\;$ dans le sens de propagation de la lumière, $\;{\vec {u}}_{y}\;$ et $\;{\vec {u}}_{z}\;$ étant $\;\parallel \;$ au miroir.

[25] En effet l'image d'un objet par un miroir plan est le symétrique de l'objet par rapport au plan du miroir et une symétrie plane a pour effet une inversion de l'orientation.

[26] Le vecteur unitaire $\;{{\vec {u}}'}_{\!x}=-{\vec {u}}_{x}\;$ orientant l'axe optique principal $\;{\big [}$ voir le paragraphe « algébrisation physique de l'axe optique principal (associé à un objet ponctuel) (dans un système catadioptrique unidirectionnel) » du chap. $12$ de la leçon « Signaux physiques (PCSI) » ${\big ]}\;$ dans le sens de propagation de la lumière réfléchie sur le miroir, $\;{\vec {u}}_{y}\;$ et $\;{\vec {u}}_{z}\;$ étant $\;\parallel \;$ au miroir.

[27] On utilisera la contraposée $\;{\big (}$ proposition contraire ${\big )}\;$ pour démontrer la colinéarité de deux vecteurs non nuls : "si deux vecteurs $\;{\vec {u}}\;$ et $\;{\vec {v}}\;$ non nuls sont tels que $\;{\vec {u}}\wedge {\vec {v}}={\vec {0}}$ , alors ils sont colinéaires" étant la contraposée de "si deux vecteurs non nuls ne sont pas colinéaires, alors $\;{\vec {u}}\wedge {\vec {v}}\neq {\vec {0}}$ ".

[28] Cette précision « un espace orienté à droite » est souvent omise en physique car il est rare qu'un espace orienté à gauche soit utilisé, en particulier, quand on introduira un produit vectoriel de deux vecteurs, on utilisera la règle de la main droite pour déterminer le sens du produit vectoriel, ce qui sous-entend qu'on a orienté l'espace à droite.

[caractère_indirect_au_sens_de_la_physique_d'une_base_dans_un_espace_orienté_à_gauche-29] 29,0 et ^29,1 Dans le cas où l'espace est orienté à gauche le caractère indirect $\;{\big (}$ au sens de la physique ${\big )}\;$ du trièdre correspond à l'utilisation de la règle de la main gauche pour déterminer le sens du produit vectoriel $\;{\big (}$ c'est la même règle utilisée pour déterminer l'orientation de l'espace, raison pour laquelle le trièdre serait qualifié de direct en mathématiques, ce que nous ne ferons pas ${\big )}\;\ldots$

[30] Disposant verticalement les trois composantes des vecteurs on forme la somme des produits des composantes en suivant les flèches avec le signe les précédant $\;{\big (}$ pour la 1^ère composante du produit vectoriel les flèches sont mises entre les lignes des 2^èmes et 3^èmes composantes des vecteurs ${\big )}$ : suivant la flèche descendante, le produit $\;u_{2}\times v_{3}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{3}\times v_{2}\;$ avec signe « $\;-\;$ » soit $\;u_{2}\,v_{3}-u_{3}\,v_{2}\;$ comme 1^ère composante du produit vectoriel.

[31] Pour la 2^ème composante du produit vectoriel les flèches devant être positionnées entre les lignes des 3^èmes et 1^ères composantes des vecteurs, on recopie la 1^ère ligne en 4^ème ligne pour pouvoir suivre la même règle de calcul et on positionne les flèches entre la 3^ème et 4^ème ligne : suivant la flèche descendante, le produit $\;u_{3}\times v_{1}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{1}\times v_{3}\;$ avec signe « $\;-\;$ » soit $\;u_{3}\,v_{1}-u_{1}\,v_{3}\;$ comme 2^ème composante du produit vectoriel ;
ce résultat peut aussi être obtenu par permutation circulaire $\;(1\rightarrow 2\rightarrow 3\rightarrow 1)\;$ à partir de la 1^ère composante du produit vectoriel ce qui donne $\;u_{2}\,v_{3}-u_{3}\,v_{2}\rightarrow u_{3}\,v_{1}-u_{1}\,v_{3}$ .

[32] Pour la 3^ème composante du produit vectoriel les flèches devant être positionnées entre les lignes des 1^ères et 2^èmes composantes des vecteurs : suivant la flèche descendante, le produit $\;u_{1}\times v_{2}\;$ avec signe « $\;+\;$ » auquel on ajoute, suivant la flèche montante, le produit $\;u_{2}\times v_{1}\;$ avec signe « $\;-\;$ » soit $\;u_{1}\,v_{2}-u_{2}\,v_{1}\;$ comme 3^ème composante du produit vectoriel ;
ce résultat peut aussi être obtenu par permutation circulaire $\;(1\rightarrow 2\rightarrow 3\rightarrow 1)\;$ à partir de la 2^ème composante du produit vectoriel ce qui donne $\;u_{3}\,v_{1}-u_{1}\,v_{3}\rightarrow u_{1}\,v_{2}-u_{2}\,v_{1}$ .

[33] Ceci que la base soit « directe dans un espace orienté à droite » ou « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ dans un espace orienté à gauche » car on utilise la même règle pour définir le produit vectoriel et l'orientation de l'espace.

[distributivité_de_la_multiplication_vectorielle_relativement_à_l'addition_vectorielle-34] Voir le paragraphe « propriétés (de la multiplication vectorielle, 2^ème propriété) » plus haut dans ce chapitre.

[35] On a utilisé l'anticommutativité du produit vectoriel $\;{\big [}$ voir le paragraphe « propriétés (de la multiplication vectorielle, 1^ère propriété) » plus haut dans ce chapitre ${\big ]}\;$ pour effectuer des regroupements par factorisation.

[36] L'aire d'un parallélogramme se calculant en multipliant la longueur d'un côté par la hauteur correspondante (c.-à-d. la distance orthogonale séparant ce côté et le côté qui lui est parallèle).

[nature_directe_ou_indirecte-37] 37,0 ^37,1 et ^37,2 La base étant « directe si l'espace est orienté à droite » ou « indirecte $\;{\big (}$ au sens de la physique ${\big )}\;$ si l'espace est orienté à gauche ».

[définition_intrinsèque_du_produit_vectoriel-38] Voir le paragraphe « définition intrinsèque du produit vectoriel de deux vecteurs » plus haut dans ce chapitre.

[définition_du_produit_vectoriel_par_ses_composantes-39] 39,0 ^39,1 et ^39,2 Voir le paragraphe « définition du produit vectoriel de deux vecteurs à l'aide de leurs composantes sur une base de l'espace » plus haut dans ce chapitre.

[associativité_ou_non-40] Contrairement à la multiplication dans l'ensemble $\;\mathbb {R} \;$ des réels laquelle est associative selon $\;(a\times b)\times c=a\times (b\times c),\;\;\forall \,\left\lbrace a\,,\,b\,,\,c\right\rbrace \in \mathbb {R} ^{3}$ ,
Contrairement à la multiplication vectorielle est non associative : a priori $\;\left({\vec {u}}\wedge {\vec {v}}\right)\wedge {\vec {w}}\neq {\vec {u}}\wedge \left({\vec {v}}\wedge {\vec {w}}\right)\;$ avec trois vecteurs $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ quelconques $\;{\big (}$ l'égalité pouvant se produire uniquement pour des cas particuliers ${\big )}$ ; vérifions en utilisant le triplet $\;\left\lbrace {\vec {i}}\,,\,{\vec {j}}\,,\,{\vec {k}}\right\rbrace \;$ des vecteurs de base cartésienne et formons successivement $\;{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)\;$ et $\;\left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}\;$ pour les comparer,
or $\;\left\lbrace {\begin{array}{l}{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)={\vec {i}}\wedge {\vec {k}}=-{\vec {j}}\\\left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}={\vec {0}}\wedge {\vec {j}}={\vec {0}}\end{array}}\right\rbrace \;$ $\Rightarrow$ $\;{\vec {i}}\wedge \left({\vec {i}}\wedge {\vec {j}}\right)\neq \left({\vec {i}}\wedge {\vec {i}}\right)\wedge {\vec {j}}\;$ établissant la non associativité sur cet exemple ce qui est suffisant pour affirmer que la propriété d'associativité n'est pas applicable pour la multiplication vectorielle.

[41] On distingue ces doubles produits vectoriels par la position de la parenthèse ouvrante devant le 1^er vecteur ou devant le 2^nd.

[42] On ne doit donc jamais oublier de placer les parenthèses.

[43] Moyen mnémotechnique : dans le membre de gauche la parenthèse ouvrante est devant le 1^er vecteur des trois vecteurs $\;{\big (}$ à savoir $\;{\vec {u}}{\big )}$ , dans le membre de droite le signe $\;-\;$ est devant le 1^er vecteur du couple entre parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {u}}{\big )}$ .

[44] Moyen mnémotechnique : dans le membre de gauche la parenthèse ouvrante est devant le 2^ème vecteur des trois vecteurs $\;{\big (}$ à savoir $\;{\vec {v}}{\big )}$ , dans le membre de droite le signe $\;-\;$ est devant le 2^ème vecteur du couple entre parenthèses du membre de gauche $\;{\big (}$ à savoir $\;{\vec {w}}{\big )}$ .

[anticommutativité_du_produit_vectoriel-45] 45,0 ^45,1 et ^45,2 Voir le paragraphe « propriétés (de la multiplication vectorielle, 1^ère propriété) » plus haut dans le chapitre.

[C.L.-46] 46,0 et ^46,1 Combinaison Linéaire.

[47] La parenthèse s’ouvrant sur le 1^er vecteur des trois vecteurs du membre de gauche, le signe $\;-\;$ est bien devant le 1^er vecteur de la C.L. du membre de droite.

[48] L'ordre n'est pas indifférent.

[49] Une telle situation peut être engendrée par deux vecteurs colinéaires, le 3^ème étant alors nécessairement coplanaire avec les deux autres, ou trois vecteurs coplanaires sans qu'aucun ne soit colinéaire à un autre.

[50] On peut utiliser la contraposée ${\big (}$ c.-à-d. la proposition contraire ${\big )}\;$ pour démontrer la coplaniarité de trois vecteurs non nuls : « si trois vecteurs $\;{\vec {u}}$ , $\;{\vec {v}}\;$ et $\;{\vec {w}}\;$ non nuls sont tels que $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}=0$ , alors ils sont coplanaires » étant la contraposée de la proposition « si trois vecteurs non nuls ne sont pas coplanaires, alors $\;({\vec {u}}\wedge {\vec {v}})\cdot {\vec {w}}\neq 0\;$ ».

[51] Voir le paragraphe « définition du produit vectoriel de deux vecteurs à l'aide de leurs composantes sur une base de l'espace (remarque) » plus haut dans ce chapitre.

[orientation_de_l'espace_et_trièdre_ordonné_en_multiplication_mixte-52] 52,0 et ^52,1 Si la règle suivie par le trièdre ordonné des trois vecteurs d'un produit mixte est la même que celle définissant l'orientation de l'espace $\;{\big (}$ « règle de la main droite pour un espace orienté à droite » ou « règle de la main gauche pour un espace orienté à gauche » ${\big )}\;$ le produit mixte est $\;>0\;$ sinon il est $\;<0$

[interprétation_géométrique_de_la_norme_d'un_produit_vectoriel-53] 53,0 et ^53,1 Voir le paragraphe « interprétation géométrique (de la norme d'un produit vectoriel de deux vecteurs) » plus haut dans ce chapitre.

[54] On rappelle que le volume d'un parallélépipède se calcule en multipliant l'aire d'une base quelconque par la hauteur correspondante.

[55] Pour que le parallélépipède existe il faut que les trois vecteurs $\;{\vec {u}},\;{\vec {v}}\;{\text{et}}\;{\vec {w}}\;$ ne soient pas coplanaires, sinon la valeur absolue du produit mixte est nulle en accord avec la dégénérescence du parallélépipède.

[56] Il est donc obtenu par application de la « règle de la main gauche » tout comme la règle définissant l'orientation de l'espace et est donc de sens contraire à celui de la figure ci-dessus.

[par_règle_de_la_main_gauche-57] 57,0 et ^57,1 Donc obtenu par application de la « règle de la main gauche » tout comme $\;{\vec {n}}$ .

[par_règle_de_la_main_droite-58] Donc obtenu par application de la « règle de la main droite » contrairement à $\;{\vec {n}}\;$ obtenu par application de la « règle de la main gauche ».

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]