Ratio of sum of digits functions in two bases

Stel je voor dat je een digitale detective bent die een code probeert te kraken die verborgen zit in getallen. In de wereld van de wiskunde kan elk getal op verschillende manieren worden opgeschreven, in verschillende "talen" die basissen worden genoemd. De meest gebruikte is grondvest 10, waarbij we cijfers 0 tot en met 9 gebruiken. Maar je zou net zo goed in grondvest 2 kunnen schrijven (waarbij je alleen 0's en 1's gebruikt) of in grondvest 3 (met 0, 1 en 2). Beschouw een grondvest als een andere set bouwstenen: in grondvest 10 is een getal een toren van blokken waarbij elk niveau een macht van 10 vertegenwoordigt; in grondvest 2 is het een toren van machten van 2.

Stel je nu voor dat je een speciaal hulpmiddel hebt dat de totale waarde van alle blokken in de toren van een getal optelt. Wiskundigen noemen dit de "som van de cijfers". Als je het getal 19 neemt, is dat in grondvest 10 gelijk aan $1 + 9 = 10$. Maar als je 19 in grondvest 2 schrijft, ziet het eruit als $10011_2$, en de som van die cijfers is $1+0+0+1+1 = 3$. De grote vraag die wiskundigen al decennia lang bezighoudt is: wat gebeurt er als je deze sommen over twee totaal verschillende talen heen vergelijkt? Als je twee grondvesten kiest die geen eenvoudige wiskundige relatie delen (zoals 2 en 3, of 5 en 7), komen de sommen van hun cijfers dan ooit perfect overeen? Halen ze ooit een specifieke ratio, zoals de ene precies twee keer de andere is? Dit is niet alleen een spelletje met getallen; het raakt aan diepe mysteries over hoe willekeur en orde naast elkaar bestaan in de wiskunde, wat ons helpt de verborgen structuur van de meest fundamentele bouwstenen van het universum te begrijpen.

Dit artikel, geschreven door Pascal Jelinek, duikt direct in dat mysterie. De auteur bewijst een krachtige nieuwe regel over hoe deze cijfersommen zich gedragen wanneer je wisselt tussen twee "onafhankelijke" grondvesten. Voorheen wisten we dat de ratio van deze sommen willekeurig dicht bij elk positief getal kon komen, maar we wisten niet of ze ook daadwerkelijk elk rationaal getal (zoals 1/2, 3/4 of 7/11) exact konden raken. Jelinek laat zien dat ze dat wel doen. Sterker nog, voor elke twee grondvesten die multiplicatief onafhankelijk zijn (wat betekent dat de ene niet simpelweg een macht van de andere is, zoals 2 en 4), en voor elke doelratio die je ook maar kunt noemen, zijn er oneindig veel getallen waarbij de som van de cijfers in de eerste grondvest gedeeld door de som van de cijfers in de tweede grondvest exact die ratio is.

Het artikel zegt niet alleen "het gebeurt"; het biedt een rigoureus wiskundig bewijs dat dit oneindig vaak gebeurt. Het geeft zelfs een formule om te schatten hoeveel van zulke getallen je kunt vinden onder een bepaalde grootte, wat aantoont dat hoewel ze zeldzaam kunnen zijn, ze er absoluut zijn. De auteur lost ook de andere kant van de medaille op: wat als de grondvesten wél gerelateerd zijn, zoals grondvest 4 en grondvest 16? In dat geval bewijst het artikel dat de ratio slechts binnen een specifieke, beperkte reeks kan vallen, en beschrijft het precies welke ratio's mogelijk zijn en welke onmogelijk zijn.

Om dit te visualiseren, stel je twee verschillende soorten dobbelstenen voor. De ene dobbelsteen heeft zijden genummerd van 0 tot 9 (grondvest 10), en de andere heeft zijden van 0 tot 2 (grondvest 3). Je rolt een aantal keren om een getal te bouwen. De "som van de cijfers" is simpelweg de totale score die je krijgt. Jelineks werk is als het bewijzen dat ongeacht welke score-ratio je wilt bereiken tussen de twee dobbelstenen (bijvoorbeeld de grondvest 10 score is altijd 1,5 keer de grondvest 3 score), er een oneindige reeks worpen zal zijn die die exacte ratio laat ontstaan. Hij bewijst ook dat als de dobbelstenen op de een of andere manier aan elkaar gekoppeld zijn (zoals wanneer de ene gewoon een herverpakte versie van de andere is), je niet elke ratio kunt bereiken; je zit dan vast aan een specifieke set uitkomsten.

Het bewijs is een meesterwerk in het gebruik van "arithmetische progressies". Denk hierbij aan een rij getallen waarbij elke stap even groot is, zoals 5, 10, 15, 20. De auteur laat zien dat als je het juiste startpunt en de juiste stapgrootte kiest, de cijfersommen langs die lijn op een zeer voorspelbare, bijna magische manier gedrag vertonen. Ze verdelen zich gelijkmatig over alle mogelijke resten, waardoor de auteur de getallen kan "afstemmen" totdat de ratio de doelstelling perfect raakt. Deze methode breidt eerder werk uit dat alleen problemen voor specifieke gevallen oploste (zoals grondvest 2 en grondvest 3) naar een algemene regel die werkt voor bijna elk paar grondvesten dat je je kunt voorstellen.

In het geval van afhankelijke grondvesten (zoals grondvest 4 en grondvest 16), fungeert het artikel als een strikte bewaker. Het bewijst dat je niet elke ratio kunt bereiken. Bijvoorbeeld, als je grondvest $b^k$ en grondvest $b^\ell$ vergelijkt, is de ratio van de cijfersommen gevangen tussen $1/(b^\ell - 1)$ en $b^k - 1$. De auteur demonstreert dat elk rationaal getal binnen deze gevangenis oneindig vaak bereikbaar is, maar niets daarbuiten mogelijk is. Dit geeft ons een volledige kaart van het gebied: we weten nu precies welke ratio's mogelijk zijn en welke verboden zijn, afhankelijk van de relatie tussen de twee grondvesten.

Dus, wat is de kernboodschap? Als je twee grondvesten kiest die wiskundig gezien "vreemden" voor elkaar zijn, is het universum van getallen rijk genoeg om een oneindige voorraad getallen te bevatten die elke cijfersom-ratio voldoen die je ook maar kunt bedenken. Als de grondvesten "verwanten" zijn, zijn de mogelijkheden beperkter, maar nog steeds perfect voorspelbaar. Jelineks werk verandert een vage hoop dat "misschien deze ratio's bestaan" in een concreet, bewezen feit, en vult de ontbrekende stukjes in van een puzzel waar wiskundigen jarenlang over hebben gepuzzeld. Het is een herinnering dat zelfs in de rigide wereld van gehele getallen, er een verrassende hoeveelheid flexibiliteit en oneindige variëteit te ontdekken valt.