🔢 mathematics

Sum of consecutive powers as a perfect power

Este artigo prova que, para a equação $x^k + (x+1)^k = y^n$ com $n \geq 3$ e $k \equiv 2 \pmod{4}$ , as únicas soluções são os casos triviais $x=0, -1$ quando $6 \leq k \leq 100$ ou quando $k$ possui fatores primos ímpares congruentes a $3 \pmod{4}$ , utilizando formas lineares em logaritmos, o método modular e equações de Thue.

Autores originais: Angelos Koutsianas, Nikos Tzanakis

Publicado 2026-05-19

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Angelos Koutsianas, Nikos Tzanakis

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um detetive tentando resolver um enigma muito específico e teimoso envolvendo números. O enigma é este: Você consegue encontrar dois números que ficam bem um ao lado do outro (como 3 e 4, ou 100 e 101), elevá-los ambos à mesma potência alta, somá-los e obter um resultado que também seja uma potência perfeita?

Por exemplo, se você calcular $3^3 + 4^3$ , obterá $27 + 64 = 91$ . O 91 é uma potência perfeita (como um quadrado, cubo, etc.)? Não. Os matemáticos deste artigo, Angelos Koutsianas e Nikos Tzanakis, dedicaram seu tempo a caçar os raros momentos em que a resposta é sim.

Aqui está uma explicação de sua investigação usando analogias simples.

O Enigma Principal

A equação que eles estão estudando se parece com isto:
$x^k + (x+1)^k = y^n$

$x$ e $x+1$ : Dois vizinhos.
$k$ : A "potência" à qual você os eleva. O artigo foca em um tipo específico de potência: números como 6, 10, 14, 18, etc. (números que são 2 a mais que um múltiplo de 4).
$y^n$ : O resultado deve ser uma potência perfeita (como um cubo perfeito, quarta potência, etc., onde $n$ é pelo menos 3).

As Soluções "Fantasma"

Antes de começarem, eles conheciam duas soluções "fantasma".

Se $x = 0$ , então $0^k + 1^k = 1$ . Como 1 é uma potência perfeita ( $1^n$ ), isso funciona.
Se $x = -1$ , então $(-1)^k + 0^k = 1$ . Isso também funciona.

Os autores queriam saber: Existem alguma solução real onde os números são realmente maiores que 1?

O Kit de Ferramentas do Detetive

Para resolver isso, os autores não apenas adivinharam números. Eles usaram uma estratégia de investigação de "três pontas", como um detetive usando três tipos diferentes de ferramentas forenses:

A "Fita Métrica Logarítmica" (Formas Lineares em Logaritmos):
Imagine que você está tentando encontrar uma agulha em um palheiro. Você sabe que a agulha está em algum lugar, mas o palheiro é infinito. Esta ferramenta ajuda a reduzir o palheiro a um tamanho gerenciável. Ela prova que, se uma solução existir, os números envolvidos não podem ser demasiadamente enormes. Ela estabelece um limite superior, dizendo: "Se uma solução existir, ela deve estar abaixo deste número específico."
O "Espelho Modular" (O Método Modular):
Esta é a ferramenta mais complexa. Imagine olhar para um reflexo em um espelho. Se você tem uma forma específica (sua equação), ela projeta uma sombra (um objeto matemático chamado curva elíptica). Os autores olharam para essa sombra e a compararam com uma biblioteca de sombras conhecidas (chamadas "novas formas").
- Se a sombra de sua equação correspondesse a uma sombra na biblioteca, eles poderiam verificar se era uma correspondência "falsa".
- Eles usaram isso para provar que, para muitas potências específicas ( $k$ ), a "sombra" não correspondia a nada que pudesse produzir uma solução real. É como dizer: "Esta impressão digital não pertence a nenhum criminoso em nosso banco de dados, então este crime não poderia ter acontecido."
O "Resolvedor de Quebra-Cabeças" (Equações de Thue):
Para os números menores que as outras ferramentas não conseguiram descartar, eles transformaram o problema em um tipo específico de quebra-cabeça matemático chamado equação de Thue. Estes são como grades de Sudoku para números. Eles resolveram esses quebra-cabeças para casos menores para provar que nenhuma solução existia lá também.

A Grande Descoberta

Depois de executar essas ferramentas através de uma verificação massiva por computador (usando um computador de escritório padrão, não um supercomputador), eles encontraram a resposta:

Para toda potência $k$ entre 6 e 100 (que se encaixa em sua regra específica), as ÚNICAS soluções são os "fantasmas" que já conhecíamos: $x = 0$ e $x = -1$ .

Em outras palavras, você não pode pegar dois inteiros positivos sentados um ao lado do outro, elevá-los a uma potência entre 6 e 100, somá-los e obter uma potência perfeita. O universo simplesmente não permite isso nesta faixa.

Por Que Isso Importa (Em Termos Matemáticos)

O artigo menciona que esta é a primeira vez que alguém resolveu com sucesso este tipo específico de enigma para potências tão grandes ( $k$ ) quando há apenas dois números sendo somados.

Geralmente, quando você tem dois números somando-se a uma terceira potência, é um problema muito difícil (relacionado ao famoso Último Teorema de Fermat). Os autores conseguiram dividir o problema em partes menores e solucionáveis. Eles mostraram que, embora a matemática seja incrivelmente profunda e envolva conceitos abstratos como "curvas" e "logaritmos", o resultado final é um simples "Não" para todos os números grandes que eles testaram.

O "E Agora?"

O artigo termina dizendo: "Fizemos isso para potências até 100. Os mesmos métodos devem funcionar para potências maiores que 100, mas isso é um trabalho para outro dia." Eles também observam que, se a potência $k$ for um número ímpar (como 5 ou 7), todo o jogo muda, e as regras que usaram aqui não se aplicam mais. Esse é um mistério muito mais difícil para o futuro.

Em resumo: Eles provaram que, para uma ampla faixa de potências altas, a soma de dois números consecutivos nunca é uma potência perfeita, a menos que você comece com zero ou menos um. Os "fantasmas" são os únicos que vencem.

Resumo Técnico: Soma de Potências Consecutivas como Potência Perfeita

Enunciado do Problema
Este artigo investiga a equação diofantina que representa a soma de duas potências perfeitas consecutivas igualando-se a uma potência perfeita:
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
Os autores focam especificamente no caso onde o expoente $k$ satisfaz $k \equiv 2 \pmod 4$ . Embora os casos para $k=2, 3, 4$ e vários comprimentos de somas consecutivas ( $d$ ) tenham sido abordados na literatura anterior, o caso $d=2$ com $k$ grande permanece em grande parte não resolvido. Os autores observam que, para $d=2$ , a equação é um caso especial da equação de Fermat generalizada de assinatura $(r, r, p)$ , que tipicamente apresenta obstruções relacionadas a curvas hiperelípticas de Frey não singulares com multiplicação complexa (especificamente para $x=0, -1$ ). O objetivo principal é determinar todas as soluções inteiras para $6 \leq k \leq 100$ sob a condição $k \equiv 2 \pmod 4$ .

Metodologia
A estratégia de prova combina três técnicas matemáticas distintas: formas lineares em logaritmos, o método modular e a resolução de equações de Thue. A abordagem procede da seguinte forma:

Transformação e Redução:
Os autores transformam a equação original estabelecendo $x$ como um número ímpar (via substituição de variável $x \to (x-1)/2$ ), levando à forma simétrica:
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
Usando o Lema 4.1, eles fatoram o lado esquerdo como $(x^2+1)f_k(x^2)$ , onde $f_k$ é um polinômio de grau $k/2 - 1$ .
Redução a Equações de Lebesgue-Nagell e Thue:
Uma contribuição chave é o Lema 4.2, que demonstra que para $k \geq 6$ e $n$ suficientemente grande, qualquer solução $(x, y, n)$ reduz-se a um sistema finito de duas equações:
$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$
Aqui, $d_1, d_2$ são divisores específicos de $k/2$ determinados pelos fatores primos de $k$ congruentes a $1 \pmod 4$ .
- Para $n$ pequeno ( $n \leq 7$ ), a resolução da primeira equação reduz-se a resolver um número finito de equações de Thue sobre os inteiros gaussianos $\mathbb{Q}(i)$ .
- Para o caso geral, o problema reduz-se a resolver equações de Lebesgue-Nagell da forma $x^2 + 1 = 2d y^n$ .
O Método Modular:
Para a faixa $6 \leq k \leq 100$ e primo $n \geq 11$ , os autores empregam o método modular. Eles associam uma curva elíptica de Frey-Hellegouarch $E$ à solução potencial. Ao utilizar a modularidade e teoremas de redução de nível, estabelecem um isomorfismo entre a representação de Galois de $E$ e a de uma nova forma $f$ .
- A Proposição 3.1 é usada para limitar $n$ comparando coeficientes de Fourier $a_\ell(f)$ e $a_\ell(E)$ para vários primos $\ell$ .
- A Proposição 6.3 introduz uma técnica refinada de eliminação usando primos $\ell = tn + 1$ para descartar novas formas específicas que a comparação padrão de coeficientes não conseguia eliminar.
Formas Lineares em Logaritmos:
Para lidar com o limite superior de $n$ , os autores aplicam a teoria de Baker de formas lineares em logaritmos. Eles derivam um limite superior explícito $n_0$ para $n$ (apresentado na Tabela 2) analisando a forma linear $\Lambda = n \log \alpha_1 - \log \alpha_2$ . Este limite garante que, para $n > n_0$ , não existem soluções.

Resultados Chave
O artigo estabelece o seguinte teorema principal:

Teorema 1.1: Suponha $k \equiv 2 \pmod 4$ . Se $6 \leq k \leq 100$ , as únicas soluções inteiras para $x^k + (x+1)^k = y^n$ com $n \geq 3$ ocorrem quando $x \in \{-1, 0\}$ .

Além disso, os autores provam o Teorema 1.3, que aborda o caso onde $k \equiv 2 \pmod 4$ e todos os fatores primos ímpares de $k$ são congruentes a $3 \pmod 4$ . Neste cenário específico, as soluções são $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ e $(-120, 13, 4, 2)$ .

A verificação computacional envolveu:

Resolver equações de Thue para $n \leq 7$ usando Pari/GP.
Aplicar o método modular para eliminar novas formas para $11 \leq n \leq n_0$ usando scripts Sage.
Calcular limites superiores explícitos $n_0$ para cada $k$ na faixa $[6, 100]$ (variando de $\approx 1,7 \times 10^5$ a $\approx 3 \times 10^7$ ).

Significado e Escopo
Os autores afirmam que este trabalho representa a primeira tentativa de resolver a equação (1.1) para $d=2$ com valores grandes de $k$ . O significado reside em superar com sucesso as obstruções associadas a curvas de gênero $>1$ (especificamente os casos $x=0, -1$ ) reduzindo o problema a um número finito de equações solúveis.

O artigo é modesto quanto ao seu escopo além da faixa testada. Os autores observam que, embora seus métodos sejam "em princípio" aplicáveis a qualquer $k \equiv 2 \pmod 4$ com $k > 100$ , a complexidade computacional aumenta significativamente. Eles afirmam explicitamente que o caso onde $k$ é ímpar apresenta uma situação "muito diferente" e "muito desafiadora", onde seu Lema 4.2 chave falha, e o caso $k=5$ permanece um problema em aberto. O artigo não afirma resolver a equação para todo $k$ , mas sim fornece uma resolução completa para a faixa específica $6 \leq k \leq 100$ sob as condições de congruência declaradas.