The diagonalization method and Brocard's problem

Dieser Artikel stellt die Diagonalisierungsmethode für Funktionen vor und wendet sie an, um zu beweisen, dass die Gleichungen der Form $\Gamma_r(n)+k=m^2$ für festes $k, r \in \mathbb{N}$ nur endlich viele Lösungen $n \in \mathbb{N}$ mit $n > r$ besitzen.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Theophilus Agama, verpackt in eine Geschichte mit Alltagsanalogien.

Die große Suche nach perfekten Quadraten

Stell dir vor, du hast eine riesige Zahlenfabrik. In dieser Fabrik gibt es eine spezielle Maschine, die Zahlen produziert. Die berühmteste Maschine ist die Fakultäts-Maschine ($n!$). Sie nimmt eine Zahl $n$ und multipliziert alles von 1 bis $n$ miteinander.

• Beispiel: $4! = 1 \times 2 \times 3 \times 4 = 24$.

Seit über 100 Jahren rätseln Mathematiker über ein seltsames Phänomen mit dieser Maschine: Wenn man zu dem Ergebnis 1 addiert, entsteht manchmal eine perfekte Quadratzahl (eine Zahl, die man als $m \times m$ schreiben kann, wie 4, 9, 16, 25...).

• $4! + 1 = 25$(das ist$5^2$).
• $5! + 1 = 121$(das ist$11^2$).
• $7! + 1 = 5041$(das ist$71^2$).

Die Frage lautet: Gibt es unendlich viele solcher Zahlen, oder hören sie irgendwann auf? Bisher hat man nur diese drei kleinen gefunden. Niemand weiß es sicher, aber die meisten glauben, es gibt keine weiteren.

Das neue Werkzeug: Der "Diagonalisierungs-Scanner"

In diesem Papier stellt Theophilus Agama ein neues Werkzeug vor, das er den "Diagonalisierungs-Scanner" nennt. Statt die ganze Fakultäts-Maschine zu untersuchen (die sehr komplex ist), baut er eine kleinere, vereinfachte Version der Maschine.

Stell dir vor, die Fakultäts-Maschine ist ein riesiger, komplizierter Turm. Agama baut davon nur ein kleines Fundament nach. Er nennt das die "abgeschnittene Gamma-Funktion" ($\Gamma_r$).

• Statt $n \times (n-1) \times \dots \times 1$ (die ganze Kette), nimmt er nur die letzten $r+1$ Glieder: $n \times (n-1) \times \dots \times (n-r)$.
• Es ist wie ein Ausschnitt aus dem großen Turm.

Die Frage ändert sich leicht: Wenn wir diesen kleineren Turm nehmen und eine feste Zahl $k$ hinzufügen, entsteht dann eine perfekte Quadratzahl?

Wie funktioniert der Scanner?

Agamas Methode ist wie ein Wasserstandsmesser oder ein Thermometer für Zahlenmengen.

1. Das Zählen: Er schaut sich alle Zahlen an, bei denen die Gleichung funktioniert (z. B. wenn $\Gamma_r(n) + k$ ein Quadrat ist). Er nennt diese Zahlen die "Diagonale".
2. Die Messung (Spur): Er summiert diese Zahlen auf und misst, wie schnell sie wachsen. Er nutzt dabei eine mathematische Technik namens "Stieltjes-Integration", die man sich wie das Ablesen eines Tachometers vorstellen kann. Man sieht nicht nur den Momentanwert, sondern wie sich die Geschwindigkeit über die Zeit verändert.
3. Der Vergleich (Cauchy-Schwarz): Hier kommt der Clou. Er vergleicht zwei Dinge:
   • Wie stark die Zahlen selbst wachsen.
   • Wie stark sich ihre "Geschwindigkeit" (die Ableitung) verändert.

Stell dir vor, du hast einen Ballon, der aufgeblasen wird.

• Wenn der Ballon zu schnell aufbläst (die Zahlen werden riesig), aber die Form des Ballons sehr stabil bleibt (die Ableitung ist kontrolliert), dann gibt es einen mathematischen Punkt, an dem der Ballon nicht mehr weiter aufblähen kann, ohne zu platzen.
• In der Mathematik bedeutet "Platzen" hier: Es kann keine weiteren Lösungen mehr geben.

Das Ergebnis: Ein endlicher Vorrat

Agamas große Entdeckung ist:
Wenn man diese "kleinen Turm"-Maschinen ($\Gamma_r$) nimmt, kann er mit seinem Scanner beweisen, dass die Liste der Lösungen unbedingt endlich ist.

• Die Analogie: Stell dir vor, du suchst nach Schätzen in einem Sandkasten. Bei der großen Fakultäts-Maschine ist der Sandkasten so groß, dass du nie weißt, ob noch mehr Schätze unter dem nächsten Haufen liegen. Bei der kleinen, abgeschnittenen Version hat Agama jedoch einen Zaun um den Sandkasten gebaut. Er hat mathematisch bewiesen, dass der Zaun dicht ist. Sobald du eine bestimmte Grenze überschreitest, gibt es keinen Sand (keine Lösungen) mehr.

Warum ist das wichtig?

1. Keine Vermutungen nötig: Viele frühere Versuche, das Brocard-Problem zu lösen, mussten auf große, unbewiesene Vermutungen (wie die $abc$-Vermutung) hoffen. Agamas Methode ist selbstständig. Sie braucht keine Vermutungen, sie rechnet einfach mit den Eigenschaften der Zahlen.
2. Ein neues Werkzeug: Er hat gezeigt, dass man nicht immer den ganzen riesigen Turm (die Fakultät) untersuchen muss. Wenn man das Problem auf eine vereinfachte, aber ähnliche Version herunterbricht, kann man mit neuen, analytischen Methoden (dem "Diagonalisierungs-Scanner") klare Antworten finden.

Fazit in einem Satz

Theophilus Agama hat eine neue mathematische Lupe erfunden, die beweist, dass bei vereinfachten Versionen des berühmten Brocard-Problems die Zahl der Lösungen begrenzt ist – wie ein Vorrat an Keksen, der irgendwann zur Neige geht, auch wenn man nicht genau weiß, wann der letzte Keks gegessen wird.

Technische Zusammenfassung

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

Technische Zusammenfassung: Eine Variante des Brocard-Problems mittels der Diagonalisierungsmethode

Titel: On a Variant of Brocard's Problem via the Diagonalization Method
Autor: Theophilus Agama
Datum: März 2026 (vorläufige Version)

---

1. Problemstellung und Hintergrund

Das klassische Brocard-Problem fragt nach ganzzahligen Lösungen der diophantischen Gleichung:
$$n! + 1 = m^2$$
Bisher sind nur die Lösungen $n = 4, 5, 7$ bekannt. Es wird vermutet, dass keine weiteren Lösungen existieren, was jedoch unbewiesen ist. Bisherige Ergebnisse zur Endlichkeit der Lösungen basieren oft auf tiefgreifenden Vermutungen wie der $abc$-Vermutung (Overholt) oder betrachten verschobene Varianten ($n! + A = y^2$).

Dieses Papier untersucht eine natürliche Verallgemeinerung, bei der die Fakultät durch eine abgeschnittene Gamma-Funktion (truncated Gamma function) ersetzt wird. Für ein festes $r \ge 0$ wird definiert:
$$\Gamma_r(n) := \begin{cases} n(n-1)\cdots(n-r) & \text{für } n > r \\ 0 & \text{sonst} \end{cases}$$
Das Ziel ist es, die Endlichkeit der Lösungen der Gleichung
$$\Gamma_r(n) + k = m^2$$
für feste natürliche Zahlen $k, r$ und $n > r$ zu beweisen.

2. Methodik: Die Diagonalisierungsmethode

Der Kernbeitrag des Papers ist die Einführung und systematische Anwendung einer neuen analytischen Technik, der Diagonalisierungsmethode für Funktionen $f: \mathbb{N} \to \mathbb{R}$.

A. Definitionen und Grundbegriffe:

• $k$-Schritt-Diagonale ($D_k(f)$): Die Menge aller $n \in \mathbb{N}$, für die $f(n) + k$ eine Quadratzahl ist.
• $s$-te Skalen-Diagonale ($D_k(f, s)$): Die Schnittmenge $D_k(f) \cap \{1, \dots, s\}$.
• Spur der Diagonale ($T_f(s, k)$): Die partielle Summe der Funktionswerte über die Diagonale:
  $$T_f(s, k) := \sum_{\substack{n \le s \\ n \in D_k(f)}} f(n)$$

B. Analytischer Rahmen:
Die Methode übersetzt das diskrete Zählproblem in ein kontinuierliches Integralproblem mittels Stieltjes-Integration:
$$T_f(s, k) = \int_{1^-}^s f(t) \, d|D_k(f, t)| = f(s)|D_k(f, s)| - \int_1^s f'(t)|D_k(f, t)| \, dt$$

C. Die Diagonal-Ungleichung (Theorem 2.3):
Durch Anwendung der Cauchy-Schwarz-Ungleichung auf die obige Integraldarstellung wird eine fundamentale Ungleichung hergeleitet, die die $L_2$-Norm der Diagonale mit dem Funktionswert $f(s)$, der Summe der Funktionswerte und der Ableitung $f'$ verknüpft.

Die zentrale Bedingung für die Endlichkeit der Lösungen lautet (Proposition 3.1):
Wenn für alle $s \ge 1$ gilt:
$$D_k(f, s) - \frac{1}{f(s)} \left( \int_1^s |f'(t)|^2 dt \right)^{1/2} \left( \int_1^s |D_k(f, t)|^2 dt \right)^{1/2} \ge 0$$
und der Grenzwert
$$\lim_{s \to \infty} \left( \frac{1}{f(s)} \sum_{n \le s} f(n) \right) \left( 1 - \frac{1}{f(s)} \left( \int_1^s |f'(t)|^2 dt \right)^{1/2} \left( \int_1^s |D_k(f, t)|^2 dt \right)^{1/2} \right)^{-1} < \infty$$
existiert, dann ist die Menge der Lösungen endlich.

3. Schlüsselbeiträge und Ergebnisse

A. Anwendung auf $\Gamma_r(n)$:
Das Papier wendet die Methode auf die Funktion $f(n) = \Gamma_r(n)$ an.

• Wachstumsverhalten: Es wird gezeigt, dass $\Gamma_r(n) \asymp n^{r+1}$.
• Ableitungsschätzung (Lemma 3.6): Es wird bewiesen, dass der Term, der die Ableitung kontrolliert, wie folgt skaliert:
  $$\frac{1}{\Gamma_r(s)} \left( \int_1^s |\Gamma_r'(t)|^2 dt \right)^{1/2} \asymp s^{-1/2}$$
  Dieser Term konvergiert gegen 0 für $s \to \infty$.

B. Haupttheorem (Theorem 4.1):
Für jedes feste Paar $(r, k) \in \mathbb{N}^2$ besitzt die Gleichung $\Gamma_r(n) + k = m^2$ nur endlich viele ganzzahlige Lösungen $n > r$.

C. Beweisstrategie:
Der Beweis nutzt die asymptotischen Abschätzungen von $\Gamma_r$ und seiner Ableitung, um zu zeigen, dass die in Proposition 3.1 geforderten Grenzwerte endlich sind. Da die Bedingung erfüllt ist, folgt die Endlichkeit der Lösungsmenge $|D_k(\Gamma_r)| < \infty$.

4. Signifikanz und Einordnung

• Unconditionalität: Im Gegensatz zu vielen früheren Ergebnissen zum Brocard-Problem (die oft die $abc$-Vermutung voraussetzen), ist dieses Ergebnis unbedingt (unconditional). Es stützt sich ausschließlich auf analytische Abschätzungen und elementare Ungleichungen.
• Neuer Ansatz: Die Methode vermeidet die Einbettung in algebraische oder modulare Rahmenwerke oder die Nutzung von Höhen-Schranken. Stattdessen bietet sie einen variationsanalytischen Blickwinkel, der die Bedingung "Funktionswert plus Konstante ist Quadrat" in Ungleichungen für aggregierte Spuren umwandelt.
• Allgemeine Anwendbarkeit: Der Ansatz ist nicht auf $\Gamma_r$ beschränkt. Er stellt ein Werkzeugkasten dar, um andere diophantische Gleichungen zu untersuchen, bei denen die Funktion $f$ polynomiell wächst und deren Glattheitseigenschaften (Ableitungen) kontrolliert werden können.
• Ausblick: Das Papier skizziert, wie diese Methode theoretisch auch auf das ursprüngliche Brocard-Problem ($n! + 1 = m^2$) angewendet werden könnte, indem man $f(n) = \Gamma(n+1)$ betrachtet, wobei die Überprüfung der Bedingungen für die volle Fakultät eine Herausforderung darstellt.

Zusammenfassung

Theophilus Agama entwickelt eine neue analytische Methode ("Diagonalisierung"), um die Endlichkeit der Lösungen für eine Familie von Brocard-artigen Gleichungen mit abgeschnittenen Gamma-Funktionen zu beweisen. Durch die Kombination von Stieltjes-Integration, Cauchy-Schwarz und spezifischen Wachstumsabschätzungen wird ein unbedingter Beweis für die Endlichkeit der Lösungen geliefert, der einen neuen Weg in der Untersuchung solcher diophantischer Probleme eröffnet.