En mathématiques, plus précisément en algèbre commutative, le polynôme cyclotomique usuel associé à un entier naturel n est le polynôme unitaire dont les racines complexes sont les racines primitives n-ièmes de l'unité. Son degré vaut φ(n), où φ désigne la fonction indicatrice d'Euler. Il est à coefficients entiers et irréductible sur Q. Lorsqu'on réduit ses coefficients modulo un nombre premier p ne divisant pas n, on obtient un polynôme unitaire (également appelé polynôme cyclotomique) à coefficients dans le corps fini Fp, et dont les racines sont les racines primitives n-ièmes de l'unité dans la clôture algébrique de ce corps, mais qui n'est plus nécessairement irréductible. Pour tout entier m, le polynôme X – 1 est le produit des polynômes cyclotomiques associés aux diviseurs de m.
L'analyse de ces polynômes permet la résolution de nombreux problèmes. Historiquement, la construction des polygones réguliers à la règle et au compas est celui qui a amené le développement du concept. Ils sont traditionnellement utilisés pour illustrer la théorie de Galois, la résolution d'équations algébriques et la structure des extensions abéliennes.
Carl Friedrich Gauss utilise dans ses Disquisitiones arithmeticae, parues en 1801, les polynômes cyclotomiques. Il apporte une contribution majeure à un problème ouvert depuis l'Antiquité : celui de la construction à la règle et au compas de polygones réguliers. Ces travaux servent de référence durant tout le siècle. Dans ce texte, Gauss détermine avec exactitude la liste des polygones constructibles, et donne une méthode effective pour leur construction jusqu'au polygone à 256 côtés. Ce problème de construction reçoit une réponse définitive en 1837 par Pierre-Laurent Wantzel.
Cette approche est novatrice et, à bien des égards, préfigure l'algèbre moderne :
Un polynôme n'apparaît plus comme un objet à part entière mais comme un élément d'un ensemble structuré. Si la notion d'anneau des polynômes n'est pas encore formalisée, sa structure euclidienne est découverte et représente l'outil de base de l'analyse de Gauss.