Solution. D’après la formule de Gibbs pour le produit vectoriel on a
(u∧v)∧(w∧t) = hu∧v, tiw− hu∧v, wit
(u∧v)∧(w∧t) = hu, w ∧tiv− hv, w ∧tiu.
Exercice 5
Soit uun vecteur d’un espace euclidien orienté Ede dimension 3.
On considère l’application φde Evers E, définie par : φ(x) = u∧x.
1. Justifier que φest un endomorphisme de E, puis déterminer son noyau et son image.
2. Soit v∈E.
Déterminer ses antécédents par φ.
3. Prouver que φest antisymétrique : ∀(x, y)∈E2, < φ(x), y >=−< x, φ(y)> .
Solutions 1. Voir la Proposition 5 page 6 du cours.
2. Si u= 0 alors v∈Im(φ)que si v= 0 et dans ce cas φ−1({0}) = E. On suppose dorénavant u6= 0.
Si v= 0, alors d’après les propriétés du produit vectoriel, φ−1({v}) = Ru. On suppose v6= 0.
On cherche à résoudre l’équation φ(x) = u∧x=v. On remarque pour commencer que Im(φ)⊂(Ru)⊥.
Ainsi, si v /∈(Ru)⊥alors vn’a pas d’antécédent. On suppose dorénavant que v∈(Ru)⊥.
Soit x0∈(Rv)⊥\Ru. Alors u∧x0∈Vect(u, x0)⊥=Rv. Ainsi, il existe λ∈R∗tel que v=λu ∧x0.
Si on pose x=1
λx0alors u∧x=v. A tout point de (Rv)⊥\Rucorresponds un antécédent de v.
Supposons que xest un antécédent fixé de v. Soit yun autre antécédent. On a alors
φ(x) = φ(y) = v=⇒φ(x−y) = 0 =⇒x−y∈ker(φ).
Réciproquement, tous les élements de la forme x+zavec z∈ker(φ)sont des antécédents de v. On a
donc
φ−1({v}) = x+Ru
puisque ker(φ) = Ru.
3. Soit x, y ∈E. On a en utilisant la multilinéarité du déterminant :
hφ(x), yi=hu∧x, yi= [u, x, y] = [x, y, u] = −[x, u, y] = −hx, u ∧yi=−hx, φ(y)i.
Exercice 6
Soit fun endomorphisme d’un espace euclidien orienté Ede dimension 3 tel que :
∀x∈E, < f (x), x >= 0.
1. Rappeler pourquoi fest antisymétrique et sa matrice représentative dans une b.o.n.d (e1, e2, e3)
de Eest antisymétrique.
2. Montrer qu’il existe un unique vecteur ude Etel que : ∀x∈E, f(x) = u∧x.
Solution. 1. On a hf(x+y), x +yi= 0 et
hf(x+y), x +yi=hf(x), xi+hf(x), yi+hf(y), xi+hf(y), yi=hf(x), yi+hx, f(y)i
d’où hx, f(y)i=h−f(x), yiet f∗=−f.
Le coefficient (i, j)dans la matrice représentative de fest hf(ei), eji.
Le coefficient (j, i)dans la matrice représentative de fest hf(ej), eii.
Or hf(ei), eji=−hei, f(ej)i=−hf(ej), eiid’où le résultat.