Sobre triples diofantinos que contienen un número triangular

Información Básica

• ID del artículo: 2510.26617
• Título: On Diophantine triples containing a triangular number
• Autora: Marija Bliznac Trebješanin (Facultad de Ciencias, Universidad de Split, Croacia)
• Clasificación: math.NT (Teoría de Números)
• Fecha de presentación: 30 de octubre de 2025 en arXiv
• Enlace del artículo: https://arxiv.org/abs/2510.26617
• Clasificación temática: 11B37 (Sucesiones recursivas), 11D09 (Ecuaciones diofantinas)

Resumen

Este artículo propone un método de construcción general que produce infinitas familias de triples $D(m^2)$ compuestos por números triangulares. Una característica notable de esta construcción es que todos los triples generados contienen el mismo número triangular inicial $T_n$.

Antecedentes y Motivación de la Investigación

Problema de Investigación

El problema central de este trabajo es: ¿cómo construir sistemáticamente triples diofantinos que contengan un número triangular específico? Concretamente, para un número triangular dado $T_n$ (donde $T_n = \frac{n(n+1)}{2}$), se buscan otros dos números triangulares $T_i$ y $T_j$ tales que el producto de cualesquiera dos de ellos más un entero fijo $m^2$ sea un cuadrado perfecto.

Importancia del Problema

1. Continuación de un problema clásico: El problema de los $m$-tuplos diofantinos tiene origen en el matemático griego antiguo Diofanto, y Fermat descubrió el primer cuádruplo {1, 3, 8, 120}. Este campo posee profundas raíces históricas.
2. Valor teórico: El estudio de patrones de aparición de sucesiones específicas (como números triangulares, números de Fibonacci) en conjuntos diofantinos es un tema importante en teoría de números. Investigaciones previas han demostrado que no existen quíntuplos $D(1)$ (He, Togbé, Ziegler), no existen quíntuplos $D(4)$ (la autora con Filipin), y no existen cuádruplos completamente compuestos por números de Fibonacci (Fujita y Luca).
3. Carencia de métodos constructivos: Aunque se conocen algunos ejemplos aislados, falta un método sistemático para generar infinitos triples que contengan un número triangular especificado.

Limitaciones de los Métodos Existentes

• Resultados conocidos: Del resultado de Deshpande se puede deducir que {$T_n, T_{n+4}, T_{4n^2+20n+8}$} es un triple diofantino
• Formas específicas: Se sabe que para cualesquiera enteros positivos $m$ y $n$, {$T_n, T_{n+m}, T_{4(n^2+(4m+1)n+2m)}$} es un triple $D(m^2)$
• Carencia de construcción recursiva: Estos resultados solo proporcionan triples individuales, no familias infinitas

Motivación de la Investigación

La autora tiene como objetivo establecer un marco de construcción recursiva que, partiendo de un par $D(m^2)$ inicial, genere sistemáticamente infinitos triples $D(m^2)$ que contengan el mismo número triangular $T_n$.

Contribuciones Principales

1. Método de construcción recursiva: Se propone una construcción recursiva que parte del par inicial {$T_n, T_{n+4m}$} y genera infinitos triples $D(m^2)$
2. Teorema principal: Se demuestra que para cualesquiera enteros positivos $m$ y $n$, el número triangular $T_n$ es miembro de infinitos triples $D(m^2)$ compuestos por números triangulares (Teorema 1)
3. Fórmulas explícitas: Se proporcionan expresiones explícitas para las sucesiones recursivas $\{N_k\}$, $\{s_k\}$ y $\{t_k\}$, de modo que {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} constituye un triple $D(m^2)$
4. Prueba de completitud: Se demuestra rigurosamente la corrección de la construcción mediante inducción matemática

Explicación Detallada del Método

Definición de la Tarea

Entrada: Enteros positivos $m$ y $n$
Salida: Sucesión infinita de triples {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} ($k \geq 1$) que satisfacen la propiedad $D(m^2)$
Restricciones: Todos los triples contienen el número triangular inicial $T_{N_0} = T_n$

La propiedad $D(m^2)$ requiere que para cualesquiera dos elementos distintos $a$ y $b$ del triple, $ab + m^2$ sea un cuadrado perfecto.

Arquitectura de la Construcción

Primer Paso: Establecimiento del Par Inicial

Se comienza con el par {$T_n, T_{n+4m}$}, verificando que es un par $D(m^2)$: $T_n \cdot T_{n+4m} + m^2 = \left(\frac{n^2 + (4m+1)n + 2m}{2}\right)^2 =: r_1^2$

Segundo Paso: Primer Triple

Se extiende al triple {$T_n, T_{n+4m}, T_{8r_1}$}, definiendo:

• $N_0 = n$
• $N_1 = n + 4m$
• $N_2 = 8r_1$

Se verifica: $T_n T_{8r_1} + m^2 = (2r_1(2n+1) - m)^2 = s_1^2$$T_{n+4m} T_{8r_1} + m^2 = (2r_1(2(n+4m)+1) + m)^2 = t_1^2$

Tercer Paso: Construcción Recursiva

Se definen las sucesiones recursivas: $N_{k+2} = 8s_k + N_k, \quad k \geq 1$

donde $s_k$ y $t_k$ satisfacen las relaciones recursivas: $s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1} \quad \text{(Fórmula 1)}$$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k \quad \text{(Fórmula 2)}$

Condiciones iniciales: $s_0 := r_1$, $s_{-1} := m$

Puntos de Innovación Técnica

1. Derivación de Fórmulas Explícitas

La relación recursiva (1) puede resolverse en una fórmula explícita. Se define: $\alpha = 2N_0 + 1 + 2\sqrt{N_0(N_0+1)}$$\beta = 2N_0 + 1 - 2\sqrt{N_0(N_0+1)}$

Nótese que $\alpha = (\sqrt{N_0+1} + \sqrt{N_0})^2$, $\beta = (\sqrt{N_0+1} - \sqrt{N_0})^2$, por lo tanto $\beta = \alpha^{-1}$.

Se definen: $\lambda_1 = \frac{m}{2} + \frac{1}{8}\sqrt{N_0(N_0+1)}$$\lambda_2 = \frac{m}{2} - \frac{1}{8}\sqrt{N_0(N_0+1)}$

Entonces: $s_k = \lambda_1 \alpha^{k+1} + \lambda_2 \beta^{k+1}, \quad k \geq 1$

Mediante análisis de casos pares e impares, se obtiene: $N_k = \frac{8\alpha}{\alpha^2 - 1}(\lambda_1 \alpha^k - \lambda_2 \beta^k) - \frac{1}{2}$

$t_k = \frac{32\alpha^3\lambda_1^2}{(\alpha^2-1)^2}\alpha^{2k} + \frac{32\alpha\lambda_2^2}{(\alpha^2-1)^2}\beta^{2k} - \frac{32\alpha}{(\alpha^2-1)^2}(\alpha^2\lambda_1^2 + \lambda_2^2) + m$

2. Estrategia de Prueba por Inducción

Se asume que {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} es un triple $D(m^2)$ y que (1) y (2) se cumplen. Se necesita demostrar que {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} también es un triple $D(m^2)$.

Se requiere verificar dos ecuaciones: $(3) \quad T_{N_0}T_{N_{k+2}} + m^2 = s_{k+1}^2$$(4) \quad T_{N_{k+1}}T_{N_{k+2}} + m^2 = t_{k+1}^2$

3. Identidades Clave

Se utilizan las propiedades de números triangulares: $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$$8T_n + 1 = (2n+1)^2$

Prueba de (3): $T_{N_0}T_{N_{k+2}} + m^2 = T_{N_0}T_{8s_k+N_k} + m^2$$= 32s_k^2 T_{N_0} + 4s_k(2N_k+1)T_{N_0} + s_{k-1}^2$

Por la fórmula (1): $s_{k+1}^2 = 32s_k^2 T_{N_0} + 4s_k^2 - 4s_k s_{k-1}(2N_0+1) + s_{k-1}^2$

La prueba se reduce a verificar: $(5) \quad (2N_k+1)T_{N_0} = s_k - s_{k-1}(2N_0+1)$

Esta ecuación se verifica sustituyendo las expresiones explícitas.

Prueba de (4): De manera similar, se reduce a verificar: $(6) \quad T_{N_{k+1}}(2N_k+1) = s_k + t_k(2N_{k+1}+1)$

Igualmente se verifica mediante sustitución de expresiones explícitas.

Ventajas del Método

1. Sistematicidad: Proporciona un marco de construcción unificado que parte de cualquier número triangular inicial
2. Computabilidad: Las fórmulas explícitas permiten calcular directamente el $k$-ésimo triple
3. Completitud: La prueba teórica garantiza la corrección de la construcción
4. Universalidad: Se aplica a cualesquiera enteros positivos $m$ y $n$

Configuración Experimental

Método de Verificación

Este es un artículo de matemática teórica pura que no involucra experimentos en el sentido tradicional. La verificación se realiza principalmente mediante:

1. Prueba teórica: Inducción matemática y verificación de identidades algebraicas
2. Ejemplos concretos: El artículo proporciona algunas instancias específicas de triples

Verificación de Ejemplos

Los ejemplos concretos mencionados en las observaciones finales:

• Triples diofantinos clásicos: {$T_1, T_{15}, T_{90}$} y {$T_2, T_{15}, T_{153}$}
• Triple $D(9)$: {$T_1, T_{63}, T_{370}$}

Estos ejemplos demuestran que existen triples que contienen $T_n$ que no pueden obtenerse directamente de la construcción presentada, lo que indica que aunque la construcción produce infinitos triples, no es completa (no produce todos los triples posibles).

Resultados Experimentales

Resultados Teóricos

Teorema Principal (Teorema 1): Para cualesquiera enteros positivos $m$ y $n$, el número triangular $T_n$ es miembro de infinitos triples $D(m^2)$ compuestos por números triangulares.

Validez de la Construcción

La corrección de la construcción se verifica mediante los siguientes pasos:

1. Caso base ($k=1$):
   • El triple {$T_{N_0}, T_{N_1}, T_{N_2}$} = {$T_n, T_{n+4m}, T_{8r_1}$} satisface la propiedad $D(m^2)$
   • Se verificaron las tres condiciones de producto
2. Paso recursivo:
   • Se demuestra que si {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} es un triple $D(m^2)$
   • Entonces {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} también es un triple $D(m^2)$
3. Verificación explícita:
   • Las ecuaciones (5) y (6) se verifican sustituyendo las fórmulas explícitas
   • Estas verificaciones dependen de la relación especial entre $\alpha$ y $\beta$ ($\beta = \alpha^{-1}$)

Hallazgos Importantes

1. Infinitud: A partir de un único número triangular inicial $T_n$ se pueden generar infinitos triples $D(m^2)$ que lo contienen
2. No unicidad: Las observaciones indican que la familia de triples generada no es única. Por ejemplo:
   • $T_{n+4m}$ en sí mismo puede servir como punto de partida para generar otra familia de triples
   • Existen triples que no pueden obtenerse de ninguna de estas construcciones
3. Características estructurales: Todos los triples generados mantienen el primer elemento $T_{N_0} = T_n$ invariante, mientras que los dos últimos elementos varían con $k$

Trabajos Relacionados

Teoría General de $m$-tuplos Diofantinos

1. Resultados de existencia:
   • He, Togbé, Ziegler (2019): Demostraron que no existen quíntuplos $D(1)$
   • Bliznac Trebješanin & Filipin (2019): Demostraron que no existen quíntuplos $D(4)$
   • Bonciocat, Cipu & Mignotte (2022): Demostraron que no existen cuádruplos $D(-1)$
2. Conjuntos diofantinos en sucesiones especiales:
   • Dujella (1993): Enumeró cuádruplos que contienen números de Fibonacci con propiedades $D(1), D(4), D(9), D(64)$
   • Fujita & Luca (2018): Demostraron que no existen cuádruplos diofantinos completamente compuestos por números de Fibonacci

Propiedades Diofantinas de Números Triangulares

1. Deshpande (1998): Demostró que {8, $T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} es un cuádruplo diofantino
   • Corolario: {$T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} es un triple diofantino de números triangulares
2. Forma general conocida:
   • Para cualesquiera enteros positivos $m$ y $n$, {$T_n$, $T_{n+m}$, $T_{4(n^2+(4m+1)n+2m)}$} es un triple $D(m^2)$
   • Esto solo proporciona un triple individual, no una familia infinita
3. Hamtat (2025): Un preprint que también estudia triples diofantinos de números triangulares

Posicionamiento de la Contribución de este Artículo

Los principales avances de este trabajo en comparación con trabajos previos:

1. De lo finito a lo infinito: Los resultados existentes solo proporcionan triples aislados; este trabajo proporciona un método sistemático para generar familias infinitas
2. Construcción recursiva: Introduce un marco recursivo que permite generar arbitrariamente muchos triples a partir de un par inicial
3. Fórmulas explícitas: Proporciona expresiones en forma cerrada para las sucesiones recursivas, facilitando análisis teórico y cálculo
4. Elemento fijo: Todos los triples comparten el mismo número triangular inicial, lo que puede tener significado especial en aplicaciones

Conclusiones y Discusión

Conclusiones Principales

1. Completitud de la construcción: Para cualesquiera enteros positivos $m$ y $n$, la construcción recursiva que parte del par inicial {$T_n, T_{n+4m}$} produce infinitos triples $D(m^2)$
2. Garantía teórica: Mediante prueba matemática rigurosa se establece la corrección de la construcción, que depende de:
   • Propiedades algebraicas de números triangulares
   • Resolución explícita de sucesiones recursivas
   • Verificación de identidades clave
3. Universalidad: El Teorema 1 establece que para todos los enteros positivos $m$ y $n$, el número triangular $T_n$ pertenece a infinitos triples $D(m^2)$ de números triangulares

Limitaciones

1. No completitud:
   • Las observaciones indican explícitamente que existen triples $D(m^2)$ que contienen $T_n$ que no pueden obtenerse de esta construcción
   • Por ejemplo, {$T_1, T_{15}, T_{90}$}, {$T_2, T_{15}, T_{153}$} y {$T_1, T_{63}, T_{370}$}
   • Esto sugiere que pueden existir otros métodos de construcción o un marco teórico más general
2. Restricción de forma específica:
   • La construcción solo se aplica a la forma $D(m^2)$ (donde $n$ debe ser un cuadrado perfecto)
   • Para triples $D(n)$ generales, el método no se aplica directamente
3. Selección del par inicial:
   • La construcción comienza con un par inicial específico {$T_n, T_{n+4m}$}
   • No se explora si existen otros pares iniciales que produzcan familias de triples diferentes
4. Extensión a cuádruplos:
   • El artículo solo estudia triples; no se conoce si la construcción puede extenderse para obtener cuádruplos o tuplos de orden superior
   • Considerando los resultados de no existencia conocidos, esto puede ser muy difícil

Direcciones Futuras

Aunque el artículo no lista explícitamente trabajos futuros, se pueden inferir las siguientes direcciones de investigación:

1. Problema de clasificación completa:
   • Caracterizar todos los triples $D(m^2)$ que contienen un número triangular dado $T_n$
   • Determinar cuáles triples pueden obtenerse de la construcción recursiva
2. Otras condiciones iniciales:
   • Explorar construcciones que partan de pares iniciales diferentes
   • Estudiar las relaciones entre diferentes construcciones
3. Generalización al caso $D(n)$:
   • Extender el método a casos donde $n$ no es un cuadrado perfecto
   • Buscar construcciones sistemáticas para triples $D(n)$
4. Posibilidad de cuádruplos:
   • Investigar si es posible extender triples a cuádruplos
   • Determinar bajo qué condiciones la extensión es posible
5. Aspectos computacionales:
   • Desarrollar algoritmos eficientes para generar y verificar triples a gran escala
   • Estudiar la tasa de crecimiento de la sucesión $\{N_k\}$ y sus propiedades teórico-numéricas

Evaluación Profunda

Fortalezas

1. Innovación del Método

• Marco recursivo: Por primera vez se proporciona un método de construcción recursiva sistemático para triples diofantinos de números triangulares
• Fórmulas explícitas: Resuelve relaciones recursivas en forma cerrada, demostrando profunda intuición algebraica
• Tratamiento unificado: Un único marco se aplica a todos los enteros positivos $m$ y $n$

2. Rigor de la Teoría

• Prueba completa: El proceso de prueba por inducción es riguroso, con verificación algebraica detallada en cada paso
• Identidades clave: La verificación de las ecuaciones (5) y (6) es el núcleo de la prueba, confirmada mediante fórmulas explícitas
• Condiciones de frontera: Se manejan cuidadosamente la conexión entre el caso inicial y los pasos recursivos

3. Importancia de los Resultados

• Teorema de existencia: El Teorema 1 es una contribución teórica importante en este campo
• Transición de finito a infinito: El salto de lo finito a lo infinito tiene significado teórico
• Computabilidad: Las fórmulas explícitas hacen que los resultados sean operacionalmente prácticos

4. Claridad de la Presentación

• Estructura clara: Desde antecedentes, construcción, prueba hasta conclusión, el flujo lógico es fluido
• Consistencia de símbolos: El uso de notación matemática es estándar y consistente
• Motivación explícita: Se explica claramente el contexto y significado de la investigación

Deficiencias

1. Problema de Completitud

• Triples omitidos: Las observaciones reconocen la existencia de triples que no pueden obtenerse de la construcción
• Falta de caracterización: No se proporciona una caracterización completa de qué triples pueden ser construidos
• Otras construcciones: No se exploran posibles métodos de construcción alternativos

2. Limitaciones de Generalización

• Restricción $D(m^2)$: El método depende fuertemente de la forma especial $n = m^2$
• Par inicial fijo: Solo se considera un tipo específico de par inicial
• Limitación a triples: No se discute la posibilidad de extensión a tuplos de orden superior

3. Ejemplos y Aplicaciones

• Pocos ejemplos concretos: Solo se mencionan algunos ejemplos en las observaciones, sin cálculos detallados
• Falta de verificación numérica: No se proporcionan triples específicos para valores concretos de $k$
• Contexto de aplicación débil: No se explica la aplicación de estos resultados a otros problemas matemáticos

4. Detalles Técnicos

• Clasificación par/impar: Se menciona "considerando cuidadosamente si $k$ es par o impar" para obtener la fórmula de $N_k$, pero no se proporciona el proceso detallado
• Proceso de verificación: Las ecuaciones (5) y (6) se verifican "sustituyendo expresiones explícitas", pero no se muestran los cálculos específicos
• Propiedades de $\alpha$ y $\beta$: Aunque se señala la relación clave, podría explorarse más profundamente su significado teórico-numérico

Impacto

1. Contribución al Campo

• Progreso teórico: Proporciona nuevas herramientas para investigar propiedades diofantinas de números triangulares
• Metodología: La idea de construcción recursiva puede inspirar investigaciones sobre otras sucesiones especiales
• Problemas abiertos: Plantea nuevas cuestiones sobre clasificación completa

2. Valor Práctico

• Herramienta computacional: Las fórmulas explícitas pueden usarse para generar grandes cantidades de triples
• Método de verificación: Puede usarse para verificar la completitud de otras construcciones
• Base teórica: Proporciona fundamento para investigación posterior sobre tuplos de orden superior

3. Reproducibilidad

• Alta reproducibilidad teórica: Los pasos de prueba son claros y pueden verificarse independientemente
• Implementación computacional: Las fórmulas explícitas pueden programarse directamente
• Verificación de ejemplos: Los ejemplos en las observaciones pueden verificarse manualmente

4. Limitaciones

• Especialización alta: Dirigido principalmente a investigadores en teoría de números, con rango de aplicación relativamente estrecho
• Completitud desconocida: La incompletitud de la construcción limita su valor como herramienta universal

Escenarios de Aplicación

1. Investigación teórica:
   • Estudiar propiedades diofantinas de números triangulares
   • Explorar la estructura algebraica de sucesiones recursivas
   • Analizar el comportamiento de sucesiones especiales en conjuntos diofantinos
2. Teoría de Números Computacional:
   • Generar y probar grandes cantidades de triples diofantinos
   • Verificar casos especiales de conjeturas teórico-numéricas
   • Buscar contraejemplos o patrones
3. Aplicaciones Educativas:
   • Demostrar la aplicación de métodos recursivos en teoría de números
   • Ilustrar técnicas de resolución de fórmulas explícitas
   • Ejemplificar el uso del método de inducción matemática
4. Base para Investigación Posterior:
   • Punto de partida para investigar conjuntos diofantinos más generales
   • Exploración de propiedades similares para otros números figurados (números pentagonales, hexagonales)
   • Investigación de nuevos métodos de resolución de ecuaciones diofantinas

Referencias Bibliográficas

El artículo cita 8 referencias clave, que incluyen principalmente:

1. Bliznac Trebješanin & Filipin (2019): No existencia de quíntuplos $D(4)$
2. Bonciocat, Cipu & Mignotte (2022): No existencia de cuádruplos $D(-1)$
3. Deshpande (1998): Una propiedad de números triangulares (punto de partida de la construcción de este trabajo)
4. Dujella (1993, 2024): Generalización del problema diofantino y revisión exhaustiva
5. Fujita & Luca (2018): No existencia de cuádruplos diofantinos de números de Fibonacci
6. Hamtat (2025): Triples diofantinos de números triangulares (preprint relacionado)
7. He, Togbé & Ziegler (2019): No existencia de quíntuplos $D(1)$

Estas referencias constituyen las referencias clave en la investigación de $m$-tuplos diofantinos, siendo el trabajo de Dujella particularmente importante como revisión exhaustiva del campo.

Resumen

Este artículo logra un progreso importante en la investigación de propiedades diofantinas de números triangulares, proponiendo un elegante método de construcción recursiva que demuestra que cada número triangular pertenece a infinitos triples $D(m^2)$. Las principales fortalezas del artículo radican en la sistematicidad del método y el rigor de la teoría; mediante fórmulas explícitas, convierte relaciones recursivas en formas computables. Sin embargo, la incompletitud de la construcción indica que el problema aún merece investigación más profunda. Este es un artículo sólido de teoría de números que proporciona herramientas teóricas valiosas y nuevas direcciones de investigación para el campo.