Soit un entier naturel non nul. On considère l'ensemble des matrices satisfaisant les trois conditions suivantes :
Déterminer toutes les matrices vérifiant ces propriétés.
Commencer par factoriser le polynôme annulateur dans .
Utiliser le fait que le spectre complexe d'une matrice est inclus dans l'ensemble des racines de tout polynôme annulateur.
Exprimer la trace et le déterminant de en fonction des multiplicités algébriques des valeurs propres dans le polynôme caractéristique.
Ne pas oublier que pour une matrice réelle, si est valeur propre, alors son conjugué l'est avec la même multiplicité.
Lien entre racines du polynôme annulateur et spectre complexe.
Propriétés des multiplicités des valeurs propres complexes pour une matrice réelle.
Relation entre coefficients du polynôme caractéristique (trace, déterminant) et racines.
1. Factorisation du polynôme annulateur.
Soit . Cherchons les racines de . On remarque que . De plus, .
Calculons la dérivée . On a . Ainsi, est une racine au moins double de .
En effectuant la division euclidienne de par , on obtient :
Les racines de sont et . Ainsi :
2. Analyse du spectre de .
Soit une solution. Puisque , le spectre complexe de , noté , est inclus dans l'ensemble des racines de :
Notons le polynôme caractéristique de . Puisque , est à coefficients réels. Soient les multiplicités respectives de en tant que racines de (ces multiplicités sont des entiers naturels).
Comme , les racines complexes non réelles sont conjuguées avec la même multiplicité, d'où . Posons .
La dimension de l'espace impose la relation :
3. Utilisation des contraintes sur le déterminant et la trace.
Le déterminant de est le produit des valeurs propres comptées avec multiplicité :
On nous donne , ce qui implique :
Comme est un entier naturel, nous en déduisons :
La trace de est la somme des valeurs propres comptées avec multiplicité :
Sachant que et , la condition devient :
Comme et sont des entiers naturels, cette égalité impose :
4. Conclusion.
En reprenant la relation sur la dimension :
Or, l'énoncé suppose . Il y a donc une contradiction.
Il ne faut pas oublier que . Si l'on ne considère pas cette égalité (issue du fait que est réelle), on pourrait penser qu'il existe des solutions complexes, mais ici la matrice est explicitement dans .