🔢 mathematics

Exponent-one blockers and a Mordell-Weil construction of Euler bricks

Este artigo avança o estudo dos cuboides corporais ao verificar um fenômeno primitivo de "bloqueador de expoente um" em 151.575 casos e ao utilizar fibradas elípticas para gerar mais de 1,2 milhão de novos exemplos parametrizados, nenhum dos quais produz um cuboide perfeito.

Autores originais: René Peschmann

Publicado 2026-05-04

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: René Peschmann

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando construir uma caixa tridimensional perfeita, feita de blocos de madeira. Você quer que a caixa seja um "paralelepípedo perfeito".

Para ser perfeito, esta caixa deve satisfazer duas regras muito estritas:

As Arestas: O comprimento, a largura e a altura devem ser todos números inteiros (como 3, 4 ou 5 polegadas).
As Diagonais: Se você desenhar uma linha através da face da caixa (como a diagonal de um retângulo), essa linha também deve ser um número inteiro. Ainda mais difícil, a linha que atravessa o centro exato da caixa, de um canto ao canto oposto (a "diagonal espacial"), deve também ser um número inteiro.

Matemáticos vêm procurando por tal caixa desde o século XVIII. Eles encontraram milhões de caixas que satisfazem a primeira regra (as arestas e as diagonais das faces são números inteiros), mas ninguém jamais encontrou uma única caixa que satisfaça a segunda regra (a diagonal espacial também é um número inteiro). É um dos grandes mistérios não resolvidos da matemática.

Este artigo de René Peschmann é uma busca massiva e de alta tecnologia por essa caixa perfeita, mas com uma reviravolta: em vez de apenas procurar pela caixa, o autor está procurando por uma "prova irrefutável" que demonstre por que a caixa perfeita não pode existir.

Aqui está uma explicação simples das duas principais descobertas do artigo:

1. O "Bloqueador de Expoente Um" (O Trancamento Inquebrável)

O autor estudou mais de 1,2 milhão dessas caixas "quase perfeitas" (chamadas de paralelepípedos corporais). Para cada uma delas, ele calculou o comprimento da diagonal espacial. Matematicamente, esse comprimento é um número que deveria ser um quadrado perfeito se a caixa fosse perfeita.

A Descoberta:
Em cada caso único que o autor verificou (mais de 150.000 deles, onde foi possível decompor o número em seus blocos de construção primos), ele encontrou um "bloqueador" específico.

Pense em um número como uma torre construída com blocos de Lego. Um "quadrado perfeito" é uma torre onde cada tipo de bloco aparece em pares (por exemplo, dois vermelhos, dois azuis, dois verdes). Se você tiver uma torre com um número ímpar de um bloco específico (como três vermelhos), ela não pode ser um quadrado perfeito.

O autor descobriu que, para cada caixa "quase perfeita", há sempre pelo menos um bloco de Lego específico (um número primo) que aparece exatamente uma vez (um bloqueador de "expoente um").

Por que isso importa: Não é apenas que o bloco aparece um número ímpar de vezes (como 3 ou 5 vezes); ele aparece exatamente uma vez. Este é um tipo de erro muito específico e "primitivo". É como encontrar um único bloco vermelho solitário em uma torre que deveria estar perfeitamente pareada.
A Regra do "Bloqueador": Este bloco solitário também é especial porque não compartilha nenhum fator com os números originais usados para construir a caixa. É um erro "limpo", não um erro bagunçado causado pelos números iniciais.

O autor chama isso de "Fenômeno do Bloqueador de Expoente Um". Eles verificaram isso em 151.575 exemplos sem uma única exceção. Isso sugere que o universo dessas caixas é manipulado de modo que a diagonal espacial nunca possa ser um número perfeito.

2. O "Gerador de Mordell–Weil" (A Máquina Mágica)

Como o autor encontrou tantas caixas? Ele não apenas adivinhou. Ele construiu uma "máquina" baseada em um ramo da matemática chamado Curvas Elípticas (que são formas complexas e em loop usadas em criptografia e teoria dos números).

A Metáfora:
Imagine o problema de encontrar essas caixas como um mapa com milhões de caminhos ocultos.

O Jeito Antigo: Pesquisadores anteriores caminhavam pelo mapa procurando caminhos, verificando um por um. Eles encontraram cerca de 62.000 caixas.
A Nova Máquina: O autor construiu um "elevador mágico" (o gerador de Mordell–Weil). Você alimenta com uma coordenada específica (um par de números), e o elevador o lança para um novo caminho válido no mapa que você nunca teria encontrado caminhando.

O Resultado:
Usando essa máquina, o autor gerou 1,22 milhão de novas caixas.

Essas caixas são enormes. Algumas têm arestas com quase 2.000 dígitos (imagine um número tão longo que levaria um livro inteiro para escrevê-lo).
O Veredito: O autor verificou cada uma dessas 1,2 milhão de novas caixas. Nenhuma delas era perfeita. Cada uma delas tinha aquele "Bloqueador de Expoente Um" de que falamos anteriormente.

O Que Isso Significa (e O Que Não Significa)

O que o artigo prova: O autor provou rigorosamente que, dentro das "famílias" matemáticas específicas que eles exploraram, nenhum paralelepípedo perfeito existe. Eles geraram um banco de dados massivo de 1,28 milhão de exemplos, e nenhum deles funcionou.
O que o artigo NÃO prova: Não prova que um paralelepípedo perfeito nunca exista em qualquer lugar do universo da matemática. Apenas prova que, se um existir, está se escondendo em um lugar que esta máquina específica ainda não olhou.
A Grande Conjectura: O autor propõe uma suposição forte (uma conjectura) de que o "Bloqueador de Expoente Um" ocorre para cada caixa possível deste tipo. Se essa suposição for verdadeira, então um paralelepípedo perfeito é matematicamente impossível.

Analogia de Resumo

Imagine que você está tentando encontrar um "Bilhete Dourado" escondido em uma barra de chocolate.

Você tem uma máquina que pode quebrar barras de chocolate em milhões de pedacinhos.
Você abre 1,2 milhão de barras.
Em cada barra, você encontra um pequeno e único "bloqueador" (um tipo específico de cristal de açúcar) que prova que a barra não é o Bilhete Dourado.
Você nota que, em todos os casos, esse bloqueador aparece exatamente uma vez e é muito distinto.

O artigo diz: "Encontramos 1,2 milhão de barras, e cada uma delas tem esse bloqueador específico. Não encontramos o Bilhete Dourado, e nossos dados sugerem fortemente que o Bilhete Dourado pode não existir de todo, porque a regra do 'bloqueador' parece se aplicar a tudo o que já vimos".

O autor deixa a prova final (mostrando que o bloqueador deve existir para todo número possível, não apenas para os que eles verificaram) como uma questão aberta para futuros matemáticos.

1. Formulação do Problema

O artigo aborda o Problema do Cuboide Perfeito, um famoso problema em aberto na teoria dos números que remonta ao século XVIII.

Definição: Um cuboide perfeito é um paralelepípedo retangular com comprimentos de arestas inteiras ( $e_1, e_2, e_3$ ) tal que todas as três diagonais das faces e a diagonal espacial também sejam inteiras.
Status Atual: Nenhum exemplo de um cuboide perfeito foi jamais encontrado, nem foi provada a sua não existência.
Escopo: O artigo foca nos Cuboides Corporais (ou tijolos de Euler), onde as arestas e as diagonais das faces são inteiras, mas a diagonal espacial não é exigida para ser um inteiro. Estes são abundantes e parametrizados por famílias infinitas clássicas (por exemplo, Saunderson, Euler) e por um vasto conjunto esporádico.
Objetivo: O autor investiga as propriedades estruturais dos cuboides corporais para compreender por que eles falham em ser cuboides perfeitos e para gerar um conjunto massivo de dados de novos exemplos para testar conjecturas relativas à sua não existência.

2. Metodologia

O artigo emprega uma abordagem dual combinando geometria algébrica (fibras elípticas) e teoria dos números computacional (fatoração e verificação em larga escala).

A. Parametrização (Acertos-Mestre)

O estudo utiliza uma parametrização específica de cuboides corporais baseada em dois pares pitagóricos coprimos $(a, b)$ e $(m, n)$ na forma de Euclides.

Parâmetros: $a > b > 0$ , $m > n > 0$ , com $a-b$ e $m-n$ sendo ímpares.
Construção: As arestas são definidas como $x = U_1 U_2$ , $y = V_1 U_2$ , $z = U_1 V_2$ , onde $U_i, V_i, W_i$ são derivados das ternas pitagóricas.
Condição de Acerto-Mestre: Uma tupla $(a, b, m, n)$ é um "Acerto-Mestre" se a terceira diagonal da face for um inteiro. Isto requer que $M(a, b, m, n) = (V_1 U_2)^2 + (U_1 V_2)^2$ seja um quadrado perfeito.
Obstrução do Cuboide Perfeito: Um Acerto-Mestre torna-se um cuboide perfeito apenas se o quadrado da diagonal espacial, $f_1 = (W_1 U_2)^2 + (U_1 V_2)^2$ , for também um quadrado perfeito.

B. Construção de Mordell–Weil (Gerador)

Para gerar novos Acertos-Mestre além dos limites de busca clássicos, o autor constrói uma fibração elíptica:

Fibração: Para um par coprimo fixo $(m, n)$ , a equação do Acerto-Mestre define uma curva quártica de gênero um $H_{m,n}$ .
Transformação: Usando uma transformação quártica-para-Weierstrass, $H_{m,n}$ é mapeada para uma curva elíptica $E_{m,n}$ .
Algoritmo: O autor utiliza o grupo de Mordell–Weil $E_{m,n}(\mathbb{Q})$ $E_{m, n} (Q)$ para gerar pontos racionais.
- Pontos racionais $P$ em $E_{m,n}$ são elevados de volta à quártica através de uma função racional $\tau(P)$ .
- Um ponto produz um Acerto-Mestre válido se $\tau(P)$ for um quadrado racional positivo e satisfizer condições de paridade/coprimalidade.
Escala: Este gerador algorítmico permite a descoberta de Acertos-Mestre com parâmetros de altura imensa (até $10^{888}$ ), superando amplamente o alcance da busca exaustiva.

C. Verificação Computacional

O artigo baseia-se num banco de dados massivo de 1.284.670 Acertos-Mestre.

Fatoração: Para 151.575 destes, a norma da diagonal espacial $f_1$ foi totalmente fatorada usando um pipeline envolvendo divisão por tentativa, sympy e YAFU (QS/GNFS).
Scripts de Verificação: Scripts personalizados em Python/Sage verificam aritmética inteira, consistência de fatoração e as propriedades de "bloqueador".

3. Contribuições Principais

Contribuição 1: O Fenômeno Verificado do Bloqueador de Expoente Um

O artigo formula e verifica computacionalmente uma forte conjectura relativa à fatoração em números primos de $f_1$ .

Conjectura 4.1 (Bloqueador Universal de Expoente Um): Para cada Acerto-Mestre, existe um divisor primo $\ell$ $ℓ$ de $f_1$ $f_{1}$ tal que:
1. Expoente Um: $v_\ell(f_1) = 1$ (o primo aparece exatamente uma vez).
2. Genericidade: $\ell$ é coprimo a uma lista fixa de 29 "expressões canônicas" derivadas dos parâmetros $(a, b, m, n)$ (por exemplo, $a, b, m, n, a+b, a^2+b^2$ , etc.).
Significado: Isto é estritamente mais forte do que meramente encontrar um primo de expoente ímpar. Um primo com expoente 3, 5, etc., também impediria que $f_1$ fosse um quadrado, mas carregaria um fator quadrático. A obstrução observada é primitiva (expoente 1), implicando que a falha em ser um quadrado perfeito é fundamental e não um artefato de potências superiores.
Verificação: Este fenômeno mantém-se sem exceção para todos os 151.575 registos totalmente fatorados.
Refutação de Variantes: O artigo mostra que reforços naturais falham:
- O primo maior fora do parâmetro nem sempre é um bloqueador.
- O bloqueador menor fora do parâmetro nem sempre tem expoente 1.

Contribuição 2: O Gerador de Mordell–Weil

O autor fornece uma construção algorítmica rigorosa que produz 1.222.841 novos Acertos-Mestre (adicionando-se a uma base de 61.829).

Cobertura: Estes acertos abrangem 411 fibras elípticas distintas.
Novidade: Os tijolos gerados possuem parâmetros muito maiores do que qualquer um conhecido anteriormente, qualitativamente além do alcance da busca exaustiva.
Resultado: Nenhum dos 1.284.670 tijolos gerados é um cuboide perfeito (verificado por verificações exatas de quadrados inteiros).

Contribuição 3: Decomposição Estrutural

O artigo introduz uma decomposição canônica de $f_1$ :
$f_1 = g_0^2 (\xi^2 + \eta^2)$
onde $g_0 = \gcd(W_1 U_2, U_1 V_2)$ e $\xi, \eta$ são inteiros coprimos.

Conjectura 4.14: O termo $(\xi^2 + \eta^2)$ nunca é um quadrado perfeito.
Implicação: Se esta conjectura se mantiver, implica a existência de um bloqueador (Conjectura 4.7), o que por sua vez implica que nenhum cuboide perfeito existe dentro desta classe. Isto reduz o problema a verificar se um par específico de expressões polinomiais pode formar uma terna pitagórica.

4. Resultados

Tamanho do Banco de Dados: O artigo estabelece um banco de dados de 1.284.670 Acertos-Mestre.
Status do Cuboide Perfeito: Zero cuboides perfeitos foram encontrados neste conjunto de dados.
Estatísticas de Bloqueadores:
- 100% dos registos totalmente fatorados satisfazem a condição de bloqueador de expoente um.
- 95,2% do banco de dados provém do novo gerador de Mordell–Weil.
- O gerador produz tijolos que são esmagadoramente não parte de famílias infinitas clássicas (Saunderson, Lenhart, Himane), confirmando que o gerador acede a uma estrutura "esporádica".
Descoberta de Ranks: Seis fibras elípticas foram encontradas com um rank de Mordell–Weil de pelo menos 5 (anteriormente reportado como 4 com limites de descida padrão), levando à descoberta dos maiores tijolos no banco de dados.

5. Significado

Insight Estrutural: O artigo avança além da busca por força bruta para identificar uma razão estrutural profunda pela qual os cuboides corporais falham em ser perfeitos: a presença de um bloqueador primo primitivo, genérico e de expoente um. Isto sugere que a obstrução é intrínseca à geometria da parametrização, e não apenas uma coincidência de números pequenos.
Avanço Metodológico: A aplicação bem-sucedida da enumeração do grupo de Mordell–Weil para gerar soluções diofantinas fornece uma nova ferramenta poderosa para explorar soluções de grande altura na geometria diofantina.
Evidência para Não Existência: Embora não seja uma prova, a evidência empírica é esmagadora. O facto de o fenómeno de "bloqueador de expoente um" se manter universalmente num conjunto de dados que abrange 12 ordens de grandeza no tamanho dos parâmetros apoia fortemente a conjectura de que cuboides perfeitos não existem dentro desta classe de parametrização.
Problemas Abertos: O artigo delineia explicitamente o caminho para uma prova: provar que o par coprimo $(\xi, \eta)$ na decomposição canônica nunca pode formar uma terna pitagórica (Conjectura 4.14) provaria incondicionalmente a não existência de cuboides perfeitos nesta classe.

Em resumo, o trabalho de Peschmann combina teoria avançada de curvas elípticas com verificação computacional massiva para fornecer a mais forte evidência empírica até à data para a não existência de cuboides perfeitos, identificando uma obstrução aritmética específica e primitiva que parece ser universal.