Soit . On suppose que la matrice n'est pas diagonalisable.
Montrer que est semblable à une matrice de la forme pour un certain .
Utiliser le fait que le polynôme caractéristique d'une matrice de est scindé sur .
Étudier les dimensions possibles des sous-espaces propres dans le cas où n'est pas diagonalisable.
Considérer l'endomorphisme associé à et chercher une base adaptée à l'endomorphisme nilpotent .
Analyse du spectre et du polynôme caractéristique.
Utilisation de l'indice de nilpotence de .
Construction explicite d'une base de réduction.
1. Analyse du spectre de
Le polynôme caractéristique est un polynôme de degré 2 à coefficients complexes. D'après le théorème de d'Alembert-Gauss, est scindé sur .
Il existe donc deux racines (éventuellement confondues) telles que :
Si , alors possède deux valeurs propres distinctes en dimension 2. Dans ce cas, serait diagonalisable, ce qui est exclu par l'énoncé.
Par conséquent, les deux valeurs propres sont confondues. On note cette valeur propre unique :
2. Étude de l'espace propre associé
Notons le sous-espace propre associé à l'unique valeur propre . On sait que (car est racine de ).
Si , alors , ce qui signifie que , soit . Or, une matrice scalaire est diagonalisable, ce qui contredit l'hypothèse.
On en déduit donc nécessairement la dimension de l'espace propre :
3. Construction d'une base de similitude
Soit l'endomorphisme de canoniquement associé à . Considérons l'endomorphisme .
D'après le théorème de Cayley-Hamilton, nous savons que , ce qui donne :
L'endomorphisme est donc nilpotent. Puisque n'est pas diagonalisable, (comme vu précédemment). Il existe donc un vecteur tel que .
Posons alors .
Vérifions que la famille forme une base de :
Ainsi, est une base de .
4. Matrice de dans cette nouvelle base
Calculons les images des vecteurs de la base par :
La matrice de dans la base est donc :
La matrice est donc semblable à cette matrice.
Attention à ne pas oublier de justifier pourquoi . L'argument clé est que si les valeurs propres sont distinctes, la matrice est automatiquement diagonalisable (théorème du cours). De même, il faut justifier que pour assurer l'existence de .