Étant donnés trois vecteurs
On peut démontrer que l'on a :
et
et aussi :
autrement dit :
Remarques :
Notons tout d'abord que deux vecteurs non colinéaires
Trois vecteurs non coplanaires forment une base. La base
On définit le produit vectoriel des deux vecteurs
On étend la définition précédente au cas où
Le produit vectoriel agit sur des objets mathématiques de différentes sortes, soit des vecteurs, soit des pseudovecteurs. Cette distinction est peu importante en base orthonormée (sauf pour les symétries), mais si elle n'est pas faite en base non orthonormée, cela aboutit à des absurdités. On a ce problème en physique avec notamment les champs magnétiques et les moments, qui ressemblent beaucoup aux vecteurs, mais qui sont en fait des pseudovecteurs, et n'obéissent pas aux mêmes règles de calcul.
On peut combiner trois vecteurs
Exemple :
Comme le produit vectoriel n'est ni associatif, ni commutatif, il est nécessaire d'utiliser ici des parenthèses et le résultat va dépendre à la fois de l'ordre dans lequel les opérations sont effectuées et de l'ordre de présentation des 3 vecteurs.
On peut démontrer (sans difficulté mais assez laborieusement) les 2 formules suivantes :
et
Moyen mnémotechnique : le double produit vectoriel est forcément porté par les vecteurs entre parenthèses (puisque ne possède aucune composante sur le troisième vecteur) et le terme qui ne porte pas le signe