🔢 mathematics

Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

Dit artikel toont aan dat Pythagorese drietallen kunnen worden gebruikt om matrices te genereren die voor elke permutatie van hun coëfficiënten gehele eigenwaarden bezitten.

Oorspronkelijke auteurs: Michael J. W. Hall

Gepubliceerd 2026-02-24

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Michael J. W. Hall

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een wiskundeleraar bent, net als de juffrouw Thornley uit het verhaal in dit artikel. Je wilt je leerlingen elke dag een snelle rekensom geven. Maar je wilt dat het antwoord altijd een heel getal is (geen breuken of decimalen), zodat ze het snel kunnen controleren.

Normaal gesproken is het lastig om willekeurige getallen te kiezen die als antwoord een heel getal opleveren. Maar in dit artikel beschrijft Michael Hall een magische truc. Hij laat zien hoe je een speciale "recept" kunt gebruiken om een blokje met vier getallen te maken, zodat elke manier waarop je die vier getallen in dat blokje schrijft, altijd een mooi, heel getal als antwoord geeft.

Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen.

1. Het Probleem: De Wiskundige Puzzel

In de wiskunde heb je zoiets als een matrix. Denk hierbij aan een klein raam met vier vakjes, waarin vier getallen staan:
$\begin{pmatrix} a & b \\ c & d \end{pmatrix}$
Elk van deze getallen is een "coëfficiënt". Als je met dit raam werkt, kun je lijnen op een vel papier rekken, draaien of spiegelen. De "eigenwaarden" zijn de factoren waarmee deze lijnen worden vergrotd of verkleind.

De uitdaging is: Hoe kies je vier getallen ( $a, b, c, d$ ) zodat, als je ze in dit raam zet, de "vergrotingsfactoren" (eigenwaarden) altijd hele getallen zijn?
Het lastige is: als je de getallen in het raam verwisselt (bijvoorbeeld $a$ en $b$ omruilen), verandert de vergrotingsfactor vaak. Meestal krijg je dan weer rare breuken.

2. De Oplossing: De Pythagorese Sleutel

De auteur zegt: "Gebruik de oude Griekse wiskunde!" Hij verwijst naar Pythagorese drietallen.
Ken je die? Dat zijn drie getallen die voldoen aan de stelling van Pythagoras ( $a^2 + b^2 = c^2$ ), zoals de zijden van een rechthoekige driehoek. Het bekendste voorbeeld is 3, 4 en 5 (want $3^2 + 4^2 = 9 + 16 = 25 = 5^2$ ).

Het artikel laat zien dat je deze drie getallen kunt gebruiken als een recept om die vier mysterieuze getallen voor je matrix te maken.

3. De Magische Truc: De "Drie Getallen" als Bouwstenen

Stel je voor dat je een set Lego-blokjes hebt: de getallen 3, 4 en 5.
De auteur zegt: "Neem deze drie getallen en bouw er vier nieuwe getallen mee."

Hoe werkt dat?

Je neemt de drie getallen van de driehoek: $r, s, t$ (bijvoorbeeld 3, 4, 5).
Je gebruikt een simpel recept om er vier nieuwe getallen van te maken: $a, b, c, d$ .
Het geheim is dat deze vier nieuwe getallen een balans hebben. Als je ze in je matrix plaatst, en je verwisselt ze willekeurig (bijvoorbeeld $a$ met $d$ , of $b$ met $c$ ), dan blijven de "vergrotingsfactoren" (eigenwaarden) altijd hele getallen.

Een voorbeeld uit het artikel:
Neem de beroemde driehoek: 5, 12, 13 (want $5^2 + 12^2 = 13^2$ ).
Als je dit als recept gebruikt, krijg je de vier getallen: 1, 6, 7, 12.

Nu komt het wonderlijke deel:
Je kunt deze vier getallen in je matrix op 24 verschillende manieren zetten (alle mogelijke volgordes).

Zet je ze als $\begin{pmatrix} 12 & 6 \\ 7 & 1 \end{pmatrix}$ ? De vergrotingsfactoren zijn hele getallen.
Zet je ze als $\begin{pmatrix} 6 & 1 \\ 7 & 12 \end{pmatrix}$ ? Ook hele getallen!
Zet je ze als $\begin{pmatrix} 7 & 12 \\ 1 & 6 \end{pmatrix}$ ? Nog steeds hele getallen!

Het is alsof je een sleutel hebt die op 24 verschillende sloten past, terwijl je maar één set van vier getallen gebruikt.

4. Waarom is dit handig? (De Leraar in de Klas)

Terug naar juffrouw Thornley.
Stel je hebt 24 leerlingen. In plaats van 24 verschillende sommen te bedenken, geef je ze allemaal dezelfde vier getallen: 1, 6, 7 en 12.

Leerling 1 krijgt de volgorde A.
Leerling 2 krijgt de volgorde B.
...
Leerling 24 krijgt de volgorde Z.

Elke leerling moet de "vergrotingsfactor" berekenen. Omdat de auteur een slimme manier heeft gevonden om deze getallen te kiezen, weet de leraar zeker dat iedereen een heel getal als antwoord krijgt. Geen gedoe met breuken, geen "hmm, is dit een heel getal?". Het is een perfecte manier om de klas snel bezig te houden met wiskunde die eruitziet als een raadsel, maar die altijd een mooi, schoon antwoord heeft.

5. De Diepere Laag: Oneindig veel mogelijkheden

Het artikel zegt ook dat dit niet alleen werkt met één paar getallen. Je kunt dit recept oneindig vaak herhalen.

Elke Pythagorese driehoek (3-4-5, 5-12-13, 8-15-17, enzovoort) geeft je een nieuwe set van vier getallen.
Je kunt zelfs de getallen in het recept een beetje aanpassen (zoals het artikel uitlegt met "breuken die je later weer vermenigvuldigt"), waardoor je uit één driehoek eigenlijk oneindig veel verschillende sets van vier getallen kunt halen.

Samenvatting in één zin

De auteur heeft een wiskundige "magie" ontdekt: als je de zijden van een rechthoekige driehoek met hele getallen gebruikt als basis, kun je een set van vier getallen maken die, ongeacht hoe je ze in een vierkantje schrijft, altijd leiden tot mooie, hele getallen als antwoord. Het is een slimme manier om wiskunde leuk, voorspelbaar en leerzaam te maken voor iedereen.

Titel: Matrices met gehele eigenwaarden voor alle permutaties van coëfficiënten

1. Probleemstelling

Het artikel adresseert een specifiek probleem binnen de lineaire algebra en het wiskundeonderwijs: het genereren van $2 \times 2$ matrices met gehele coëfficiënten ( $a, b, c, d$ ) waarbij alle $24$ mogelijke permutaties van deze coëfficiënten ook leiden tot matrices met gehele eigenwaarden.

In een onderwijscontext (zoals beschreven in de inleiding) is het nuttig om studenten verschillende matrices te geven die dezelfde set getallen bevatten, maar in verschillende volgorde, waarbij elke matrix toch "mooie" (gehele) oplossingen voor de eigenwaarden oplevert. Bestaande methoden genereren wel matrices met gehele eigenwaarden, maar behouden deze eigenschap niet noodzakelijk onder permutatie van de elementen. Het doel is dus een methode te vinden die deze permutatie-invariantie garandeert.

2. Methodologie en Afleiding

De auteur baseert de oplossing op de fundamentele vergelijking voor eigenwaarden van een $2 \times 2$ matrix $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ :
$\lambda^2 - (a+d)\lambda + (ad-bc) = 0$
De eigenwaarden zijn gehele getallen dan en slechts dan als de discriminant een kwadraat is van een geheel getal $u$ :
$u^2 = (a+d)^2 - 4(ad-bc) = (a-d)^2 + 4bc$

Om te garanderen dat alle permutaties van $\{a, b, c, d\}$ integer eigenwaarden hebben, moeten zes specifieke voorwaarden (vergelijkingen 1 t/m 6 in het artikel) tegelijkertijd gelden. Deze voorwaarden corresponderen met de verschillende manieren om de coëfficiënten te rangschikken.

De Ansatz:
De auteur introduceert een vereenvoudigende aanname (ansatz) om dit stelsel op te lossen:
$a + d = b + c = t$
waarbij $t$ een geheel getal is. Dit betekent dat de som van twee coëfficiënten gelijk is aan de som van de andere twee.

Onder deze aanname vereenvoudigen de voorwaarden voor de permutaties aanzienlijk:

De voorwaarden die betrekking hebben op de verschillen tussen coëfficiënten worden automatisch voldaan.
Het probleem reduceert tot het vinden van oplossingen voor twee vergelijkingen die leiden tot:
$u^2 - v^2 = 8(a-b)(b-d)$
$u^2 + v^2 = 2t^2$
Door substitutie ( $u=r+s, v=r-s$ ) leidt dit tot de fundamentele relatie:
$r^2 + s^2 = t^2$
Dit toont aan dat de oplossing direct gekoppeld is aan Pythagorese drietallen $(r, s, t)$ .

Constructie van de Coëfficiënten:
De coëfficiënten $a, b, c, d$ kunnen worden uitgedrukt in termen van een Pythagorees drietal $(r, s, t)$ en factoren $k, l$ (waarbij $kl = rs/2$):
$\{a, b, c, d\} = \left\{ \frac{t \pm k \pm l}{2} \right\}$

3. Belangrijkste Resultaten en Formules

De paper presenteert meerdere klassen van oplossingen:

De Canonieke Oplossing:
Door een specifieke keuze te maken voor $k$ en $l$ gebaseerd op de pariteit van $r, s$ en $t$ , ontstaat de eenvoudigste vorm:
$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$
Voorbeeld: Voor het drietal $(3, 4, 5)$ levert dit $\{5, 3, 2, 0\}$ op. Voor $(5, 12, 13)$ levert dit $\{12, 6, 7, 1\}$ op.
Alternatieve Parametrisatie:
Gebruikmakend van de standaard parametrisatie van Pythagorese drietallen ( $r = (f^2-g^2)h, s = 2fgh, t = (f^2+g^2)h$ ), kan de oplossing worden herschreven in een zeer compacte vorm voor willekeurige onderling ondeelbare gehele getallen $m$ en $n$ (met $n$ oneven):
$\{a, b, c, d\} = \{4m^2 \pm mn, \ n^2 \pm mn\}$
(eventueel vermenigvuldigd met een gemeenschappelijke factor $h$ ).
Oneindige Familie van Oplossingen:
De auteur toont aan dat zelfs voor niet-gehele rationale keuzes van de parameters $k$ en $l$ , door vermenigvuldiging met een geschikte factor, oneindig veel niet-triviale oplossingen gegenereerd kunnen worden. Een Pythagorees drietal kan dus een aftelbaar oneindige verzameling van dergelijke matrices genereren.
Eigenwaarden:
Voor de gegenereerde matrices zijn de eigenwaarden expliciet af te leiden en zijn ze ook gehele getallen. De paren eigenwaarden hangen af van de specifieke permutatie en de parameters $r, s, t, k, l$ . Bijvoorbeeld, voor de canonieke oplossing zijn de eigenwaarden gerelateerd aan $\{t \pm (r+s)/2\}$ en $\{t \pm (r-s)/2\}$ .

4. Bijdragen en Significatie

Efficiëntie: De methode is efficiënter dan bestaande methoden omdat één enkele keuze van parameters (een Pythagorees drietal) niet één, maar 24 verschillende matrices genereert die allemaal de gewenste eigenschap hebben.
Educatieve Toepassing: Het biedt leraars een krachtig hulpmiddel om klaslokaal oefeningen te creëren waarbij studenten verschillende matrices krijgen (via permutatie) die allemaal integer oplossingen hebben, wat de focus legt op het proces in plaats van op toevallige getallen.
Wiskundige Connectie: Het artikel legt een directe en elegante link tussen de theorie van Pythagorese drietallen (geometrie/getaltheorie) en de eigenschappen van matrices (lineaire algebra).
Generalisatie: Hoewel de focus ligt op $2 \times 2$ matrices, suggereert de auteur in de conclusie dat het zoeken naar oplossingen voor $3 \times 3$ matrices een interessante, maar complexere uitdaging is.

5. Conclusie

Michael J.W. Hall demonstreert dat Pythagorese drietallen de sleutel zijn tot het construeren van $2 \times 2$ matrices waarvan elke permutatie van de coëfficiënten leidt tot gehele eigenwaarden. Door de voorwaarde $a+d=b+c$ te stellen, reduceert het probleem zich tot de eigenschappen van Pythagorese drietallen. Dit resulteert in een eenvoudige, reproduceerbare formule die zowel canonieke als oneindig veel niet-triviale oplossingen genereert, met directe toepasbaarheid in het wiskundeonderwijs.