On se propose de résoudre des équations de la forme où et .
Si est solution de , alors commute avec car commute avec tout polynôme en .
Si possède valeurs propres distinctes, son commutant est l'ensemble des matrices diagonalisables dans la même base que .
Pour l'équation , une fois diagonalisée sous la forme , on cherche sous la forme où est diagonale et vérifie .
Attention : sur , certains polynômes scalaires peuvent ne pas avoir de racines, ce qui limite le nombre de solutions matricielles.
Commutation car est un polynôme en .
Codiagonalisation : si a des valeurs propres distinctes, toute matrice commutant avec est diagonalisable dans la même base.
Réduction du problème matriciel à un système d'équations scalaires sur les coefficients diagonaux.
Résolution.
Ne pas oublier de vérifier si les valeurs propres de la matrice cible sont distinctes. Si elles sont multiples, la matrice n'est pas nécessairement diagonalisable dans la même base (elle pourrait être seulement trigonalisable, ou le commutant pourrait être plus gros). Ici, les matrices proposées ont toutes des valeurs propres distinctes.