Soit et une matrice carrée. On suppose que pour tout triplet d'indices , les coefficients de vérifient la relation :
Calculer le coefficient général de la matrice en utilisant la définition du produit matriciel et la relation fournie dans l'énoncé.
Utiliser l'existence d'un polynôme annulateur scindé à racines simples comme critère de diagonalisabilité.
Lien entre coefficients et produit matriciel : .
Utilisation d'un polynôme annulateur pour restreindre les valeurs possibles du spectre.
Critère de diagonalisabilité : est diagonalizable si et seulement si il existe un polynôme annulateur scindé à racines simples.
Résolution.
D'après l'hypothèse de l'énoncé, pour tout , nous avons . En injectant cette relation dans la somme, il vient :
On peut factoriser par qui ne dépend pas de l'indice de sommation :
On reconnaît dans la parenthèse la définition de la trace de la matrice . On en déduit donc que pour tout couple :
Ceci nous donne la relation matricielle suivante :
Le spectre de , noté , est inclus dans l'ensemble des racines du polynôme annulateur . Ainsi :
Concernant la diagonalisabilité, nous distinguons deux cas selon la valeur de la trace de :
Premier cas : (A) \neq 0.} Dans ce cas, le polynôme possède deux racines complexes distinctes ( et ). C'est donc un polynôme scindé à racines simples sur . D'après le cours, l'existence d'un tel polynôme annulateur garantit que la matrice est diagonalizable.
Second cas : (A) = 0.} La relation établie à la question 1 devient . La matrice est donc nilpotente d'indice au plus 2.
Une matrice nilpotente est diagonalizable si et seulement si elle est nulle. En effet, si est diagonalizable et , alors sa matrice diagonale semblable vérifie , ce qui impose et donc .
Ne pas oublier de traiter le cas où la trace est nulle. Dans ce cas, est un polynôme annulateur, mais ses racines ne sont pas simples (0 est racine double). On ne peut pas conclure immédiatement à la diagonalisabilité sans l'étude de la nullité de la matrice.