Agrégation interne
UFR MATHÉMATIQUES
Exercice
1) Soit s et t deux formes bilinéaires symétriques sur un espace vectoriel E de dimension finie, s étant supposée non
dégénérée. Montrer qu’il existe un unique endomorphisme f de E tel que
(1) ∀x, y ∈ E, s f (x), y = t(x, y).
Montrer que l’on a
(2) ∀x, y ∈ E, s f (x), y = s x, f (y) .
2) Montrer que, si λ 6= µ, les sous-espaces propres pour f , Eλ et Eµ , sont orthogonaux pour s et en déduire qu’ils le
sont aussi pour t.
3) Montrer qu’il existe une base orthogonale à la fois pour s et t si et seulement si f est diagonalisable.
4) Application : Soit
qs (x)= x21 + x22 − x23 − 2x1 x2 + 2x2 x3
qt (x)= (1 + a)x21 + x22 + (1 + a)x23 − 2x1 x2 − 2(1 + a)x1 x3 + 2x2 x3
Pour quelles valeurs de a existe-t-il une base orthogonale à la fois pour qs et qt ? Déterminer une telle base, lorsqu’elle
existe.
Éléments de solution
1) En notant A, S, T les matrices de f, s, t dans une base {ei } : la relation (1) s’écrit SA = T. Puisque s est non
dégénérée, on a A = S −1 T. Donc, si f existe, elle est unique car sa matrice est S −1 T. Réciproquement, en
définissant f par M (f )ei = S −1 T et en remontant les calculs, on vérifie (1). La relation (2) vient de la symétrie
de s.
2) Ecrire la relation (2) pour x ∈ Eλ et y ∈ Eµ . Utiliser (1) pour montrer que t(x, y) = 0.
3) Supposons f diagonalisable et soit sλ la restriction de s à Eλ . Dans chaque Eλ , on prend une base orthogonale pour
sλ . Puisque f est diagonalisable, E est somme directe des Eλ et la réunion de ces bases est une base orthogonale
pour s de E. D’après le résultat ci-dessus, elle est aussi orthogonale pour t.
Réciproquement, supposons qu’il existe une base orthogonale pour s et t. Dans cette base, avec les notations
précédentes, S et T sont diagonales, donc A = S −1 T est diagonale.
a 0 −a
4) A = −1 1 1 . Cette matrice est diagonalisable si et seulement si a = 0. Pour avoir une base orthogonale
a 0 −a
pour s et t, il faut prendre
une basede vecteurs propres de A qui est orthogonale pour s. On trouve par exemple
2 0 0
v1 = 1 v2 = 1 v3 = 1 .
1 −1 0
