Soit tel qu’il existe un entier naturel non nul pour lequel .
Montrer que
Hints
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Le polynôme est scindé à racines simples et annule , qui est alors diagonalisable. C’est une matrice réelle qui possède donc un spectre inclus dans les racines -èmes de l’unité. Notons et ses valeurs propres.
Si les deux valeurs propres sont réelles, alors elles valent ou et ainsi est semblable à une matrice avec des sur la diagonale. Donc son carré est semblable à l’identité et ainsi . En passant à la puissance , on trouve que .
Sinon, et sont deux racines de l’unité complexes conjuguées. On note avec .
La trace de , matrice à coefficients entiers, est ainsi un entier. On déduit de cela que est un entier, soit valant ou .
En traitant ces cas un par un, on trouve que, si et ne sont pas réels, ce sont des racines -èmes ou -ème de l’unité. Dans le premier cas est semblable à donc égale à et dans le second, c’est qui vaut . Dans tous les cas, en passant à la puissance ou , on trouve que , ce qui conclut.
