page 2
Proposition 3 Soit rune rotation du plan euclidien orienté E
2
.Il existe un réel θtel que la
matrice de rdans une base orthonormée directe arbitraire de E
2
est égale à R(θ)et est ainsi
indépendante du choix de cette base.
On définit ainsi un morphisme de groupes surjectif de IR sur SO (E
2
)(surjection dite canonique)
en associant au réel θla rotation rde E
2
dont la matrice dans toute base orthonormée directe de
E
2
est égale à R(θ) : avec ces notations, θest appelé une mesure (l’angle par abus de langage) de
ret rest appelée la rotation de E
2
d’angle θ.
Un changement d’orientation de E
2
transforme l’angle d’une rotation en son opposé.
Remark 1 Etant donnés deux vecteurs normés u
1
et u
2
de E
2
,il existe une et une seule rotation
(resp. symétrie axiale) de E
2
transformant u
1
en u
2
.
L’angle de la rotation transformant u
1
en u
2
est l’angle orienté des vecteurs u
1
et u
2
,à savoir
(
u
1
, u
2
).
1.2 Produit mixte et produit vectoriel
1.2.1 Cas général
Definition 4 Soit (u
1
, u
2
, . . . , u
n
)un système de vecteurs de E
n
.On appelle produit mixte de
(u
1
, u
2
, . . . , u
n
)le déterminant de (u
1
, u
2
, . . . , u
n
)dans la base B,que l’on note [u
1
, u
2
, . . . , u
n
].
Par définition, on a
[u
1
, u
2
, . . . , u
n
]=det
B
(u
1
, u
2
, . . . , u
n
)
Cette définition a un sens car cette valeur est indépendante de la base orthonormée directe utilisée.
Proposition 5 Soit (u
1
, u
2
, . . . , u
n
)un système de vecteurs de E
n
.
(u
1
, u
2
, . . . , u
n
)est une base (resp. base directe) de E
n
si, et seulement si, [u
1
, u
2
, . . . , u
n
]= 0
(resp. [u
1
, u
2
, . . . , u
n
]>0).
Le produit mixte est invariant par SO (E
n
)(plus généralement par SL (E
n
)).
Example 6 Dans le plan vectoriel euclidien orienté, si uet vsont deux vecteurs non nuls de E
2
,
on a
[u, v] = Det (u, v) = u vsin (
u, v)
où (
u, v)désigne l’angle orienté des vecteurs uet v.
Proposition 7 Définition :
Soit (u
1
, u
2
, . . . , u
n−1
)un système de vecteurs de E
n
.Il existe un et un seul vecteur vde E
n
tel
que l’on ait
∀x∈E
n
,[u
1
, u
2
, . . . , u
n−1
, x] = (v|x)
Le vecteur vest appelé le produit vectoriel de u
1
, u
2
, . . . , u
n−1
et noté u
1
∧u
2
∧. . . ∧u
n−1
.
L’application
E
n−1
n
−→ E
n
(u
1
, u
2
, . . . , u
n−1
)−→ u
1
∧u
2
∧. . . ∧u
n−1
est n−1-linéaire alternée.
Proposition 8 Soit (u
1
, u
2
, . . . , u
n−1
)un système de vecteurs de E
n
.
Le système (u
1
, u
2
, . . . , u
n−1
)est lié si, et seulement si, u
1
∧u
2
∧...∧u
n−1
= 0.
u
1
∧u
2
∧. . . ∧u
n−1
∈vect (u
1
, u
2
, . . . , u
n−1
)
⊥
.
Si le système (u
1
, u
2
, . . . , u
n−1
)est libre, alors (u
1
, u
2
, . . . , u
n−1
, u
1
∧u
2
∧...∧u
n−1
)est une base
directe de E
n
.
2