Soient un espace vectoriel de dimension finie sur un corps (où ou ). On considère trois endomorphismes ainsi que deux scalaires .
On suppose que pour tout entier , on a la relation :
Chercher un polynôme de degré 3 qui annule en utilisant les trois relations fournies. On pourra s'inspirer de la forme des relations pour tester le polynôme .
Distinguer les cas où les racines et sont distinctes ou confondues pour conclure sur la diagonalisabilité via le polynôme minimal.
Pour le calcul de , établir par récurrence une formule générale pour pour tout en utilisant la relation de récurrence linéaire satisfaite par les puissances de .
Recherche d'un polynôme annulateur scindé à racines simples.
Utilisation d'une relation de récurrence linéaire pour généraliser les puissances de .
Définition de l'exponentielle d'un endomorphisme par sa série entière.
Résolution.
Considérons le polynôme . Développons-le :
Calculons l'image de par ce polynôme en utilisant les hypothèses de l'énoncé :
En remplaçant les puissances de par les expressions fournies :
Regroupons les termes en et en :
Simplifions les coefficients :
On en déduit que :
Le polynôme est donc un polynôme annulateur de . Pour conclure à la diagonalisabilité, nous devons discuter selon les valeurs de et afin de vérifier si admet un polynôme annulateur scindé à racines simples.
Dans tous les cas possibles, est annulé par un polynôme scindé à racines simples.
Montrons par récurrence que pour tout , . L'initialisation est donnée pour . Supposons la propriété vraie aux rangs et . Comme , on a la relation de récurrence :
En utilisant l'hypothèse de récurrence :
Par linéarité de la somme (sous réserve de convergence, ce qui est assuré en dimension finie) :
On reconnaît les développements en série entière de l'exponentielle usuelles privés de leur premier terme :
Une erreur classique consiste à affirmer que est diagonalisable dès que sans vérifier si les racines de sont simples. Il est impératif de traiter les cas où , ou séparément ou de justifier qu'un diviseur de à racines simples annule alors .