Soit un entier naturel non nul. On cherche à déterminer l'ensemble des polynômes tels que, pour toute matrice , la condition implique que la trace de est un entier relatif.
Commencer par écarter les cas où est un polynôme constant.
Pour un polynôme non constant, utiliser des matrices diagonales particulières dont les éléments diagonaux sont des racines de .
Se souvenir que si annule , alors toutes les valeurs propres de sont nécessairement des racines de .
Étudier d'abord le cas où est une matrice scalaire, puis le cas où possède deux valeurs propres distinctes.
Lien entre spectre d'une matrice et racines d'un polynôme annulateur.
Utilisation de matrices diagonales pour obtenir des conditions nécessaires sur les racines.
Linéarité de la trace.
Analyse.
Soit un polynôme répondant à la question.
1. Cas des polynômes constants.
Si , alors pour toute matrice , on a . Cependant, la trace d'une matrice quelconque n'est pas toujours un entier. Par exemple, , qui n'est pas forcément dans . Ainsi, ne convient pas.
Si avec , alors l'équation n'admet aucune solution dans . L'implication
2. Recherche d'une condition nécessaire sur les racines.
Supposons désormais . Soit l'ensemble des racines de dans .
Soit . Considérons la matrice scalaire . On a . Par hypothèse, la trace de doit être entière, d'où :
Il existe donc un entier tel que avec . Cela signifie que toutes les racines de sont dans .
Soient maintenant et deux racines de (éventuellement identiques). Considérons la matrice diagonale suivante :
Puisque et sont racines de , on vérifie immédiatement que . La condition sur la trace impose :
En utilisant le fait que (établi précédemment), nous pouvons écrire :
Comme la différence de deux entiers est un entier, on en déduit :
Ainsi, toutes les racines de sont congrues entre elles modulo 1. Il existe donc tel que toute racine de vérifie , avec la contrainte supplémentaire .
Synthèse.
Soit un polynôme non constant dont toutes les racines sont de la forme pour un certain fixé et des variables.
Soit telle que . Le polynôme est scindé sur . D'après le cours, toute valeur propre de est une racine de .
Ainsi, pour tout , il existe tel que :
Calculons la trace de :
Par linéarité de la somme :
Comme et les sont des entiers, leur somme est un entier. La condition est donc suffisante.
Conclusion.
Les polynômes non constants solutions sont ceux dont l'ensemble des racines est inclus dans une partie de la forme :
Ne pas oublier que la condition n'implique pas que est diagonalisable. Cependant, même si n'est pas diagonalisable, sa trace est toujours la somme de ses valeurs propres (comptées avec multiplicité), et ces valeurs propres sont obligatoirement des racines de tout polynôme annulateur.