🔢 mathematics

Catalan's conjecture is Mihăilescu's theorem

Este texto, derivado de notas de aula para um curso de inverno de 2025/26, visa fornecer uma exposição completa da prova de Mihăilescu da conjectura de Catalan, desenvolvendo sistematicamente os resultados da teoria dos números necessários, desde os teoremas de Euler e Lebesgue através das relações de Cassels até ao teorema final.

Autores originais: Martin Klazar

Publicado 2026-01-22

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Martin Klazar

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 mistério muito específico e obstinado no mundo dos números. O caso é chamado de Conjectura de Catalan, e foi proposto pela primeira vez em 1844 por um matemático chamado Eugène Catalan.

Aqui está o mistério em linguagem simples:

No mundo dos números inteiros, temos "potências perfeitas". Estas são números como quadrados ( $2^2=4$ , $3^2=9$ ), cubos ( $2^3=8$ , $3^3=27$ ), ou potências quartas ( $2^4=16$ ).

Catalan notou que existe exatamente um par de potências perfeitas que estão sentadas uma ao lado da outra na reta numérica: 8 e 9.

$8 = 2^3$ (um cubo)
$9 = 3^2$ (um quadrado)
Eles são consecutivos ( $9 - 8 = 1$ ).

Catalan supôs que esta é a única vez que isso acontece. Ele afirmou que, se você procurar por qualquer outro par de potências perfeitas que sejam vizinhos (como $x^m - y^n = 1$ ), você nunca encontrará outro par.

Por 160 anos, isso foi apenas um palpite. Então, em 2004, um matemático chamado Preda Mihăilescu provou que era verdade. Este artigo, escrito por Martin Klazar, é um guia que conduz você através da prova de Mihăilescu, decompondo-a em etapas gerenciáveis.

Aqui está como o artigo explica a solução, usando analogias simples:

1. Os Casos Fáceis (Os "Frutos Baixos")

Antes de enfrentar a parte mais difícil, o artigo elimina os cenários fáceis onde um dos expoentes é um número pequeno (como 2 ou 3). Pense nisso como verificar os suspeitos óbvios primeiro.

O Caso Quadrado vs. Cubo ( $x^2 - y^3 = 1$ ):
O artigo analisa a equação onde um quadrado menos um cubo é igual a 1. Ele usa um método semelhante ao velho truque de Euler. Imagine que você está tentando encaixar uma peça quadrada em um buraco redondo. A matemática mostra que a única maneira de isso se encaixar é se os números forem 8 e 9 (ou alguns zeros triviais). O autor, Klazar, na verdade fornece três maneiras diferentes de resolver este quebra-cabeça específico, como mostrar que uma fechadura pode ser aberta com três chaves diferentes.
O Caso Potência Alta vs. Quadrado ( $x^m - y^2 = 1$ ):
Aqui, temos uma potência enorme (como $x^5$ ) menos um quadrado igual a 1. O artigo usa uma ferramenta chamada Inteiros Gaussianos (números com uma parte imaginária, como $a + bi$). Pense nisso como mudar de um mapa 2D para um mapa 3D para ver o problema de um novo ângulo. Ele prova que, não importa quão alta a potência vá, você não consegue encontrar um quadrado vizinho.
O Caso Quadrado vs. Potência Alta ( $x^2 - y^q = 1$ ):
Este é o inverso: um quadrado menos uma potência enorme igual a 1. Um matemático chamado Chao Ko provou isso há muito tempo. O artigo explica a lógica dele: se tal par existisse, os números teriam que se comportar de uma forma que criasse uma contradição matemática, como um relógio correndo para trás.

2. A Parte Difícil (O "Pico da Montanha")

Uma vez que os números pequenos são descartados, o artigo enfrenta o verdadeiro monstro: Dois números primos ímpares distintos (como 7 e 11, ou 13 e 17) como expoentes.
A equação é: $x^p - y^q = 1$ .

É aqui que entra o gênio de Mihăilescu. O artigo delineia sua prova como uma série de armadilhas lógicas que forçam os números a admitir que eles não existem.

As "Relações de Cassels" (A Armadilha da Divisibilidade):
Imagine que você tem dois suspeitos, $x$ e $y$ . O artigo mostra que, se eles existirem, devem ter "laços familiares" muito específicos.
- Uma relação diz: "Se você existir, seu número $x$ deve ser divisível pelo expoente $q$ ."
- Outra diz: "Seu número $y$ deve ser divisível pelo expoente $p$ ."
  É como dizer: "Se você é um espião, deve ter um chapéu vermelho e um sapato azul." O artigo prova que essas condições são necessárias.
As "Super-Relações de Cassels" (A Dupla Armadilha):
Mihăilescu foi mais fundo. Ele provou que a divisibilidade não é apenas uma vez; é ao quadrado.
- $x$ deve ser divisível por $q^2$ .
- $y$ deve ser divisível por $p^2$ .
  Isso é como dizer: "Não apenas você precisa de um chapéu vermelho, você precisa de um chapéu vermelho gigante." Isso torna os números incrivelmente grandes e restritivos.
O "Grupo de Obstrução" (A Parede):
A prova então se move para uma área muito abstrata chamada Teoria Algébrica dos Números. Imagine que os números estão tentando escalar uma montanha, mas há uma parede mágica (um "grupo de obstrução") que os impede.
O artigo explica que a estrutura desses números (especificamente em "Campos Cíclotômicos", que são como sistemas de coordenadas especiais para raízes da unidade) cria uma barreira. O "ideal de Stickelberger" é um nome pomposo para uma regra que diz: "Você não pode escalar esta parede".

3. O Golpe Final (O Teorema "M4")

O artigo culmina no Teorema M4. Este é o golpe final.
Mihăilescu mostrou que, se você combinar todas as regras anteriores (a divisibilidade pelos quadrados, o tamanho dos números e as propriedades da "parede"), os únicos candidatos possíveis para os expoentes $p$ e $q$ são os números minúsculos 3 e 5.

Mas espere! O artigo já provou nos capítulos anteriores que, se os expoentes forem 3 ou 5, a equação não tem solução (exceto as triviais).

Se os expoentes forem grandes (7, 11, etc.), a "parede" os impede.
Se os expoentes forem pequenos (3, 5), as provas dos "casos fáceis" anteriores os impedem.

A Conclusão:
Não há lugar para uma solução se esconder. As únicas potências perfeitas consecutivas em todo o universo dos números são 8 e 9.

Resumo

Este artigo é um manual completo, passo a passo, de como provar que 8 e 9 são os únicos vizinhos na família das potências perfeitas.

Começa com quebra-cabeças simples (quadrados e cubos).
Move-se para ferramentas complexas (números imaginários e regras de divisibilidade).
Constrói uma estrutura lógica massiva (o grupo de obstrução) que prova que nenhum outro par pode jamais existir.

É a história de como matemáticos usaram uma combinação de truques antigos e maquinaria matemática nova e de alta tecnologia para resolver um enigma de 160 anos.

Resumo Técnico: A Conjectura de Catalan é o Teorema de Mihăilescu

Enunciado do Problema
O artigo aborda a conjectura de Catalan, originalmente proposta por Eugène Ch. Catalan em 1844. A conjectura afirma que a única solução em números naturais para a equação diofantina $x^m - y^n = 1$ para $m, n \ge 2$ e $x, y > 0$ é o par $(x, y, m, n) = (3, 2, 2, 3)$ , correspondente a $3^2 - 2^3 = 1$ . O texto visa fornecer uma prova completa e autossuficiente desta conjectura, que foi provada por Preda Mihăilescu em 2004. A prova é estruturada para lidar com a equação reduzindo os expoentes a primos ímpares distintos $p$ e $q$ , dividindo assim o problema em uma parte "elementar" (onde um expoente é 2) e uma parte "não elementar" (onde ambos os expoentes são $\ge 3$ ).

Metodologia e Estrutura
O texto é organizado como uma exposição abrangente da prova de Mihăilescu, suplementada pelo embasamento necessário em teoria algébrica dos números. A metodologia procede em três fases distintas:

Casos Elementares (Capítulos 1–3): O autor resolve os casos onde pelo menos um expoente é 2.
- Capítulo 1 ( $x^2 - y^3 = 1$ ): São apresentadas três resoluções elementares distintas: uma conclusão moderna do argumento de Euler de 1737 usando curvas elípticas e pontos racionais; uma resolução de 1989 pelo autor (Klazar) utilizando fatoração e propriedades de equações de Pell ( $x^2 - 3y^2 = 1$ ); e uma resolução da equação relacionada $x^3 + y^3 = 2z^3$ por A. Wakulicz.
- Capítulo 2 ( $x^m - y^2 = 1$ para $m$ ímpar $\ge 3$ ): O texto apresenta a prova de V. Lebesgue de 1850, que se baseia na propriedade de domínio de fatoração única (UFD) dos inteiros gaussianos $\mathbb{Z}[i]$ . O autor prova que domínios euclidianos são UFDs para estabelecer essa propriedade de forma rigorosa.
- Capítulo 3 ( $x^2 - y^q = 1$ para primo $q \ge 5$ ): O texto detalha a prova de Chao Ko de 1965, utilizando propriedades de corpos ciclotômicos e lemas específicos sobre o máximo divisor comum dos fatores na equação.
Relações de Divisibilidade (Capítulo 4): O texto estabelece duas condições críticas de divisibilidade para hipotéticas soluções não triviais de $x^p - y^q = 1$ (onde $p > q > 2$ são primos distintos). Seguindo John W. S. Cassels, o autor prova que $q \mid x$ e $p \mid y$ . Essas relações são derivadas da teoria elementar dos números e das propriedades de ordens $p$ -ádicas.
O Caso Não Elementar (Capítulos 5–8): Esta seção delineia a prova de Mihăilescu para o caso onde ambos os expoentes são primos ímpares.
- Capítulo 5: O autor delineia a dedução lógica do teorema principal a partir de quatro teoremas específicos (M1–M4) de Mihăilescu. Estes teoremas estabelecem:
  - M0.95/M1: Relações de super-Cassels ( $p^2 \mid y$ e $q^2 \mid x$ ) e condições duplas de Wieferich ( $pq^{-1} \equiv 1 \pmod{q^2}$ e $qp^{-1} \equiv 1 \pmod{p^2}$ ).
  - M2: Uma condição de congruência ( $p \equiv 1 \pmod q$ ou $q \equiv 1 \pmod p$ ) para primos $p, q \ge 7$ .
  - M3: Limites no tamanho dos primos ( $p < 4q^2$ e $q < 4p^2$ ).
  - M4: A exclusão de soluções onde um dos primos é 3 ou 5.
- Capítulos 6–8: Estes capítulos fornecem a maquinaria algébrica necessária para as provas não elementares. Eles introduzem corpos numéricos, anéis de inteiros e corpos ciclotômicos. Especificamente, o Capítulo 6 define o "grupo de obstrução" e estabelece que os números de classe de $\mathbb{Q}(\zeta_3)$ e $\mathbb{Q}(\zeta_5)$ são 1 (implicando que seus anéis de inteiros são UFDs). O Capítulo 7 delineia a derivação das relações de super-Cassels usando o ideal de Stickelberger, e o Capítulo 8 aborda os casos específicos envolvendo os primos 3 e 5.

Principais Contribuições e Resultados

Prova Autossuficiente: A principal contribuição deste texto é a apresentação de uma prova completa e autossuficiente da conjectura de Catalan. O autor observa que livros existentes sobre o assunto (ex: de Ribenboim, Schoof, Bilu et al.) não são autossuficientes e dependem de resultados tomados como pressupostos. Este texto preenche essas lacunas, particularmente nas seções elementares e nos fundamentos algébricos necessários para o trabalho de Mihăilescu.
Múltiplas Resoluções: O texto oferece três provas distintas para o caso $x^2 - y^3 = 1$ , incluindo a própria resolução elementar de 1989 do autor e uma versão modernizada do argumento de Euler.
Fundamentos Rigorosos: O texto prova explicitamente que domínios euclidianos são UFDs e aplica isso a $\mathbb{Z}[i]$ e aos campos ciclotômicos $\mathbb{Z}[\zeta_3]$ e $\mathbb{Z}[\zeta_5]$ , garantindo que as propriedades algébricas necessárias sejam estabelecidas dentro do texto em vez de apenas assumidas.
Síntese Lógica: O artigo sintetiza os resultados elementares (Capítulos 1–3) com a teoria avançada dos números algébricos (Capítulos 6–8) para demonstrar que não existem soluções para primos ímpares distintos, completando assim a prova da conjectura.

Significância
O artigo afirma sua significância como um recurso pedagógico e técnico que desmistifica a prova de Mihăilescu. Ao fornecer uma "apresentação completa e autossuficiente", visa tornar a prova acessível a leitores que possam considerar os artigos originais ou outras monografias excessivamente condensados ou dependentes de referências externas. O texto enfatiza que, embora a parte "elementar" (expoentes iguais a 2) não seja necessariamente fácil, ela é distinta da parte "não elementar", que requer ferramentas profundas da teoria algébrica dos números. O trabalho serve para validar a prova de 2004 de Preda Mihăilescu, confirmando que 8 e 9 são, de fato, as únicas potências perfeitas consecutivas.

1. Os Casos Fáceis (Os "Frutos Baixos")

2. A Parte Difícil (O "Pico da Montanha")

3. O Golpe Final (O Teorema "M4")

Resumo

Mais como este