Soit et . On suppose que l'ensemble des valeurs propres de est inclus dans . On suppose par ailleurs qu'il existe un entier tel que :
Démontrer que l'on a nécessairement .
Utiliser l'existence d'un polynôme annulateur simple pour justifier la diagonalisabilité de sur .
Déterminer les valeurs propres possibles de en cherchant les racines réelles de ce polynôme annulateur.
Conclure sur la forme de la matrice diagonale associée.
Lien entre polynôme annulateur à racines simples et diagonalisabilité.
Étude des racines réelles du polynôme .
Propriété des matrices diagonalisables dont le spectre est réduit à .
Résolution.
Considérons le polynôme . Par hypothèse, on a . Le polynôme est un polynôme annulateur de .
Les racines de dans sont les racines -ièmes de l'unité :
Ces racines sont deux à deux distinctes, donc le polynôme est à racines simples dans .
D'après le critère de diagonalisabilité, la matrice est diagonalisable dans . Il existe donc une matrice et une matrice diagonale telles que :
Soit une valeur propre de . On sait que toute valeur propre d'une matrice est racine de tout polynôme annulateur de cette matrice. Par conséquent, .
De plus, l'énoncé précise que le spectre de est inclus dans . On cherche donc les racines réelles de . Deux cas se présentent selon la parité de :
Dans tous les cas, les valeurs propres réelles possibles de appartiennent à l'ensemble . On en déduit que :
La matrice diagonale a ses coefficients diagonaux dans . Puisque chaque coefficient diagonal vérifie , on a pour tout :
On en conclut que :
En revenant à la matrice par similitude :
\begin{align*}
A^2 &= (PDP^{-1})^2
&= PD^2P^{-1}
&= PI_nP^{-1}
\end{align*}
On obtient finalement le résultat souhaité :
Une erreur classique est de vouloir conclure immédiatement sans invoquer la diagonalisabilité. Une matrice peut avoir un spectre réduit à sans être l'identité (par exemple une matrice nilpotente plus l'identité). Ici, c'est bien le caractère diagonalisable (issu du polynôme annulateur) qui permet de passer du spectre à la valeur de la matrice.