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

Resumo Técnico: Pares de Números Triangulares e Somas de Quadrados

1. O Problema

O artigo aborda dois problemas interligados na teoria dos números:

1. Números Quadráticos: Identificar pares de inteiros $(k, j)$ tais que o produto de dois números triangulares consecutivos (ou relacionados) seja um quadrado perfeito. Especificamente, busca-se pares onde o número quadrático $\Pi(k, j) = k(k+1)(k+j)(k+j+1)$ seja um quadrado perfeito. Embora seja óbvio que o produto de dois números triangulares que são quadrados perfeitos resulte em um quadrado, o artigo investiga se existem outras famílias infinitas de soluções onde os números triangulares individuais não são quadrados, mas seu produto (multiplicado por 4) o é.
2. Somas de Quadrados em Intervalos: Encontrar pares de intervalos de inteiros consecutivos que possuam somas de quadrados iguais. O foco é no caso onde os comprimentos dos dois intervalos diferem exatamente por 1.

O objetivo central é caracterizar todas as soluções para esses problemas e conjecturar que as famílias encontradas são exaustivas.

2. Metodologia

Os autores utilizam uma abordagem combinatória e algébrica baseada em:

• Equações Polinomiais: Definem polinômios $j_i(k)$ de grau $i$ (onde $i$ é par ou ímpar) cujos coeficientes são inteiros positivos. Eles constroem identidades onde $k + j_i(k) + 1$ é expresso tanto como $k \cdot A(k)^2 + 1$ quanto como $(k+1) \cdot B(k)^2$ (ou variações similares), garantindo que o produto resultante seja um quadrado perfeito.
• Equação de Pell-Fermat: A caracterização dos números triangulares quadrados e das ternas pitagóricas "quase-isósceles" (onde os catetos diferem por 1) é reduzida à mesma equação de Pell. Os autores utilizam sequências recursivas (semelhantes a Fibonacci) e fórmulas explícitas envolvendo $\sqrt{2}$ para gerar soluções.
• Análise de Discriminantes: Para o problema das somas de quadrados, a igualdade entre as somas de dois intervalos é transformada em uma equação quadrática em $n$ (o ponto de partida do intervalo). A existência de soluções inteiras depende de o discriminante $D$ dessa equação ser um quadrado perfeito.
• Verificação Computacional: Os autores realizaram extensas verificações computacionais para $k, m, j$ em faixas específicas (até 100) para validar suas conjecturas e listar soluções racionais e inteiras.

3. Principais Contribuições e Resultados

A. Família de Pares Quadráticos (Seções 3-6)

• Os autores provam que para cada inteiro $i \ge 0$, existe um polinômio único $j_i(k)$ tal que o par $(k, j_i(k))$ gera um número quadrático perfeito $\Pi(k, j_i(k))$.
• Eles fornecem fórmulas explícitas para os coeficientes dos polinômios $A, B$ e $C$ que satisfazem as identidades algébricas necessárias.
• Tabela 2: Apresentam uma tabela completa de pares $(k, j_i(k))$ para $k \le 8$ e $i \le 8$, demonstrando a estrutura das soluções.
• Conjectura 1 e 2:
  • Conjectura 1: Se $k$ é um número triangular quadrado, as soluções na linha $k$ correspondem a pares "bi-pitagóricos" de mesma paridade.
  • Conjectura 2: Não existem outras soluções além das geradas por esta família de polinômios $j_i(k)$ e pelos casos triviais de produtos de números triangulares quadrados.

B. Conexão com Ternas Pitagóricas (Seção 2 e 9.4.2)

• Estabelecem uma correspondência direta entre os pares $(k, j)$ que geram soluções e as ternas pitagóricas quase-isósceles $(x, x+1, y)$, onde $x^2 + (x+1)^2 = y^2$.
• A sequência de soluções é gerada por uma recorrência linear $x_{i+2} = 2x_{i+1} + x_i$, ligada à equação de Pell $x^2 - 2y^2 = 1$.

C. Intervalos com Soma de Quadrados Iguais (Seção 9)

• Redução do Problema: Mostram que encontrar dois intervalos de inteiros consecutivos com somas de quadrados iguais, cujos comprimentos diferem por 1, é equivalente a encontrar soluções inteiras para a equação quadrática derivada da igualdade das somas.
• Teorema 5: Demonstra que se $\Pi(k, j)$ é um quadrado perfeito, então existem duas soluções inteiras para $n$ (o início do intervalo), gerando identidades de somas de quadrados.
• Identidades Bi-Pitagóricas: Quando ambos os números triangulares envolvidos são quadrados perfeitos, obtêm-se identidades especiais chamadas "bi-pitagóricas".
• Generalização de Dostor (1879): Recuperam e generalizam uma identidade clássica onde a soma de $k+1$ quadrados consecutivos é igual à soma dos próximos $k$ quadrados (caso $m=j=0$).
• Resultados Computacionais (Tabelas 4 e 5): Fornecem listas exaustivas de soluções racionais e inteiras para casos onde $j=0$ e para $1 \le j \le 18$, $1 \le m, k \le 100$.

4. Significado e Implicações

• Unificação de Problemas Clássicos: O trabalho conecta elegantemente três áreas distintas: números triangulares quadrados, ternas pitagóricas quase-isósceles e somas de potências de inteiros consecutivos.
• Completude das Soluções: A conjectura de que a família de polinômios $j_i(k)$ esgota todas as soluções para o problema do produto de números triangulares (exceto casos triviais) representa um avanço significativo na compreensão da estrutura desses números. Se provada, fecharia a busca por novas famílias infinitas nesse contexto específico.
• Aplicações em Teoria dos Números: A redução do problema de somas de quadrados a uma equação de discriminante quadrático fornece uma ferramenta poderosa para gerar novas identidades numéricas e explorar pontos inteiros em curvas elípticas relacionadas.
• Limites e Futuro: O artigo deixa em aberto a caracterização completa de soluções para vetores de dimensão $s \ge 2$ (produtos de mais de dois números triangulares) e para casos onde a diferença de comprimento dos intervalos não é 1, sugerindo que esses são problemas mais complexos e possivelmente relacionados a curvas elípticas de maior gênero.

Em suma, o artigo oferece uma caracterização algébrica profunda e uma família infinita de soluções para problemas clássicos de teoria dos números, apoiada por fortes evidências computacionais e conjecturas de completude.