🔢 mathematics

On integers of the form $p+F_{2^k}+F_q$

Diese Arbeit beweist, dass die Menge der als Summe einer Primzahl, einer Fibonacci-Zahl mit einem Index, der eine Zweierpotenz ist, und einer weiteren Primzahl darstellbaren ganzen Zahlen eine positive untere asymptotische Dichte besitzt, eine Eigenschaft, die auch für die Menge der ganzen Zahlen gilt, die nicht in dieser Form dargestellt werden können.

Ursprüngliche Autoren: Yang Gao

Veröffentlicht 2026-06-30

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yang Gao

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie hätten einen unendlichen Beutel mit Bausteinen. Einige Blöcke sind Primzahlen (Zahlen wie 2, 3, 5, 7, die nicht durch etwas anderes glatt teilbar sind), einige sind Fibonacci-Zahlen (eine spezielle Folge, bei der man die letzten zwei Zahlen addiert, um die nächste zu erhalten: 0, 1, 1, 2, 3, 5, 8, 13...), und einige sind einfach reguläre Ganzzahlen (1, 2, 3, 4...).

Schon lange spielen Mathematiker ein Spiel: „Kannst du jede einzelne Ganzzahl mit einem bestimmten Rezept bauen?“

Das alte Rezept

Zurück im Jahr 1934 stellte ein Mathematiker namens Romanoff die Frage: „Kannst du jede ungerade Zahl bauen, indem du eine Primzahl und eine Zweierpotenz (wie 1, 2, 4, 8, 16...) addierst?“ Er fand heraus, dass man damit zwar sehr viele von ihnen bauen kann, aber nicht alle. Später zeigte ein anderer Mathematiker, Erdős, dass es tatsächlich unendlich viele „Lücken“ gibt – ganze Zahlenreihen, die auf diese Weise einfach nicht gebaut werden können.

Das neue Rezept

In dieser Arbeit ändert der Autor, Yang Gao, das Rezept. Anstatt Zweierpotenzen verwendet er Fibonacci-Zahlen. Aber er fügt eine Wendung hinzu:

Er verwendet eine Primzahl ( $p$ ).
Er verwendet eine Fibonacci-Zahl, deren Position eine gerade Zahl ist ( $F_{2k}$ , wie $F_0, F_2, F_4...$ ).
Er verwendet eine weitere Primzahl ( $q$ ) als Index für eine dritte Fibonacci-Zahl ( $F_q$ ).

Das Rezept lautet also: $n = \text{Primzahl} + \text{Fibonacci-Zahl mit gerader Position} + \text{Fibonacci-Zahl mit Primzahl-Position}$ .

Die große Frage ist: Wenn Sie versuchen, Zahlen mit diesem neuen Rezept zu bauen, decken Sie dann genügend Teile der Zahlenlinie ab? Oder entstehen riesige Lücken?

Die zwei Hauptentdeckungen

Der Autor beweist zwei überraschende Dinge über dieses neue Rezept:

1. Die „unbaubare“ Autobahn (Theorem 1.1)

Stellen Sie sich eine lange, gerade Autobahn vor, auf der jeder einzelne Meilenstein eine Zahl darstellt. Der Autor beweist, dass man einen spezifischen Abschnitt dieser Autobahn finden kann (eine unendliche arithmetische Progression), in dem keine der Zahlen mit dem Rezept gebaut werden kann.

Die Analogie: Denken Sie an ein Schloss und einen Schlüssel. Der Autor hat ein spezifisches „Schloss“ entworfen (ein Satz von Regeln basierend auf Resten bei der Division durch kleine Zahlen wie 2, 3, 5, 7 usw.). Er hat gezeigt, dass man, egal wie man seine Primzahlen und Fibonacci-Zahlen mischt, das Ergebnis niemals in dieses spezifische Schloss passen wird.

Ergebnis: Es gibt eine unendliche Linie von Zahlen, die nicht als $p + F_{2k} + F_q$ geschrieben werden können. Da diese Linie unendlich und regelmäßig ist, bedeutet dies, dass die „unbaubaren“ Zahlen einen bedeutenden Teil der Welt der Zahlen ausmachen.

2. Die „baubare“ Menge (Theorem 1.2)

Hier ist die Wendung: Obwohl es eine ganze Autobahn aus „unbaubaren“ Zahlen gibt, sind die Zahlen, die gebaut werden können, ebenfalls überall präsent.

Die Analogie: Stellen Sie sich eine belebte Party vor. Selbst wenn es eine bestimmte Gruppe von Menschen gibt, die den VIP-Raum nicht betreten kann (die unbaubaren Zahlen), ist der VIP-Raum dennoch mit einer „positiven Dichte“ an Gästen gefüllt. In mathematischen Begriffen bedeutet dies: Wenn man die ersten 1.000.000 Zahlen betrachtet, kann ein signifikanter Prozentsatz von ihnen (nicht nur eine winzige Handvoll) mit dem Rezept gebaut werden.

Ergebnis: Die Menge der Zahlen, die man bauen kann, ist groß genug, um als „positive Dichte“ zu gelten. Es sind nicht nur ein paar verstreute Inseln; es ist ein beträchtliches Kontinent.

Wie haben sie es gemacht? (Die Werkzeuge)

Um dies zu beweisen, nutzte der Autor zwei Hauptwerkzeuge:

Das Sieb (für den Beweis der „Unbaubarkeit“):
Denken Sie an ein Sieb, das verwendet wird, um Sand von Steinen zu trennen. Der Autor hat eine Reihe von Filtern (Kongruenzen) basierend auf kleinen Primzahlen aufgebaut. Er hat gezeigt, dass man, wenn man versucht, eine Zahl mit seinem Rezept zu bauen, immer in einen dieser Filter gerät. Es ist wie der Versuch, durch ein Labyrinth zu gehen, bei dem jeder Weg zu einer Sackgasse führt, für eine bestimmte Gruppe von Zahlen.
Das Zählspiel (für den Beweis der „Baubarkeit“):
Um zu beweisen, dass viele Zahlen gebaut werden können, musste der Autor zählen, wie viele Möglichkeiten es gibt, eine Zahl zu erzeugen.

Zuerst zeigte er, dass es so viele Kombinationen von Primzahlen und Fibonacci-Zahlen gibt, dass man theoretisch etwa so viele Zahlen wie die ganzen Zahlen bis $x$ erzeugen könnte.
Dann musste er beweisen, dass man nicht einfach dieselbe Zahl immer und immer wieder erstellt (wie zum Beispiel 100 auf 50 verschiedene Arten zu bilden). Er bewies, dass die meisten Zahlen auf eine einzigartige oder nur wenige Arten entstehen.
Der „Cauchy-Schwarz“-Trick: Er verwendete eine mathematische Ungleichung (eine schicke Art zu sagen: „Wenn du viele Gesamtkombinationen hast und diese nicht zu oft wiederholst, dann musst du auch viele verschiedene Zahlen haben“). Dies bewies, dass die „baubaren“ Zahlen dicht sind.

Zusammenfassung

Einfach ausgedrückt löst diese Arbeit ein Rätsel darüber, wie Zahlen konstruiert werden. Sie zeigt, dass, wenn man Primzahlen und Fibonacci-Zahlen auf diese spezifische Weise mischt:

Man niemals in der Lage sein wird, eine spezifische, unendliche Linie von Zahlen zu bauen (sie sind „unerreichbar“).
Man jedoch in der Lage sein wird, einen riesigen, signifikanten Teil der restlichen Zahlen zu bauen (sie sind „erreichbar“).

Es ist ein wenig so, als würde man sagen: „Man kann mit diesen speziellen Ziegeln kein Haus auf dieser speziellen Straße bauen, aber im Rest der Stadt kann man auf fast jedem anderen Grundstück ein Haus bauen.“

Technisches Resümee: Ganzzahlen der Form $p + F_{2k} + F_q$

Problemstellung
Diese Arbeit untersucht die Verteilung positiver Ganzzahlen, die darstellbar sind in der Form $n = p + F_{2k} + F_q$ , wobei $p$ und $q$ Primzahlen sind und $k$ eine nicht-negative Ganzzahl darstellt. Hierbei bezeichnet $\{F_n\}$ die Fibonacci-Folge, definiert durch $F_0=0, F_1=1$ und $F_{n+2}=F_{n+1}+F_n$ . Die Studie befasst sich mit einem „Romanoff-Typ“-Problem und erweitert die klassische Frage, ob Ganzzahlen als Summe einer Primzahl und einer Zweierpotenz ( $p + 2^n$ ) darstellbar sind, auf Summen bestehend aus Primzahlen und spezifischen dünnbesetzten Folgen (Fibonacci-Zahlen). Konkret sucht die Arbeit danach, die untere asymptotische Dichte der Menge der in dieser Form darstellbaren Ganzzahlen sowie die Dichte ihres Komplements zu bestimmen.

Methodik
Die Autoren verwenden eine Kombination aus elementarer Zahlentheorie, den Eigenschaften der Fibonacci-Folge modulo Primzahlen und Techniken der analytischen Zahlentheorie, insbesondere Siebmethoden.

Vorläufige Lemmata: Der Beweis stützt sich auf grundlegende Eigenschaften der Fibonacci-Zahlen, einschließlich ihrer Wachstumsraten (Binet-Formel-Approximationen), Zeckendorf-Darstellungen und der Periodizität modulo ganzer Zahlen (Pisano-Perioden). Zentrale Lemmata etablieren Schranken für die Anzahl der Fibonacci-Zahlen bis $x$ und die Verteilung der Residuen modulo Primzahlen.
Überdeckungssysteme (Theorem 1.1): Um zu beweisen, dass die Menge der nicht darstellbaren Ganzzahlen eine positive untere Dichte besitzt, konstruieren die Autoren eine explizite unendliche arithmetische Progression $A$ . Dies wird durch die Definition eines Systems von Kongruenzen modulo eines Produkts spezifischer Primzahlen ( $M = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 19 \cdot 23 \cdot 47$ ) erreicht. Durch die Analyse der Parität und der modularen Residuen von $F_{2k}$ und $F_q$ gegenüber diesen Moduli zeigen die Autoren, dass keine Ganzzahl in dieser Progression die Gleichung $n = p + F_{2k} + F_q$ erfüllen kann.
Siebmethoden und Eindeutigkeit (Theorem 1.2): Um zu beweisen, dass die Menge der darstellbaren Ganzzahlen eine positive untere Dichte besitzt, nutzen die Autoren die Cauchy–Schwarz-Ungleichung. Dies erfordert die Abschätzung zweier Größen:
- $R(x) = \sum_{n \le x} r(n)$ , die Gesamtzahl der Darstellungen, wobei $r(n)$ die Anzahl der Tripel $(p, k, q)$ zählt, für die $n = p + F_{2k} + F_q$ gilt.
- $\sum_{n \le x} r(n)^2$ , das zweite Moment, welches die Anzahl der Paare von Darstellungen für dieselbe Ganzzahl zählt.
- Eindeutigkeitsanalyse: Ein entscheidender Schritt ist Lemma 4.1, das feststellt, dass die Gleichung $F_{2k_1} + F_{q_1} = F_{2k_2} + F_{q_2}$ nur sehr wenige Lösungen hat (im Wesentlichen nur triviale Permutationen oder spezifische Kleinstfälle). Dies stellt sicher, dass die Anzahl der „Kollisionen“ (bei denen verschiedene Tripel dieselbe Summe ergeben) kontrolliert bleibt.
- Siebschätzungen: Die Autoren wenden die Bombieri–Davenport-Abschätzung und die Brun–Titchmarsh-Ungleichung an, um die Anzahl der Lösungen zu begrenzen, bei denen die Differenz zweier Summen eine feste gerade Ganzzahl ist. Sie behandeln sorgfältig die Summation über die Teiler des Differenzterms unter Verwendung der Eigenschaften der Pisano-Perioden und der Verteilung von Primzahlen in arithmetischen Progressionen.

Zentrale Beiträge und Ergebnisse
Die Arbeit etabliert zwei Haupttheoreme bezüglich der Menge der Ganzzahlen der Form $p + F_{2k} + F_q$ :

Theorem 1.1: Es existiert eine unendliche arithmetische Progression positiver Ganzzahlen, sodass keine Ganzzahl in dieser Progression als $p + F_{2k} + F_q$ geschrieben werden kann. Folglich hat die Menge der nicht in dieser Form darstellbaren Ganzzahlen eine positive untere asymptotische Dichte.
Theorem 1.2: Die Menge der positiven Ganzzahlen, die als $p + F_{2k} + F_q$ (mit $p, q$ Primzahlen und $k \ge 0$ ) darstellbar sind, besitzt eine positive untere asymptotische Dichte.

Zudem merken die Autoren in Bemerkung 1 an, dass analoge Ergebnisse für Lucas-Zahlen ( $L_n$ ) gelten, da der Beweis auf ähnlichen modularen Eigenschaften beruht.

Bedeutung
Die Arbeit trägt zur breiteren Theorie der Romanoff-Typ-Probleme bei, indem sie Summen behandelt, die zwei dünnbesetzte Terme aus linearen Rekurrenzfolgen (speziell Fibonacci-Zahlen) und eine Primzahl enthalten. Während vorangegangene Arbeiten bereits positive Dichten für Summen einer Primzahl und einer einzelnen Fibonacci-Zahl ( $p + F_k$ ) oder Summen einer Primzahl und zweier Zweierpotenzen ( $p + 2^a + 2^b$ ) nachgewiesen hatten, erweitert diese Arbeit das Verständnis auf gemischte Formen mit Indizes, die selbst Primzahlen ( $q$ ) und gerade Indizes ( $2k$ ) sind. Das Ergebnis bestätigt, dass die additive Kombination mit Primzahlen trotz der Dünnbesetztheit der Fibonacci-Folge und der Einschränkung der Indizes ausreicht, um einen positiven Anteil der Ganzzahlen abzudecken, während gleichzeitig ein positiver Anteil unbedeckt bleibt, wie durch die konstruierte arithmetische Progression gezeigt wird. Die Methodik demonstriert die Effektivität der Kombination von Überdeckungssystemen mit Siebschätzungen im Kontext linearer Rekurrenzen.