On s'intéresse aux propriétés des racines complexes d'un polynôme unitaire à coefficients entiers.
Piste 1 : Penser à la matrice compagnon du polynôme .
Piste 2 : Utiliser le lien entre la trace de et la somme des puissances -ièmes des valeurs propres.
Piste 3 : Remarquer que les coefficients de sont des fonctions symétriques élémentaires des . Si , ces coefficients sont bornés. S'ils sont entiers et bornés, il n'y a qu'un nombre fini de possibilités.
Piste 4 : Si les racines sont des racines de l'unité ou nulles, les puissances finissent par boucler.
Matrice compagnon et intégrité des coefficients.
Lien entre et .
Argument de finitude pour les polynômes à coefficients entiers bornés.
Résolution.
Attention à ne pas oublier le cas où certaines racines pourraient être nulles. Le module égal à 1 est une condition forte ; si on suppose seulement le module inférieur ou égal à 1, il faut utiliser l'argument sur le produit des racines (le coefficient constant ) pour exclure les valeurs de module strictement compris entre 0 et 1.