🔢 mathematics

On generalized Thabit numbers $(p+1)p^\mathfrak{a}-1$ in the $k$ -Lucas sequence

Diese Arbeit löst die diophantische Gleichung $L_n^{(k)}=(p+1)p^\mathfrak{a}-1$ für Mersenne- oder Fermat-Primzahlen $p$ und positive ganze Zahlen $n, k, \mathfrak{a}$ , indem sie die $k$ -Lucas-Folge mit verallgemeinerten Thabit-Zahlen verknüpft.

Ursprüngliche Autoren: Herbert Batte, Florian Luca, Pantelimon Stănică

Veröffentlicht 2026-03-25

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Herbert Batte, Florian Luca, Pantelimon Stănică

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, die Mathematik ist ein riesiges, unendliches Universum voller Zahlen. In diesem Universum gibt es zwei besondere Arten von „Zahlen-Clans", die sich wie Familien verhalten: die k-Lucas-Zahlen und die verallgemeinerten Thabit-Zahlen.

Dieses Papier ist wie eine Detektivgeschichte, in der die Autoren (Herbert Batte, Florian Luca und Pantelimon Stănică) herausfinden wollen, ob sich Mitglieder dieser beiden Clans jemals treffen können. Genauer gesagt: Gibt es eine Zahl, die in beiden Familien gleichzeitig existiert?

Hier ist die Geschichte, einfach erklärt:

1. Die beiden Familien (Die Clans)

Die k-Lucas-Familie:
Stellen Sie sich eine Reihe von Menschen vor, die eine Regel befolgen: „Jeder neue Mensch ist die Summe der letzten k Menschen vor ihm."
- Wenn k=2, ist das die berühmte Fibonacci-Familie (jeder ist die Summe der zwei Vorgänger).
- Wenn k=3, summiert jeder die drei Vorgänger, und so weiter.
- Diese Familie beginnt mit ein paar Nullen, dann einer 2 und einer 1, und wächst dann exponentiell. Sie sind wie ein schnell wachsender Baum, dessen Äste sich verzweigen.
Die verallgemeinerten Thabit-Zahlen:
Diese Zahlen haben eine sehr starre, fast mechanische Struktur. Sie sehen so aus: (p + 1) * p^a - 1.
- Stellen Sie sich das wie einen Roboter vor, der nach einem festen Bauplan gebaut wird.
- p ist eine spezielle Art von Primzahl (entweder eine Mersenne-Primzahl wie 3, 7, 31 oder eine Fermat-Primzahl wie 5, 17).
- a ist ein Hochzahl-Exponent.
- Diese Zahlen sind wie perfekt gefaltete Origami-Figuren: Sie sehen kompliziert aus, folgen aber einer strengen, vorhersehbaren Formel.

2. Die große Frage (Der Fall)

Die Detektive fragen sich: Kann eine Zahl, die nach dem chaotischen, aber natürlichen Wachstum der Lucas-Familie entsteht, genau dieselbe Zahl sein wie eine, die nach dem starren Bauplan der Thabit-Roboter gebaut wurde?

Die Gleichung lautet:
Lucas-Zahl = (p + 1) * p^a - 1

3. Die Untersuchung (Die Methode)

Um diese Frage zu beantworten, nutzen die Autoren zwei mächtige Werkzeuge, die wie ein Mikroskop und ein Sieb wirken:

Das Mikroskop (Lineare Formen in Logarithmen):
Die Autoren schauen sich die Zahlen sehr genau an. Sie wissen, dass die Lucas-Zahlen und die Thabit-Zahlen unterschiedlich schnell wachsen. Wenn sie sich treffen müssten, müssten sie sich in einem sehr spezifischen Bereich befinden. Mit Hilfe von komplexen mathematischen Formeln (die auf den Namen Baker und Matveev zurückgehen) können sie beweisen: „Wenn es eine Lösung gibt, dann muss sie kleiner als eine bestimmte, riesige Grenze sein."
- Analogie: Es ist wie wenn man sagt: „Wenn ein U-Boot und ein Flugzeug sich treffen, dann muss es in den ersten 10 Kilometern Höhe geschehen, nicht in der Stratosphäre."
Das Sieb (LLL-Algorithmus und Computer):
Selbst mit der Grenze von oben sind die Zahlen immer noch zu groß, um sie alle per Hand zu prüfen. Hier kommt der Computer ins Spiel. Die Autoren nutzen einen Algorithmus (LLL), der wie ein extrem effizientes Sieb funktioniert. Er filtert alle unmöglichen Kombinationen heraus und lässt nur wenige Kandidaten übrig.
- Analogie: Stellen Sie sich vor, Sie suchen eine bestimmte Nadel in einem Heuhaufen, der so groß ist wie ein Berg. Das Mikroskop sagt Ihnen, die Nadel ist nur im unteren Teil des Berges. Das Sieb (der Computer) durchsucht diesen unteren Teil und sagt: „Hier sind nur noch drei mögliche Stellen, an denen die Nadel sein könnte."

4. Das Ergebnis (Der Fall ist gelöst)

Nachdem sie alle möglichen Szenarien durchgegangen sind (kleine Zahlen, große Zahlen, verschiedene Werte für k), haben die Detektive nur drei Fälle gefunden, in denen sich die beiden Familien tatsächlich treffen:

Fall 1: Die Lucas-Zahl ist 11.
- Sie entsteht in der 2-Lucas-Familie (die klassische Lucas-Folge).
- Sie entspricht der Thabit-Zahl mit der Primzahl 3.
- Rechnung: 11 = (3+1)*3¹ - 1.
Fall 2: Die Lucas-Zahl ist 35.
- Sie entsteht in der 3-Lucas-Familie (jeder summiert die drei Vorgänger).
- Sie entspricht der Thabit-Zahl mit der Primzahl 3.
- Rechnung: 35 = (3+1)*3² - 1.
Fall 3: Die Lucas-Zahl ist 29.
- Sie entsteht in der 2-Lucas-Familie.
- Sie entspricht der Thabit-Zahl mit der Primzahl 5.
- Rechnung: 29 = (5+1)*5¹ - 1.

Fazit

Das Papier beweist, dass es keine anderen Begegnungen zwischen diesen beiden speziellen Zahlenfamilien gibt.

Zusammenfassende Metapher:
Stellen Sie sich vor, die Lucas-Zahlen sind wilde, frei wachsende Bäume im Wald, und die Thabit-Zahlen sind perfekt geformte, künstliche Skulpturen. Die Autoren haben den ganzen Wald durchsucht und bewiesen, dass es nur an drei ganz bestimmten Orten im Wald gibt, wo ein wilder Baum zufällig genau die Form einer dieser Skulpturen annimmt. Überall sonst sind die Formen zu unterschiedlich, um sich zu treffen.

Das ist eine große Leistung, weil es zeigt, dass trotz der unendlichen Möglichkeiten in der Mathematik die Struktur der Zahlen oft sehr streng und vorhersehbar ist.

Titel: Verallgemeinerte Thabit-Zahlen $(p+1)p^a - 1$ in der $k$ -Lucas-Folge

Autoren: Herbert Batte, Florian Luca, Pantelimon Stănică

1. Problemstellung

Das Papier untersucht eine diophantische Gleichung, die die Schnittmenge zwischen zwei speziellen Klassen von Zahlen beschreibt:

$k$ -Lucas-Zahlen ( $L_n^{(k)}$ ): Eine Verallgemeinerung der klassischen Lucas-Zahlen. Für ein festes $k \ge 2$ ist die Folge definiert durch die lineare Rekursion $L_n^{(k)} = \sum_{i=1}^k L_{n-i}^{(k)}$ mit den Anfangswerten $L_{2-k}^{(k)} = \dots = L_{-1}^{(k)} = 0$ , $L_0^{(k)} = 2$ und $L_1^{(k)} = 1$ .
Verallgemeinerte Thabit-Zahlen: Ausdrücke der Form $(p+1)p^a - 1$ , wobei $p$ eine Primzahl ist. Der Fokus liegt auf dem Fall, dass $p$ entweder eine Mersenne-Primzahl ( $p = 2^\ell - 1$ ) oder eine Fermat-Primzahl ( $p = 2^\ell + 1$ ) ist.

Das Ziel ist die Lösung der Gleichung:
$L_n^{(k)} = (p+1)p^a - 1$
für positive ganze Zahlen $n \ge 2$ , $k \ge 2$ , $a \ge 1$ und $\ell \ge 1$ .

2. Methodik

Die Beweistechnik kombiniert analytische Zahlentheorie, lineare Formen in Logarithmen und computergestützte Reduktionsmethoden. Der Beweis gliedert sich in mehrere Hauptphasen:

A. Analytische Abschätzungen und 2-adische Bewertung

Asymptotisches Verhalten: Die Autoren nutzen die Binet-Formel für $k$ -Lucas-Zahlen. Es wird gezeigt, dass $L_n^{(k)}$ durch die dominante Nullstelle $\alpha$ des charakteristischen Polynoms $g_k(X) = X^k - X^{k-1} - \dots - 1$ approximiert wird ( $L_n^{(k)} \approx c \cdot \alpha^n$ ).
2-adische Bewertung: Da die Gleichung eine spezifische Paritätseigenschaft aufweist, wird die Periodizität der Folge modulo 2 untersucht (Periode $k+1$ ). Dies liefert starke Einschränkungen für den Exponenten $n$ in Abhängigkeit von $k$ .

B. Lineare Formen in Logarithmen (Baker-Methode)

Um obere Schranken für $n$ und $k$ zu finden, wird die Gleichung in eine Form gebracht, die eine lineare Kombination von Logarithmen algebraischer Zahlen darstellt:
$\Lambda = b_1 \log \gamma_1 + b_2 \log \gamma_2 + b_3 \log \gamma_3.$
Es wird ein Satz von Matveev angewendet, der eine untere Schranke für $|\Lambda|$ liefert, falls $\Lambda \neq 0$ . Durch den Vergleich dieser unteren Schranke mit der oberen Schranke (abgeleitet aus der Approximation der Gleichung) werden extrem große, aber endliche obere Schranken für $n$ und $k$ erhalten (in der Größenordnung von $10^{100}$ ).

C. Reduktionsmethoden (LLL-Algorithmus)

Die durch Matveev erhaltenen Schranken sind für eine direkte brute-force-Suche zu groß. Daher werden LLL-Reduktionsmethoden (Lenstra-Lenstra-Lovász) angewendet.

Es werden Gitter (Lattices) konstruiert, die den linearen Formen entsprechen.
Durch die Berechnung reduzierter Basen und die Anwendung von Lemmata (insb. Lemma 4.5, basierend auf Dujella-Pethő) werden die oberen Schranken für $n$ drastisch reduziert (von $10^{100}$ auf Werte unter 2000).
Dies ermöglicht eine vollständige computergestützte Überprüfung der verbleibenden Fälle.

D. Fallunterscheidung

Der Beweis unterscheidet systematisch zwischen:

$2 \le n \le k+1$ (direkte Paritätsbetrachtung).
$n \ge k+2$ mit $p < n^{10}$ .
$n \ge k+2$ mit $p > n^{10}$ .
In jedem Fall werden die Schranken für $n$ , $k$ und den Exponenten $\ell$ der Primzahl $p$ schrittweise verfeinert.

3. Hauptergebnisse

Das Papier beweist den folgenden Hauptsatz (Theorem 1.1):

Die einzigen Lösungen der diophantischen Gleichung $L_n^{(k)} = (p+1)p^a - 1$ mit $p = 2^\ell \pm 1$ (Mersenne- oder Fermat-Primzahl) sind die folgenden Tripel $(n, k, p, a, \ell)$ :

$(5, 2, 3, 1, 2)$ :
- $L_5^{(2)} = 11$
- $(3+1)3^1 - 1 = 11$
- Hier ist $p=3$ sowohl Mersenne ( $2^2-1$ ) als auch Fermat ( $2^1+1$ ).
$(7, 2, 5, 1, 2)$ :
- $L_7^{(2)} = 29$
- $(5+1)5^1 - 1 = 29$
- Hier ist $p=5$ eine Fermat-Primzahl ( $2^2+1$ ).
$(6, 3, 3, 2, 2)$ :
- $L_6^{(3)} = 35$
- $(3+1)3^2 - 1 = 4 \cdot 9 - 1 = 35$
- Hier ist $p=3$ wieder Mersenne/Fermat.

Tabelle der Lösungen:

$n$	$k$	$p$	$a$	$\ell$	Typ	$L_n^{(k)}$
5	2	3	1	2	Mersenne/Fermat	11
6	3	3	2	2	Mersenne/Fermat	35
7	2	5	1	2	Fermat	29

Alle anderen Kombinationen führen zu Widersprüchen oder liegen außerhalb der durch die LLL-Reduktion ermittelten Suchbereiche.

4. Bedeutung und Beitrag

Erweiterung bekannter Ergebnisse: Das Papier verallgemeinert frühere Arbeiten (z.B. von Altassan und Alan), die sich nur auf Mersenne-Zahlen ( $2^a-1$ ) in $k$ -Lucas-Folgen konzentrierten, auf die breitere Klasse der verallgemeinerten Thabit-Zahlen mit Mersenne- und Fermat-Primzahlen als Basis.
Methodische Präzision: Die Arbeit demonstriert die effektive Anwendung moderner Techniken der diophantischen Approximation (Matveev-Schranken) in Kombination mit computergestützter Gitterreduktion (LLL), um Probleme mit sehr großen Parametern lösbar zu machen.
Vollständigkeit: Durch die schrittweise Reduktion der Schranken und die anschließende vollständige Suche mit SageMath wird gezeigt, dass keine weiteren Lösungen existieren. Dies schließt die Frage nach dem Vorkommen dieser speziellen Zahlenstruktur in $k$ -Lucas-Folgen vollständig ab.
Rechenleistung: Die Autoren nutzen effiziente Algorithmen, um Gitterbasen für extrem große Konstanten zu berechnen, was die Machbarkeit solcher Beweise für komplexe diophantische Gleichungen unterstreicht.

Zusammenfassend liefert das Papier eine vollständige Klassifikation der Schnittmenge zwischen verallgemeinerten Thabit-Zahlen (mit speziellen Primzahlen) und $k$ -Lucas-Folgen und zeigt, dass diese Schnittmenge extrem dünn ist und nur drei spezifische Lösungen umfasst.