Seven squares from three numbers

1. O Problema

O artigo investiga a existência de triplas exóticas de Diophanto (ou exotic Diophantine triples). O problema central consiste em encontrar triplas $\{a, b, c\}$ de números racionais não nulos e distintos tais que as seguintes sete expressões sejam todas quadrados perfeitos:

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

Equivalentemente, o problema pode ser formulado como a busca por uma quádrupla Diophantina racional $\{1, a, b, c\}$ onde o produto dos três elementos $a, b, c$ mais 1 ($abc + 1$) também seja um quadrado perfeito.

O estudo contrasta dois domínios:

• Números Racionais: Onde se busca a existência de infinitas soluções.
• Números Inteiros Positivos: Onde se investiga a possibilidade de existência de tais triplas.

2. Metodologia

Os autores empregaram uma abordagem híbrida combinando busca numérica, teoria de curvas elípticas e análise de desigualdades aritméticas.

A. Abordagem para Números Racionais (Teorema 1)

1. Busca Numérica e Regularidade: Os autores iniciaram com uma busca computacional para triplas exóticas. Observaram que, em cerca de metade dos casos encontrados, a quádrupla $\{1, a, b, c\}$ satisfaz a condição de regularidade.
   • Uma tripla $(a, b, c)$ é regular se $r_3(a, b, c) = (a + b - c)^2 - 4(ab + 1) = 0$.
   • Uma quádrupla $(a, b, c, d)$ é regular se $r_4(a, b, c, d) = (a + b - c - d)^2 - 4(ab + 1)(cd + 1) = 0$.
2. Formulação Algébrica: Focaram no caso onde $\{1, ab, c\}$ é uma tripla Diophantina regular. Isso impõe a condição $r_3(1, ab, c) = 0$, o que garante automaticamente que $ab+1$, $abc+1$e$c+1$ são quadrados.
3. Redução a Curvas Elípticas: Para garantir que $a+1$ e $b+1$ sejam quadrados, definiram $a = r^2 - 1$ e $b = s^2 - 1$. A imposição das condições de regularidade ($r_3$ e $r_4$) levou a um sistema de equações.
   • A análise do sistema revelou que, para obter infinitas soluções, deve-se considerar uma curva de gênero 1 birracionalmente equivalente à curva elíptica:
     $$E_2: y^2 = x^3 - 111x + 450$$
4. Grupos de Mordell-Weil: Os autores demonstraram que o grupo de Mordell-Weil de $E_2$ sobre $\mathbb{Q}$ tem posto infinito (gerado por um ponto de ordem infinita). Isso permite gerar infinitos pontos racionais na curva, que por sua vez geram infinitas triplas exóticas.

B. Abordagem para Números Inteiros (Teorema 2)

Para provar a inexistência de soluções inteiras, os autores utilizaram um argumento de contradição por estimativas (bounding):

1. Hipótese: Supôs-se a existência de inteiros positivos $3 \le a < b < c$ satisfazendo as condições.
2. Desigualdades Conhecidas: Utilizaram resultados prévios sobre quádruplas Diophantinas inteiras para estabelecer que $c > 4ab$.
3. Construção de um Inteiro $M$: Definiram um inteiro $M = 2r(zu - st)$, onde $r, s, t, z, u$ são as raízes quadradas das expressões dadas no problema.
4. Estimativas de Limites:
   • Derivaram uma identidade: $(zu)^2 - (st)^2 = c(a-1)(b-1)$.
   • Estabeleceram limites inferiores e superiores para $zu + st$.
   • Ao substituir esses limites na expressão de $M$, provaram que:
     $$(a-1)(b-1) < M < (a-1)(b-1) + \frac{1}{2}$$
5. Contradição: Como $M$ é um inteiro, não pode existir um inteiro estritamente entre um número inteiro $K$ e $K + 0.5$. Isso gera uma contradição, provando que tal tripla inteira não existe.

3. Principais Contribuições e Resultados

• Teorema 1 (Existência Infinita em Racionais): O artigo prova que existem infinitas triplas exóticas de Diophanto racionais. A construção explícita é feita através da parametrização de pontos em uma curva elíptica específica ($E_2$). Os autores fornecem exemplos concretos de tais triplas geradas a partir de pontos na curva.
• Teorema 2 (Não Existência em Inteiros): O artigo prova rigorosamente que não existem triplas exóticas de Diophanto em inteiros positivos. Este é um resultado de não-existência forte, mostrando que a condição de ter sete quadrados simultâneos é impossível no domínio dos inteiros, diferentemente de outras variações de problemas Diophantinos onde soluções infinitas existem.
• Conexão com Regularidade: O trabalho destaca a importância da "regularidade" na estruturação de soluções racionais, simplificando um sistema de equações complexo em um problema de curvas elípticas.

4. Significância

• Avanço na Teoria de Tuplas Diophantinas: O problema estende a teoria clássica de tuplas Diophantinas (onde o produto de dois elementos mais 1 é quadrado) para um cenário mais complexo envolvendo o produto de três elementos e os próprios elementos mais 1.
• Contraste Racional vs. Inteiro: O resultado ilustra uma dicotomia fundamental na teoria dos números: enquanto certas estruturas algébricas permitem soluções infinitas no domínio racional (devido à densidade de pontos em curvas elípticas), elas podem ser completamente proibidas no domínio inteiro devido a restrições aritméticas rígidas.
• Métodos Computacionais e Teóricos: O uso de ferramentas de curvas elípticas para gerar famílias infinitas de soluções, combinado com técnicas clássicas de estimativa para provar não-existência, serve como um modelo robusto para problemas similares em teoria dos números.
• Resolução de um Problema Aberto: O trabalho resolve a questão da existência de tais triplas, fornecendo tanto exemplos construtivos (para racionais) quanto uma prova definitiva de impossibilidade (para inteiros).

Em resumo, o artigo estabelece que a propriedade de gerar sete quadrados perfeitos a partir de três números é uma característica exclusiva do domínio racional (com infinitas soluções), sendo impossível de ser realizada com números inteiros positivos.