🔢 mathematics

Sum of consecutive powers as a perfect power

Este artículo demuestra que para la ecuación $x^k + (x+1)^k = y^n$ con $n \geq 3$ y $k \equiv 2 \pmod{4}$ , las únicas soluciones son los casos triviales $x=0, -1$ cuando $6 \leq k \leq 100$ o cuando $k$ posee factores primos impares congruentes con $3 \pmod{4}$ , utilizando formas lineales en logaritmos, el método modular y ecuaciones de Thue.

Autores originales: Angelos Koutsianas, Nikos Tzanakis

Publicado 2026-05-19

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Angelos Koutsianas, Nikos Tzanakis

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective intentando resolver un acertijo muy específico y obstinado que involucra números. El acertijo es este: ¿Puedes encontrar dos números que estén justo uno al lado del otro (como 3 y 4, o 100 y 101), elevarlos ambos a la misma potencia alta, sumarlos y obtener un resultado que también sea una potencia perfecta?

Por ejemplo, si tomas $3^3 + 4^3$ , obtienes $27 + 64 = 91$ . ¿Es 91 una potencia perfecta (como un cuadrado, un cubo, etc.)? No. Los matemáticos de este artículo, Angelos Koutsianas y Nikos Tzanakis, pasaron su tiempo buscando los momentos raros en los que la respuesta es sí.

Aquí tienes un desglose de su investigación utilizando analogías simples.

El acertijo principal

La ecuación que están estudiando se ve así:
$x^k + (x+1)^k = y^n$

$x$ y $x+1$ : Dos vecinos.
$k$ : La "potencia" a la que los elevas. El artículo se centra en un tipo específico de potencia: números como 6, 10, 14, 18, etc. (números que son 2 más que un múltiplo de 4).
$y^n$ : El resultado debe ser una potencia perfecta (como un cubo perfecto, una cuarta potencia, etc., donde $n$ es al menos 3).

Las soluciones "fantasma"

Antes de comenzar, conocían dos soluciones "fantasma".

Si $x = 0$ , entonces $0^k + 1^k = 1$ . Como 1 es una potencia perfecta ( $1^n$ ), esto funciona.
Si $x = -1$ , entonces $(-1)^k + 0^k = 1$ . Esto también funciona.

Los autores querían saber: ¿Hay alguna solución real donde los números sean realmente mayores que 1?

El kit de herramientas del detective

Para resolver esto, los autores no solo adivinaron números. Utilizaron una estrategia de investigación de "tres puntas", como un detective que usa tres tipos diferentes de herramientas forenses:

La "cinta métrica logarítmica" (Formas lineales en logaritmos):
Imagina que estás intentando encontrar una aguja en un pajar. Sabes que la aguja está en algún lugar, pero el pajar es infinito. Esta herramienta les ayuda a reducir el pajar a un tamaño manejable. Demuestra que si existe una solución, los números involucrados no pueden ser demasiado enormes. Establece un límite superior, diciendo: "Si existe una solución, debe estar por debajo de este número específico".
El "espejo modular" (El método modular):
Esta es la herramienta más compleja. Imagina mirar un reflejo en un espejo. Si tienes una forma específica (tu ecuación), proyecta una sombra (un objeto matemático llamado curva elíptica). Los autores miraron esta sombra y la compararon con una biblioteca de sombras conocidas (llamadas "nuevas formas").
- Si la sombra de su ecuación coincidía con una sombra en la biblioteca, podían verificar si era una coincidencia "falsa".
- Utilizaron esto para demostrar que, para muchas potencias específicas ( $k$ ), la "sombra" no coincidía con nada que pudiera producir una solución real. Es como decir: "Esta huella dactilar no pertenece a ningún criminal en nuestra base de datos, por lo que este crimen no pudo haber ocurrido".
El "resolutor de rompecabezas" (Ecuaciones de Thue):
Para los números más pequeños que las otras herramientas no pudieron descartar, convirtieron el problema en un tipo específico de rompecabezas matemático llamado ecuación de Thue. Estos son como cuadrículas de Sudoku para números. Resolvieron estos rompecabezas para casos más pequeños para demostrar que tampoco existían soluciones allí.

El gran descubrimiento

Después de ejecutar estas herramientas a través de una verificación masiva por computadora (usando una computadora de oficina estándar, no una supercomputadora), encontraron la respuesta:

Para cada potencia $k$ entre 6 y 100 (que cumpla su regla específica), las ÚNICAS soluciones son los "fantasmas" que ya conocíamos: $x = 0$ y $x = -1$ .

En otras palabras, no puedes tomar dos enteros positivos que estén uno al lado del otro, elevarlos a una potencia entre 6 y 100, sumarlos y obtener una potencia perfecta. El universo simplemente no lo permite en este rango.

Por qué esto importa (en términos matemáticos)

El artículo menciona que esta es la primera vez que alguien ha resuelto con éxito este tipo específico de acertijo para potencias tan grandes ( $k$ ) cuando solo se están sumando dos números.

Por lo general, cuando tienes dos números sumando a una tercera potencia, es un problema muy difícil (relacionado con el famoso Último Teorema de Fermat). Los autores lograron descomponer el problema en piezas más pequeñas y resolubles. Mostraron que, aunque las matemáticas son increíblemente profundas e involucran conceptos abstractos como "curvas" y "logaritmos", el resultado final es un simple "No" para todos los números grandes que probaron.

¿Qué sigue?

El artículo termina diciendo: "Hicimos esto para potencias hasta 100. Los mismos métodos deberían funcionar para potencias mayores que 100, pero eso es un trabajo para otro día". También señalan que si la potencia $k$ es un número impar (como 5 o 7), todo el juego cambia, y las reglas que usaron aquí ya no se aplican. Ese es un misterio mucho más difícil para el futuro.

En resumen: Demostraron que para una amplia gama de potencias altas, la suma de dos números consecutivos nunca es una potencia perfecta, a menos que comiences con cero o menos uno. Los "fantasmas" son los únicos que ganan.

Resumen Técnico: Suma de Potencias Consecutivas como Potencia Perfecta

Enunciado del Problema
Este artículo investiga la ecuación diofántica que representa la suma de dos potencias perfectas consecutivas igualada a una potencia perfecta:
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
Los autores se centran específicamente en el caso donde el exponente $k$ satisface $k \equiv 2 \pmod 4$ . Si bien los casos para $k=2, 3, 4$ y diversas longitudes de sumas consecutivas ( $d$ ) han sido abordados en la literatura previa, el caso $d=2$ con $k$ grande permanece en gran medida sin resolver. Los autores señalan que para $d=2$ , la ecuación es un caso especial de la ecuación de Fermat generalizada de firma $(r, r, p)$ , lo cual típicamente presenta obstrucciones relacionadas con curvas hiperelípticas de Frey no singulares con multiplicación compleja (específicamente para $x=0, -1$ ). El objetivo principal es determinar todas las soluciones enteras para $6 \leq k \leq 100$ bajo la condición $k \equiv 2 \pmod 4$ .

Metodología
La estrategia de prueba combina tres técnicas matemáticas distintas: formas lineales en logaritmos, el método modular y la resolución de ecuaciones de Thue. El enfoque procede de la siguiente manera:

Transformación y Reducción:
Los autores transforman la ecuación original estableciendo que $x$ sea un entero impar (mediante la sustitución de variable $x \to (x-1)/2$ ), lo que conduce a la forma simétrica:
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
Utilizando el Lema 4.1, factorizan el lado izquierdo como $(x^2+1)f_k(x^2)$ , donde $f_k$ es un polinomio de grado $k/2 - 1$ .
Reducción a Ecuaciones de Lebesgue-Nagell y Thue:
Una contribución clave es el Lema 4.2, que demuestra que para $k \geq 6$ y $n$ suficientemente grande, cualquier solución $(x, y, n)$ se reduce a un sistema finito de dos ecuaciones:
$x^2 + 1 = 2 \frac{d_2}{d_1} y_1^n$
$f_k(x^2) = 2^{k-2} \frac{d_1}{d_2} y_2^n$
Aquí, $d_1, d_2$ son divisores específicos de $k/2$ determinados por los factores primos de $k$ congruentes con $1 \pmod 4$ .
- Para $n$ pequeño ( $n \leq 7$ ), la resolución de la primera ecuación se reduce a resolver un número finito de ecuaciones de Thue sobre los enteros gaussianos $\mathbb{Q}(i)$ .
- Para el caso general, el problema se reduce a resolver ecuaciones de Lebesgue-Nagell de la forma $x^2 + 1 = 2d y^n$ .
El Método Modular:
Para el rango $6 \leq k \leq 100$ y primo $n \geq 11$ , los autores emplean el método modular. Asocian una curva elíptica de Frey-Hellegouarch $E$ a la solución potencial. Mediante el uso de teoremas de modularidad y reducción de nivel, establecen un isomorfismo entre la representación de Galois de $E$ y la de una nuevaforma $f$ .
- La Proposición 3.1 se utiliza para acotar $n$ comparando los coeficientes de Fourier $a_\ell(f)$ y $a_\ell(E)$ para varios primos $\ell$ .
- La Proposición 6.3 introduce una técnica de eliminación refinada utilizando primos $\ell = tn + 1$ para descartar nuevas formas específicas que la comparación estándar de coeficientes no pudo eliminar.
Formas Lineales en Logaritmos:
Para manejar la cota superior de $n$ , los autores aplican la teoría de Baker de formas lineales en logaritmos. Derivan una cota superior explícita $n_0$ para $n$ (presentada en la Tabla 2) analizando la forma lineal $\Lambda = n \log \alpha_1 - \log \alpha_2$ . Esta cota asegura que para $n > n_0$ , no existen soluciones.

Resultados Clave
El artículo establece el siguiente teorema principal:

Teorema 1.1: Supóngase que $k \equiv 2 \pmod 4$ . Si $6 \leq k \leq 100$ , las únicas soluciones enteras a $x^k + (x+1)^k = y^n$ con $n \geq 3$ ocurren cuando $x \in \{-1, 0\}$ .

Adicionalmente, los autores demuestran el Teorema 1.3, que aborda el caso donde $k \equiv 2 \pmod 4$ y todos los factores primos impares de $k$ son congruentes con $3 \pmod 4$ . En este escenario específico, las soluciones son $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ y $(-120, 13, 4, 2)$ .

La verificación computacional implicó:

Resolver ecuaciones de Thue para $n \leq 7$ utilizando Pari/GP.
Aplicar el método modular para eliminar nuevas formas para $11 \leq n \leq n_0$ utilizando scripts de Sage.
Calcular cotas superiores explícitas $n_0$ para cada $k$ en el rango $[6, 100]$ (variando de $\approx 1.7 \times 10^5$ a $\approx 3 \times 10^7$ ).

Significado y Alcance
Los autores declaran que este trabajo representa el primer intento de resolver la ecuación (1.1) para $d=2$ con valores grandes de $k$ . El significado radica en superar con éxito las obstrucciones asociadas a curvas de género $>1$ (específicamente los casos $x=0, -1$ ) reduciendo el problema a un número finito de ecuaciones resolubles.

El artículo es modesto respecto a su alcance más allá del rango probado. Los autores señalan que, si bien sus métodos son "en principio" aplicables a cualquier $k \equiv 2 \pmod 4$ con $k > 100$ , la complejidad computacional aumenta significativamente. Declaran explícitamente que el caso donde $k$ es impar presenta una situación "muy diferente" y "muy desafiante" donde su Lema clave 4.2 falla, y el caso $k=5$ permanece como un problema abierto. El artículo no afirma resolver la ecuación para todo $k$ , sino que proporciona una resolución completa para el rango específico $6 \leq k \leq 100$ bajo las condiciones de congruencia enunciadas.