On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares

Dit artikel bewijst dat er geen $3\times3$ magische vierkanten bestaan die bestaan uit verschillende kwadraatgetallen, door gebruik te maken van eigenschappen van opeenvolgende, gelijksoortige rekenkundige rijen van oneven getallen.

De kern

De Onmogelijke Drie-op-Drie: Waarom er geen "Magisch Vierkant van Kwadraten" bestaat

Stel je voor dat je een magisch vierkant hebt. Dit is een rooster van 3x3 vakjes, waarin je getallen zet. Het magische geheim is dat als je elke rij, elke kolom en beide diagonalen optelt, je altijd precies hetzelfde totaal krijgt. Het beroemdste voorbeeld is het oude Chinese vierkant met de getallen 1 tot 9, waarbij elke som 15 is.

Nu komt de vraag: Kunnen we dit doen met alleen maar "kwadraten"?
Kwadraten zijn getallen die het resultaat zijn van een getal keer zichzelf (zoals $1^2=1$, $2^2=4$, $3^2=9$, $4^2=16$, enzovoort).

De wiskundige Oscar Hill heeft in dit paper bewezen dat dit onmogelijk is voor een 3x3 vierkant met verschillende getallen. Je kunt er geen maken. Hier is hoe hij dat bewijst, vertaald naar een verhaal.

1. De Trappen van de Getallen (Rekenreeksen)

Hill begint met een slimme observatie over de verschillen tussen kwadraten.
Kijk naar de getallen: 1, 4, 9, 16, 25.
Het verschil tussen 1 en 4 is 3.
Het verschil tussen 4 en 9 is 5.
Het verschil tussen 9 en 16 is 7.
Het verschil tussen 16 en 25 is 9.

Zie je het patroon? De verschillen zijn altijd oneven getallen die met 2 toenemen (3, 5, 7, 9...). In wiskundetaal noemen we dit een arithmetische reeks (een rij getallen met een vast stapje).

Hill zegt: "Laten we niet naar de kwadraten zelf kijken, maar naar deze 'trappen' (de verschillen) ertussen." Hij stelt zich voor dat je twee van deze rijen hebt die precies even lang zijn en evenveel "energie" (som) bevatten. Hij noemt dit een paar van rijen.

2. De Balans van de Weegschaal

Stel je twee weegschalen voor.

• Op de linkerschaal leg je een rij oneven getallen.
• Op de rechterschaal leg je een andere rij oneven getallen.
• De regel is: beide schalen moeten exact even zwaar zijn.

Hill ontdekt dat als je twee rijen hebt die even zwaar zijn, er een heel specifieke, strakke relatie moet zijn tussen waar ze beginnen (hun "startpunt") en hoe lang ze zijn. Het is alsof je twee verschillende blokken hebt die precies hetzelfde gewicht hebben; dan moeten hun afmetingen op een heel specifieke manier met elkaar verbonden zijn.

3. Het Magische Vierkant als een Grote Puzzel

Nu brengt Hill dit idee over op het magische vierkant.
In een 3x3 magisch vierkant van kwadraten moet het middengetal ($x_{22}$) de sleutel zijn. Als je de getallen in het vierkant vergelijkt, blijken de verschillen tussen de getallen in de rijen en kolommen ook weer te bestaan uit diezelfde "trappen" (de oneven getallen).

Hill zegt: "Als zo'n magisch vierkant zou bestaan, dan moeten er drie paren van die 'even zware rijen' zijn die perfect op elkaar aansluiten."
Het is alsof je probeert drie verschillende sets Lego-blokken te vinden die:

1. Alle drie precies even hoog zijn (dezelfde som).
2. Op een heel specifieke manier in elkaar passen om het vierkant te vormen.
3. Zorgen dat de 'tussenstukjes' (de getallen die de rijen verbinden) ook in balans zijn.

4. De Valstrik (Het Bewijs)

Hier komt het bewijs. Hill doet alsof zo'n vierkant wel bestaat en kijkt wat er dan moet gebeuren met de wiskundige formules.

Hij laat zien dat als je de formules voor die drie rijen met elkaar vergelijkt, er een onmogelijke situatie ontstaat.

• Om het vierkant te laten werken, moeten de rijen verschillende lengtes hebben (anders zijn de getallen niet uniek).
• Maar de wiskunde eist dat als de sommen gelijk zijn, de rijen exact hetzelfde moeten zijn.

De analogie:
Stel je voor dat je drie verschillende auto's hebt die allemaal precies evenveel benzine verbruiken om een rondje te rijden.
Hill zegt: "Als deze auto's allemaal evenveel benzine verbruiken, dan moeten ze exact hetzelfde model zijn, met dezelfde motor en dezelfde banden."
Maar in een magisch vierkant moeten de getallen (de auto's) allemaal verschillend zijn. Je kunt geen drie verschillende auto's hebben die exact hetzelfde verbruik hebben, tenzij ze eigenlijk dezelfde auto zijn.

Omdat het bewijs laat zien dat de enige manier om het evenwicht te houden is dat alle drie de rijen identiek zijn, en dat betekent dat alle getallen in het vierkant ook identiek zouden moeten zijn, is het doel gefaald. Een magisch vierkant vereist verschillende getallen.

Conclusie

Oscar Hill heeft bewezen dat de wiskundige structuur van de oneven getallen (de trappen tussen de kwadraten) te stijf is. Ze staan niet toe dat je drie verschillende sets bouwt die perfect in balans zijn voor een 3x3 vierkant.

Kort samengevat:
Je kunt wel een magisch vierkant maken met gewone getallen (zoals 1 tot 9). Je kunt zelfs een magisch vierkant maken met kwadraten als je een groot vierkant neemt (4x4 of groter). Maar voor een klein 3x3 vierkant is het een wiskundige onmogelijkheid. De getallen "willen" niet samenwerken om dat specifieke evenwicht te vinden zonder dat ze allemaal hetzelfde worden.

Het paper is dus een elegante manier om te zeggen: "Zoek niet langer; het bestaat niet."

Technische samenvatting

Titel: Over Aritmetische Progressies en een Bewijs van het Niet-bestaan van Magische Kwadraten van Kwadraten

1. Probleemstelling

Het paper adresseert een langdurig openstaand probleem in de getaltheorie: het bestaan van een $3 \times 3$ magisch vierkant bestaande uit verschillende kwadraatgetallen (integers die tot de macht 2 zijn verheven).

• Een magisch vierkant is een rooster waarbij rijen, kolommen en beide diagonalen dezelfde som (de magische constante) hebben.
• Hoewel Euler in 1770 een $4 \times 4$ magisch vierkant van kwadraten construeerde en later werd bewezen dat voor elke macht $d \geq 2$ magische vierkanten bestaan voor een voldoende grote orde $n$, is het bestaan van een $3 \times 3$ variant onopgelost.
• Er zijn wel "semi-magische" vierkanten gevonden (zoals het Parker-vierkant), maar deze bevatten herhalingen of hebben geen gelijke sommen voor alle diagonalen. Het paper stelt de stelling dat een echt magisch vierkant van $3 \times 3$ met unieke kwadraatgetallen niet bestaat.

2. Methodologie

De auteur gebruikt een analytische benadering gebaseerd op de eigenschappen van arithmetische progressies (AP's) van oneven getallen. De kern van de methode is als volgt:

• Koppeling Kwadraten en AP's: Het verschil tussen opeenvolgende kwadraten ($x^2$ en $(x+1)^2$) vormt een oneven getal ($2x+1$). De auteur definieert AP's met een stapgrootte van 2 (oneven getallen) en introduceert een "offset" ($p_o$) om de som van deze progressies te relateren aan de kwadraten.
• Paar van AP's (AP Pair): De methode focust op paren van opeenvolgende AP's ($p_1, p_2$) die dezelfde som hebben. De auteur leidt formules af die de relatie tussen de lengtes van deze progressies ($P_{n1}, P_{n2}$), hun offsets ($P_1, P_2$) en hun gezamenlijke som ($\Sigma_P$) beschrijven.
• Parametrisatie: Er wordt een verhouding $\kappa$ geïntroduceerd ($\kappa = P_{n1}/P_{n2}$) en een variabele $\alpha$ om de som van de AP-paren uit te drukken als een functie van kwadraten en rationale getallen.
• Structuur van het Magische Vierkant: Voor een $3 \times 3$ magisch vierkant van kwadraten moet de structuur voldoen aan specifieke lineaire relaties tussen de elementen. De auteur toont aan dat dit impliceert dat er drie verschillende AP-paren moeten bestaan met dezelfde som ($D_1$), gescheiden door twee andere AP's met een andere som ($D_2$).
• Algebraïsche Contradictie: Door de sommen van deze gespecificeerde AP's met elkaar te vergelijken en gebruik te maken van de afgeleide formules voor $\kappa$ en $\alpha$, wordt een complexe algebraïsche vergelijking opgesteld.

3. Belangrijkste Bijdragen

• Nieuwe Formuleringskader: Het paper introduceert een specifieke notatie en een wiskundig raamwerk voor "paren van opeenvolgende AP's met gelijke sommen" om het probleem van magische vierkanten aan te pakken.
• Lemma's over Sommen: Het bewijst dat voor de vereiste configuratie van een magisch vierkant, de sommen van de tussenliggende AP's ($\Sigma p_A$ en $\Sigma p_B$) noodzakelijkerwijs gelijk moeten zijn, ongeacht de specifieke rangschikking van de offsets.
• Analyse van Coëfficiënten: De auteur analyseert de polynoomvergelijking die ontstaat uit de somvergelijkingen. Het paper toont aan dat de coëfficiënten van oneven machten in deze vergelijkingen nul moeten zijn, wat leidt tot een strikte beperking op de parameters.

4. Resultaten

Het centrale resultaat is Stelling 3.1: Het is onmogelijk om een $3 \times 3$ magisch vierkant te construeren dat uitsluitend bestaat uit kwadraatgetallen.

Het bewijs verloopt via een reductio ad absurdum:

1. Men neemt aan dat zo'n vierkant bestaat.
2. Dit impliceert het bestaan van drie verschillende AP-paren ($P_1, P_2, P_3$) met dezelfde som.
3. Uit de algebraïsche afleidingen (vergelijkingen 29 en 30) volgt dat de verhouding $\beta_1$ (die de lengtes van de AP's relateert) gelijk moet zijn aan 1.
4. Als $\beta_1 = 1$, dan zijn de lengtes van de AP's gelijk, en door de somvergelijkingen volgt dat ook de offsets gelijk moeten zijn.
5. Dit leidt tot de conclusie dat $P_1 = P_2 = P_3$.
6. Dit is in tegenspraak met de initiële aanname dat de elementen van het magische vierkant distinct (verschillend) moeten zijn.
7. Daarom is de aanname fout; zo'n vierkant bestaat niet.

5. Significatie

• Oplossing van een Klassiek Probleem: Het paper claimt een definitief bewijs te leveren voor een probleem dat decennia lang open stond en waarvoor veel rekenkracht en semi-magische benaderingen zijn gebruikt zonder succes.
• Methodologische Innovatie: In plaats van puur numeriek zoeken of Diophantische vergelijkingen op te lossen, gebruikt het paper de structuur van arithmetische progressies om een algemene onmogelijkheid af te leiden.
• Beperkingen van Magische Vieren: Het bevestigt dat hoewel magische vierkanten van kwadraten bestaan voor orde $n \geq 4$, de $3 \times 3$ orde een fundamentele wiskundige barrière heeft die niet kan worden overwonnen met gehele kwadraten.

Conclusie: Oscar Hill levert een strikt algebraïsch bewijs dat de constructie van een $3 \times 3$ magisch vierkant met unieke kwadraatgetallen wiskundig onmogelijk is, door de inherente eigenschappen van de sommen van arithmetische progressies van oneven getallen te exploiteren.