On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares

Aquí presento un resumen técnico detallado del artículo "On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares" (Sobre pares de números triangulares cuyo producto es un cuadrado perfecto y pares de intervalos de enteros consecutivos con sumas de cuadrados iguales), escrito por Vladimir Gurvich y Mariya Naumova.

---

1. Planteamiento del Problema

El artículo aborda dos problemas matemáticos interconectados en la teoría de números:

1. Números Cuadráticos Perfectos: Se busca caracterizar pares de enteros $(k, j)$ tales que el producto de dos números triangulares consecutivos (separados por $j$) multiplicado por 4 sea un cuadrado perfecto. Formalmente, se estudia cuándo la expresión:
   $$\Pi(k, j) = k(k+1)(k+j)(k+j+1)$$
   es un cuadrado perfecto.

   • Caso trivial: Si ambos números triangulares $k(k+1)/2$ y $(k+j)(k+j+1)/2$ son cuadrados perfectos (números triangulares cuadrados), su producto es automáticamente un cuadrado.
   • Caso no trivial: El problema central es encontrar otros pares $(k, j)$ donde el producto es un cuadrado, pero los factores individuales no lo son necesariamente.

2. Sumas de Cuadrados en Intervalos: Se busca encontrar pares de intervalos de enteros consecutivos con longitudes diferentes (diferencia de 1) que tengan la misma suma de cuadrados. Es decir, encontrar $n, k, m, j$ tales que:
   $$\sum_{i=-m}^{k} (n+i)^2 = \sum_{i=k+j+1}^{2k+j} (n+i)^2$$
   donde las longitudes de los intervalos son $k+m+1$ y $k$, y la distancia entre ellos es $j+1$.

2. Metodología

Los autores emplean una combinación de teoría de números algebraica, ecuaciones diofánticas y análisis polinómico:

• Reducción a Ecuaciones Cuadráticas: Para el problema de las sumas de cuadrados, transforman la igualdad de sumas en una ecuación cuadrática en $n$. La condición para que $n$ sea un entero es que el discriminante $D$ de esta ecuación sea un cuadrado perfecto.
• Relación con $\Pi(k, j)$: Demuestran que en el caso específico donde la diferencia de longitudes es 1 ($m=0$), el discriminante $D$ es directamente proporcional al producto cuadrático $\Pi(k, j)$. Por lo tanto, encontrar soluciones enteras para las sumas de cuadrados es equivalente a encontrar pares $(k, j)$ que hagan cuadrado perfecto a $\Pi(k, j)$.
• Construcción Polinómica: Para generar familias infinitas de soluciones, definen polinomios $j_i(k)$ de grado $i$ (donde $i$ es par o impar) con coeficientes enteros positivos. Estos polinomios satisfacen identidades algebraicas específicas que garantizan que $\Pi(k, j_i(k))$ sea un cuadrado perfecto para todo $k$.
• Ecuación de Pell: Utilizan la conexión histórica con las ecuaciones de Pell-Fermat y los triples pitagóricos casi isósceles (donde $k^2 + (k+1)^2 = l^2$) para caracterizar soluciones conocidas y construir nuevas.

3. Contribuciones Clave y Resultados

A. Caracterización de Pares Cuadráticos (Secciones 3-7)

Los autores identifican una familia infinita de pares $(k, j_i(k))$ que hacen que $\Pi(k, j)$ sea un cuadrado perfecto.

• Definición de $j_i(k)$: Se definen recursivamente mediante polinomios $A_i, B_i, C_i$ con coeficientes enteros.
  • Para $i$ par ($i=2\ell$): $k + j_{2\ell}(k) + 1 = k A_{2\ell}^2 + 1 = (k+1) B_{2\ell}^2$.
  • Para $i$ impar ($i=2\ell+1$): $k + j_{2\ell+1}(k) + 1 = k(k+1) A_{2\ell+1}^2 + 1 = B_{2\ell+1}^2$.
• Tabla de Soluciones: Presentan una tabla exhaustiva (Tabla 2) con valores calculados de $j_i(k)$ para $k \le 8$ e $i \le 8$, mostrando explícitamente cómo crecen estas soluciones.
• Conjetura 1 y 2:
  • Conjetura 1: Si $k$ es un número triangular cuadrado, las soluciones en la fila $k$ corresponden a pares "bi-pitagóricos" de la misma paridad.
  • Conjetura 2 (Principal): No existen otras soluciones aparte de la familia generada por los polinomios $j_i(k)$ y los casos triviales donde ambos factores son cuadrados triangulares (o sus "excepciones" de paridad opuesta). Es decir, la familia encontrada es completa.

B. Identidades de Sumas de Cuadrados (Sección 9)

Utilizando los resultados anteriores, los autores resuelven el problema de los intervalos con sumas de cuadrados iguales bajo la restricción de que las longitudes difieran en 1 ($m=0$).

• Teorema 5: Establece que $\Pi(k, j)$ es un cuadrado perfecto si ambos números triangulares involucrados son cuadrados (soluciones bi-pitagóricas).
• Nueva Familia de Identidades: Para cada par $(k, j_i(k))$ encontrado, se generan dos raíces enteras para $n$, lo que produce dos identidades distintas de sumas de cuadrados iguales.
  • Ejemplo: Para $k=1, j=7$, se obtiene la identidad clásica $3^2 + 4^2 = 5^2$ (y su versión negativa).
  • Ejemplo General: Para $k$ arbitrario y $j=j_1(k)=k(4k+3)$, se obtienen identidades como:
    $$\sum_{t=0}^{k} [2k(k+1)(4k+1)+t]^2 = \sum_{t=1}^{k} [2k(k+1)(4k+3)+t]^2$$
• Análisis de Casos Especiales:
  • Caso $j=0, m>0$: Analizan la ecuación de Lucas (problema de la pirámide cuadrada) y proporcionan una tabla (Tabla 4) de soluciones racionales y enteras para $m, k \le 100$.
  • Caso $m \le 100, k \le 100, j \le 18$: La Tabla 5 recopila exhaustivamente todos los casos donde el discriminante es un cuadrado perfecto en este rango, sirviendo como base de datos computacional para futuras investigaciones.

C. Equivalencia de Conjeturas

El artículo demuestra que la conjetura sobre la completitud de los pares $(k, j)$ que hacen cuadrado a $\Pi(k, j)$ es equivalente a la conjetura sobre la completitud de los pares de intervalos con longitudes que difieren en 1 y sumas de cuadrados iguales.

4. Significado e Impacto

• Generalización de Euler: Mientras que Euler (1778) caracterizó los números triangulares que son cuadrados, este trabajo extiende la investigación al producto de dos números triangulares, revelando una estructura polinómica rica y una familia infinita de soluciones no triviales.
• Conexión de Problemas: Unifica dos problemas aparentemente distintos (números triangulares cuadrados y sumas de potencias consecutivas) bajo el marco de las ecuaciones de Pell y la aritmética de polinomios.
• Herramienta Computacional: Las tablas proporcionadas (Tablas 2, 4 y 5) ofrecen un conjunto de datos valioso para verificar conjeturas futuras y explorar propiedades de curvas elípticas relacionadas con estos problemas.
• Abordaje de Problemas Abiertos: El trabajo deja planteado el problema de caracterizar todas las soluciones para $s \ge 2$ (productos de más de dos números triangulares), indicando que el caso $s=2$ es el más complejo y que la familia encontrada parece ser la única, aunque esto sigue siendo una conjetura.

En resumen, el artículo proporciona una caracterización algebraica profunda de una clase específica de números cuadráticos, demuestra cómo estas soluciones generan infinitas identidades de sumas de cuadrados iguales y propone conjeturas audaces sobre la exhaustividad de estas familias, vinculando la teoría de números clásica con problemas modernos de combinatoria y ecuaciones diofánticas.