Seven squares from three numbers

Resumen Técnico: Siete cuadrados a partir de tres números

1. Planteamiento del Problema

El artículo aborda un problema específico dentro de la teoría de los números diofánticos, centrado en la existencia de triples diofánticas exóticas. Se define una triple $\{a, b, c\}$ de números racionales no nulos y distintos como "exótica" si las siguientes siete expresiones son todas cuadrados perfectos:

1. $a + 1$
2. $b + 1$
3. $c + 1$
4. $ab + 1$
5. $ac + 1$
6. $bc + 1$
7. $abc + 1$

Este problema es una extensión de las triples diofánticas racionales (donde el producto de dos elementos más 1 es un cuadrado) y las cuadruples diofánticas. La condición adicional $abc + 1 = \square$ convierte al conjunto $\{1, a, b, c\}$ en una cuadruple diofántica racional con una propiedad extra de simetría.

El objetivo principal del artículo es determinar la existencia de tales triples tanto en el dominio de los números racionales como en el de los números enteros positivos.

2. Metodología

Los autores emplean una combinación de búsqueda numérica, teoría de curvas elípticas y análisis de desigualdades diofánticas.

• Búsqueda Numérica y Regularidad:

  • Inicialmente, realizaron una búsqueda numérica que reveló ejemplos específicos.
  • Introdujeron el concepto de regularidad para triples y cuadruples. Una triple $(a, b, c)$ es regular si satisface $r_3(a, b, c) = (a + b - c)^2 - 4(ab + 1) = 0$.
  • Observaron que en muchos casos encontrados, la cuadruple $\{1, a, b, c\}$ es regular. Esto permite simplificar el problema algebraico.

• Formulación Algebraica y Curvas Elípticas (Teorema 1):

  • Para encontrar infinitas soluciones racionales, los autores establecieron que si $\{1, a, b, c\}$ es regular, la condición $abc + 1 = \square$ se satisface automáticamente si se cumple una relación algebraica específica derivada de la simetría de los polinomios $r_3$ y $r_4$.
  • Parametrizaron $a = r^2 - 1$ y $b = s^2 - 1$.
  • El sistema de ecuaciones resultante se redujo a estudiar curvas de género uno. Específicamente, se demostró que el problema se mapea birracionalmente a una curva elíptica $E_2$ definida por:
    $$y^2 = x^3 - 111x + 450$$
  • El análisis del grupo de Mordell-Weil de $E_2$ sobre $\mathbb{Q}$ mostró que tiene rango infinito (generado por puntos de orden infinito), lo que garantiza la existencia de infinitos puntos racionales en la curva.

• Análisis de Desigualdades (Teorema 2):

  • Para el caso de enteros positivos, utilizaron un argumento por contradicción basado en cotas superiores e inferiores.
  • Asumieron la existencia de enteros $3 \le a < b < c$ que satisfacen las condiciones.
  • Definieron variables auxiliares ($r, s, t, z, u$) tales que $ab+1=r^2$, etc., y construyeron un entero $M = 2r(zu - st)$.
  • Mediante manipulación algebraica y estimaciones asintóticas (usando la propiedad conocida de que en una cuadruple diofántica entera $c > 4ab$), acotaron el valor de $M$.
  • Demostraron que $M$ debe ser un entero estrictamente comprendido entre dos enteros consecutivos, lo cual es una imposibilidad lógica.

3. Contribuciones Clave y Resultados

Teorema 1: Existencia Infinita en Racionales

• Resultado: Existen infinitas triples exóticas diofánticas racionales.
• Mecanismo: La construcción se basa en la curva elíptica $E_2: y^2 = x^3 - 111x + 450$. Cada punto racional en esta curva (con ciertas condiciones de no degeneración) genera una triple $\{a, b, c\}$ que satisface las siete condiciones de cuadrados perfectos.
• Ejemplos: Los autores proporcionan ejemplos explícitos de tales triples, derivadas de puntos específicos en la curva elíptica (por ejemplo, correspondientes a los puntos $[7, 4]$ y $[-6, -30]$ en $E_2$).

Teorema 2: No Existencia en Enteros Positivos

• Resultado: No existe ninguna triple de enteros positivos $\{a, b, c\}$ que satisfaga las siete condiciones.
• Significado: Esto contrasta fuertemente con el caso racional y resuelve la cuestión de la existencia de tales estructuras en el dominio entero. La demostración refina las técnicas de cotas utilizadas en problemas relacionados con cuádruples diofánticas.

4. Significado e Impacto

• Avance en la Teoría de Tuplas Diofánticas: El trabajo amplía el conocimiento sobre el tamaño máximo de las tuplas diofánticas racionales. Mientras que el tamaño máximo para enteros es 4 (conjetura probada), para racionales se desconoce el límite superior. Este artículo demuestra que se pueden alcanzar configuraciones de "cuadruples" con propiedades adicionales (las 7 condiciones) en el dominio racional.
• Conexión con Curvas Elípticas: Refuerza la profunda conexión entre problemas diofánticos clásicos y la aritmética de curvas elípticas, mostrando cómo el rango infinito de una curva específica puede generar familias infinitas de soluciones numéricas complejas.
• Resolución de un Problema Abierto: La demostración de la no existencia en enteros cierra una pregunta natural que surgía de la generalización de las propiedades de las triples y cuádruples diofánticas estándar.
• Herramientas Computacionales: El artículo menciona el uso de la herramienta de IA "Cantab Pi" para ayudar a encontrar la prueba del Teorema 2, destacando el papel emergente de la IA en la investigación matemática pura.

En conclusión, el artículo establece una dicotomía fundamental: mientras que la estructura algebraica permite una abundancia infinita de soluciones en los racionales, las restricciones aritméticas estrictas de los enteros hacen que tal configuración sea imposible.