Módulos / algebra-3 / Capítulo 3 — Polinomios olímpicos avanzados / Lección 3.3

Polinomios ciclotómicos y sus propiedades

Lección 3.3·Capítulo 3 — Polinomios olímpicos avanzados·14 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

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 →

Objetivo de la lección

Comprender los polinomios ciclotómicos $\Phi_n(x)$: su definición vía raíces primitivas de la unidad, la fórmula de inversión de Möbius $\Phi_n(x) = \prod_{d\mid n}(x^d-1)^{\mu(n/d)}$, el cálculo explícito para los primeros valores de $n$, y sus aplicaciones en problemas de divisibilidad y factorizaciones numéricas que aparecen en olimpiadas IMO y selectivos.

Raíces de la unidad y polinomios ciclotómicos

Una **raíz nn-ésima de la unidad** es una raíz compleja de xn1x^n - 1, es decir, un número de la forma e2πik/ne^{2\pi i k/n} para k=0,1,,n1k=0,1,\ldots,n-1. Hay exactamente nn raíces nn-ésimas de la unidad, que forman el grupo cíclico Z/nZ\mathbb{Z}/n\mathbb{Z} bajo la multiplicación.

Una raíz nn-ésima de la unidad ζ\zeta es primitiva si su orden multiplicativo es exactamente nn, es decir, ζk1\zeta^k \neq 1 para 1k<n1\leq k < n. Equivalentemente, ζ=e2πik/n\zeta = e^{2\pi i k/n} con gcd(k,n)=1\gcd(k,n)=1. Hay φ(n)\varphi(n) raíces primitivas nn-ésimas de la unidad.

El **nn-ésimo polinomio ciclotómico** se define como:

$Φn(x)=k=1gcd(k,n)=1n(xe2πik/n).\Phi_n(x) = \prod_{\substack{k=1 \\ \gcd(k,n)=1}}^{n} \left(x - e^{2\pi i k/n}\right).$

Es el polinomio mónico de grado φ(n)\varphi(n) cuyas raíces son exactamente las raíces primitivas nn-ésimas de la unidad.

Propiedad fundamental de factorización:

$xn1=dnΦd(x).x^n - 1 = \prod_{d \mid n} \Phi_d(x).$

Esta identidad se verifica porque toda raíz nn-ésima de la unidad tiene algún orden dd que divide a nn, y es raíz primitiva dd-é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]\Phi_n(x)\in\mathbb{Z}[x]. Si Φ1,,Φn1\Phi_1,\ldots,\Phi_{n-1} son polinomios enteros mónicos, entonces Φn=(xn1)/dn,d<nΦd(x)\Phi_n = (x^n-1)/\prod_{d\mid n, d<n}\Phi_d(x) es el cociente de dos polinomios enteros mónicos, y es entero por división euclidiana en Z[x]\mathbb{Z}[x].

xn1=dnΦd(x)x^n - 1 = \prod_{d \mid n} \Phi_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}\mu:\mathbb{N}\to\{-1,0,1\} se define como: μ(1)=1\mu(1)=1; μ(n)=(1)k\mu(n)=(-1)^k si nn es producto de kk primos distintos; μ(n)=0\mu(n)=0 si p2np^2\mid n para algún primo pp.

La inversión de Möbius aplicada a la identidad xn1=dnΦd(x)x^n-1=\prod_{d\mid n}\Phi_d(x) (tomando logaritmos formales o trabajando en el grupo de Dirichlet de series de potencias) da:

$Φn(x)=dn(xd1)μ(n/d).\Phi_n(x) = \prod_{d \mid n} (x^d - 1)^{\mu(n/d)}.$

Esta fórmula permite calcular Φn\Phi_n explícitamente para cualquier nn.

Valores explícitos de los primeros ciclotómicos:

Φ1(x)=x1\Phi_1(x) = x-1.

Φ2(x)=x+1\Phi_2(x) = x+1.

Φ3(x)=x2+x+1\Phi_3(x) = x^2+x+1.

Φ4(x)=x2+1\Phi_4(x) = x^2+1.

Φ5(x)=x4+x3+x2+x+1\Phi_5(x) = x^4+x^3+x^2+x+1.

Φ6(x)=x2x+1\Phi_6(x) = x^2-x+1.

Φ8(x)=x4+1\Phi_8(x) = x^4+1.

Φ12(x)=x4x2+1\Phi_{12}(x) = x^4-x^2+1.

Φ15(x)=x8x7+x5x4+x3x+1\Phi_{15}(x) = x^8-x^7+x^5-x^4+x^3-x+1.

Patrón notable. Para n=pn=p primo: Φp(x)=xp1+xp2++x+1\Phi_p(x) = x^{p-1}+x^{p-2}+\cdots+x+1. Para n=pkn=p^k: Φpk(x)=1+xpk1+x2pk1++x(p1)pk1\Phi_{p^k}(x) = 1+x^{p^{k-1}}+x^{2p^{k-1}}+\cdots+x^{(p-1)p^{k-1}}. Para n=2pn=2p con pp primo impar: Φ2p(x)=xp1xp2+x+1\Phi_{2p}(x) = x^{p-1}-x^{p-2}+\cdots-x+1.

Φn(x)=dn(xd1)μ(n/d)\Phi_n(x) = \prod_{d \mid n} (x^d - 1)^{\mu(n/d)}

Propiedades aritméticas de $\Phi_n$

Irreducibilidad. Φn(x)\Phi_n(x) es irreducible sobre Q\mathbb{Q} para todo n1n\geq 1. Este es un teorema profundo (no inmediato). La demostración estándar es: si Φn=fg\Phi_n = fg en Q[x]\mathbb{Q}[x], se demuestra que toda raíz de ff es también raíz de g(xp)g(x^p) para cualquier primo pnp\nmid n (usando propiedades de los cuerpos ciclotómicos), lo que eventualmente da f=Φnf=\Phi_n.

Evaluación en enteros. Para aZa\in\mathbb{Z} con a>1|a|>1, el valor Φn(a)\Phi_n(a) tiene una descripción aritmética rica:

(i) Todo divisor primo pp de Φn(a)\Phi_n(a) satisface p1(modn)p\equiv 1\pmod{n} o pnp\mid n.

(ii) Si pΦn(a)p\mid\Phi_n(a) y pnp\nmid n, entonces el orden de aa módulo pp es exactamente nn, y en particular np1n\mid p-1 (pequeño teorema de Fermat).

Esto tiene consecuencias número-teóricas importantes: la existencia de infinitos primos p1(modn)p\equiv 1\pmod{n} se sigue de que Φn(a!)\Phi_n(a!) tiene divisores primos del tipo correcto (Dirichlet vía ciclotómicos).

**Coeficientes de Φn\Phi_n.** Para n104n\leq 104, todos los coeficientes de Φn\Phi_n son {1,0,1}\in\{-1,0,1\}. El primer polinomio ciclotómico con un coeficiente distinto de ±1\pm 1 y 00 es Φ105\Phi_{105} (cuyo coeficiente 2-2 apareció): esto sorprendió a los matemáticos del siglo XIX.

**Fórmula para nn con exactamente dos factores primos distintos.** Si n=paqbn=p^a q^b:

$Φpaqb(x)=Φpq(xpa1qb1).\Phi_{p^a q^b}(x) = \Phi_{pq}(x^{p^{a-1}q^{b-1}}).$

Para n=pqn=pq con p<qp<q primos:

$Φpq(x)=Φp(xq)Φp(x)=xpq1(xp1)(xq1)(x1).\Phi_{pq}(x) = \frac{\Phi_p(x^q)}{\Phi_p(x)} = \frac{x^{pq}-1}{(x^p-1)(x^q-1)}\cdot(x-1).$

pΦn(a),  pn    ordp(a)=n    np1p \mid \Phi_n(a),\; p \nmid n \implies \text{ord}_p(a) = n \implies n \mid p-1

Aplicaciones en olimpiadas: divisibilidad y factorizaciones

**Aplicación 1: Factorización de anbna^n - b^n.** En olimpiadas aparece frecuentemente la factorización:

$anbn=dnΦd(a,b),a^n - b^n = \prod_{d \mid n} \Phi_d(a, b),$

donde Φd(a,b)=bφ(d)Φd(a/b)\Phi_d(a,b) = b^{\varphi(d)}\Phi_d(a/b) es la versión homogénea. Los factores Φd(a,b)\Phi_d(a,b) son relativamente primos "en su mayoría" (salvo por potencias de primos que dividen a nn), lo que permite estudiar la aritmética de anbna^n-b^n descomponiendo en factores ciclotómicos.

**Aplicación 2: Primos de la forma kn+1kn+1.** Usando que todo primo pΦn(a)p\mid\Phi_n(a) con pnp\nmid n satisface np1n\mid p-1, se puede demostrar que hay infinitos primos de la forma kn+1kn+1 de forma elemental (para nn siendo potencia de primo).

**Aplicación 3: Φn(a)\Phi_n(a) y condiciones de divisibilidad.** Problema clásico: demostrar que si pp es primo y pnp\mid n, entonces Φn(a)Φn/p(ap)(modp)\Phi_n(a)\equiv \Phi_{n/p}(a^p)\pmod{p}. Esto permite reducir modularmente el estudio de ciclotómicos.

Aplicación 4: Polinomios que representan muchos primos. El hecho de que Φp(a)=ap1++1=(ap1)/(a1)\Phi_p(a)=a^{p-1}+\cdots+1=(a^p-1)/(a-1) genera valores Φp(a)\Phi_p(a) que son divisibles solo por primos 1(modp)\equiv 1\pmod{p} (salvo pp mismo) implica que hay infinitos primos 1(modp)\equiv 1\pmod{p} (el argumento de Euler-Dirichlet vía ciclotómicos).

Conexión con el teorema de Zsygmondy. El teorema de Zsygmondy (1892) afirma: para a>b1a>b\geq 1 con gcd(a,b)=1\gcd(a,b)=1 y n3n\geq 3 (salvo casos excepcionales), anbna^n-b^n tiene un factor primo que no divide a akbka^k-b^k para ningún k<nk<n. La prueba usa propiedades de Φn(a,b)\Phi_n(a,b): si panbnp\mid a^n-b^n pero pakbkp\nmid a^k-b^k para k<nk<n, el orden de a/ba/b módulo pp es nn, y pp es un primo "primitivo" de anbna^n-b^n.

Ejemplo resuelto: $\Phi_n$ en un problema IMO Shortlist

Problema (IMO Shortlist 2002, N6 adaptado). Sea a>1a>1 un entero. Demostrar que para infinitos nn, Φn(a)\Phi_n(a) es compuesto.

Solución. Si n=ak1n = a^k - 1 para algún k1k\geq 1, entonces a1(modn)a\equiv 1\pmod{n}, luego Φn(a)Φn(1)=nφ(n)/φ(n)=\Phi_n(a)\equiv\Phi_n(1)=n^{\varphi(n)/\varphi(n)}= ... este argumento no es inmediato.

Usamos una idea diferente: sea pp un primo con pΦn(a)p\mid\Phi_n(a) y pnp\nmid n. Entonces el orden de aa módulo pp es nn, luego np1n\mid p-1, i.e. pn+1p\geq n+1. Si Φn(a)\Phi_n(a) fuera primo para todos nn grandes, Φn(a)\Phi_n(a) sería el único factor primo de sí mismo, y tendríamos Φn(a)=pn+1\Phi_n(a) = p\geq n+1. Pero Φn(a)aφ(n)\Phi_n(a)\sim a^{\varphi(n)} para aa fijo y nn\to\infty, con φ(n)\varphi(n) creciendo... En realidad, hay infinitos nn para los que Φn(a)\Phi_n(a) es compuesto por el siguiente argumento:

Sea qq cualquier primo con qΦn(a)q\mid\Phi_n(a) y qnq\nmid n. Entonces nq1n\mid q-1, así que q1(modn)q\equiv 1\pmod{n}. Si Φn(a)\Phi_n(a) fuera primo, entonces Φn(a)1(modn)\Phi_n(a)\equiv 1\pmod{n}. Pero Φn(1)=p\Phi_n(1) = p si n=pkn=p^k (primo), y Φn(1)=1\Phi_n(1)=1 si nn tiene 2\geq 2 factores primos distintos. Para a=2a=2 y n=pn=p, Φp(2)=2p1++1\Phi_p(2)=2^{p-1}+\cdots+1: estos valores son primos para p=2,3,5,7,p=2,3,5,7,\ldots solo finitas veces (conjeturalmente, aunque no se ha probado). Existen infinitos nn con Φn(2)\Phi_n(2) compuesto porque la secuencia incluye valores divisibles por cuadrados perfectos.

El argumento completo para todos aa usa la teoría de Aurifeuillean factorizations y propiedades de ordp(a)\text{ord}_p(a), que está más allá del nivel de esta lección.

pΦn(a),  pn    p1(modn)p \mid \Phi_n(a),\; p \nmid n \implies p \equiv 1 \pmod{n}

Problemas del Capítulo 3 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

A3-3.1★★★IMO 1997, Problema 5

Sea P(x)P(x) un polinomio con coeficientes enteros. Supongamos que P(a)=bP(a) = b, P(b)=cP(b) = c y P(c)=aP(c) = a para enteros a,b,ca, b, c. Probar que a=b=ca = b = c.

A3-3.2★★★Clásico — Eisenstein y ciclotómicos

Demostrar que el polinomio Φp(x)=xp1+xp2++x+1\Phi_p(x) = x^{p-1} + x^{p-2} + \cdots + x + 1 es irreducible en Q[x]\mathbb{Q}[x] para todo primo pp.

A3-3.3★★★Olimpiada Nacional — Divisibilidad de polinomios

Sea P(x)Z[x]P(x) \in \mathbb{Z}[x] mónico de grado nn. Demostrar que si P(0)P(0), P(1)P(1), P(1)P(-1) son todos impares, entonces PP no tiene raíces enteras.

A3-3.4★★★★IMO Shortlist 2006, A5 (adaptado)

Sea P(x)Z[x]P(x) \in \mathbb{Z}[x] un polinomio no constante tal que P(n)>0P(n) > 0 para todo entero positivo nn, y P(n)P(P(n)+1)P(n) \mid P(P(n) + 1) para todo nZ+n \in \mathbb{Z}^+. Demostrar que PP no puede ser una permutación de Z+\mathbb{Z}^+ (es decir, PP no puede tomar cada valor positivo exactamente una vez en Z+\mathbb{Z}^+). (Nota: este es un problema de estructuración de la condición; la versión completa requiere clasificar todos los PP con esta propiedad.)

A3-3.5★★★★IMO 2006, Problema 5

Sea P(x)Z[x]P(x) \in \mathbb{Z}[x]. Demostrar que no existen enteros a,b,ca, b, c distintos con P(a)=bP(a)=b, P(b)=cP(b)=c y P(c)=aP(c)=a, donde aa, bb, cc son todos distintos. (Variante: esto implica que el único 3-ciclo de la dinámica de PP en Z\mathbb{Z} es el trivial a=b=ca=b=c.)

A3-3.6★★★★IMO Shortlist 2004, A2

Encontrar todos los polinomios P(x)P(x) con coeficientes reales tales que (x2+x+1)P(x1)=(x2x+1)P(x)(x^2 + x + 1)\,P(x-1) = (x^2 - x + 1)\,P(x) para todo xRx \in \mathbb{R}.

A3-3.7★★★★★IMO 2005, Problema 2

Sean a1,a2,a_1, a_2, \ldots una sucesión de enteros con infinitos términos positivos e infinitos negativos. Supongamos que para todo entero positivo kk, los residuos de a1,a2,,aka_1, a_2, \ldots, a_k módulo kk son distintos. Probar que todo entero aparece exactamente una vez en la sucesión.

A3-3.8★★★★★IMO Shortlist 2007, A5

Sea P(x)Z[x]P(x) \in \mathbb{Z}[x] de grado n1n \geq 1 con coeficiente líder positivo. Supongamos que para infinitos enteros positivos mm, el valor P(m)P(m) es potencia perfecta (es decir, P(m)=kjP(m) = k^j para algún k,jZ+k, j \in \mathbb{Z}^+ con j2j \geq 2). Demostrar que entonces P(x)=(Q(x))jP(x) = (Q(x))^j para algún Q(x)Z[x]Q(x) \in \mathbb{Z}[x] y algún j2j \geq 2. (Caso especial j=2j=2: si P(m)P(m) es cuadrado perfecto para infinitos mm, entonces P(x)=Q(x)2P(x) = Q(x)^2 para algún QZ[x]Q \in \mathbb{Z}[x].)