c
Éditions H&K Publié dans les Annales des Concours 4/27
Démontrons à présent que la réciproque est fausse. Soit Zla matrice
0 1
0 0
Il apparaît que Tr (Z) = 0 et χZ(x) = x2.Za donc même trace et même poly-
nôme caractéristique que la matrice nulle 0E, mais elles ne sont pas semblables
puisque M−10EM = 0Epour toute matrice Minversible de E. Or, Zn’est pas la
matrice 0E.
La réciproque est donc fausse : si deux matrices ont même trace et
même polynôme caractéristique, elles ne sont pas nécessairement
semblables.
I.A.2 Un produit scalaire est une forme bilinéaire symétrique définie positive. Il est
clair que l’application Φqui à (M1,M2)associe Tr (tM1M2)va de E×Edans R.
Vérifions les propriétés qui définissent le produit scalaire en considérant M1et M2
deux éléments de Eet aun réel.
•Symétrie : pour toute matrice Adans E, on sait que Tr (tA) = Tr (A), donc
Φ(M1,M2) = Tr (tM1M2) = Tr (t(tM1M2)) = Tr (tM2M1) = Φ(M2,M1)
ce qui démontre que Φest symétrique.
•Bilinéarité : Φétant symétrique, il suffit de montrer la linéarité en l’une des
variables, par exemple la seconde. Comme la trace est linéaire, on peut écrire
Φ(M1, aM2+ M3) = Tr (tM1·(aM2+ M3))
= Tr (a·tM1M2+tM1M3)
=aTr (tM1M2) + Tr (tM1M3)
Φ(M1, aM2+ M3) = aΦ(M1,M2) + Φ(M1,M3)
On en conclut que Φest bilinéaire.
•Caractère défini et positivité : soit M = a b
c dun élément de E. On peut
écrire que Φ(M,M) = Tr (tMM) est en fait la somme des carrés des coefficients
de la matrice M. Ce résultat est vrai quelle que soit la dimension de l’espace,
mais peut se vérifier aisément en dimension 2
Tr (tMM) = Tr a c
b d·a b
c d
= Tr a2+c2ab +cd
ab +cd b2+d2
Tr (tMM)=a2+b2+c2+d2
Les coefficients de Métant réels, leur carré est toujours positif. Le réel Tr M
est une somme de carrés, il est donc positif, et ne peut être nul que si tous
les coefficients de Msont nuls. On a donc Φ(M,M) >0et Φ(M,M) = 0 est
équivalent à M = 0E.
On peut en conclure que Φest une forme bilinéaire symétrique définie positive
sur Ec’est-à-dire que
Φest un produit scalaire sur E.
Téléchargé gratuitement sur www.Doc-Solus.fr .