New properties of the $\varphi$-representation of integers

In dit artikel bewijzen de auteurs nieuwe eigenschappen van de $\varphi$-representatie van gehele getallen, waaronder een conjectuur van Kimberling uit 2012, met behulp van de theorema-prover Walnut en ChatGPT 5.

De kern

De Gouden Verdeling: Een Reis door de Wiskunde van de Gouden Snede

Stel je voor dat je een reusachtige, oneindige ladder hebt. Op elke sport van deze ladder staat een getal, maar niet zomaar een getal. Dit is de ladder van de Gouden Snede (in de wiskunde bekend als $\phi$, uitgesproken als 'fi'). Deze getallen zijn speciaal: ze zijn gebaseerd op de verhouding die je vaak ziet in de natuur, zoals in de schelp van een nautilus of de zaden in een zonnebloem.

Normaal gesproken tellen we in ons dagelijks leven met machten van 10 (1, 10, 100, 1000). Maar in dit paper onderzoeken de auteurs Jeffrey Shallit en Ingrid Vukusic wat er gebeurt als we tellen met machten van deze gouden getallen. Het is alsof we proberen elk heel getal (1, 2, 3, 4...) te bouwen met Lego-blokjes die niet in de standaardgrootte zijn, maar in de "gouden" grootte.

Hier is wat ze hebben ontdekt, vertaald naar begrijpelijke taal:

1. De Unieke Bouwstijl

Elk positief heel getal kan op precies één manier worden gebouwd met deze gouden blokjes. Het is net als een taal: er is maar één juiste zin om een idee uit te drukken. Als je een getal schrijft als een som van deze gouden machten, moet je een belangrijke regel volgen: je mag nooit twee blokjes naast elkaar gebruiken die "te dicht bij elkaar" zitten. Dit zorgt ervoor dat de constructie altijd uniek blijft.

2. De Spiegel-Geheimen (Kimberlings Voorspelling)

De auteurs hebben een raadsel opgelost dat in 2012 werd gesteld door een wiskundige genaamd Kimberling.

Stel je voor dat je een getal bouwt met deze gouden blokjes. Soms gebeurt er iets magisch: de constructie is spiegelbeeldig.

• Als je een blokje hebt op positie +3 (drie stappen naar rechts), moet er ook een blokje zijn op positie -3 (drie stappen naar links).
• Als er een blokje is op +4, moet er ook een zijn op -4.

Kimberling voorspelde dat als je zo'n "spiegel-geheel" getal hebt, je een truc kunt doen: je kunt alle posities verdubbelen (van +3 naar +6, van -3 naar -6) en het resultaat is nog steeds een heel getal.

• Voorbeeld: Het getal 25 heeft een spiegel-constructie. Als je de posities verdubbelt, krijg je een nieuw getal dat ook een heel getal is.
• De ontdekking: De auteurs hebben bewezen dat dit altijd waar is. Als je constructie perfect gespiegeld is, dan is het "verdubbelde" resultaat ook een heel getal.

3. De Digitale Detectives (Walnut en ChatGPT)

Hoe bewijzen ze dit? Ze gebruiken twee heel moderne hulpmiddelen, alsof ze digitale detectives zijn:

• Walnut: Dit is een slimme computerprogramma dat als een automaat werkt. Het kan oneindig veel patronen in getallen controleren. Het is alsof je een robot geeft die elke mogelijke manier om een getal te bouwen afloopt om te zien of er een regel wordt overtreden.
• ChatGPT 5: In één geval hebben ze zelfs een AI-assistent ingeschakeld om een bewijs te helpen schrijven. Het is een beetje alsof je een wiskundige met een supercomputer en een slimme chatbot laat samenwerken om een raadsel op te lossen.

4. De "Even" en "Oneven" Dans

Een ander interessant stukje van de puzzel gaat over de posities van de blokjes:

• Soms zitten alle blokjes op even posities (zoals 2, 4, 6 of -2, -4, -6).
• Soms zitten ze op oneven posities (1, 3, 5...).

De auteurs ontdekten een grappige wet:

• Je kunt getallen bouwen die alleen uit even posities bestaan.
• Je kunt nooit een getal bouwen dat alleen uit oneven posities bestaat. Het is alsof je probeert een muur te bouwen met alleen bakstenen van een vreemd formaat; het lukt simpelweg niet om de muur recht te krijgen zonder een "even" steen erin te stoppen.
• Wel kunnen ze getallen vinden die bijna perfect zijn: ze hebben één even steen en de rest oneven, of één oneven steen en de rest even. Ze hebben zelfs de exacte lijsten gemaakt van welke getallen dit doen.

Waarom is dit belangrijk?

Op het eerste gezicht klinkt dit als abstracte wiskunde die niemand nodig heeft. Maar dit soort patronen helpt ons te begrijpen hoe getallen "werken" in de diepste laag van de wiskunde. Het laat zien dat er verborgen symmetrieën zijn in de getallenwereld, net zoals er symmetrie is in de natuur.

Kortom: Dit paper is een reis door een wonderlijk landschap waar getallen worden gebouwd met de gouden snede. De auteurs hebben bewezen dat als je deze gebouwen in een spiegelbeeld bouwt, ze een speciale "verdubbelingskracht" hebben, en ze hebben met de hulp van slimme computers de regels van dit landschap volledig in kaart gebracht.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "New properties of the φ-representation of integers" van Jeffrey Shallit en Ingrid Vukusic, geschreven in het Nederlands.

Titel: Nieuwe eigenschappen van de φ-representatie van gehele getallen

Auteurs: Jeffrey Shallit en Ingrid Vukusic
Institution: Universiteit van Waterloo (en Universiteit van York)
Datum: 12 maart 2026

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de φ-representatie (gouden snede-representatie) van gehele getallen, waarbij $\phi = (1 + \sqrt{5})/2$.

• Definitie: Volgens Bergman (1971) kan elk positief geheel getal $x$ uniek worden weergegeven als een som van verschillende machten van $\phi$: $x = \sum e_i \phi^i$, waarbij $e_i \in \{0, 1\}$ en er geen twee opeenvolgende 1'en zijn ($e_i e_{i-1} = 0$).
• Context: Deze representatie is een speciaal geval van $\beta$-numerasiesystemen. De auteurs focussen op de eigenschappen van deze representaties voor natuurlijke getallen, met name de symmetrie van de exponenten en de relatie met de Zeckendorf-representatie (Fibonacci-som).
• Specifiek doel: Het bewijzen van een langdurig vermoeden van Clark Kimberling (2012) en het ontdekken van nieuwe structurele eigenschappen van getallen met specifieke patronen in hun exponenten (bijv. alleen even of alleen oneven exponenten).

2. Methodologie

De auteurs combineren traditionele wiskundige bewijstechnieken met geautomatiseerd redeneren:

• Walnut Theorem-Prover: Een open-source tool voor het bewijzen van stellingen over automatische rijen. De auteurs gebruiken een reeds bestaande eindige automaat genaamd saka (ontwikkeld in eerdere werk van Shallit) die de relatie controleert tussen een getal $n$ in Zeckendorf-notatie en zijn φ-representatie.
• Automaten en Reguliere Expressies: Ze definiëren reguliere expressies om specifieke patronen in de binaire strings (die de Zeckendorf-representaties voorstellen) te identificeren, zoals het aantal 1'en op even of oneven posities.
• ChatGPT 5: In één specifiek bewijs (Theorema 8, deel a) werd ChatGPT 5 ingezet als hulpmiddel om een "conventioneel" wiskundig bewijs te genereren, wat de auteurs vervolgens verifieerden.
• Galois-conjugatie: Traditionele algebraïsche methoden worden gebruikt om eigenschappen van $\phi$ en zijn geconjugeerde $\bar{\phi} = (1 - \sqrt{5})/2$ te analyseren.

3. Belangrijkste Bijdragen en Resultaten

A. Bewijs van het Vermoeden van Kimberling (Theorema 5)

Kimberling vermoedde in 2012 dat een verzameling $S$ van natuurlijke getallen (OEIS A178482) precies bestaat uit die getallen waarvan de φ-representatie antipalindromisch is (als $t$ een exponent is, dan is ook $-t$ een exponent).

• Stelling: Een getal $n$ behoort tot $S$ dan en slechts dan als het getal dat ontstaat door elke exponent $t$ in de φ-representatie te vervangen door $2t$, een geheel getal is.
• Bewijs: De auteurs tonen aan dat een φ-representatie antipalindromisch is dan en slechts dan als alle exponenten even zijn. Als alle exponenten even zijn, is de som van de machten van $\phi^2$ (wat ook een geheel getal is) een geheel getal.

B. Eigenschappen van Even en Oneven Exponenten (Theorema 8)

De auteurs onderzoeken of er getallen bestaan waarvan de φ-representatie alleen uit even of alleen uit oneven exponenten bestaat.

• Resultaat: Er bestaan geen gehele getallen waarvan de φ-representatie uitsluitend uit oneven exponenten bestaat.
• Structuur: Voor $n \geq 2$ is de kleinste exponent in de canonieke φ-representatie altijd even (namelijk $-2i$). De negatieve delen van de representatie corresponderen met binaire strings zonder opeenvolgende 1'en die eindigen op een 1 en een even lengte hebben.

C. Getallen met Precies Één Even Exponent (Theorema 9)

• Karakterisering: De auteurs identificeren de verzameling getallen waarvan de φ-expansie precies één even exponent bevat.
• Automaten: Ze construeren een Deterministische Eindige Automaat (DFA) die de Zeckendorf-representaties van deze getallen accepteert.
• Wiskundige Relatie: Een getal $n$ behoort tot deze verzameling dan en slechts dan als $n-1$ de som is van verschillende Lucas-getallen met oneven index ($L_{2i+1}$).

D. Getallen met Precies Één Oneven Exponent (Theorema 10)

• Karakterisering: Analoge resultaten worden gepresenteerd voor getallen met precies één oneven exponent.
• Resultaat: Voor deze getallen is de enige oneven exponent altijd gelijk aan 1.
• Wiskundige Relatie: $n$ heeft deze eigenschap dan en slechts dan als $n-2$ de som is van verschillende Lucas-getallen met even index ($L_{2i}$ voor $i \geq 2$).

E. Getallen met Precies Twee Oneven Exponenten (Theorema 11)

• Structuur: Als een getal precies twee oneven exponenten heeft, moeten deze paren zijn van de vorm $(3, 1)$ of $(2i+1, 1-2i)$ voor $i \geq 1$.
• Existentie: De auteurs bewijzen dat elk van deze paren daadwerkelijk voorkomt in de φ-representatie van bepaalde gehele getallen.

4. Significatie en Impact

• Verificatie van Vermoedens: Het artikel sluit een gat in de literatuur door het Kimberling-vermoeden rigoureus te bewijzen, wat de structuur van de verzameling A178482 volledig verklaart.
• Methodologische Vooruitgang: Het werk demonstreert de kracht van het combineren van formele taaltheorie (automaten) met getaltheorie. Het gebruik van Walnut maakt het mogelijk om complexe eigenschappen van getallenrijen te verifiëren die met handmatige berekeningen moeilijk te doorgronden zijn.
• Nieuwe Inzichten: De paper biedt een diep inzicht in de relatie tussen de φ-representatie, Fibonacci-getallen en Lucas-getallen. De karakterisering van getallen op basis van de pariteit van hun exponenten biedt nieuwe perspectieven op de structuur van $\mathbb{Z}[\phi]$.
• AI in Wiskunde: Het artikel is een vroeg voorbeeld van het succesvolle gebruik van generatieve AI (ChatGPT 5) als assistent bij het opstellen van formele wiskundige bewijzen, hoewel de auteurs benadrukken dat de verificatie en de uiteindelijke validatie door de menselijke auteurs zijn uitgevoerd.

Conclusie

Shallit en Vukusic leveren een grondige analyse van de φ-representatie van gehele getallen. Door een hybride aanpak van traditionele wiskunde en geautomatiseerd redeneren, bewijzen ze een belangrijk vermoeden en onthullen ze nieuwe patronen in de exponenten van deze representaties. De resultaten verbinden de theorie van $\beta$-expansies direct met de eigenschappen van Fibonacci- en Lucas-getallen, wat waardevolle inzichten biedt voor de getaltheorie en de theorie van automatische rijen.