Soient et trois matrices de telles que . On suppose que et ont le même polynôme caractéristique, noté .
Montrer que pour toute matrice , les matrices et possèdent le même polynôme caractéristique.
Commencer par établir une relation entre et pour n'appartenant pas au spectre de .
Utiliser l'identité valable pour toutes matrices .
Exprimer en factorisant par et utiliser la relation d'entrelacement.
Conclure sur l'égalité des polynômes en utilisant un argument de continuité ou le fait qu'ils coïncident sur un ensemble infini.
Manipulation de la relation d'entrelacement .
Propriété de commutativité du déterminant : .
Utilisation des compléments de Schur ou factorisation matricielle.
1. Étude pour hors du spectre.
Soit tel que ne soit pas une valeur propre de . Puisque , n'est pas non plus une valeur propre de .
Ainsi, les matrices et sont inversibles.
Partons de la relation . On peut écrire :
En multipliant à gauche par et à droite par , on obtient l'égalité fondamentale :
2. Expression du polynôme caractéristique de .
On cherche à calculer .
En factorisant par la matrice inversible , on a :
3. Utilisation de la propriété du déterminant.
On utilise l'identité classique . Ici, on pose et . Il vient :
En injectant la relation d'entrelacement établie à l'étape 1, on remplace par :
4. Expression du polynôme caractéristique de .
Appliquons à nouveau l'identité avec et :
En revenant à l'expression globale et en utilisant :
\begin{align*}
P_1(\lambda) &= \chi_A(\lambda) \times \det(I + (\lambda I - B)^{-1}MC)
&= \det(\lambda I - B) \times \det(I + (\lambda I - B)^{-1}MC)
&= \det\left( (\lambda I - B) \left[ I + (\lambda I - B)^{-1}MC \right] \right)
&= \det(\lambda I - B + MC)
\end{align*}
On reconnaît l'expression du polynôme caractéristique de :
5. Conclusion.
L'égalité est établie pour tout .
Comme est un ensemble fini, les deux polynômes coïncident sur un ensemble infini de points. Par rigidité des polynômes, on en déduit :
Une erreur fréquente consiste à vouloir utiliser la densité de sur la matrice . Cependant, si l'on remplace par une suite de matrices inversibles, rien ne garantit que la relation reste vraie pour assez grand, sauf si et sont semblables. L'argument de la variable est ici beaucoup plus robuste.