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

In diesem Artikel werden neue Eigenschaften der $\varphi$-Darstellung von ganzen Zahlen bewiesen, wobei insbesondere eine 2012 von Kimberling aufgestellte Vermutung bestätigt wird, wofür die Theorembeweiser Walnut und ChatGPT 5 eingesetzt wurden.

Das Wesentliche

Stellen Sie sich vor, Zahlen sind wie Musiknoten. Normalerweise schreiben wir Zahlen im Dezimalsystem (1, 2, 3...), was sich anfühlt wie ein Takt mit 10 Schlägen. Aber in diesem Papier untersuchen die Autoren Jeffrey Shallit und Ingrid Vukusic eine ganz andere Art, Zahlen zu „spielen": das Goldene-Verhältnis-System (oder φ-System).

Hier ist die einfache Erklärung, was sie entdeckt haben, ohne die komplizierte Mathematik:

1. Die neue Art zu zählen: Das Goldene Verhältnis

Statt auf der Basis 10 zu zählen, nutzen wir die Zahl $\phi$ (Phi), die etwa 1,618 ist. Das ist die „Goldene Zahl", die man oft in der Natur (bei Schneckenhäusern oder Sonnenblumen) findet.

In unserem normalen System ist eine Zahl wie 5 einfach $100_2$(in Binär) oder$5$ (in Dezimal). Im Phi-System wird 5 so geschrieben:
$$5 = \phi^3 + \phi^{-1} + \phi^{-4}$$
Das klingt verwirrend, aber stellen Sie sich das wie einen Kochrezept vor:

• Statt „3 Tassen Mehl und 2 Eier" sagen wir: „Nimm ein großes Stück von der goldenen Zahl hoch 3, ein kleines Stück von der goldenen Zahl hoch -1 und noch ein winziges Stück von der goldenen Zahl hoch -4."
• Das Besondere: Man darf keine zwei benachbarten Potenzen verwenden (wie $\phi^3$ und $\phi^2$ gleichzeitig). Das ist die Regel, damit jede Zahl nur eine eindeutige „Rezeptur" hat.

2. Der „Spiegel"-Effekt (Kimberlings Vermutung)

Die Autoren haben sich eine sehr spezielle Gruppe von Zahlen angesehen. Sie nennen sie Shevelevs Menge.

Stellen Sie sich vor, Sie schreiben die Exponenten (die Hochzahlen) in Ihrem Rezept auf.

• Bei der Zahl 25 lautet das Rezept: $\phi^6 + \phi^4 + \phi^{-4} + \phi^{-6}$.
• Sehen Sie das Muster? Die Zahlen 6 und 4 sind da, und ihre „Spiegelbilder" -6 und -4 sind auch da. Es ist wie ein perfekter Spiegel: Wenn eine positive Zahl im Rezept vorkommt, kommt auch ihre negative Version vor.

Ein Wissenschaftler namens Kimberling hatte 2012 eine Vermutung aufgestellt:

„Wenn eine Zahl diesen perfekten Spiegel-Effekt hat, dann ist sie eine 'magische' Zahl."

Was macht diese Zahl magisch? Wenn man alle Exponenten im Rezept verdoppelt (also aus $\phi^6$ ein $\phi^{12}$ macht und aus $\phi^{-4}$ ein $\phi^{-8}$), dann ist das Ergebnis immer noch eine ganze Zahl (wie 54), keine krumme Dezimalzahl.

Das Ergebnis des Papiers: Die Autoren haben bewiesen, dass Kimberling recht hatte! Wenn der Spiegel-Effekt da ist, ist das verdoppelte Rezept immer eine ganze Zahl.

3. Der digitale Detektiv: Walnut und ChatGPT

Wie haben sie das bewiesen? Sie haben nicht nur mit Stift und Papier gerechnet. Sie haben einen digitalen Detektiv namens Walnut eingesetzt.

• Walnut ist ein Computerprogramm, das wie ein super-intelligenter Roboter-Logiker funktioniert. Es kann riesige Mengen an Zahlenmustern durchsuchen und prüfen, ob eine Regel immer gilt.
• In einem Teil des Beweises haben sie sogar ChatGPT (eine KI) um Hilfe gebeten, um einen klassischen mathematischen Beweis zu formulieren.

Stellen Sie sich vor, Sie wollen beweisen, dass alle Schwäne weiß sind. Anstatt jeden Schwan auf der Welt zu sehen, gibt Ihnen Walnut eine Liste von Mustern und sagt: „Ich habe alle 10.000.000 Fälle geprüft, und in keinem einzigen Fall war der Schwan schwarz."

4. Weitere Entdeckungen: Die „Einzel-Exponenten"-Klub

Das Papier untersucht auch Zahlen, die nur ein einziges „ungerades" Exponenten im Rezept haben.

• Beispiel: Die Zahl 2 hat das Rezept $\phi^1 + \phi^{-2}$. Hier ist die „1" der einzige ungerade Exponent.
• Die Autoren haben gezeigt, dass diese Zahlen eine ganz bestimmte Struktur haben. Sie können sie fast wie ein Puzzle zusammenbauen: Man nimmt bestimmte „Lucas-Zahlen" (eine Verwandte der Fibonacci-Zahlen) und addiert sie.

Sie haben sogar automatische Maschinen (sogenannte endliche Automaten) gezeichnet, die wie Schalter-Boxen funktionieren. Wenn man eine Zahl in diese Box wirft, leuchtet ein Licht auf, wenn die Zahl zu diesem speziellen „Einzel-Exponenten-Klub" gehört.

Zusammenfassung für den Alltag

Stellen Sie sich vor, Zahlen sind wie DNA-Stränge.

1. Normalerweise lesen wir sie im Standard-Code (Dezimal).
2. Diese Autoren haben einen neuen Code (Phi) entwickelt, der sich wie ein Spiegel verhält.
3. Sie haben bewiesen: Wenn der Code perfekt gespiegelt ist, dann funktioniert er auch, wenn man ihn „auf die zweite Potenz" hebt (verdoppelt).
4. Sie haben Computer-KIs benutzt, um diese Regeln zu überprüfen, und haben neue, seltsame Familien von Zahlen entdeckt, die nur einen „Fehler" (einen ungeraden Exponenten) in ihrem Code haben.

Es ist ein Beweis dafür, dass selbst in der abstraktesten Welt der Mathematik (Zahlen, die aus irrationalen Wurzeln bestehen) es perfekte, symmetrische Muster gibt, die man mit Hilfe moderner Computer-Tools entschlüsseln kann.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Titel: Neue Eigenschaften der $\phi$-Darstellung von ganzen Zahlen

Autoren: Jeffrey Shallit und Ingrid Vukusic
Datum: 12. März 2026

---

1. Problemstellung und Hintergrund

Das Papier untersucht die $\phi$-Darstellung (auch bekannt als Goldene-Schnitt-Darstellung) von ganzen Zahlen, wobei $\phi = (1 + \sqrt{5})/2$ der Goldene Schnitt ist.

• Grundlage: Nach einem Ergebnis von Bergman (1957) lässt sich jede positive ganze Zahl $x$ eindeutig als endliche Summe verschiedener Potenzen von $\phi$ darstellen: $x = \sum e_i \phi^i$ mit $e_i \in \{0, 1\}$.
• Eindeutigkeitsbedingung: Um die Eindeutigkeit zu gewährleisten, darf keine zwei aufeinanderfolgenden Koeffizienten gleich 1 sein ($e_i e_{i-1} = 0$).
• Ziel: Die Autoren untersuchen neue strukturelle Eigenschaften dieser Darstellungen, insbesondere im Hinblick auf die Symmetrie der Exponenten (Antipalindromie) und die Parität (Geradzahligkeit/Ungeradzahligkeit) der Exponenten.

Ein zentrales Motiv ist die Überprüfung einer 2012 von Clark Kimberling aufgestellten Vermutung bezüglich einer speziellen Menge $S$ ganzer Zahlen (OEIS A178482), die durch Shevelev definiert wurde.

2. Methodik

Die Autoren kombinieren zwei Hauptansätze:

1. Klassische mathematische Beweise: Verwendung von Eigenschaften der Fibonacci-Zahlen ($F_n$) und Lucas-Zahlen ($L_n$), sowie der Galois-Konjugation (Austausch von $\phi$ gegen $\bar{\phi} = (1-\sqrt{5})/2$).
2. Automatisierte Theorembeweiser (Walnut): Ein Großteil der Beweise wird mit Walnut, einem Open-Source-Tool für die Verifikation von Aussagen über automatische Folgen, durchgeführt.
   • Zeckendorf-Darstellung: Walnut arbeitet intern mit der Zeckendorf-Darstellung (Summe nicht-adjazenter Fibonacci-Zahlen) ganzer Zahlen.
   • Endliche Automaten: Die Autoren konstruieren endliche Automaten (DFA), die prüfen, ob eine gegebene Zeckendorf-Darstellung einer Zahl $n$ zu einer spezifischen $\phi$-Darstellung (als Binärstring $x.y^R$ kodiert) passt.
   • Logische Formeln: Eigenschaften werden als Prädikatenlogik-Formeln kodiert, die Walnut dann verifiziert (TRUE/FALSE).
   • Anmerkung: In einem der Beweise (Theorem 8a) wurde zudem ChatGPT 5 als Hilfsmittel zur Generierung eines klassischen Beweises eingesetzt.

3. Schlüsselbeiträge und Ergebnisse

A. Beweis der Kimberling-Vermutung (Theorem 5)

Die Vermutung besagte, dass eine ganze Zahl $n$ genau dann zur Menge $S$ gehört (d.h. ihre $\phi$-Darstellung ist antipalindromisch, d.h. $t$ ist ein Exponent genau dann, wenn $-t$ auch einer ist), wenn die Zahl, die durch Verdopplung aller Exponenten in der $\phi$-Darstellung entsteht, ebenfalls eine ganze Zahl ist.

• Ergebnis: Die Autoren beweisen dies rigoros.
• Logik:
  • Lemma 2 zeigt: Eine antipalindromische $\phi$-Darstellung repräsentiert genau dann eine ganze Zahl, wenn alle Exponenten gerade sind.
  • Lemma 3 zeigt: Wenn alle Exponenten gerade sind, ist die Zahl genau dann eine ganze Zahl, wenn die Darstellung antipalindromisch ist.
  • Durch Kombination folgt: $n \in S \iff$ alle Exponenten in $n$'s Darstellung sind gerade $\iff$ die verdoppelte Exponenten-Reihe ergibt eine ganze Zahl.

B. Struktur der Exponenten (Theorem 8)

Die Autoren charakterisieren die negativen Teile der kanonischen $\phi$-Darstellungen:

• Satz: Für $n \ge 2$ ist die Länge des negativen Teils der Darstellung immer positiv und gerade.
• Folgerung: Es gibt keine ganzen Zahlen, deren $\phi$-Darstellung ausschließlich aus ungeraden Exponenten besteht.
• Beweis: Ein klassischer Beweis (unterstützt durch ChatGPT 5) nutzt die Galois-Konjugation, um einen Widerspruch zu zeigen, falls der kleinste Exponent ungerade wäre.

C. Mengen mit genau einem geraden/ungeraden Exponenten (Theorem 9 & 10)

Die Arbeit klassifiziert Zahlen basierend auf der Anzahl der geraden bzw. ungeraden Exponenten in ihrer $\phi$-Darstellung:

• Theorem 9 (Genau ein gerader Exponent):
  • Eine Zahl $n$ hat genau einen geraden Exponenten in ihrer $\phi$-Darstellung genau dann, wenn $n-1$ eine Summe verschiedener ungeradzahliger Lucas-Zahlen ($L_{2i+1}$) ist.
  • Ein endlicher Automat (DFA) für diese Menge wurde konstruiert.
• Theorem 10 (Genau ein ungerader Exponent):
  • Eine Zahl $n$ hat genau einen ungeraden Exponenten genau dann, wenn $n-2$ eine Summe verschiedener geradzahliger Lucas-Zahlen ($L_{2i}$ für $i \ge 2$) ist.
  • In diesem Fall ist der einzige ungerade Exponent immer 1.
  • Auch hier wurde ein DFA konstruiert und die Eigenschaft mit Walnut verifiziert.

D. Mengen mit genau zwei ungeraden Exponenten (Theorem 11)

• Ergebnis: Wenn eine Zahl genau zwei ungerade Exponenten hat, müssen diese entweder $\{3, 1\}$ oder $\{2i+1, 1-2i\}$ für $i \ge 1$ sein.
• Die Existenz von Zahlen für beide Fälle wurde ebenfalls mit Walnut bewiesen.

4. Signifikanz und Bedeutung

• Lösung offener Probleme: Die Arbeit löst eine seit 2012 bestehende Vermutung von Kimberling, die eine tiefe Verbindung zwischen der Symmetrie der Exponenten und der Integrität transformierter Darstellungen herstellt.
• Methodologischer Fortschritt: Das Papier demonstriert effektiv die Kraft des automatisierten Theorembeweisens (Walnut) in der Zahlentheorie, insbesondere bei Problemen, die mit numerischen Systemen und Automaten verbunden sind. Es zeigt, wie komplexe Eigenschaften von $\phi$-Darstellungen in reguläre Sprachen und endliche Automaten übersetzt werden können.
• Strukturelle Einsichten: Die Ergebnisse liefern ein tiefes Verständnis der Verteilung von geraden und ungeraden Exponenten in $\phi$-Darstellungen und verknüpfen diese eng mit den Lucas-Zahlen.
• Kollaborative KI-Nutzung: Der explizite Einsatz von ChatGPT 5 zur Unterstützung eines klassischen Beweises markiert einen interessanten Schritt in der modernen mathematischen Forschung, wo KI als Werkzeug zur Ideenfindung und Beweisgenerierung dient.

Zusammenfassend erweitert dieses Werk das theoretische Fundament der $\phi$-Numerierungssysteme und bietet ein Musterbeispiel für die Integration computergestützter Beweistechniken in die klassische Zahlentheorie.