🔢 mathematics

Product of powers of distinct primes as sums of Fibonacci numbers

Dieser Artikel untersucht die diophantische Gleichung $F_n+F_m=p^xq^y$ für Fibonacci-Zahlen und bestimmt alle Paare von Primzahlen $(q,p)$ mit $q\le \min\{1000,p\}$ , für die diese Gleichung mindestens zwei Lösungen in positiven ganzen Zahlen besitzt.

Ursprüngliche Autoren: Herbert Batte, Florian Luca, Volker Ziegler

Veröffentlicht 2026-02-23

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Herbert Batte, Florian Luca, Volker Ziegler

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

🧩 Das große Zahlen-Puzzle: Fibonacci, Primzahlen und das perfekte Gleichgewicht

Stellen Sie sich vor, Sie haben zwei riesige, magische Werkzeugkästen.

Der Fibonacci-Kasten: Darin liegen Zahlen, die wie ein sich wiederholendes Muster wachsen: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34... Jede neue Zahl ist einfach die Summe der beiden davor. Das ist das Fibonacci-Set.
Der Primzahl-Kasten: Darin liegen die „Bausteine" der Mathematik. Primzahlen wie 2, 3, 5, 7, 11, 13... Sie lassen sich nicht weiter teilen. Wenn Sie diese Bausteine multiplizieren, erhalten Sie andere Zahlen.

Die große Frage der Autoren:
Können wir zwei Zahlen aus dem Fibonacci-Kasten addieren und erhalten dabei genau das Ergebnis, wenn wir zwei bestimmte Primzahlen (sagen wir $p$ und $q$ ) in verschiedenen Potenzen (Hochzahlen) miteinander multiplizieren?

Mathematisch ausgedrückt suchen sie nach Lösungen für die Gleichung:
$F_n + F_m = p^x \cdot q^y$

Stellen Sie sich das wie ein Rezept vor:

Nehmen Sie zwei Fibonacci-Zahlen (z. B. 5 und 8).
Addieren Sie sie ( $5+8=13$ ).
Ist das Ergebnis 13 eine Kombination aus den Primzahlen 2 und 3? Nein.
Ist es eine Kombination aus 13 und 2? Ja, aber nur eine.
Die Autoren suchen nach Fällen, bei denen dieselbe Kombination von Primzahlen (z. B. $3^x \cdot 2^y$ ) auf zwei verschiedene Arten als Summe von Fibonacci-Zahlen entstehen kann.

🕵️‍♂️ Die Detektivarbeit: Warum ist das so schwer?

Das Problem ist, dass die Fibonacci-Zahlen extrem schnell wachsen. Die 100. Fibonacci-Zahl ist schon so groß, dass sie mehr Ziffern hat als Atome im Universum. Wenn man alle Möglichkeiten durchprobieren wollte, würde die Welt untergehen, bevor man fertig wäre.

Die Autoren nutzen daher eine Art „mathematischen Röntgenblick", um zu sehen, wo die Lösungen versteckt sein könnten, ohne jede einzelne Zahl zu zählen.

1. Der „Schnüffler" (Bakers Methode)

Stellen Sie sich vor, Sie suchen nach einem Nadel im Heuhaufen. Der „Schnüffler" (eine Methode von Alan Baker) sagt Ihnen nicht genau, wo die Nadel ist, aber er sagt Ihnen: „Die Nadel befindet sich definitiv nicht im ganzen Heuhaufen, sondern nur in diesem winzigen Körbchen hier."
Die Autoren nutzen komplexe Logarithmen (die Umkehrung von Potenzen), um zu beweisen, dass die Fibonacci-Zahlen, die sie suchen, nicht unendlich groß sein können. Sie setzen eine Obergrenze, sagen wir: „Wir müssen nur bis zur 1000. Fibonacci-Zahl suchen."

2. Der „Kleber" (LLL-Algorithmus)

Selbst eine Obergrenze von 1000 ist für einen Computer immer noch zu viel Arbeit, wenn man Milliarden von Kombinationen prüfen muss. Hier kommt der LLL-Algorithmus ins Spiel.
Stellen Sie sich vor, Sie haben einen Haufen loser Fäden (die mathematischen Gleichungen). Der LLL-Algorithmus ist wie ein cleverer Kleber, der die Fäden so ordnet, dass die wichtigsten Informationen sofort sichtbar werden und die unwichtigen in den Hintergrund rücken.
Dadurch können die Autoren die Suche von „unendlich" auf „ein paar tausend" und dann auf „ein paar hundert" reduzieren. Es ist, als würde man den Suchbereich von einem ganzen Kontinent auf eine einzelne Stadt und dann auf einen einzigen Stadtblock verkleinern.

3. Der „Rechen-Check" (Computersuche)

Sobald der Suchbereich so klein ist, dass ein Computer ihn in Sekunden durchkämmen kann, schalten die Autoren ihre Supercomputer (mit der Software SageMath) ein. Sie prüfen systematisch jede verbleibende Möglichkeit.

🏆 Das Ergebnis: Die Gewinner-Teams

Nach all dieser Detektivarbeit haben die Autoren herausgefunden, dass es nur sechs spezielle Paare von Primzahlen gibt, bei denen diese „magische Doppel-Summe" überhaupt möglich ist.

Wenn Sie zwei Primzahlen $p$ und $q$ nehmen, funktioniert das nur, wenn das Paar eines dieser ist:

(3, 2)
(5, 2)
(7, 2)
(7, 3)
(17, 2)
(19, 2)

Ein konkretes Beispiel:
Nehmen wir das Paar (3, 2).
Die Autoren haben gefunden, dass man die Zahl $3^x \cdot 2^y$ auf verschiedene Weisen als Summe von Fibonacci-Zahlen schreiben kann. Zum Beispiel:

$F_4 + F_4 = 3 + 3 = 6$ (Das ist $3^1 \cdot 2^1$ )
$F_5 + F_1 = 5 + 1 = 6$ (Auch $3^1 \cdot 2^1$ )
Hier haben wir also zwei verschiedene Wege, dieselbe Kombination aus 3 und 2 zu erhalten.

Für fast alle anderen Primzahlen-Paare (wie 11 und 13 oder 2 und 101) gibt es keine solche Doppel-Lösung. Entweder gibt es gar keine Lösung, oder nur eine einzige.

🌟 Warum ist das wichtig?

Auf den ersten Blick scheint es nur ein mathematisches Ratespiel zu sein. Aber es zeigt uns etwas Tieferes über die Struktur der Zahlenwelt:

Es zeigt, wie selten es ist, dass zwei völlig unterschiedliche mathematische Systeme (die additive Welt der Fibonacci-Folge und die multiplikative Welt der Primzahlen) auf so elegante Weise zusammenstoßen.
Es beweist, dass die Naturgesetze der Zahlen sehr streng sind. Es gibt keine Zufälle; wenn etwas passiert, dann nur unter ganz bestimmten, seltenen Bedingungen.

Zusammenfassend:
Die Autoren haben wie Detektive mit hochmodernen mathematischen Werkzeugen den riesigen Ozean der Zahlen durchsucht und bewiesen, dass es nur sechs spezielle Schlüssel (Primzahl-Paare) gibt, die zwei verschiedene Türen (Fibonacci-Summen) zu demselben Raum öffnen können. Alles andere ist verschlossen.

Titel und Autoren

Titel: Product of powers of distinct primes as sums of Fibonacci numbers (Produkte von Potenzen verschiedener Primzahlen als Summen von Fibonacci-Zahlen)
Autoren: Herbert Batte, Florian Luca und Volker Ziegler.

1. Problemstellung

Das Paper untersucht die diophantische Gleichung
$F_n + F_m = p^x q^y$
in nicht-negativen ganzen Zahlen $n \ge m$ , $x$ und $y$ , wobei $p$ und $q$ feste, verschiedene Primzahlen sind.
Das Ziel ist es, alle Paare von Primzahlen $(q, p)$ mit $q \le \min\{1000, p\}$ zu bestimmen, für die diese Gleichung mindestens zwei verschiedene Lösungen $(x, y)$ (mit zugehörigen $m, n$ ) in positiven ganzen Zahlen besitzt. Dabei werden Trivialfälle wie $n=2$ oder $m=2$ (da $F_1=F_2=1$ ) sowie Lösungen mit $xy=0$ ausgeschlossen.

Dies ist eine Verallgemeinerung früherer Arbeiten von Bravo und Luca sowie Ziegler, die sich auf den Fall $F_n + F_m = 2^a$ bzw. $F_n + F_m = y^a$ konzentrierten.

2. Methodik

Die Beweistechnik kombiniert analytische Zahlentheorie mit computergestützten Methoden. Die Hauptkomponenten sind:

Binet-Formel und Abschätzungen: Nutzung der geschlossenen Form für Fibonacci-Zahlen ( $F_n = \frac{\alpha^n - \beta^n}{\sqrt{5}}$ ) und Lucas-Zahlen, um die Gleichung in lineare Formen von Logarithmen umzuwandeln.
Lineare Formen in Logarithmen (Baker-Methode): Anwendung des Satzes von Matveev (Theorem 2.3), um untere Schranken für nicht-triviale lineare Formen in Logarithmen algebraischer Zahlen zu erhalten. Dies erlaubt die Herleitung absoluter, wenn auch sehr großer, Obergrenzen für die Variablen $n, m, x, y$ .
Reduktionsverfahren: Da die durch den Satz von Matveev gewonnenen Schranken (z. B. $n < 10^{400}$ $n < 1 0^{400}$ ) für eine direkte Suche zu groß sind, werden Reduktionsmethoden eingesetzt:
- Kettenbrüche (Lemma 2.4): Für lineare Formen in zwei Variablen.
- LLL-Algorithmus (Lenstra-Lenstra-Lovász): Für lineare Formen in mehr als zwei Variablen. Dies ermöglicht die drastische Reduktion der Obergrenzen auf handhabbare Größenordnungen (z. B. $n < 1000$ ).
Primitive Teiler-Theoreme: Nutzung des Satzes von Carmichael über primitive Primteiler von Fibonacci- und Lucas-Zahlen, um strukturelle Eigenschaften der Lösungen zu analysieren und bestimmte Fälle auszuschließen.
Computergestützte Suche: Nach der Reduktion der Schranken werden effiziente Algorithmen (implementiert in SageMath) verwendet, um alle verbleibenden Fälle zu überprüfen. Dabei werden spezielle Techniken wie Fermats kleiner Satz zur schnellen Identifikation von Primzahlpotenzen eingesetzt, um eine vollständige Faktorisierung großer Zahlen zu vermeiden.

3. Hauptergebnisse (Theorem 1.1)

Die Autoren beweisen, dass die Gleichung $F_n + F_m = p^x q^y$ mit $n \ge m \ge 0$ , $n, m \neq 2$ und $xy \neq 0$ genau dann mindestens zwei verschiedene Lösungen $(x, y)$ besitzt, wenn das Primzahlpaar $(p, q)$ (mit $p > q$ und $q \le 1000$ ) in der folgenden Menge $S$ liegt:
$S = \{(3, 2), (5, 2), (7, 2), (7, 3), (17, 2), (19, 2)\}$

Für diese Paare werden alle Lösungen explizit aufgelistet. Beispiele:

Für $(p, q) = (3, 2)$ : $3^x 2^y$ entspricht Summen wie $F_4+F_4$ , $F_5+F_1$ , $F_{18}+F_6$ usw.
Für $(p, q) = (19, 2)$ : $19^x 2^y$ entspricht $F_{10}+F_8$ und $F_{12}+F_6$ .

Der Fall $q=5$ (also $F_n + F_m = p^x 5^y$ ) wird separat und besonders sorgfältig behandelt, da $5$ ein Teiler von $F_5$ ist und spezielle Eigenschaften der $5$-adischen Bewertung von Fibonacci-Summen genutzt werden müssen. Auch hier wird gezeigt, dass keine zusätzlichen Lösungen existieren, die nicht bereits in den oben genannten Fällen enthalten sind.

4. Technische Details der Beweisführung

Der Beweis ist in mehrere Schritte unterteilt:

Absolute Schranken: Herleitung einer Obergrenze für $n$ in Abhängigkeit von $p$ und $q$ (Lemma 3.2), zunächst im Bereich $n < 10^{35} (\log p)^4 (\log q)^2$ .
Reduktion für kleine Primzahlen ( $q < p \le 1000$ ): Anwendung des LLL-Algorithmus zur Reduktion von $n$ auf $n \le 378$ , gefolgt von einer vollständigen Computersuche.
Fall $p > 1000$ :
- Fall $q \neq 5$ : Analyse der Differenzen $d = n-m$ . Durch Eliminierung von $\log p$ zwischen zwei Lösungen werden lineare Formen gebildet. Der LLL-Algorithmus reduziert die Schranken schrittweise, bis eine vollständige Suche möglich ist.
- Fall $q = 5$ : Dies ist der komplexeste Teil. Es wird zwischen geradem und ungeradem $d = n-m$ $d = n - m$ sowie $m=0$ $m = 0$ und $m>0$ $m > 0$ unterschieden.
  - Für $m=0$ oder gerades $d$ werden spezielle Eigenschaften von Lucas-Zahlen genutzt.
  - Für ungerades $d$ und $m>0$ wird die lineare Abhängigkeit der Zeilen in einer bestimmten Matrix untersucht. Falls die Zeilen linear abhängig sind, wird ein spezieller algebraischer Zahlkörper $L = \mathbb{Q}(\sqrt{5}, \sqrt{\lambda_{m_1}}, \sqrt{\lambda_{m_2}})$ konstruiert, um eine neue Obergrenze für $n$ zu gewinnen.
  - Eine "Lifting"-Methode (basierend auf der Periodizität der Fibonacci-Folge modulo $5^k$ ) wird verwendet, um die $5$-adische Bewertung $y$ zu begrenzen ( $y \le 75$ ).
  - Abschließend wird eine exhaustive Suche für $n \le 250.344$ durchgeführt, wobei der LLL-Algorithmus erneut zur Reduktion genutzt wird, um zu zeigen, dass keine weiteren Lösungen existieren.

5. Bedeutung und Beitrag

Erweiterung des Wissensstandes: Das Paper schließt eine Lücke in der Theorie der diophantischen Gleichungen, die Fibonacci-Zahlen mit Produkten von Primzahlpotenzen verbinden. Es verallgemeinert bekannte Ergebnisse über Potenzen von 2 auf Produkte beliebiger verschiedener Primzahlen.
Methodische Präzision: Die Arbeit demonstriert eine hochentwickelte Kombination aus theoretischen Abschätzungen (Baker-Methode) und moderner computergestützter Zahlentheorie (LLL-Reduktion, effiziente Primzahltests). Die schrittweise Reduktion extrem großer Schranken auf berechenbare Bereiche ist ein Musterbeispiel für effektive diophantische Analyse.
Vollständigkeit: Die Autoren liefern eine vollständige Klassifikation für den Bereich $q \le 1000$ , was aufgrund der Komplexität der Gleichung und der Vielzahl möglicher Primzahlkombinationen eine erhebliche Leistung darstellt.

Zusammenfassend liefert das Paper eine definitive Antwort auf die Frage, welche Produkte von Primzahlpotenzen als Summe von zwei Fibonacci-Zahlen dargestellt werden können, und identifiziert exakt die wenigen Ausnahmefälle, in denen dies auf mehr als eine Weise geschieht.