A comment on the equation $n!!=a_1!!\cdots a_t!!$

Der Artikel untersucht die Gleichung $a_1!!\cdots a_t!!=n!!$ und zeigt, dass die explizite abc-Vermutung in bestimmten Spezialfällen impliziert, dass diese nur endlich viele nichttriviale Lösungen besitzt.

Das Wesentliche

🧮 Die große Zahlen-Party: Wenn Fakultäten aufeinandertreffen

Stellen Sie sich vor, Sie haben eine riesige Party. Auf dieser Party gibt es eine seltsame Regel: Die Gäste sind nicht einfach nur Menschen, sondern Fakultäten.

In der Mathematik ist eine Fakultät (geschrieben als $n!$) das Ergebnis, wenn man alle Zahlen von 1 bis $n$ miteinander multipliziert.

• $5! = 1 \times 2 \times 3 \times 4 \times 5 = 120$.
• $10!$ ist schon riesig, und $100!$ ist so groß, dass es mehr Nullen hat als Atome im Universum.

Der Autor dieses Papers untersucht ein spezielles mathematisches Rätsel: Können wir eine große Fakultät ($n!!$) als Produkt von kleineren Fakultäten ($a_1!! \times a_2!! \dots$) zerlegen?

Aber hier ist der Haken: Wir verwenden nicht die normale Fakultät, sondern die doppelte Fakultät ($!!$).

• Bei einer doppelten Fakultät überspringen wir jede zweite Zahl.
• $5!! = 1 \times 3 \times 5 = 15$.
• $6!! = 2 \times 4 \times 6 = 48$.

Die Frage lautet also: Wie oft kann man eine große doppelte Fakultät in kleinere doppelte Fakultäten "zerlegen"?

🚧 Das Problem mit den "Langweiligen" Lösungen

In der Mathematik gibt es oft Lösungen, die man als "trivial" oder "langweilig" bezeichnet. Das sind Lösungen, die man einfach durch eine offensichtliche Regel findet, ohne wirklich etwas Neues zu entdecken.

• Beispiel für eine langweilige Lösung: Wenn ich sage $n = a_1 + 2$, dann funktioniert die Gleichung fast immer automatisch. Es gibt unendlich viele solcher Lösungen. Das ist wie wenn jemand sagt: "Ich habe 100 Euro, weil ich 98 Euro habe und mir noch 2 Euro geliehen habe." Das ist wahr, aber nicht besonders spannend.

Der Autor und seine Kollegen wollen wissen: Gibt es nur eine endliche Anzahl an spannenden (nicht-trivialen) Lösungen? Oder gibt es unendlich viele versteckte Muster, die wir noch nicht kennen?

🔍 Die zwei Szenarien: Gerade und Ungerade

Der Autor teilt die Party-Gäste in zwei Gruppen ein, basierend darauf, ob ihre Zahlen gerade oder ungerade sind.

1. Szenario: Alle Gäste sind gerade (Theorem 1.1)

Stellen Sie sich vor, alle Zahlen $a_1, a_2, \dots$ sind gerade.

• Die Entdeckung: Der Autor zeigt, dass unter einer bestimmten, sehr starken mathematischen Annahme (der sogenannten abc-Vermutung) es nur endlich viele spannende Lösungen gibt.
• Die Analogie: Stellen Sie sich vor, Sie versuchen, einen riesigen Turm aus Legosteinen ($n!!$) aus kleineren Türmen zu bauen. Wenn alle kleineren Türme eine bestimmte Bauweise haben (gerade Zahlen), dann gibt es nur eine begrenzte Anzahl an Wegen, wie man das tun kann, ohne dass der Turm in sich zusammenfällt. Irgendwann wird es einfach zu kompliziert, neue Kombinationen zu finden.

2. Szenario: Ein Gast ist ungerade, der Rest ist gerade (Theorem 1.2)

Hier ist es etwas kniffliger. Einer der Zahlen ist ungerade (z.B. 5, 7, 9), der Rest ist gerade.

• Die Entdeckung: Auch hier gibt es nur endlich viele spannende Lösungen, aber mit einer kleinen Bedingung.
• Die Bedingung: Es hängt davon ab, wie "groß" die Lücken zwischen den Zahlen sind. Wenn die Zahlen sehr weit auseinander liegen, ist das Rätsel gelöst (endlich viele Lösungen). Wenn sie sehr nah beieinander liegen, muss man die Zahlen genauer untersuchen, aber auch dann scheint es eine Grenze zu geben.

🛡️ Der Superheld: Die "abc-Vermutung"

Wie kann man beweisen, dass es nur endlich viele Lösungen gibt, ohne jede einzelne Zahl durchzuprobieren (was unmöglich wäre, da die Zahlen unendlich groß werden)?

Der Autor nutzt einen mathematischen "Superhelden": Die abc-Vermutung.

• Was ist das? Stellen Sie sich drei Zahlen vor: $a, b$ und $c$, wobei $a + b = c$. Die Vermutung sagt im Wesentlichen: "Wenn $a$ und $b$ keine gemeinsamen Teiler haben, dann kann $c$ nicht viel größer sein als das Produkt aller einzigartigen Primfaktoren von $a, b$ und $c$."
• Warum hilft das? Es ist wie ein Sicherheitsgurt. Die Vermutung sagt uns: "Hey, die Zahlen können nicht einfach so wild wachsen, ohne dass ihre Bausteine (Primfaktoren) auch mitwachsen."
• Der Autor zeigt: Wenn wir annehmen, dass dieser Sicherheitsgurt (die Vermutung) hält, dann können die Lösungen für unsere doppelten Fakultäten nicht unendlich groß werden. Sie müssen sich irgendwann "erschöpfen".

🎭 Zusammenfassung für den Alltag

Stellen Sie sich das Ganze wie ein Puzzle vor:

1. Das Puzzle: Eine riesige Zahl ($n!!$) soll aus kleineren Teilen ($a_1!! \dots a_t!!$) zusammengesetzt werden.
2. Die Langweiligen: Es gibt unendlich viele einfache Wege, das Puzzle zu lösen (triviale Lösungen). Das ist wie ein Puzzle, bei dem man einfach immer das gleiche Teil doppelt benutzt.
3. Die Spannenden: Der Autor fragt: "Gibt es unendlich viele neue und komplexe Wege, das Puzzle zu lösen?"
4. Das Ergebnis: Mit Hilfe der "abc-Vermutung" (einer Art mathematischem Gesetz der Schwerkraft) beweist der Autor: Nein. Es gibt nur eine endliche Anzahl an komplexen Lösungen. Irgendwann ist das Puzzle "aufgebraucht".

Warum ist das wichtig?
Mathematiker lieben es zu wissen, wann etwas "aufhört". Wenn man weiß, dass es nur endlich viele Lösungen gibt, kann man theoretisch alle von ihnen auflisten (auch wenn es Millionen Jahre dauern würde). Es gibt uns ein Gefühl von Kontrolle über das Chaos der Zahlen.

Der Autor sagt im Grunde: "Hört auf zu suchen! Es gibt keine unendliche Menge an geheimen Mustern in dieser speziellen Art von Zahlen-Gleichung. Die Suche hat ein Ende."

Technische Zusammenfassung

Technische Zusammenfassung: Zur Gleichung $n!! = a_1!! \cdots a_t!!$

Autor: Saša Novaković
Datum: April 2026 (Vorabdruck)
Thema: Zahlentheorie, insbesondere diophantische Gleichungen mit Doppel-Fakultäten und die $abc$-Vermutung.

---

1. Problemstellung und Hintergrund

Das Papier untersucht die diophantische Gleichung
$$\prod_{i=1}^t a_i!! = n!!$$
unter den Bedingungen $n > a_1 \ge a_2 \ge \dots \ge a_t \ge 3$ und $t > 1$. Hierbei bezeichnet $m!!$ die Doppel-Fakultät von $m$:

• Für ungerade $m=2l-1$: $m!! = 1 \cdot 3 \cdot \dots \cdot (2l-1)$.
• Für gerade $m=2l$: $m!! = 2 \cdot 4 \cdot \dots \cdot 2l$.

Der Autor knüpft an das langjährige ungelöste Problem der Gleichung mit gewöhnlichen Fakultäten ($\prod a_i! = n!$) an. Während für gewöhnliche Fakultäten die Surányi–Hickerson-Vermutung die Endlichkeit nicht-trivialer Lösungen postuliert, konzentriert sich dieser Beitrag auf den Fall der Doppel-Fakultäten.

Unterscheidung der Fälle:

• Triviale Lösungen: Es existieren unendlich viele triviale Lösungen, wenn bestimmte Relationen zwischen den Variablen gelten (z. B. $n - a_1 = 2$ im geraden Fall oder spezifische Konstruktionen im ungeraden Fall).
• Nicht-triviale Lösungen: Das Ziel ist es zu zeigen, dass es nur endlich viele Lösungen gibt, die nicht durch diese trivialen Konstruktionen entstehen.

Der Fokus liegt auf dem Fall, in dem $a_2, \dots, a_t$ alle gerade sind. Der Fall, dass alle $a_i$ ungerade sind, wurde bereits von Nair und Shorey behandelt. Der Autor betrachtet zwei Hauptfälle für $a_1$:

1. Fall $r=0$: Alle $a_i$ sind gerade.
2. Fall $r=1$: $a_1$ ist ungerade, $a_2, \dots, a_t$ sind gerade.

---

2. Methodik und Werkzeuge

Die Beweise basieren maßgeblich auf der expliziten $abc$-Vermutung (in einer Form, die von Laishram und Shorey unter Verwendung von Bakers expliziter Version hergeleitet wurde).

Hauptwerkzeuge:

1. Explizite $abc$-Vermutung: Es wird die Ungleichung $c < N(abc)^{7/4}$ verwendet, wobei $N(k)$ das Produkt der verschiedenen Primteiler von $k$ ist. Dies ist stärker als die klassische $abc$-Vermutung.
2. Produkte aufeinanderfolgender ganzer Zahlen: Die Gleichungen werden in Form von Produkten $\Delta(x, k) = x(x+1)\cdots(x+k-1)$ umgeschrieben.
3. Primzahlschranken:
   • Ein Satz von Erdős besagt, dass für hinreichend große $k$ der größte Primfaktor $P(\Delta(x, k))$ größer als $\frac{2}{7}k \log k$ ist, sofern alle Faktoren in $\Delta(x, k)$ zusammengesetzt sind.
   • Schranken für die Summe der Logarithmen von Primzahlen (Lemma 2.1).
4. Analyse der Primfaktorzerlegung: Durch geschicktes Eliminieren von Primfaktoren und Anwendung der $abc$-Vermutung auf Paare von Termen innerhalb der Produkte $\Delta(x, k)$ werden obere Schranken für die Variablen hergeleitet.
5. Fallunterscheidung:
   • Analyse des Falls, in dem $\Delta(x, k)$ keine Primzahlen enthält (was zu starken Schranken führt).
   • Analyse des Falls, in dem Primzahlen enthalten sind, unter Nutzung von Theorem 2.4 (basierend auf Nair und Shorey), das besagt, dass $P(\Delta(x, k)) > 4.42k$ gilt, außer für eine endliche Menge von Ausnahmen $(x, k) \in T$.

---

3. Hauptergebnisse (Theoreme)

Das Papier liefert zwei zentrale Theoreme, die die Endlichkeit nicht-trivialer Lösungen unter der Annahme der expliziten $abc$-Vermutung beweisen.

Theorem 1.1 (Fall: Alle $a_i$ gerade)

• Aussage: Wenn alle $a_i$ (und somit auch $n$) gerade sind, gibt es unter der expliziten $abc$-Vermutung nur endlich viele nicht-triviale Lösungen.
• Beweisidee: Die Gleichung wird auf die Form $2^k \Delta(m, k) = \prod_{i=2}^t a_i!!$ reduziert. Da $k \ge 2$ angenommen werden kann (für nicht-triviale Lösungen), zeigt man, dass keine Primzahl in $\Delta(m, k)$ vorkommt. Durch Anwendung der $abc$-Vermutung auf geeignete Teilerpaare wird gezeigt, dass $a_2$ (und damit alle $a_i$) beschränkt sein muss.

Theorem 1.2 (Fall: $a_1$ ungerade, $a_2, \dots, a_t$ gerade)

Hier wird $n=2N$ und $a_1 = 2A_1 - 1$ gesetzt. Die Gleichung führt zu einer Beziehung, die $\Delta(x_1, l_1)$ und $\Delta(x_2, l_2)$ enthält.

• Teil (i): Falls das Produkt $\Delta(x_1, l_1)$ keine Primzahl enthält, impliziert die explizite $abc$-Vermutung, dass es nur endlich viele nicht-triviale Lösungen gibt.
• Teil (ii): Falls $\Delta(x_1, l_1)$ eine Primzahl enthält:
  • Wenn $x_1 > 4l_1$, gibt es nur endlich viele Lösungen.
  • Wenn $x_1 \le 4l_1$, gilt eine explizite obere Schranke für $a_1$ in Abhängigkeit von $l_1$:
    $$0.99 a_1 \le 4l_1 + 4.01 + \frac{2\log(5)}{\log(2)} + \frac{2\log(l_1)}{\log(2)}$$
  • Dies zeigt, dass $a_1$ beschränkt ist, sobald $l_1$ beschränkt ist.

---

4. Bedeutung und Beitrag

• Erweiterung bestehender Ergebnisse: Während Nair und Shorey bereits den Fall behandelt hatten, in dem alle Variablen ungerade sind, schließt diese Arbeit die Lücke für den Fall, dass $a_2, \dots, a_t$ gerade sind. Dies ist ein wesentlicher Schritt zur vollständigen Klassifizierung der Gleichung.
• Anwendung der $abc$-Vermutung: Das Papier demonstriert erneut die Kraft der expliziten $abc$-Vermutung bei der Lösung diophantischer Gleichungen mit Fakultäten und Doppel-Fakultäten, insbesondere durch die Umwandlung der Probleme in Fragen über Primfaktoren von Produkten aufeinanderfolgender Zahlen.
• Technische Präzision: Der Autor liefert explizite Schranken und behandelt sorgfältig die Fälle, in denen die Produkte Primzahlen enthalten oder nicht. Die Unterscheidung zwischen trivialen und nicht-trivialen Lösungen wird präzise definiert, insbesondere im ungeraden Fall, wo die Definition von "trivial" subtiler ist als im geraden Fall.
• Offene Fragen: Der Autor weist in einer Bemerkung darauf hin, dass die verwendeten Methoden (insbesondere die Kontrolle des größten Primfaktors $P(\Delta(m, k))$) für Fälle mit $2 \le r \le t-2$ (mehrere ungerade $a_i$) oder für $r=1$ mit ungeradem $a_t$ nicht direkt anwendbar sind, da die Faktoren in den Produkten dann nicht notwendigerweise zusammengesetzt sind.

Fazit

Saša Novaković beweist unter der Annahme der expliziten $abc$-Vermutung, dass die Gleichung $\prod a_i!! = n!!$ für den Fall, dass alle $a_i$ außer möglicherweise $a_1$ gerade sind, nur endlich viele nicht-triviale Lösungen besitzt. Dies festigt die Vermutung, dass solche Gleichungen im Wesentlichen nur durch triviale Konstruktionen gelöst werden können, und erweitert das Verständnis der Verteilung von Primfaktoren in Doppel-Fakultäten.