Вы находитесь на странице: 1из 5

Problèmes de Mathématiques

Une famille de matrices orthogonales


Énoncé

Une famille de matrices orthogonales


L’espace vectoriel IR3 est rapporté à la base canonique (e1 , e2 , e3 ).
On donne quatre réels a, b, c, k tels que a2 + b2 + c2 = 1 et k 6= 0.
On désigne par I la matrice identité d’ordre 3 .
 
0 c −b
Soit f le morphisme de IR3 dont la matrice dans la base canonique est T =  −c 0 a .
b −a 0

PREMIERE PARTIE

1. Calculer T 2 . Exprimer T 3 en fonction de T . [ S ]


2. Trouver le rang de f et déterminer son noyau. [ S ]
3. Montrer que la matrice Bk = kI + T est inversible. [ S ]
4. Montrer qu’il existe trois réels u, v, w, dépendants de k, tels que Bk−1 = uI +vT +wT 2 . [ S ]
5. En déduire que les matrices (kI + T )−1 et kI − T commutent. [ S ]

DEUXIEME PARTIE

On note gk l’endomorphisme de IR3 de matrice Ak = (kI +T )−1 (kI −T ) dans la base canonique.
1. Quels sont les vecteurs x de IR3 tels que gk (x) = x ? [ S ]
2. Montrer que Ak est inversible et que A−1 T
k = Ak = A −k . [ S ]
3. Montrer que I + Ak est inversible et que : T = k(I − Ak )(I + Ak )−1 . [ S ]
4. Ecrire explicitement la matrice Ak en fonction de I, k, T, T 2 . [ S ]
5. On pose k = tan( π2 − 2θ ), avec -π < θ < π.
(a) On suppose d’abord a = 1 et b = c = 0.
Identifier gk à une transformation géométrique simple. [ S ]
(b) On suppose (b, c) 6= (0, 0). Montrer que les vecteurs u1 = (a, b, c), u2 = f (e1 ) et
u3 = −f 2 (e1 ) forment une base de IR3 . [ S ]
(c) Quelles sont les matrices Te et A
ek de f et de gk dans cette base ? [ S ]
(d) Soient k1 et k2 deux réels non nuls tels que (k1 + k2 )(1 − k1 k2 ) 6= 0.
Montrer qu’il existe un réel non nul k tel que gk = gk1 ogk2 .
Exprimer k en fonction de k1 et de k2 . [ S ]

Page 1 Jean-Michel Ferrard www.klubprepa.net EduKlub


c S.A.
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Une famille de matrices orthogonales
Corrigé

Corrigé du problème
PREMIERE PARTIE
 
−b2 − c2 ab ac
1. On trouve T 2 =  ab −a2 − c2 bc .
2 2
ac bc −a − b
De même, en utilisant l’égalité a + b + c2 = 1
2 2

   
0 −(a2 + b2 + c2 )c (a2 + b2 + c2 )b 0 −c b
T 3= (a2 + b2 + c2 )c 0 −(a2 + b2 + c2 )a = c 0 −a = −T
−(a2 + b2 + c2 )b (a2 + b2 + c2 )a 0 −b a 0

[Q]
       
x cy − bz x a
2. Pour tout vecteur u = (x, y, z), T  y  =  −cx + az  =  y  ∧  b .
z bx − ay z c
3
Connaissant les propriétés du produit vectoriel dans IR , on en déduit que :
f (u) = 0 ⇐⇒ u est lié au vecteur ω = (a, b, c).
Le noyau de f est donc la droite vectorielle engendrée par (a, b, c).
On en déduit que le rang de f est 2 : en effet dim IR3 = rg(f ) + dim ker f .
Mais f (u) = u∧(a, b, c) ⇒ Imf est inclus dans le plan orthogonal à (a, b, c).
Pour des raisons de dimension, Imf est donc le plan orthogonal à (a, b, c), c’est-à-dire
l’ensemble des vecteurs u = (x, y, z) tels que ax + by + cz = 0.
Remarque : L’interprétation vectorielle de la matrice T permet une nouvelle démonstra-
tion de l’égalité T 3 = −T . Il suffit en effet de vérifier que f 3 = −f .
Or pour tout vecteur u de IR3 :
f 2 (u) = f (u)∧ω = (u∧ω)∧ω = ω∧(ω∧u)
= (ω · u)ω − (ω · ω)u = (ω · u)ω − u (car ω est unitaire)
On en déduit :
f 3 (u) = ((ω · u)ω − u)∧ω = −u∧ω = −f (u). [ Q ]

k
c −b
3. On vérifie que det(Bk ) = −c k a = (a2 + b2 + c2 + k 2 )k = (1 + k 2 )k 6= 0.
b −a k
On en déduit que Bk est inversible.
Il y a une deuxième démonstration qui consiste à vérifier que fk = f + k Id est injective
(donc est un automorphisme de IR3 ).

− →

Soit u un vecteur de ker fk : fk (u) = 0 ⇐⇒ u∧ω + k u = 0 .
Si on multiplie scalairement cette égalité par u, on trouve k kuk2 = 0 et donc u = 0. [ Q ]

Page 2 Jean-Michel Ferrard www.klubprepa.net EduKlub


c S.A.
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Une famille de matrices orthogonales
Corrigé

4. Il suffit de trouver trois réels u, v, w tels que (uI + vT + wT 2 )Bk = I.


(uI + vT + wT 2 )Bk = I ⇐⇒ (uI + vT + wT 2 )(kI + T ) = I
⇐⇒ kuI + (u + kv)T + (v + kw)T 2 + wT 3 = I
⇐⇒ kuI + (u + kv − w)T + (v + kw)T 2 = I
1
 
 ku = 1  u= k
L’égalité est réalisée si u + kv − w = 0 donc si v = − k21+1
v + kw = 0 w = k(k21+1)
 
1 1 1
Conclusion : on a Bk−1 = I − 2 T+ 2
T 2.
k k +1 k(k + 1)
Il y a une autre méthode, qui utilise l’égalité T 3 = −T .
En effet T = Bk − kI et :
T 3 = −T ⇒ (Bk − kI)3 = kI − Bk ⇒ Bk3 − 3kBk2 + 3k 2 Bk − k 3 I = kI − Bk
⇒ Bk (Bk2 − 3kBk + (3k 2 + 1)I) = k(k 2 + 1)I
Ce calcul montre que Bk est inversible, avec :
1
Bk−1 = 2
(Bk2 − 3kBk + (3k 2 + 1)I)
k(k + 1)
1
= ((T + kI)2 − 3k(T + kI) + (3k 2 + 1)I) [Q]
k(k 2 + 1)
1 1 1 1
= 2
(T 2 − kT + (k 2 + 1)I) = I − 2 T+ 2
T2
k(k + 1) k k +1 k(k + 1)
5. Les matrices Bk−1 = (kI + T )−1 et kI − T sont des combinaisons linéaires des matrices I,
T et T 2 qui commutent entre elles deux à deux.
On en déduit que les matrices (kI + T )−1 et kI − T commutent. [ Q ]

DEUXIEME PARTIE

On note gk l’endomorphisme de IR3 de matrice Ak = (kI +T )−1 (kI −T ) dans la base canonique.
1. Soit x un vecteur de IR3 et X la matrice colonne associée :
gk (x) = x ⇐⇒ Ak X = X ⇐⇒ (kI + T )−1 (kI − T )X = X
⇐⇒ (kI − T )X = (kI + T )X ⇐⇒ T X = 0 ⇐⇒ x ∈ ker f
On obtient donc la droite vectorielle engendrée par le vecteur unitaire ω = (a, b, c). [ Q ]
2. La matrice T est antisymétrique.
On en déduit, en se souvenant que (kI + T )−1 et kI − T commutent :
T
Ak = T (kI − T )T (kI + T )−1 = (kI + T )(kI − T )−1 = ((kI + T )−1 (kI − T ))−1 = A−1
k .
−1 −1 −1
De même A−k = (−kI +T ) (−kI −T ) = (kI −T ) (kI +T ) = (kI +T )(kI −T ) = T Ak .
[Q]
3. Pour toute matrice colonne X,
(I + Ak )X = 0 ⇐⇒ Ak X = −X ⇐⇒ (kI + T )−1 (kI − T )X = −X
⇐⇒ (kI − T )X = −(kI + T )X ⇐⇒ 2kX = 0 ⇐⇒ X = 0
Le “noyau” de I + Ak est donc réduit à 0 : cette matrice est inversible.

Page 3 Jean-Michel Ferrard www.klubprepa.net EduKlub


c S.A.
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Une famille de matrices orthogonales
Corrigé

Par définition de Ak , on a : (kI + T )Ak = kI − T et donc T (Ak + I) = k(I − Ak ).


Compte tenu de l’inversibilité de (Ak + I), on trouve T = k(I − Ak )(I + Ak )−1 . [ Q ]
4. Après développement et simplification, en utilisant T 3 = −T , on trouve :
h1 1 1 i 2k 2
Ak = Bk−1 (kI − T ) = I− 2 T+ 2
T 2
(kI − T ) = I − 2 T+ 2 T2
k k +1 k(k + 1) k +1 k +1
[Q]
5. (a) Pour tous a, b, c, et avec cette définition de k, on a :
1 2
k= θ
, 2
= 2 cos2 ( π2 − 2θ ) = 1 + cos(π − θ) = 1 − cos θ
tan 2 k +1
2k
2
= 2 sin( π2 − 2θ ) cos( π2 − 2θ ) = sin(π − θ) = sin θ.
k +1
2
On en déduit Ak = I − (sin θ)T + (1 − cos  θ)T .   
0 0 0 0 0 0
Avec a = 1 et b = c = 0, on trouve T =  0 0 1  et T 2 =  0 −1 0 .
0 −1 0 0 0 −1
 
1 0 0
On en déduit : Ak = 0 cos θ − sin θ .

0 sin θ cos θ
gk est donc la rotation d’angle θ autour du vecteur e1 . [ Q ]
 
a 0 b2 + c 2
(b) La matrice de u1 , u2 , u3 dans la base e1 , e2 , e3 est M =  b −c −ab .
c b −ac
Son déterminant est :
a(ac2 + ab2 ) + (b2 + c2 )(b2 + c2 ) = (b2 + c2 )(a2 + b2 + c2 ) = b2 + c2 6= 0.
On en déduit que les vecteurs u1 , u2 , u3 forment une base de IR3 . [ Q ]
(c) On sait que f (u1 ) = 0.
D’autre part f (u2 ) = f 2 (e1 ) = −u3 et f (u3 ) = −f 3 (e1 )= f (e1 ) = u 2.
0 0 0
La matrice de f dans la base u1 , u2 , u3 est donc : T = 0 0 1 .
e 
0 −1 0
 
1 0 0
On se retrouve ramené au cas précédent : A ek =  0 cos θ − sin θ  [ Q ]
0 sin θ cos θ
(d) La base u1 , u2 , u3 utilisée précédemment ne dépend pas de k.
Pour répondre à cette question, il suffit donc de trouver θ tel que A ek = Aek1 Aek2 .
Or de manière évidente, et en notant θ1 et θ2 les angles associés
 à k1 et k2 :
1 0 0 1 0 0
A ek2 =  0 cos θ1 − sin θ1  0 cos θ2 − sin θ2 
ek1 A
0 sin θ1 cos θ1 0 sin θ2 cos θ2
 
1 0 0
=  0 cos(θ1 + θ2 ) − sin(θ1 + θ2 ) 
0 sin(θ1 + θ2 ) cos(θ1 + θ2 )

Page 4 Jean-Michel Ferrard www.klubprepa.net EduKlub


c S.A.
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Une famille de matrices orthogonales
Corrigé

Autrement dit, Aek1 A


ek2 = A ek , où k est donné par k = tan( π − 1 (θ1 + θ2 )).
2 2
θ1 θ2
Notons pour simplifier t1 = tan 2 et t2 = tan 2 .
1 1 − t1 t2 1 − k11k2 k1 k2 − 1
On trouve : k = = = 1 1 = .
tan ( θ21 + θ22 ) t1 + t2 k1
+ k2
k 1 + k 2
Pour cette valeur de k, on a bien gk = gk1 ogk2 . [ Q ]
Remarque :
Revenons au début de la question 5.
En termes d’applications linéaires : gk = Id − (sin θ)f + (1 − cos θ)f 2 .
Donc pour tout vecteur x :
gk (x) = x − sin θ(x∧ω) + (1 − cos θ)((ω · x)ω − x)
= (cos θ)x + (sin θ)ω∧x + (1 − cos θ)(ω · x)ω
Notons p(x) = (ω · x)ω la projection orthogonale de x sur le vecteur unitaire ω.
gk (x) = (cos θ)(x − p(x)) + (sin θ)ω∧x + p(x).
Notons q(x) = (cos θ)(x − p(x)) + (sin θ)ω∧x. Ainsi gk (x) = q(x) + p(x).
On en déduit que gk est la rotation d’angle θ autour du vecteur ω (voir figure).
Il est donc normal que la composée de gk1 (rotation d’angle θ1 autour de ω) et de gk2 (rotation
d’angle θ2 autour de ω) soit la rotation d’angle θ = θ1 + θ2 autour de ω.

Page 5 Jean-Michel Ferrard www.klubprepa.net EduKlub


c S.A.
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.

Вам также может понравиться

  • Métré PDF
    Métré PDF
    Документ17 страниц
    Métré PDF
    cherqui
    100% (3)
  • Exoexa12 PDF
    Exoexa12 PDF
    Документ5 страниц
    Exoexa12 PDF
    djidosse
    50% (2)
  • Methodes Mathematiques Pour Ingenieur
    Methodes Mathematiques Pour Ingenieur
    Документ433 страницы
    Methodes Mathematiques Pour Ingenieur
    Joël Mètogbé Zinsalo
    100% (1)
  • Cahier Des Temps Unitaires (Extraits)
    Cahier Des Temps Unitaires (Extraits)
    Документ2 страницы
    Cahier Des Temps Unitaires (Extraits)
    mohameed
    100% (3)
  • Calcul Des Potelets Selon L - EuroCode 3
    Calcul Des Potelets Selon L - EuroCode 3
    Документ14 страниц
    Calcul Des Potelets Selon L - EuroCode 3
    ibnmessaoud10
    Оценок пока нет
  • M Co Mat JMF PDF
    M Co Mat JMF PDF
    Документ35 страниц
    M Co Mat JMF PDF
    djidosse
    Оценок пока нет
  • M PT Mat JMF 01
    M PT Mat JMF 01
    Документ1 страница
    M PT Mat JMF 01
    djidosse
    Оценок пока нет
  • Bac Pro
    Bac Pro
    Документ7 страниц
    Bac Pro
    djidosse
    Оценок пока нет
  • CHAPII-Etude de Prix - Final
    CHAPII-Etude de Prix - Final
    Документ16 страниц
    CHAPII-Etude de Prix - Final
    Don Yassine
    0% (1)
  • Bac Pro 2
    Bac Pro 2
    Документ8 страниц
    Bac Pro 2
    djidosse
    Оценок пока нет
  • MCO
    MCO
    Документ6 страниц
    MCO
    touil_redouane
    Оценок пока нет
  • M Ea Pol JMF 09 PDF
    M Ea Pol JMF 09 PDF
    Документ5 страниц
    M Ea Pol JMF 09 PDF
    djidosse
    Оценок пока нет
  • Paqfiche
    Paqfiche
    Документ13 страниц
    Paqfiche
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 01
    M Ea Pol JMF 01
    Документ4 страницы
    M Ea Pol JMF 01
    djidosse
    Оценок пока нет
  • Exo2mmc PDF
    Exo2mmc PDF
    Документ9 страниц
    Exo2mmc PDF
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 05
    M Ea Pol JMF 05
    Документ4 страницы
    M Ea Pol JMF 05
    djidosse
    Оценок пока нет
  • Placettecctpn2 PDF
    Placettecctpn2 PDF
    Документ21 страница
    Placettecctpn2 PDF
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 06 PDF
    M Ea Pol JMF 06 PDF
    Документ4 страницы
    M Ea Pol JMF 06 PDF
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 07 PDF
    M Ea Pol JMF 07 PDF
    Документ4 страницы
    M Ea Pol JMF 07 PDF
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 06
    M Ea Pol JMF 06
    Документ5 страниц
    M Ea Pol JMF 06
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 03
    M Ea Pol JMF 03
    Документ4 страницы
    M Ea Pol JMF 03
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 02
    M Ea Pol JMF 02
    Документ4 страницы
    M Ea Pol JMF 02
    djidosse
    Оценок пока нет
  • M Ea Pol JMF 06
    M Ea Pol JMF 06
    Документ4 страницы
    M Ea Pol JMF 06
    djidosse
    Оценок пока нет
  • Paqfiche
    Paqfiche
    Документ13 страниц
    Paqfiche
    djidosse
    Оценок пока нет
  • M PT Pol JMF 04 PDF
    M PT Pol JMF 04 PDF
    Документ9 страниц
    M PT Pol JMF 04 PDF
    djidosse
    Оценок пока нет
  • M PT Pol JMF 03
    M PT Pol JMF 03
    Документ4 страницы
    M PT Pol JMF 03
    djidosse
    Оценок пока нет
  • M PT Pol JMF 02
    M PT Pol JMF 02
    Документ1 страница
    M PT Pol JMF 02
    djidosse
    Оценок пока нет
  • M Co Esp JMF
    M Co Esp JMF
    Документ39 страниц
    M Co Esp JMF
    djidosse
    Оценок пока нет
  • M PT Pol JMF 01
    M PT Pol JMF 01
    Документ2 страницы
    M PT Pol JMF 01
    djidosse
    Оценок пока нет
  • Corrige 1
    Corrige 1
    Документ9 страниц
    Corrige 1
    Thy Huỳnh
    Оценок пока нет
  • Algèbre Bilinéaire - Matrices Symétriques Définies Positives PDF
    Algèbre Bilinéaire - Matrices Symétriques Définies Positives PDF
    Документ5 страниц
    Algèbre Bilinéaire - Matrices Symétriques Définies Positives PDF
    sabri rabie
    Оценок пока нет
  • Info Ch5 MatricesScilab
    Info Ch5 MatricesScilab
    Документ7 страниц
    Info Ch5 MatricesScilab
    DH IA
    Оценок пока нет
  • G1. Algèbre Commutative.: Feuille D'exercice N 1: Anneaux, Idéaux A. C - L, P. A, D. F
    G1. Algèbre Commutative.: Feuille D'exercice N 1: Anneaux, Idéaux A. C - L, P. A, D. F
    Документ8 страниц
    G1. Algèbre Commutative.: Feuille D'exercice N 1: Anneaux, Idéaux A. C - L, P. A, D. F
    Amine Alaoui
    Оценок пока нет
  • LM125 2011 1
    LM125 2011 1
    Документ4 страницы
    LM125 2011 1
    Lahoucine Ouakkas
    Оценок пока нет
  • Examenalgebre 3
    Examenalgebre 3
    Документ5 страниц
    Examenalgebre 3
    Lerrys Obiang
    Оценок пока нет
  • Les Matrices
    Les Matrices
    Документ16 страниц
    Les Matrices
    S A
    Оценок пока нет
  • TP 3025
    TP 3025
    Документ11 страниц
    TP 3025
    ALFRED FOKOUNG DOUO
    Оценок пока нет
  • Brochure Programme 2023 VF2 0
    Brochure Programme 2023 VF2 0
    Документ267 страниц
    Brochure Programme 2023 VF2 0
    Achraf ZRAOULA
    Оценок пока нет
  • Calculs Matric Systéme Liné
    Calculs Matric Systéme Liné
    Документ2 страницы
    Calculs Matric Systéme Liné
    foulan
    Оценок пока нет
  • Annale Maths Bac S Amerique Du Sud Novembre 2019 Sujet
    Annale Maths Bac S Amerique Du Sud Novembre 2019 Sujet
    Документ6 страниц
    Annale Maths Bac S Amerique Du Sud Novembre 2019 Sujet
    hessas
    Оценок пока нет
  • Examen ETL Maths 2
    Examen ETL Maths 2
    Документ2 страницы
    Examen ETL Maths 2
    Bertrand Gerard
    Оценок пока нет
  • Structure Groupe PDF
    Structure Groupe PDF
    Документ40 страниц
    Structure Groupe PDF
    Mehdi Midow
    Оценок пока нет
  • Annexe 3 - Inversion de Matrices
    Annexe 3 - Inversion de Matrices
    Документ5 страниц
    Annexe 3 - Inversion de Matrices
    Asmae Es-sabery
    Оценок пока нет
  • 1 Matrice
    1 Matrice
    Документ21 страница
    1 Matrice
    Yean Seyha
    Оценок пока нет
  • Chap 2 Géo-Diff
    Chap 2 Géo-Diff
    Документ3 страницы
    Chap 2 Géo-Diff
    mahdi araar
    Оценок пока нет
  • M 17 CM 1 CC
    M 17 CM 1 CC
    Документ7 страниц
    M 17 CM 1 CC
    Zakaria Ziko
    Оценок пока нет
  • 24 Matrices Et Applications Lineaires - 2017 - 2018
    24 Matrices Et Applications Lineaires - 2017 - 2018
    Документ7 страниц
    24 Matrices Et Applications Lineaires - 2017 - 2018
    Moustakim
    Оценок пока нет
  • EXOS2
    EXOS2
    Документ3 страницы
    EXOS2
    aerraer
    Оценок пока нет
  • 1DS IDSD Algèbre
    1DS IDSD Algèbre
    Документ2 страницы
    1DS IDSD Algèbre
    awtil5409
    Оценок пока нет
  • TD5-Calcul Matriciel
    TD5-Calcul Matriciel
    Документ5 страниц
    TD5-Calcul Matriciel
    Ali Gha
    Оценок пока нет
  • Corrigé de Série D'exercices Sur Les Determinants PDF
    Corrigé de Série D'exercices Sur Les Determinants PDF
    Документ9 страниц
    Corrigé de Série D'exercices Sur Les Determinants PDF
    Moulaye Ibrahim
    Оценок пока нет
  • LFSR
    LFSR
    Документ72 страницы
    LFSR
    Lam Novox
    0% (1)
  • Corrigé Du Partiel Du 15 Mars 2019
    Corrigé Du Partiel Du 15 Mars 2019
    Документ2 страницы
    Corrigé Du Partiel Du 15 Mars 2019
    Ahmadou Niang Touré
    Оценок пока нет
  • WACKERNAGEL Cours 00500 PDF
    WACKERNAGEL Cours 00500 PDF
    Документ87 страниц
    WACKERNAGEL Cours 00500 PDF
    Achraf AaRôchê
    Оценок пока нет
  • Fascicule 2bts Industrielle
    Fascicule 2bts Industrielle
    Документ92 страницы
    Fascicule 2bts Industrielle
    Yatte
    Оценок пока нет
  • Chapitre 1
    Chapitre 1
    Документ15 страниц
    Chapitre 1
    Faysal Khartit
    Оценок пока нет
  • L3td1-2-3 22-23
    L3td1-2-3 22-23
    Документ4 страницы
    L3td1-2-3 22-23
    gnimmadabo123
    Оценок пока нет
  • Correction TD 1 Matrices
    Correction TD 1 Matrices
    Документ4 страницы
    Correction TD 1 Matrices
    Ahmed Chihaoui
    Оценок пока нет