Développement : Théorème de Kronecker

Détails/Enoncé :

Soit $P \in \mathbb{Z}[X]$ unitaire tel que $P(0) \not=0$. Si toutes les racines de $P$ sont de module inférieur à $1$, alors ce sont des racines de l'unité.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    J'ai rajouté une méthode qui n'utilise pas de résultat sur les polynômes symétriques élémentaires.
  • Fichier :
  • Auteur :
  • Remarque :
    Recasages: 102, 144

    FGN (v2) p213 + Gourdon (v3) p95

    (Cette rédaction n'est pas satisfaisante, je réécrirai le dév dès que possible)

    Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
  • Références :
  • Fichier :

Références utilisées dans les versions de ce développement :

Oraux X-ENS Algèbre 1, Francinou, Gianella, Nicolas (utilisée dans 118 versions au total)
Algèbre , Gourdon (utilisée dans 247 versions au total)
Analyse , Gourdon (utilisée dans 412 versions au total)