Teorema de Zsigmondy

Teoría

El Teorema de Zsigmondy es un resultado muy potente en teoría de números que trata sobre la factorización prima de sucesiones de la forma $a^n - b^n$ y $a^n + b^n$. Específicamente, te garantiza que existe un "divisor primo primitivo" — un factor primo que divide al término $n$-ésimo de la sucesión pero que no divide a ningún término anterior $a^k - b^k$ (para $k < n$). En las olimpiadas de matemáticas, este teorema es como una "opción nuclear" para resolver ecuaciones diofánticas con términos exponenciales. Te permite razonar sobre la estructura aritmética de las potencias, lo que muchas veces te lleva a contradicciones sobre la cantidad de factores primos o el tamaño de los divisores.

La intuición detrás del teorema es que, conforme $n$ crece, el número $a^n - b^n$ revela factores primos "nuevos" que son específicos del exponente $n$. Esto generaliza la observación básica de que los números tienden a acumular nuevos factores primos a medida que crecen. Aunque con aritmética modular básica puedes ver que ciertos primos dividen a $a^n - b^n$, el Teorema de Zsigmondy te da la garantía mucho más fuerte de que casi siempre aparece un primo nuevo.

Este teorema es súper útil en problemas donde tienes que hallar soluciones a ecuaciones exponenciales (por ejemplo, $a^n + b