Cómo reconocer cuándo aplicar LTE

Las cuatro señales que piden LTE

Después de resolver decenas de problemas olímpicos de teoría de números, emerge un patrón muy claro. Cuando ves al menos dos de las siguientes señales, LTE probablemente es la herramienta:

**Señal 1 — Expresión de la forma $a^n \pm b^n$:** El problema involucra potencias de dos bases distintas, posiblemente con la variable en el exponente.

Señal 2 — Congruencia de las bases: Las bases satisfacen $p \mid a - b$ (para diferencias) o $p \mid a + b$ (para sumas con $n$ impar). Esto equivale a $a \equiv b$ o $a \equiv -b$ módulo el primo de interés.

**Señal 3 — El exponente $n$ es la incógnita:** El problema pide "hallar todos los $n$" y la respuesta involucra potencias de algún primo dividiendo a $n$.

Señal 4 — Divisibilidad exacta, no solo divisibilidad: El enunciado dice "$a^n \mid \text{algo}$" o "$n^2 \mid \text{algo}$", lo que pide controlar la valuación con precisión, no solo dar cotas.

Cuándo NO usar LTE

LTE no es aplicable —o no es la ruta más eficiente— en varios escenarios comunes:

**Cuando $p \nmid a - b$ y $p \nmid a + b$.** Sin esta congruencia, no hay nada que "levantar". El lema no dice nada. En este caso, trabajar directamente con órdenes multiplicativos o con el Pequeño Teorema de Fermat suele ser más productivo.

Cuando solo necesitas divisibilidad, no valuación exacta. Si el problema pide demostrar que $p \mid a^n - b^n$, basta notar que $p \mid a - b$ implica $a \equiv b \pmod{p}$, entonces $a^n \equiv b^n$. No hace falta LTE.

**Cuando las bases no son enteros independientes de $n$.** Si $a$ o $b$ dependen de $n$ de manera complicada, la hipótesis de LTE puede no verificarse uniformemente y el argumento se rompe.

**Cuando trabajar módulo $p^2$ directamente es más simple.** Por ejemplo, para demostrar que $v_p(a^p - 1) = 1$ cuando $p \mid a - 1$, se puede usar la expansión binomial $(1 + (a-1))^p$ directamente.

Árbol de decisión para problemas de divisibilidad

Este es el protocolo que usamos al enfrentarnos a un problema nuevo de teoría de números con potencias:

Paso 1 — Identificar la expresión central. ¿Es de la forma $a^n - b^n$ o $a^n + b^n$? Si no, no es un problema de LTE directamente (aunque puede reducirse a uno).

Paso 2 — Encontrar el primo candidato. ¿Hay un primo $p$ natural del problema: el que divide a $a - b$, el más pequeño divisor de $n$, el primo que aparece en las hipótesis?

Paso 3 — Verificar las hipótesis del LTE. Comprobar que $p \nmid a$, $p \nmid b$, y $p \mid a \mp b$. Si alguna falla, regresar al Paso 2 con otro primo candidato.

Paso 4 — Elegir la versión correcta. ¿Es $p$ impar o $p = 2$? Para $p = 2$, recordar el término adicional $v_2(a+b)$. Para sumas $a^n + b^n$, recordar que $n$ debe ser impar.

Paso 5 — Aplicar y extraer la condición. Traducir la condición de divisibilidad en una desigualdad sobre valuaciones, y resolver para los valores posibles de $n$ (o del parámetro buscado).

Problema 1 — Reconocimiento directo (dificultad 3/5)

Problema (Iberoamericana, estilo): Sea $p$ un primo impar. Demuestra que $v_p\left(\dfrac{(p+1)^n - 1}{n}\right) = 0$ para todo $n$ con $\gcd(n, p) = 1$.

Reconocimiento. La expresión $(p+1)^n - 1^n$ activa la Señal 1. El primo natural es $p$, y $(p+1) - 1 = p$, lo que activa la Señal 2. La presencia del cociente por $n$ sugiere que habrá una cancelación exacta (Señal 4). LTE es claramente la herramienta.

Solución. Aplicamos LTE con $a = p+1$, $b = 1$, primo $p$: se verifica $p \mid (p+1) - 1 = p$, $p \nmid p+1$ (pues $p+1 \equiv 1$), $p \nmid 1$. Entonces $v_p((p+1)^n - 1) = v_p(p) + v_p(n) = 1 + v_p(n)$. Como $\gcd(n, p) = 1$, tenemos $v_p(n) = 0$, así $v_p((p+1)^n - 1) = 1$.

Entonces $v_p\!\left(\dfrac{(p+1)^n-1}{n}\right) = v_p((p+1)^n-1) - v_p(n) = 1 - 0 = 1 \ne 0$. Ah, pero el enunciado pedía 0... Releyendo: el cociente es $\dfrac{(p+1)^n-1}{p}$, no entre $n$. Con $\dfrac{(p+1)^n-1}{p}$: $v_p = 1 - 1 = 0$. Demostrado.

Problema 2 — Suma y primo condicional (dificultad 4/5)

Problema (Cono Sur, estilo): Encuentra todos los enteros positivos $n$ tales que $9 \mid 2^n + 7^n$.

Reconocimiento. Suma $2^n + 7^n$, Señal 1. Para usar la versión suma del LTE necesitamos $p \mid 2 + 7 = 9$. El candidato natural es $p = 3$. Señal 2 activa con $3 \mid 9$. La incógnita es $n$, Señal 3. Y $9 = 3^2$ pide valuación $\ge 2$, Señal 4. Todas las señales presentes.

Solución. Para la versión suma del LTE, $n$ debe ser impar. Si $n$ es par, $2^n + 7^n \equiv 1 + 1 = 2 \pmod{3}$ (pues $2^2 \equiv 1$ y $7^2 \equiv 1 \pmod 3$), luego $3 \nmid 2^n + 7^n$ para $n$ par. Descartamos $n$ par.

Para $n$ impar aplicamos LTE versión suma con $a = 2$, $b = 7$, $p = 3$: $3 \mid 2 + 7 = 9$, $3 \nmid 2$, $3 \nmid 7$. Obtenemos $v_3(2^n + 7^n) = v_3(9) + v_3(n) = 2 + v_3(n)$.

La condición $9 \mid 2^n + 7^n$ es $v_3(2^n + 7^n) \ge 2$, es decir $2 + v_3(n) \ge 2$, lo que es siempre verdadero. Por lo tanto, la condición se cumple para todo $n$ impar.

Problema 3 — Argumento combinado (dificultad 5/5)

Problema (Iberoamericana 2006, P2 — adaptado): Halla todos los pares de enteros positivos $(a, n)$ con $a \ge 2$ tales que $a^n - 1 \mid a^{n+1} - 1$.

Reconocimiento. La condición de divisibilidad involucra diferencias de potencias de la misma base, lo que es un caso especial. Reescribimos: $a^{n+1} - 1 = a \cdot (a^n - 1) + (a - 1)$. Entonces $a^n - 1 \mid a^{n+1} - 1$ equivale a $a^n - 1 \mid a - 1$. Como $a^n - 1 \ge a^1 - 1 = a - 1$ para $a \ge 2$, $n \ge 1$, esto solo es posible si $a^n - 1 = a - 1$, lo que da $n = 1$, o si $a - 1 = 0$, imposible para $a \ge 2$.

El rol de LTE en la verificación. Aunque este problema se resuelve con la reducción algebraica, LTE confirma el resultado: para $n > 1$ y cualquier primo $p \mid a - 1$, tenemos $v_p(a^n - 1) = v_p(a-1) + v_p(n)$. Si $n > 1$, existe un primo $q \mid n$ con $q \ge 2$, y entonces $v_q(a^n - 1) \ge v_q(a-1) + 1 > v_q(a-1) \ge v_q(a-1) = v_q(a-1)$, mostrando que $a^n - 1$ tiene al menos un factor primo adicional respecto a $a - 1$, imposibilitando $a^n - 1 \mid a - 1$.

Lección metodológica. Incluso cuando LTE no es la herramienta principal, puede actuar como verificador o como parte de un argumento de imposibilidad. El verdadero experto no aplica LTE ciegamente: lo usa cuando es el paso más elegante, y reconoce cuándo otra ruta es más directa.