X Maths 2 PC 2002 -- Corrigé
Ce corrigé est proposé par Vincent Puyhaubert (ENS Cachan) ; il a été relu par
Jean Starynkévitch (ENS Cachan) et Benoît Chevalier (ENS Ulm).
Ce sujet traite essentiellement d'algèbre linéaire, même s'il utilise parfois
quelques résultats d'analyse pour arriver à ses fins. On cherche à construire,
à partir
d'une matrice de départ A, des matrices semblables à A et ayant des diagonales
« sympathiques ».
· La première partie introduit deux lemmes très faciles et utiles par la suite.
La deuxième partie est beaucoup plus technique (pour ainsi dire, on a plus
tendance à bidouiller qu'à réfléchir). La troisième partie est plus
intéressante :
on y établit qu'une matrice est semblable dans le groupe orthogonal à une
matrice dont les éléments diagonaux sont égaux. L'intérêt majeur de cette partie
est qu'elle manie à la fois des notions d'analyse et de l'algèbre linéaire pure.
· La quatrième partie établit un résultat similaire à celui de la seconde, mais
plus
puissant. Enfin, la dernière partie cherche à utiliser tous les résultats
précédents
pour montrer qu'une application de Mn (R) dans Mn (R) qui laisse stable le
groupe linéaire est un automorphisme. Cependant, ce résultat est faux si n est
pair. Par conséquent, si les trois premières questions de cette partie peuvent
être
résolues, en revanche le résultat de la toute dernière nécessite des hypothèses
supplémentaires. On peut néanmoins chercher à la résoudre dans le cas où n
est impair.
Indications
Première partie
1.a Raisonner par contraposition en supposant que tout vecteur est vecteur
propre.
Montrer que la valeur propre associée pour chacun est indépendante du choix du
vecteur.
1.b Considérer l'endomorphisme f de Rn dont A est la matrice dans la base
canonique et chercher la matrice de f dans la base obtenue en permutant
les vecteurs ei et ej de .
Deuxième partie
2.a Utiliser la question 1.a pour trouver deux vecteurs X1 et X2 tels que (X1 ,
X2 )
soit libre et AX1 = X2 .
2.b Utiliser la question précédente pour montrer que A est semblable à une
matrice
de la forme :
0 ···
1
0
B
..
.
0
et appliquer l'hypothèse de récurrence à B.
3.a Commencer par chercher un vecteur non propre pour A selon la technique de la
question 1.a.
3.b Remarquer que l'image du second vecteur de la base canonique est nulle
et utiliser les vecteurs de la question précédente.
4 Commencer par montrer qu'il existe B semblable à A telle qu'un de ses éléments
diagonaux soit égal à la trace de A. Pour cela, vérifier que l'on peut appliquer
le résultat de la question 2.a à une matrice non scalaire et l'appliquer alors
à un
élément de la forme A - I.
5 Décomposer A sous la forme A = I + B et appliquer la question précédente à B
en choisissant convenablement .
Troisième partie
6 Poser
A=
a
c
b
d
et
O=
cos
- sin
sin
cos
Calculer ensuite t O AO et en déduire un choix convenable de .
7.a Utiliser la question 1.b pour trouver une matrice B orthosemblable à A et
telle
que f (B) = |b1,1 - b2,2 |.
7.b Décomposer A sous la forme :
a1,1
a2,1
A=
a1,2
a2,2
C
B
D
Appliquer ensuite la question précédente à la matrice 2 × 2 ainsi introduite.
7.c Remarquer que s'il n'existe qu'un couple (i, j) tel que f (A) = |ai,i -
aj,j | alors
en appliquant la question précédente, la matrice A obtenue vérifie :
f (A ) < f (A) En déduire qu'en appliquant plusieurs fois cette transformation, on finit par avoir une matrice satisfaisante. 8.a Utiliser le fait que l'image d'un compact par une application continue est compact. 8.b Montrer que la fonction f est continue. 8.c Introduire l'élément minimal A pour f sur EA et appliquer la question 7.c en supposant f (A) > 0.
9 Essayer d'établir une récurrence d'ordre 2 sur les coefficients diagonaux des
matrices (Am )mN .
Quatrième partie
10.b Pour montrer que R(A) est un intervalle, utiliser le fait que
l'application suivante
est continue :
Rn - Rn
X 7- (A X | X)
10.c Utiliser le fait que R(A) est un intervalle (l'hypothèse A symétrique est
inutile).
11 À partir d'un vecteur tel que (A X | X) = t, construire une base orthonormée
dont X est le premier vecteur. Exprimer dans cette nouvelle base
l'endomorphisme dont A est la matrice dans la base canonique, puis utiliser le
résultat de
la question 8.c sur une matrice extraite de taille n - 1.
Cinquième partie
12.a Chercher Y de forme triangulaire supérieure.
13.a Utiliser la propriété :
Sp(A) A - I non inversible
13.b Ce que l'on nous demande de montrer est faux dans le cas général. On peut
cependant le démontrer si n est impair. Raisonner alors par l'absurde en prenant
A non nulle dans le noyau de T et utiliser la question 12.b.
Première partie
1.a C'est un résultat très classique d'algèbre linéaire. On raisonne par
contraposition en supposant que tout vecteur non nul de Rn est vecteur propre
pour A.
Soit (e1 , . . . , en ) la base canonique de Rn . En vertu de notre hypothèse
de départ,
chaque élément de cette base est vecteur propre pour A. Il existe donc des réels
(i )i[[ 1 ; n ]] tels que :
i [[ 1 ; n ]]
A ei = i ei
Considérons maintenant le vecteur e1 + e2 (non nul car e1 et e2 ne sont pas
colinéaires). D'après notre première hypothèse, c'est également un vecteur
propre
pour A. Il existe donc un autre réel 1,2 tel que :
A (e1 + e2 ) = 1,2 (e1 + e2 )
Mais par linéarité, on a également :
A (e1 + e2 ) = A e1 + A e2 = 1 e1 + 2 e2
soit
1,2 (e1 + e2 ) = 1 e1 + 2 e2
Les vecteurs e1 et e2 sont des éléments d'une base donc (e1 , e2 ) est une
famille
libre. L'égalité précédente entraîne alors
1,2 = 1 = 2
De la même manière, on montre que pour tous indices i, j, on a i = j .
Par conséquent, il existe un réel tel que :
i [[ 1 ; n ]]
A ei = ei
Par suite, on a bien A = I et A est scalaire.
Par contraposée, on en déduit donc que si A est une matrice non scalaire, alors
il
existe un vecteur non nul qui n'est pas un vecteur propre pour A.
1.b Soient A un élément de Mn (R) et i et j deux éléments de {1, . . . , n} (on
peut
supposer i < j). Soient = (e1 , . . . , en ) la base canonique de Rn et f l'endomorphisme dont A est la matrice dans la base . On considère la nouvelle base de Rn donnée par la famille = (e 1 , . . . , e n ) telle que : k 6= i, j e i = ej e j = ei e k = ek On a dans cette nouvelle base : f (e i ) = f (ej ) = a1,j e1 + · · · + ai,j ei + · · · + aj,j ej + · · · + an,j en (1) = a1,j e 1 + · · · + ai,j e j + · · · + aj,j e i + · · · + an,j e n De même, en ce qui concerne l'image de e j , on a : f (e j ) = f (ei ) = a1,i e1 + · · · + ai,i ei + · · · + aj,i ej + · · · + an,i en = a1,i e 1 + · · · + ai,i e j + · · · + aj,i e i + · · · + an,j e n (2)