Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales.
Política completa → Raíces de la unidad y polinomios ciclotómicos
Una **raíz n-ésima de la unidad** es una raíz compleja de xn−1, es decir, un número de la forma e2πik/n para k=0,1,…,n−1. Hay exactamente n raíces n-ésimas de la unidad, que forman el grupo cíclico Z/nZ bajo la multiplicación.
Una raíz n-ésima de la unidad ζ es primitiva si su orden multiplicativo es exactamente n, es decir, ζk=1 para 1≤k<n. Equivalentemente, ζ=e2πik/n con gcd(k,n)=1. Hay φ(n) raíces primitivas n-ésimas de la unidad.
El **n-ésimo polinomio ciclotómico** se define como:
$Φn(x)=∏k=1gcd(k,n)=1n(x−e2πik/n).$
Es el polinomio mónico de grado φ(n) cuyas raíces son exactamente las raíces primitivas n-ésimas de la unidad.
Propiedad fundamental de factorización:
$xn−1=∏d∣nΦd(x).$
Esta identidad se verifica porque toda raíz n-ésima de la unidad tiene algún orden d que divide a n, y es raíz primitiva d-ésima. Cada raíz aparece exactamente una vez en el producto.
Coeficientes enteros. Por inducción usando la factorización anterior, Φn(x)∈Z[x]. Si Φ1,…,Φn−1 son polinomios enteros mónicos, entonces Φn=(xn−1)/∏d∣n,d<nΦd(x) es el cociente de dos polinomios enteros mónicos, y es entero por división euclidiana en Z[x].
xn−1=∏d∣nΦd(x) Fórmula de inversión de Möbius y cálculo explícito
La función de Möbius μ:N→{−1,0,1} se define como: μ(1)=1; μ(n)=(−1)k si n es producto de k primos distintos; μ(n)=0 si p2∣n para algún primo p.
La inversión de Möbius aplicada a la identidad xn−1=∏d∣nΦd(x) (tomando logaritmos formales o trabajando en el grupo de Dirichlet de series de potencias) da:
$Φn(x)=∏d∣n(xd−1)μ(n/d).$
Esta fórmula permite calcular Φn explícitamente para cualquier n.
Valores explícitos de los primeros ciclotómicos:
Φ1(x)=x−1.
Φ2(x)=x+1.
Φ3(x)=x2+x+1.
Φ4(x)=x2+1.
Φ5(x)=x4+x3+x2+x+1.
Φ6(x)=x2−x+1.
Φ8(x)=x4+1.
Φ12(x)=x4−x2+1.
Φ15(x)=x8−x7+x5−x4+x3−x+1.
Patrón notable. Para n=p primo: Φp(x)=xp−1+xp−2+⋯+x+1. Para n=pk: Φpk(x)=1+xpk−1+x2pk−1+⋯+x(p−1)pk−1. Para n=2p con p primo impar: Φ2p(x)=xp−1−xp−2+⋯−x+1.
Φn(x)=∏d∣n(xd−1)μ(n/d) Propiedades aritméticas de $\Phi_n$
Irreducibilidad. Φn(x) es irreducible sobre Q para todo n≥1. Este es un teorema profundo (no inmediato). La demostración estándar es: si Φn=fg en Q[x], se demuestra que toda raíz de f es también raíz de g(xp) para cualquier primo p∤n (usando propiedades de los cuerpos ciclotómicos), lo que eventualmente da f=Φn.
Evaluación en enteros. Para a∈Z con ∣a∣>1, el valor Φn(a) tiene una descripción aritmética rica:
(i) Todo divisor primo p de Φn(a) satisface p≡1(modn) o p∣n.
(ii) Si p∣Φn(a) y p∤n, entonces el orden de a módulo p es exactamente n, y en particular n∣p−1 (pequeño teorema de Fermat).
Esto tiene consecuencias número-teóricas importantes: la existencia de infinitos primos p≡1(modn) se sigue de que Φn(a!) tiene divisores primos del tipo correcto (Dirichlet vía ciclotómicos).
**Coeficientes de Φn.** Para n≤104, todos los coeficientes de Φn son ∈{−1,0,1}. El primer polinomio ciclotómico con un coeficiente distinto de ±1 y 0 es Φ105 (cuyo coeficiente −2 apareció): esto sorprendió a los matemáticos del siglo XIX.
**Fórmula para n con exactamente dos factores primos distintos.** Si n=paqb:
$Φpaqb(x)=Φpq(xpa−1qb−1).$
Para n=pq con p<q primos:
$Φpq(x)=Φp(x)Φp(xq)=(xp−1)(xq−1)xpq−1⋅(x−1).$
p∣Φn(a),p∤n⟹ordp(a)=n⟹n∣p−1 Aplicaciones en olimpiadas: divisibilidad y factorizaciones
**Aplicación 1: Factorización de an−bn.** En olimpiadas aparece frecuentemente la factorización:
$an−bn=∏d∣nΦd(a,b),$
donde Φd(a,b)=bφ(d)Φd(a/b) es la versión homogénea. Los factores Φd(a,b) son relativamente primos "en su mayoría" (salvo por potencias de primos que dividen a n), lo que permite estudiar la aritmética de an−bn descomponiendo en factores ciclotómicos.
**Aplicación 2: Primos de la forma kn+1.** Usando que todo primo p∣Φn(a) con p∤n satisface n∣p−1, se puede demostrar que hay infinitos primos de la forma kn+1 de forma elemental (para n siendo potencia de primo).
**Aplicación 3: Φn(a) y condiciones de divisibilidad.** Problema clásico: demostrar que si p es primo y p∣n, entonces Φn(a)≡Φn/p(ap)(modp). Esto permite reducir modularmente el estudio de ciclotómicos.
Aplicación 4: Polinomios que representan muchos primos. El hecho de que Φp(a)=ap−1+⋯+1=(ap−1)/(a−1) genera valores Φp(a) que son divisibles solo por primos ≡1(modp) (salvo p mismo) implica que hay infinitos primos ≡1(modp) (el argumento de Euler-Dirichlet vía ciclotómicos).
Conexión con el teorema de Zsygmondy. El teorema de Zsygmondy (1892) afirma: para a>b≥1 con gcd(a,b)=1 y n≥3 (salvo casos excepcionales), an−bn tiene un factor primo que no divide a ak−bk para ningún k<n. La prueba usa propiedades de Φn(a,b): si p∣an−bn pero p∤ak−bk para k<n, el orden de a/b módulo p es n, y p es un primo "primitivo" de an−bn.
Ejemplo resuelto: $\Phi_n$ en un problema IMO Shortlist
Problema (IMO Shortlist 2002, N6 adaptado). Sea a>1 un entero. Demostrar que para infinitos n, Φn(a) es compuesto.
Solución. Si n=ak−1 para algún k≥1, entonces a≡1(modn), luego Φn(a)≡Φn(1)=nφ(n)/φ(n)= ... este argumento no es inmediato.
Usamos una idea diferente: sea p un primo con p∣Φn(a) y p∤n. Entonces el orden de a módulo p es n, luego n∣p−1, i.e. p≥n+1. Si Φn(a) fuera primo para todos n grandes, Φn(a) sería el único factor primo de sí mismo, y tendríamos Φn(a)=p≥n+1. Pero Φn(a)∼aφ(n) para a fijo y n→∞, con φ(n) creciendo... En realidad, hay infinitos n para los que Φn(a) es compuesto por el siguiente argumento:
Sea q cualquier primo con q∣Φn(a) y q∤n. Entonces n∣q−1, así que q≡1(modn). Si Φn(a) fuera primo, entonces Φn(a)≡1(modn). Pero Φn(1)=p si n=pk (primo), y Φn(1)=1 si n tiene ≥2 factores primos distintos. Para a=2 y n=p, Φp(2)=2p−1+⋯+1: estos valores son primos para p=2,3,5,7,… solo finitas veces (conjeturalmente, aunque no se ha probado). Existen infinitos n con Φn(2) compuesto porque la secuencia incluye valores divisibles por cuadrados perfectos.
El argumento completo para todos a usa la teoría de Aurifeuillean factorizations y propiedades de ordp(a), que está más allá del nivel de esta lección.
p∣Φn(a),p∤n⟹p≡1(modn)