MPSI B DM 14 29 juin 2019
−
→ i − →
j
−
→ k
− ψ
→ k
1−
→ j
1−
→ u
ϕ
−
→ i
1θ
Fig. 1: Angles d'Euler
Dans la première partie, on introduit des angles d'Euler pour repérer les rotations d'un espace vectoriel euclidien orienté de dimension 3.
Dans la suite on introduit les quaternions de Hamilton comme des matrices 2 × 2 à coe- cients complexes et diverses structures sur cet espace. On dénit en particulier un R-espace vectoriel euclidien de dimension 3 formé de quaternions dits purs. Bien que, de nature matricielle par dénition, les quaternions purs seront regardés le plus souvent comme des vecteurs. On retrouve à la n les angles d'Euler en termes de quaternions.
Partie I - Angles d'Euler
Soit ( − → i , − →
j , − → k ) et ( − →
i 1 , − → j 1 , − →
k 1 ) deux bases orthonormées directes. On suppose que ( − → k , − →
k 1 ) est libre. Il existe alors une unique rotation r telle que
r( − → i ) = − →
i 1 , r( − → j ) = − →
j 1 , r( − → k ) = − →
k 1
On se propose de dénir les trois angles d'Euler θ, ϕ, ψ qui permettent de repérer ( − → i 1 , − →
j 1 , − → k 1 ) et de décomposer r en trois rotations d'angles θ, ϕ, ψ autour d'axes orientés s'exprimant très simplement avec ( − →
i , − → j , − →
k ) . Soit θ l'écart angulaire entre − →
k et − →
k 1 . Il existe un unique vecteur unitaire − → u orthogonal à − →
k et − →
k 1 tel que − →
k 1 = r → − u ,θ ( − →
k ) . On notera r 1 = r − → u ,θ
Soit ϕ l'unique réel dans [0, 2π[ tel que − → u = r − → k ,ϕ ( − →
i ) . On notera r 2 = r − → k ,ϕ
Soit ψ l'unique réel dans [0, 2π[ tel que − → i 1 = r − → k
1
,ψ ( − → u ) . On notera r 3 = r − → k
1
,ψ
1. Calculer r 3 ◦ r 1 ◦ r 2 ( − →
i ) et r 3 ◦ r 1 ◦ r 2 ( − →
k ) . En déduire que r 3 ◦ r 1 ◦ r 2 = r . 2. Soit − → w un vecteur non nul, α un réel quelconque et f une rotation. Montrer que
f ◦ r − → w ,α ◦ f −1 = r f( → − w),α
3. On adopte les notations suivantes : r ϕ = r 2 = r − →
k ,ϕ , r ψ = r → −
k ,ψ , R θ = r → − i ,θ
Que valent r ϕ ( → −
i ) et r 1 ( − →
k ) ? Exprimer r 1 à l'aide de r ϕ et R θ . En déduire r = r ϕ ◦ R θ ◦ r ψ
Écrire sous la forme d'un produit, la matrice de r dans la base ( − → i , − →
j , − → k ) .
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
1
Rémy Nicolai M0514EMPSI B DM 14 29 juin 2019
Partie II - Quaternions.
On appelle quaternion toute matrice complexe
q =
a −b
b a
avec (a, b) ∈ C 2
On note H l'ensemble des quaternions et on adopte les conventions suivantes :
q =
a b
−b a
N (q) = det(q) = |a| 2 + |b| 2 Un quaternion q est dit vectoriel ou pur si et seulement si q = −q .
On note E l'ensemble des quaternions purs, ils seront écrits généralement avec une èche.
On pose en particulier
1 H = 1 0
0 1
, − → i =
0 i i 0
, − →
j =
0 −1 1 0
, − →
k = i 0
0 −i
1. Montrer que H est un sous-espace vectoriel du R espace vectoriel M 2,2 ( C ) , stable pour la multiplication matricielle. Vérier que (1 H , − →
i , − → j , − →
k ) est une base de H et que ( − →
i , − → j , − →
k ) est une base de E .
Dans la suite, E est orientée par cette base, c'est à dire que ( − → i , − →
j , − →
k ) est directe.
2. Vérier que qq = N(q)1 H . Montrer que si q 6= 0 H , la matrice q est inversible avec
q −1 = 1 N (q) q En déduire que q −1 ∈ H.
3. Montrer que pour tout couple (q, q 0 ) de quaternions, qq 0 = q 0 q 4. Soit q ∈ H, montrer 1 2 (q − q) ∈ E . On posera
−
→ V q = 1 2 (q − q) On dit que − →
V q est la partie vectorielle de q . Vérier que
q = 1
2 tr(q)1 H + − → V q
Partie III - Multiplications
On dénit une application S de H dans H par :
∀q ∈ H : S(q) = q Soit q ∈ H, on dénit des applications g q et d q par :
∀q ∈ H : g q (q 0 ) = qq 0 , d q (q 0 ) = q 0 q Soit q ∈ H non nul, on dénit une application C q par :
∀q ∈ H : C q (q 0 ) = qq 0 q −1
1. Vérier que S , g q , d q , C q sont des endomorphismes de H. Lorsque q est un quaternion non nul, exprimer d q
−1puis C q à l'aide du réel N (q) et des applications S et g q . 2. a. Calculer la matrice de g q dans la base (1 H , − →
i , − → j , − →
k ) en fonction de α, β, γ, δ lorsque
q =
a −b
b a
avec a = α + iβ, b = γ + iδ.
b. Calculer det g q . 3. Calculer det C q .
Partie IV - Produit scalaire
Pour tout couple ( − → u , − → v ) de quaternions purs, on pose ( − → u / − → v ) = − 1
2 tr( − → u − → v )
1. Vérier que la formule du dessus dénit un produit scalaire sur E et que ( − → i , − →
j , − → k ) est une base orthonormée.
2. L'espace vectoriel euclidien de dimension 3 E est orienté en décrétant que ( − → i , − →
j , − → k ) est directe. Le produit vectoriel dans cet espace est noté ∧ . Montrer que
−
→ u ∧ − → v = − →
V − → u − → v = 1
2 ( − → u − → v − − → v − → u ) , − → u − → v = −( − → u / − → v )1 H + − → u ∧ − → v Bien prendre garde à ne pas confondre
le produit matriciel − → u − → v .
le produit vectoriel − → u ∧ − → v qui s'écrit aussi 1 2 ( − → u − → v − − → v − → u ) à l'aide d'opérations ma- tricielles.
le produit scalaire ( − → u / − → v ) qui s'écrit − 1 2 tr( − → u − → v ) à l'aide d'opérations matricielles.
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
2
Rémy Nicolai M0514EMPSI B DM 14 29 juin 2019
Parties V - Rotations
Dans cette partie, q désigne un quaternion non nul avec
q =
a −b
b a
et a = α + iβ, b = γ + iδ.
L'application C q est dénie dans la partie III.
1. a. Montrer que E est stable par C q .
On notera c q l'application de E dans E qui coincide avec C q . b. Montrer que det c q = 1 .
c. Montrer que c q est une rotation.
2. a. Calculer (c q ( − → i )/ − →
i ) , (c q ( − → j )/ − →
j ) , (c q ( − → k )/ − →
k ) en fonction de α, β, γ, δ . b. En déduire tr c q . Dans quel cas a-t-on tr c q = 3 ?
On suppose dans toute la suite que q 6∈ Vect 1 H c'est à dire que − → V q 6= −→
O E . 3. Montrer que c q n'est pas l'identité et que c q ( − →
V q ) = − → V q . 4. Montrer que pour tout − → u ∈ E :
(c q − c q −1 )( − → u ) = 4α N (q)
−
→ V q ∧ − → u
En déduire que c q est un demi tour si et seulement si q ∈ E . Quel est alors son axe ? On suppose dans la suite que q 6∈ Vect 1 H et q 6∈ E . Il existe alors un unique θ ∈] −π, π[
tel que c q = r θ, → − V
q
.
5. a. Quelle est la matrice de c q (en fonction de θ ) dans une base orthonormée directe de la forme ( − → a , − →
b , 1
N ( − → V
q)
−
→ V q ) ?
b. Montrer que
cos θ = α 2 − k − → V q k 2
N (q) , sin θ = 2αk − → V q k N (q) c. En déduire l'expression de tan θ 2 en fonction de α et de k − →
V q k . Cette expression détermine-t-elle un unique θ dans ] − π, π[ ?
Partie VI - Quaternions et angles d'Euler
1. Soit ω ∈]0, π[ , préciser les éléments géométriques de c q pour les deux q suivants :
q =
e iω 0 0 e −iω
, q =
cos ω i sin ω i sin ω cos ω
2. Soit θ , ϕ , ψ trois nombres réels, calculer le produit matriciel
e i
φ20 0 e −i
φ2!
cos θ 2 i sin θ 2 i sin θ 2 cos θ 2
e i
ψ20 0 e −i
ψ2!
3. Soit q un quaternion de norme 1 qui n'est ni réel ni vectoriel (pur), expliquer comment se calculent les angles d'Euler θ , ϕ , ψ qui permettent de décomposer la rotation c q .
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/