Soit et un corps de caractéristique différente de 2. On considère l'application définie par :
Remarquer que est une involution, c'est-à-dire que .
Utiliser un polynôme annulateur simple de pour en déduire sa diagonalisabilité.
Faire le lien entre les équations aux valeurs propres et avec les familles de matrices classiques.
Pour le polynôme caractéristique, utiliser les dimensions des sous-espaces propres.
Propriété des involutions () et lien avec la diagonalisation.
Structure de l'espace des matrices comme somme directe des matrices symétriques et antisymétriques.
Relation entre multiplicités des racines du polynôme caractéristique et dimensions des sous-espaces propres pour un endomorphisme diagonalisable.
Résolution.
Comme la somme des dimensions de ces deux espaces est , le spectre est exactement (si ).
Attention à l'hypothèse sur la caractéristique du corps . Si , alors et le polynôme n'est plus à racines simples. Dans ce cas, n'est pas diagonalisable (sauf pour ).