A proper Euler magic matrix of order 6

No vasto panorama da matemática, existe um fascínio particular por grades de números que obedecem a regras ocultas e rigorosas. Imagine uma tabela quadrada preenchida com números inteiros. Se você somar os números em qualquer linha, coluna ou ao longo de qualquer uma das duas diagonais principais, o total é sempre o mesmo. Isso é um quadrado mágico, um enigma que intriga pensadores há séculos. Mas os matemáticos frequentemente vão além, perguntando o que acontece se os números dentro do quadrado não forem apenas quaisquer inteiros, mas quadrados perfeitos propriamente ditos — números como um, quatro, nove ou dezesseis. Ainda mais desafiante é um tipo específico de grade onde as linhas e colunas não são apenas equilibradas em soma, mas também são matematicamente independentes umas das outras, o que significa que elas não se sobrepõem de uma forma que crie redundância. Essa combinação de requisitos cria um objeto raro e difícil conhecido como matriz mágica de Euler. Por muito tempo, os matemáticos sabiam que essas grades existiam para certos tamanhos, como quatro por quatro ou oito por oito, mas um tamanho específico no meio permanecia um mistério. A questão era simples, porém obstinada: seria possível construir tal grade usando seis linhas e seis colunas?

Um pesquisador chamado Sanjit Singh Mehat respondeu agora a essa pergunta com um sim definitivo. Em um estudo recente, Mehat construiu o primeiro exemplo conhecido de uma matriz mágica de Euler própria de ordem seis. Para entender a significância, deve-se observar as condições rigorosas exigidas. A grade deve conter trinta e seis números inteiros. Quando esses números são elevados ao quadrado, a soma dos seis números em cada uma das seis linhas deve ser igual a um total específico. O mesmo total deve aparecer em cada coluna. Além disso, a soma dos seis números ao quadrado que percorrem do canto superior esquerdo ao canto inferior direito deve corresponder a esse total, e a soma dos seis números ao quadrado que percorre do canto superior direito ao canto inferior esquerdo também deve corresponder a esse total. Finalmente, e talvez mais importante, a grade é considerada "própria" apenas se os valores absolutos de todos os trinta e seis números forem completamente diferentes entre si. Não dois números podem ter o mesmo tamanho, mesmo que um seja positivo e o outro negativo.

Por décadas, a existência de tal grade para um layout de seis por seis era desconhecida. Trabalhos anteriores haviam resolvido os casos para grades menores, provando que uma versão três por três era impossível, e confirmando que versões para tamanhos um, dois, quatro, cinco e oito existiam. O caso seis por seis era a menor peça faltante no quebra-cabeça. O trabalho de Mehat preenche essa lacuna ao apresentar dois exemplos distintos e concretos dessas grades. O primeiro exemplo usa um total de soma específica de 18.500 para as entradas ao quadrado. O segundo exemplo, encontrado independentemente, usa um total de soma diferente de 43.290. Ambas as matrizes são preenchidas com inteiros que, quando elevados ao quadrado e somados de acordo com as regras, resultam nesses totais exatos. O pesquisador verificou que, em ambos os casos, as linhas e colunas são matematicamente independentes, as somas das diagonais estão corretas e cada número na grade possui uma magnitude única.

O caminho para encontrar essas grades não foi uma questão de simples tentativa e erro. O espaço de busca é tão vasto que verificar todas as possibilidades à mão ou com métodos computacionais padrão seria impossível. Mehat desenvolveu um método especializado para estreitar a busca. Em vez de tentar construir a grade inteira de uma só vez, a abordagem envolveu a geração de blocos de construção menores e a combinação deles de formas que satisfizessem primeiro as regras de linha e coluna. Uma vez que uma grade candidata era encontrada que atendia a esses requisitos básicos, o pesquisador então procurava por um arranjo específico de linhas e colunas que também satisfaria as regras das diagonais. Essa estratégia provou ser eficaz, permitindo a descoberta dos dois exemplos em poucos minutos de execução do programa de busca. O estudo também estabeleceu um limite inferior matemático para a soma total em tal grade, provando que a soma das entradas ao quadrado deve ser de pelo menos 2.485, um limite que ajudou a guiar a busca.

Para garantir que os resultados estivessem além de qualquer dúvida, as descobertas foram submetidas a uma verificação rigorosa. Os cálculos foram checados usando aritmética de inteiros exatos, um método que não deixa margem para erros de arredondamento. Um programa separado, escrito de forma independente, confirmou os resultados, e toda a prova também foi verificada por um sistema de computador projetado para checar a lógica matemática. Esse processo de tripla verificação confirma que as grades são reais e que atendem a cada condição exigida. O trabalho não depende de teorias complexas ou pressupostos não comprovados; ele repousa na exibição explícita dos próprios números. Qualquer pessoa com uma calculadora pode verificar que as linhas, colunas e diagonais das grades fornecidas somam corretamente e que nenhum par de números compartilha o mesmo tamanho.

Esta descoberta resolve uma questão específica e de longa data no campo da matemática combinatória. Embora a existência de quadrados mágicos feitos de quadrados já fosse conhecida para grades seis por seis, esses resultados anteriores não garantiam a estrita independência de linhas e colunas exigida para uma matriz mágica de Euler. O trabalho de Mehat demonstra que tal estrutura é, de fato, possível, adicionando o número seis à lista de tamanhos onde essas grades especiais podem ser construídas. O estudo fornece os números reais para duas dessas grades, oferecendo uma solução concreta para um problema que permanecia em aberto. Ele serve como um exemplo claro de como os métodos computacionais modernos, quando guiados por estratégias matemáticas inteligentes, podem resolver problemas que escaparam aos pesquisadores por anos, transformando uma possibilidade teórica em uma realidade tangível.