A proper Euler magic matrix of order 6

Dans le vaste paysage des mathématiques, il existe une fascination particulière pour les grilles de nombres qui obéissent à des règles strictes et cachées. Imaginez un tableau carré rempli de nombres entiers. Si vous additionnez les nombres de chaque ligne, de chaque colonne, ainsi que le long des deux principales diagonales, le total est toujours le même. C'est un carré magique, un casse-tête qui intrigue les penseurs depuis des siècles. Mais les mathématiciens poussent souvent plus loin, demandant ce qui se passe si les nombres à l'intérieur du carré ne sont pas de simples entiers, mais sont eux-mêmes des carrés parfaits — des nombres comme un, quatre, neuf ou seize. Encore plus stimulant est un type spécifique de grille où les lignes et les colonnes ne sont pas seulement équilibrées en termes de somme, mais sont également mathématiquement indépendantes les unes des autres, ce qui signifie qu'elles ne se chevauchent pas d'une manière qui créerait de la redondance. Cette combinaison d'exigences crée un objet rare et difficile appelé matrice magique d'Euler. Pendant longtemps, les mathématiciens savaient que ces grilles existaient pour certaines tailles, comme quatre par quatre ou huit par huit, mais une taille spécifique au milieu restait un mystère. La question était simple mais tenace : une telle grille pouvait-elle être construite avec six lignes et six colonnes ?

Un chercheur nommé Sanjit Singh Mehat a maintenant répondu à cette question par un « oui » définitif. Dans une étude récente, Mehat a construit le premier exemple connu d'une matrice magique d'Euler propre d'ordre six. Pour comprendre la portée de cette découverte, il faut examiner les conditions strictes requises. La grille doit contenir trente-six nombres entiers. Lorsque ces nombres sont mis au carré, la somme des six nombres de chaque ligne doit être égale à un total spécifique. Ce même total doit apparaître dans chaque colonne. De plus, la somme des six nombres au carré s'étendant du coin supérieur gauche au coin inférieur droit doit correspondre à ce total, et la somme des six nombres au carré allant du coin supérieur droit au coin inférieur gauche doit également correspondir à ce total. Enfin, et c'est peut-être le plus important, la grille est considérée comme « propre » uniquement si les valeurs absolues des trente-six nombres sont complètement différentes les unes des autres. Aucun des deux nombres ne peut avoir la même taille, même si l'un est positif et l'autre est négatif.

Pendant des décennies, l'existence d'une telle grille pour une disposition de six par six était inconnue. Des travaux antérieurs avaient réglé les cas pour de plus petites grilles, prouvant qu'une version trois par trois était impossible, et confirmant que des versions pour les tailles un, deux, quatre, cinq et huit existaient. Le cas six par six constituait la plus petite pièce manquante du puzzle. Le travail de Mehat comble cette lacune en présentant deux exemples distincts et concrets de ces grilles. Le premier exemple utilise un total de somme spécifique de 18 500 pour les entrées au carré. Le second exemple, trouvé indépendamment, utilise un total différent de 43 290. Les deux matrices sont remplies d'entiers qui, lorsqu'ils sont mis au carré et additionnés selon les règles, produisent ces totaux exacts. Le chercheur a vérifié que dans les deux cas, les lignes et les colonnes sont mathématiquement indépendantes, les sommes des diagonales sont correctes, et chaque nombre de la grille possède une magnitude unique.

Le chemin vers la découverte de ces grilles n'était pas une simple question d'essais et d'erreurs. L'espace de recherche est si vaste que vérifier chaque possibilité à la main ou avec des méthodes informatiques standards serait impossible. Mehat a développé une méthode spécialisée pour restreindre la recherche. Au lieu d'essayer de construire l'intégralité de la grille d'un coup, l'approche consistait à générer des blocs de construction plus petits et à les combiner de manière à satisfaire d'abord les règles des lignes et des colonnes. Une fois qu'une grille candidate fut trouvée répondant à ces exigences de base, le chercheur a ensuite cherché un arrangement spécifique des lignes et des colonnes qui satisferait également les règles des diagonales. Cette stratégie s'est avérée efficace, permettant la découverte des deux exemples en quelques minutes seulement de fonctionnement du programme de recherche. L'étude a également établi une limite inférieure mathématique pour la somme totale dans une telle grille, prouvant que la somme des entrées au carré doit être d'au moins 2 485, une frontière qui a aidé à guider la recherche.

Pour s'assurer que les résultats ne souffraient d'aucun doute, les conclusions ont été soumises à une vérification rigoureuse. Les calculs ont été vérifiés en utilisant l'arithmétique entière exacte, une méthode qui ne laisse aucune place aux erreurs d'arrondi. Un programme distinct, écrit de manière indépendante, a confirmé les résultats, et l'ensemble de la preuve a également été vérifié par un système informatique conçu pour vérifier la logique mathématique. Ce processus de triple vérification confirme que les grilles sont réelles et qu'elles répondent à toutes les conditions requises. Le travail ne repose pas sur des théories complexes ou des hypothèses non prouvées ; il repose sur l'affichage explicite des nombres eux-mêmes. N'importe qui doté d'une calculatrice peut vérifier que les lignes, les colonnes et les diagonales des grilles fournies s'additionnent correctement et qu'aucun des deux nombres ne partage la même taille.

Cette découverte résout une question spécifique et de longue date dans le domaine de la mathématique combinatoire. Bien que l'existence de carrés magiques composés de carrés soit déjà connue pour les grilles six par six, ces résultats antérieurs ne garantissaient pas la stricte indépendance des lignes et des colonnes requise pour une matrice magique d'Euler. Le travail de Mehat démontre qu'une telle structure est effectivement possible, ajoutant le chiffre six à la liste des tailles pour lesquelles ces grilles spéciales peuvent être construites. L'étude fournit les nombres réels de deux telles grilles, offrant une solution concrète à un problème qui était resté ouvert. Elle constitue un exemple clair de la façon dont les méthodes informatiques modernes, lorsqu'elles sont guidées par des stratégies mathématiques ingénieuses, peuvent résoudre des problèmes qui ont échappé aux chercheurs pendant des années, transformant une possibilité théorique en une réalité tangible.