A proper Euler magic matrix of order 6

In het uitgestrekte landschap van de wiskunde bestaat er een bijzondere fascinatie voor rasters van getallen die strikte, verborgen regels naleven. Stel je een vierkant tableau voor gevuld met gehele getallen. Als je de getallen in elke rij, elke kolom en langs beide hoofddiagonalen bij elkaar optelt, is de som altijd hetzelfde. Dit is een magisch vierkant, een puzzel die denkers al eeuwenlang intrigeert. Maar wiskundigen gaan vaak verder en vragen zich af wat er gebeurt als de getallen in het vierkant niet zomaar gehele getallen zijn, maar zelf kwadraten zijn — getallen zoals één, vier, negen of zestien. Nog uitdagender is een specifiek type raster waarbij de rijen en kolommen niet alleen in som gebalanceerd zijn, maar ook wiskundig onafhankelijk van elkaar zijn, wat betekent dat ze niet op een manier overlappen die redundantie creëert. Deze combinatie van vereisten creëert een zeldzaam en moeilijk object dat een Euler-magische matrix wordt genoemd. Lange tijd wisten wiskundigen dat dergelijke rasters bestonden voor bepaalde formaten, zoals vier bij vier en acht bij acht, maar een specifieke grootte in het midden bleef een mysterie. De vraag was simpel maar hardnekkig: kon zo'nd een raster worden gebouwd met zes rijen en zes kolommen?

Een onderzoeker genaamd Sanjit Singh Mehat heeft die vraag nu met een definitief ja beantwoord. In een recente studie heeft Mehat het eerste bekende voorbeeld van een echte Euler-magische matrix van orde zes geconstrueerd. Om de betekenis te begrijpen, moet men kijken naar de strikte voorwaarden die vereist zijn. Het raster moet dertig-zes gehele getallen bevatten. Wanneer deze getallen worden gekwadrateerd, moet de som van de zes getallen in elke enkele rij een specifieke totaalwaarde opleveren. Dezelfde totaalwaarde moet in elke kolom verschijnen. Bovendien moet de som van de zes gekwadrateerde getallen die van de linkerbovenhoek naar de rechterbenedenhoek lopen, overeenkomen met dat totaal, en de som van de zes gekwadrateerde getallen die van de rechterbovenhoek naar de linkerbenedenhoek lopen, moet ook overeenkomen met dat totaal. Verder is het raster alleen "echt" als de absolute waarden van alle dertig-zes getallen volledig verschillend van elkaar zijn. Geen twee getallen mogen dezelfde grootte hebben, zelfs niet als het ene getal positief en het andere negatief is.

Decennialang was het bestaan van een dergelijk raster voor een zes-bij-zes lay-out onbekend. Vorig werk had de gevallen voor kleinere rasters afgehandeld, waarbij bewezen werd dat een drie-bij-drie versie onmogelijk was, en bevestigde dat versies voor maten één, twee, vier, vijf en acht bestonden. De zes-bij-zes casus was het kleinste ontbrekende puzzelstukje. Mehats werk vult deze kloof door twee verschillende, concrete voorbeelden van deze rasters te presenteren. Het eerste voorbeeld gebruikt een specifieke totale som van 18.500 voor de gekwadrateerde invoer. Het tweede voorbeeld, onafhankelijk gevonden, gebruikt een andere totale som van 43.290. Beide matrices zijn gevuld met gehele getallen die, wanneer ze worden gekwadrateerd en opgeteld volgens de regels, precies deze totalen opleveren. De onderzoeker heeft geverifieerd dat in beide gevallen de rijen en kolommen wiskundig onafhankelijk zijn, de diagonaalsommen correct zijn, en elk enkel getal in het raster een unieke magnitude heeft.

De weg naar het vinden van deze rasters was geen kwestie van eenvoudige trial-and-error. De zoekruimte is zo groot dat het controleren van elke mogelijkheid met de hand of met standaard computermethoden onmogelijk zou zijn. Mehat ontwikkelde een gespecialiseerde methode om de zoektocht te verfijnen. In plaats van het hele raster in één keer te proberen te bouwen, hield de aanpak in dat er kleinere bouwstenen werden gegenereerd en deze op manieren werden gecombineerd die eerst aan de rij- en kolomregels voldeden. Zodra een kandidaat-raster werd gevonden dat aan die basisvereisten voldeed, zocht de onderzoeker naar een specifieke ordening van de rijen en kolommen die ook aan de diagonaalregels zou voldoen. Deze strategie bleek effectief en maakte de ontdekking van de twee voorbeelden mogelijk binnen enkele minuten na het draaien van het zoekprogramma. De studie stelde ook een wiskundige ondergrens vast voor de totale som in een dergelijk raster, waarbij bewezen werd dat de som van de gekwadrateerde invoer ten minste 2.485 moet zijn, een grens die de zoektocht hielp sturen.

Om de resultaten buiten twijfel te plaatsen, werden de bevindingen onderworpen aan rigoureuze verificatie. De berekeningen werden gecontroleerd met exacte gehele getallen-aritmetica, een methode die geen ruimte laat voor afrondingsfouten. Een apart, onafhankelijk geschreven programma bevestigde de resultaten, en het volledige bewijs werd ook geverifieerd door een computersysteem dat ontworpen is om wiskundige logica te controleren. Dit drievoudige controleproces bevestigt dat de rasters echt zijn en dat ze aan elke vereiste voorwaarde voldoen. Het werk steunt niet op complexe theorieën of onbewezen aannames; het rust op de expliciete presentatie van de getallen zelf. Iedereen met een rekenmachine kan verifiëren dat de rijen, kolommen en diagonalen van de verstrekte rasters correct optellen en dat geen twee getallen dezelfde grootte delen.

Deze ontdekking lost een specifieke, langdurige vraag op in het gebied van de combinatorische wiskunde. Hoewel het bestaan van magische vierkanten bestaande uit kwadraten al bekend was voor zes-bij-zes rasters, garandeerden die eerdere resultaten niet de strikte onafhankelijkheid van rijen en kolommen die vereist is voor een Euler-magische matrix. Mehats werk demonstreert dat een dergelijke structuur inderdaad mogelijk is, waardoor het getal zes wordt toegevoegd aan de lijst van maten waarvoor deze speciale rasters gebouwd kunnen worden. De studie biedt de werkelijke getallen voor twee dergelijke rasters en biedt een concrete oplossing voor een probleem dat onopgelost was gebleven. Het staat als een duidelijk voorbeeld van hoe moderne computationele methoden, geleid door slimme wiskundige strategieën, problemen kunnen oplossen die onderzoekers jarenlang hebben getrotseerd, waardoor een theoretische mogelijkheid wordt omgezet in een tastbare realiteit.