Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

Stel je voor dat je een gigantische zak genummerde blokken hebt. Jouw taak is om "torens" (wat wiskundigen partities noemen) te bouwen door de blokken op te stapelen zodat hun totale som gelijk is aan een specifiek getal, zeg $n$.

Normaal gesproken kun je de blokken op de manier stapelen die je wilt. Maar in dit artikel spelen we een heel specifief spel met een speciale regel: Je mag alleen "oneven" genummerde blokken (1, 3, 5, enz.) maximaal twee keer gebruiken in een enkele toren. Je kunt "even" genummerde blokken (2, 4, 6, enz.) zo vaak gebruiken als je wilt.

Laten we het aantal verschillende torens dat je voor een getal $n$ kunt bouwen, de waarde $a(n)$ noemen.

Het Mysterie

Een wiskundige genaamd Merca merkte op dat dit spel vreemd was. Hij ontdekte dat wanneer je probeert torens te bouwen voor getallen die eruitzien als $4n + 2$ (zoals 2, 6, 10, 14...) of $4n + 3$ (zoals 3, 7, 11, 15...), het totaal aantal manieren om ze te bouwen altijd een even getal is.

In wiskundige termen bewees hij:

• $a(4n + 2)$ is deelbaar door 2.
• $a(4n + 3)$ is deelbaar door 2.

Merca bewees dit met een zeer krachtige, geautomatiseerde computerachtige methode. Hoewel correct, was het alsof hij een puzzel oploste door middel van brute kracht; het legde niet uit waarom het antwoord even was. Hij vroeg om een "klassiek" of "elementair" bewijs — een eenvoudige, logische uitleg die een mens kan volgen zonder supercomputer.

James Sellers, de auteur van dit artikel, zegt: "Uitdaging geaccepteerd!" Hij biedt twee eenvoudige manieren om dit te bewijzen.

---

Methode 1: Het "Magische Filter" (Genererende Functies)

Denk aan een genererende functie als een magische machine die een lijst met getallen neemt en er een gigantisch algebraïsch recept (een polynoom) van maakt. Als je dit recept uitwerkt, vertelt het aantal keren dat een specifieke term voorkomt je hoeveel torens er bestaan.

Merca's oorspronkelijke recept voor dit probleem was ongelooflijk complex en rommelig, zoals een handleiding van 20 pagina's met honderden stappen.

Sellers' eerste bewijs is als het vinden van een vereenvoudigde versie van die handleiding.

1. Hij neemt het complexe recept en gebruikt een paar slimme algebraïsche trucs (genaamd "dissecties") om het in stukken te snijden.
2. Hij splitst het recept op in twee delen: één voor even getallen en één voor oneven getallen.
3. Wanneer hij specifiek naar de delen voor $4n+2$ en $4n+3$ kijkt, ontdekt hij iets verbazingwekkends: het hele recept voor deze specifieke get numbers heeft een "2" voor zich staan.

De Analogie: Stel je voor dat je koekjes bakt. Het originele recept zegt: "Meng bloem, suiker, eieren en een geheim ingrediënt." Sellers' bewijs laat zien dat voor de specifieke batch koekjes gelabeld "4n+2", het recept eigenlijk zegt: "Neem 2 batches van dit mengsel."
Als je 2 batches hebt, heb je automatisch een even aantal koekjes. Hoe je ze ook telt, het totaal is even. Dit bewijst de regel simpelweg door naar de structie van het recept te kijken.

---

Methode 2: De "Vierkantenspeurtocht" (Theta-functies)

Het tweede bewijs is meer als een detectiveverhaal dat draait om vierkanten.

Sellers verbindt het torenbouwspel aan een speciaal wiskundig object genaamd een Theta-functie. Denk aan deze functie als een zaklamp die alleen schijnt op getallen die op een zeer specifieke manier kunnen worden geschreven: $3k^2 + 2k$ (waarbij $k$ een heel getal is).

• Als een getal aan deze vorm voldoet, schijnt de zaklamp (de waarde is 1).
• Als het niet voldoet, blijft de zaklamp uit (de waarde is 0).

Het bewijs koppelt de telling van de torens ($a(n)$) vervolgens aan deze zaklampgetallen. Het blijkt dat het aantal torens voor $n$ gerelateerd is aan een som van deze zaklampgetallen.

Het Detectiewerk:
Sellers vraagt: "Kunnen de getallen $4n + 2$ of $4n + 3$ ooit voldoen aan de vorm $3k^2 + 2k$?"

• Hij doet een snelle berekening en realiseert zich dat als $4n + 2$ aan de vorm zou voldoen, het een getal zou moeten zijn dat, wanneer vermenigvuldigd met 3 en opgeteld met 1, een volledig kwadraat wordt.
• Echter, hij controleert de wiskunde en vindt dat $4n + 2$ (en $4n + 3$) altijd resulteren in getallen die geen volledige kwadraten kunnen zijn (ze laten een restwaarde van 3 of 2 achter bij deling door 4, en kwadraten doen dat nooit).

De Conclusie:
Omdat de zaklamp nooit aangaat voor deze specifieke getallen (de waarde is altijd 0), wordt de som die het aantal torens bepaalt nul (of even).

De Analogie: Stel je voor dat je een specifieke sleutel probeert te vinden in een enorme stapel sleutels. De "sleutel" waar je naar zoekt, bestaat alleen als het een perfect kwadraat is. Je controleert de getallen 2, 6, 10, 14... en realiseert je dat geen van deze getallen een perfect kwadraat is. Daarom bestaat de sleutel niet. Als de sleutel niet bestaat, is de "telling" van de sleutels nul. Omdat nul een even getal is, klopt de regel.

Samenvatting

Het artikel zegt niet alleen "het is waar omdat een computer dat zei." In plaats daarvan biedt het twee duidelijke, menselijk leesbare redenen:

1. De Receptmethode: De wiskundige formule voor deze getallen heeft letterlijk een "2" voor zich staan, wat een even resultaat garandeert.
2. De Kwadraatmethode: De getallen in kwestie ($4n+2$ en $4n+3$) zijn wiskundig gezien "verboden" om perfecte kwadraten te zijn, wat de telling van de partities even dwingt te zijn.

Beide methoden bevestigen Merca's observatie met behulp van eenvoudige, klassieke logica in plaats van complexe automatisering.