🔢 mathematics

Catalan's conjecture is Mihăilescu's theorem

Este texto, derivado de las notas de clase para un curso de invierno 2025/26, tiene como objetivo proporcionar una exposición completa de la demostración de Mihăilescu de la conjetura de Catalan mediante el desarrollo sistemático de los resultados teóricos necesarios, desde los teoremas de Euler y Lebesgue pasando por las relaciones de Cassels hasta el teorema final.

Autores originales: Martin Klazar

Publicado 2026-01-22

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Martin Klazar

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 tratando de resolver un misterio muy específico y obstinado en el mundo de los números. El caso se llama la Conjetura de Catalan, y fue propuesto por primera vez en 1844 por un matemático llamado Eugène Catalan.

Aquí está el misterio en lenguaje sencillo:
En el mundo de los números enteros, tenemos "potencias perfectas". Estas son números como los cuadrados ( $2^2=4$ , $3^2=9$ ), cubos ( $2^3=8$ , $3^3=27$ ), o cuartas potencias ( $2^4=16$ ).
Catalan notó que hay exactamente un par de potencias perfectas que están justo una al lado de la otra en la recta numérica: 8 y 9.

$8 = 2^3$ (un cubo)
$9 = 3^2$ (un cuadrado)
Son consecutivos ( $9 - 8 = 1$ ).

Catalan supuso que este es el único caso en el que esto sucede. Afirmó que si buscas cualquier otro par de potencias perfectas que sean vecinos (como $x^m - y^n = 1$ ), nunca encontrarás otro par.

Durante 160 años, esto fue solo una suposición. Luego, en 2004, un matemático llamado Preda Mihăilescu lo demostró como cierto. Este artículo, escrito por Martin Klazar, es una guía que te lleva a través de la demostración de Mihăilescu, desglosándola en pasos manejables.

Aquí es donde el artículo explica la solución, utilizando analogías sencillas:

1. Los casos fáciles (El "fruto bajo")

Antes de abordar la parte más difícil, el artículo descarta los escenarios fáciles donde uno de los exponentes es un número pequeño (como 2 o 3). Piensa en esto como revisar primero a los sospechosos obvios.

El caso del Cuadrado vs. Cubo ( $x^2 - y^3 = 1$ ):
El artículo analiza la ecuación donde un cuadrado menos un cubo es igual a 1. Utiliza un método similar al viejo truco de Euler. Imagina que estás intentando encajar un clavija cuadrada en un agujero redondo. La matemática muestra que la única forma en que esto encaja es con los números 8 y 9 (o algunos ceros triviales). El autor, Klazar, en realidad proporciona tres formas diferentes de resolver este rompecabezas específico, como mostrar que una cerradura puede abrirse con tres llaves distintas.
El caso de la Potencia Alta vs. Cuadrado ( $x^m - y^2 = 1$ ):
Aquí, una potencia enorme (como $x^5$ ) menos un cuadrado es igual a 1. El artículo utiliza una herramienta llamada Enteros de Gauss (números con una parte imaginaria, como $a + bi$). Piensa en esto como cambiar de un mapa 2D a un mapa 3D para ver el problema desde un nuevo ángulo. Demuestra que, sin importar qué tan alta sea la potencia, no puedes encontrar un cuadrado vecino.
El caso del Cuadrado vs. Potencia Alta ( $x^2 - y^q = 1$ ):
Esto es lo opuesto: un cuadrado menos una potencia enorme es igual a 1. Un matemático llamado Chao Ko demostró esto hace mucho tiempo. El artículo explica su lógica: si tal par existiera, los números tendrían que comportarse de una manera que creara una contradicción matemática, como un reloj corriendo hacia atrás.

2. La parte difícil (La "Cima de la montaña")

Una vez descartados los números pequeños, el artículo aborda el verdadero monstruo: Dos números primos impares distintos (como 7 y 11, o 13 y 17) como exponentes.
La ecuación es: $x^p - y^q = 1$ .

Aquí es donde entra el genio de Mihăilescu. El artículo describe su demostración como una serie de trampas lógicas que obligan a los números a admitir que no existen.

Las "Relaciones de Cassels" (La trampa de la divisibilidad):
Imagina que tienes dos sospechosos, $x$ e $y$ . El artículo muestra que, si existen, deben tener "lazos familiares" muy específicos.
- Una relación dice: "Si existes, tu número $x$ debe ser divisible por el exponente $q$ ".
- Otra dice: "Tu número $y$ debe ser divisible por el exponente $p$ ".
  Es como decir: "Si eres un espía, debes tener un sombrero rojo y un zapato azul". El artículo demuestra que estas condiciones son necesarias.
Las "Relaciones Super-Cassels" (La doble trampa):
Mihăilescu fue más profundo. Demostró que la divisibilidad no es solo una vez; es al cuadrado.
- $x$ debe ser divisible por $q^2$ .
- $y$ debe ser divisible por $p^2$ .
  Esto es como decir: "No solo necesitas un sombrero rojo, necesitas un sombrero rojo gigante". Esto hace que los números sean increíblemente grandes y restrictivos.
El "Grupo de Obstrucción" (El muro):
La demostración pasa entonces a un área más abstracta llamada Teoría de Números Algebraicos. Imagina que los números están intentando escalar una montaña, pero hay un muro mágico (un "grupo de obstrucción") que los detiene.
El artículo explica que la estructura de estos números (específicamente en los "Campos Cíclotómicos", que son como sistemas de coordenadas especiales para las raíces de la unidad) crea una barrera. El "ideal de Stickelberger" es un nombre elegante para una regla que dice: "No puedes escalar este muro".

3. El golpe final (El Teorema "M4")

El artículo culmina en el Teorema M4. Este es el golpe final.
Mihăilescu mostró que, si combinas todas las reglas anteriores (la divisibilidad por cuadrados, el tamaño de los números y las propiedades del "muro"), los únicos candidatos posibles para los exponentes $p$ y $q$ son los números diminutos 3 y 5.

¡Pero espera! El artículo ya demostró en los capítulos anteriores que, si los exponentes son 3 o 5, la ecuación no tiene solución (excepto las triviales).

Si los exponentes son grandes (7, 11, etc.), el "muro" los detiene.
Si los exponentes son pequeños (3, 5), las demostraciones de los "casos fáciles" anteriores los detienen.

La Conclusión:
No queda ningún lugar donde una solución pueda esconderse. Los únicos potencias perfectas consecutivas en todo el universo de los números son 8 y 9.

Resumen

Este artículo es un manual completo, paso a paso, sobre cómo demostrar que 8 y 9 son los únicos vecinos en la familia de las potencias perfectas.

Comienza con acertijos simples (cuadrados y cubos).
Pasa a herramientas complejas (números imaginarios y reglas de divisibilidad).
Construye una estructura masiva (el grupo de obstrucción) que demuestra que ningún otro par puede existir jamás.

Es la historia de cómo los matemáticos utilizaron una combinación de trucos antiguos y maquinaria matemática nueva y de alta tecnología para resolver un enigma de 160 años.

Resumen Técnico: La Conjetura de Catalan es el Teorema de Mihăilescu

Planteamiento del Problema
El artículo aborda la conjetura de Catalan, propuesta originalmente por Eugène Ch. Catalan en 1844. La conjetura afirma que la única solución en números naturales a la ecuación diofántica $x^m - y^n = 1$ para $m, n \ge 2$ y $x, y > 0$ es el par $(x, y, m, n) = (3, 2, 2, 3)$ , que corresponde a $3^2 - 2^3 = 1$ . El texto tiene como objetivo proporcionar una demostración completa y autónoma de esta conjetura, la cual fue demostrada por Preda Mihăilescu en 2004. La demostración está estructurada para abordar la ecuación mediante la reducción de los exponentes a primos impares distintos $p$ y $q$ , dividiendo así el problema en una parte "elemental" (donde uno de los exponentes es 2) y una parte "no elemental" (donde ambos exponentes son $\ge 3$ ).

Metodología y Estructura
El texto está organizado como una exposición exhaustiva de la demostración de Mihăilescu, complementada con los conocimientos necesarios de teoría de números algebraicos. La metodología procede en tres fases distintas:

Casos Elementales (Capítulos 1–3): El autor resuelve los casos donde al menos uno de los exponentes es 2.
- Capítulo 1 ( $x^2 - y^3 = 1$ ): Se presentan tres resoluciones elementales distintas: una completación moderna del argumento de Euler de 1737 utilizando curvas elípticas y puntos racionales; una resolución de 1989 realizada por el autor (Klazar) utilizando la factorización y las propiedades de las ecuaciones de Pell ( $x^2 - 3y^2 = 1$ ); y una resolución de la ecuación relacionada $x^3 + y^3 = 2z^3$ por A. Wakulicz.
- Capítulo 2 ( $x^m - y^2 = 1$ para $m$ impar $\ge 3$ ): El texto presenta la demostración de 1850 de V. Lebesgue, la cual se basa en la propiedad de dominio de factorización única (UFD) de los enteros gaussianos $\mathbb{Z}[i]$ . El autor demuestra que los dominios euclidianos son UFDs para establecer esta propiedad de manera rigurosa.
- Capítulo 3 ( $x^2 - y^q = 1$ para primo $q \ge 5$ ): El texto detalla la demostración de 1965 de Chao Ko, utilizando propiedades de los cuerpos ciclotómicos y lemas específicos respecto al máximo común divisor de los factores en la ecuación.
Relaciones de Divisibilidad (Capítulo 4): El texto establece dos condiciones críticas de divisibilidad para hipotéticas soluciones no triviales de $x^p - y^q = 1$ (donde $p > q > 2$ son primos distintos). Siguiendo a John W. S. Cassels, el autor demuestra que $q \mid x$ y $p \mid y$ . Estas relaciones se derivan de la teoría de números elemental y de las propiedades de los órdenes $p$ -ádicos.
El Caso No Elemental (Capítulos 5–8): Esta sección describe la demostración de Mihăilescu para el caso en que ambos exponentes son primos impares.
- Capítulo 5: El autor esboza la deducción lógica del teorema principal a partir de cuatro teoremas específicos (M1–M4) de Mihăilescu. Estos teoremas establecen:
  - M0.95/M1: Relaciones de super-Cassels ( $p^2 \mid y$ y $q^2 \mid x$ ) y condiciones de doble Wieferich ( $pq^{-1} \equiv 1 \pmod{q^2}$ y $qp^{-1} \equiv 1 \pmod{p^2}$ ).
  - M2: Una condición de congruencia ( $p \equiv 1 \pmod q$ o $q \equiv 1 \pmod p$ ) para primos $p, q \ge 7$ .
  - M3: Límites sobre el tamaño de los primos ( $p < 4q^2$ y $q < 4p^2$ ).
  - M4: La exclusión de soluciones donde uno de los primos es 3 o 5.
- Capítulos 6–8: Estos capítulos proporcionan la maquinaria algebraica necesaria para las demostraciones no elementales. Introducen cuerpos numéricos, anillos de enteros y cuerpos ciclotómicos. Específicamente, el Capítulo 6 define el "grupo de obstrucción" y establece que los números de clase de $\mathbb{Q}(\zeta_3)$ y $\mathbb{Q}(\zeta_5)$ son 1 (lo que implica que sus anillos de enteros son UFDs). El Capítulo 7 esboza la derivación de las relaciones de super-Cassels utilizando el ideal de Stickelberger, y el Capítulo 8 aborda los casos específicos que involucran a los primos 3 y 5.

Contribuciones y Resultados Clave

Demostración Autónoma: La contribución principal de este texto es la presentación de una demostración completa y autónoma de la conjetura de Catalan. El autor señala que los libros existentes sobre el tema (por ejemplo, de Ribenboim, Schoof, Bilu et al.) no son autónomos y dependen de resultados dados por sentado. Este texto llena esos vacíos, particularmente en las secciones elementales y en los fundamentos algebraicos requeridos para el trabajo de Mihăilescu.
Múltiples Resoluciones: El texto ofrece tres demostraciones distintas para el caso $x^2 - y^3 = 1$ , incluyendo la propia resolución elemental de 1989 del autor y una versión modernizada del argumento de Euler.
Fundamentos Rigurosos: El texto demuestra explícitamente que los dominios euclidianos son UFDs y aplica esto a $\mathbb{Z}[i]$ y a los cuerpos ciclotómicos $\mathbb{Z}[\zeta_3]$ y $\mathbb{Z}[\zeta_5]$ , asegurando que las propiedades algebraicas necesarias queden establecidas dentro del texto en lugar de ser asumidas.
Síntesis Lógica: El artículo sintetiza los resultados elementales (Capítulos 1–3) con la teoría de números algebraicos avanzada (Capítulos 6–8) para demostrar que no existen soluciones para primos impares distintos, completando así la demostración de la conjetura.

Significancia
El artículo afirma su significancia como un recurso pedagógico y técnico que desmitifica la demostración de Mihăilescu. Al proporcionar una "presentación completa y autónoma", pretende hacer la demostración accesible para lectores que puedan encontrar los artículos originales o otras monografías demasiado condensadas o dependientes de referencias externas. El texto enfatiza que, si bien la parte "elemental" (exponentes iguales a 2) no es necesariamente fácil, es distinta de la parte "no elemental", la cual requiere herramientas profundas de la teoría de números algebraicos. El trabajo sirve para validar la demostración de 2004 de Preda Mihăilescu, confirmando que 8 y 9 son, en efecto, las únicas potencias perfectas consecutivas.

1. Los casos fáciles (El "fruto bajo")

2. La parte difícil (La "Cima de la montaña")

3. El golpe final (El Teorema "M4")

Resumen

Más como este