🔢 mathematics

Another inequality inspired by Erdős

Diese Arbeit präsentiert einen elementaren arithmetischen Beweis einer spezifischen Ungleichung, die von Paul Erdős' klassischem Beweis des Bertrandschen Postulats inspiriert wurde, als Teil eines umfassenderen Bemühens, einen arithmetisch reinen Beweis des Postulats selbst zu etablieren.

Ursprüngliche Autoren: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Veröffentlicht 2026-07-21

📖 6 Min. Lesezeit🧠 Tiefgang

CC0 1.0

Ursprüngliche Autoren: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Originalarbeit unter CC0 1.0 der Gemeinfreiheit gewidmet (http://creativecommons.org/publicdomain/zero/1.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 sind ein Detektiv in der riesigen, stillen Bibliothek der Zahlentheorie, einem Zweig der Mathematik, der sich den verborgenen Geheimnissen ganzer Zahlen widmet. In dieser Welt sind Zahlen nicht nur Werkzeuge zum Zählen von Äpfeln; sie sind Charaktere mit ihrem eigenen Charakter, ihren Beziehungen und strengen Regeln. Eine der berühmtesten Regeln in dieser Bibliothek ist das „Bertrand-Postulat“, eine jahrhundertealte Beobachtung, die besagt, dass es, wenn man eine Zahl größer als 6 wählt, immer mindestens eine Primzahl gibt, die in einer spezifischen Nachbarschaft direkt unter ihr verborgen liegt. Lange Zeit haben Mathematiker wie der legendäre Paul Erdős mit geschickten Tricks involving Binomialkoeffizienten (das sind die Zahlen, die man erhält, wenn man Kombinationen von Gegenständen zählt) bewiesen, dass diese Regeln gelten. Aber manchmal sind die interessantesten Rätsel nicht die großen, lauten Theoreme, sondern die leisen, seltsamen Ungleichungen, die auftauchen, wenn man versucht, diese Beweise zu vereinfachen. Dies sind die „Kuriositäten“, die Mathematiker den Kopf schütteln lassen und sich fragen: „Hält das immer wahr, oder versteckt sich eine hinterlistige Ausnahme in den Zahlen?“

Dieses Papier mit dem Titel „Another Inequality Inspired by Erdős“ taucht tief in eine solche hinterlistige Ungleichung ein. Die Autoren Barora Batíková, Tomáš J. Kepka und Petr C. Němec untersuchen eine spezifische mathematische Beziehung, die positive ganze Zahlen betrifft. Sie definieren ein paar spezielle „Charaktere“ für jede Zahl $n$ : einen Wert $z(n)$ , der damit zusammenhängt, wie oft die 3 in $2n$ passt, einen Wert $m(n)$ , der mit der Quadratwurzel von $2n$ zusammenhängt, und einen Wert $r(n)$ , der mit Zweierpotenzen zusammenhängt. Sie kombinieren diese dann in einen komplexen Ausdruck, $y(n)$ , und stellen eine einfache Frage: Ist dieser Ausdruck immer negativ, immer positiv oder schwankt er hin und her? Das Papier beweist, dass dieser Ausdruck niemals exakt null ist (er landet nie perfekt auf der Linie) und es skizziert genau, welche Zahlen ihn negativ und welche ihn positiv machen. Es ist ein wenig so, als würde man jedes einzelne Haus in einer sehr langen Straße überprüfen, um zu sehen, ob die Lichter an oder aus sind, und dabei feststellen, dass die meisten Häuser einem Muster folgen, aber es ein paar spezifische Adressen gibt, an denen sich die Lichter anders verhalten.

Die große Zahlensuche

Die Geschichte beginnt mit einem Rückblick in die Vergangenheit. Im Jahr 1845 machte ein Mathematiker namens J. Bertrand eine kühne Vermutung: Für jede Zahl $n$ größer als 6 gibt es immer eine Primzahl zwischen $n-2$ und $n^2$ . Später kam Paul Erdős, ein Genie, das für seine eleganten und einfachen Beweise bekannt war, auf einen neuen Weg, um eine leicht andere Version dieser Idee zu beweisen. Dabei stieß er auf einige ungewöhnliche Ungleichungen. Eine dieser Ungleichungen, die einen Wert namens $x(n)$ beinhaltet, wurde bereits in einem früheren Papier derselben Autoren untersucht. Sie fanden heraus, dass $x(n)$ meistens negativ ist, aber für eine winzige Handvoll Zahlen exakt null erreicht: 436, 451, 529, 545 und 546.

Nun wenden sich die Autoren einer „verwandten“ Ungleichung zu, einem Geschwisterstück der ersten Ungleichung, die sie $y(n)$ nennen. Dieser neue Ausdruck ist etwas komplizierter und mischt Zweierpotenzen mit Potenzen von $n$ . Das Ziel dieses Papiers ist es, ein Rätsel zu lösen: Für welche positiven ganzen Zahlen $n$ ist $y(n)$ kleiner als Null? Und, entscheidend, wird $y(n)$ jemals exakt null sein?

Der zweigleisige Angriff

Um dies zu lösen, nutzen die Autoren zwei verschiedene Strategien, als würde ein Detektiv sowohl eine Lupe als auch einen Hightech-Scanner verwenden.

Strategie 1: Der rein arithmetische Ansatz
Zuerst nutzen sie „reine Arithmetik“, was bedeutet, dass sie sich strikt an die Regeln ganzer Zahlen halten, ohne die glatten Kurven der Analysis zu verwenden. Sie zerlegen die unendliche Zahlengerade in handhabbare Stücke. Sie erkennen, dass für bestimmte Zahlenbereiche die Werte von $m(n)$ und $r(n)$ gleich bleiben. Dies ermöglicht es ihnen, Zahlen in Intervalle zu gruppieren.

Sie erstellen eine riesige Karte dieser Intervalle. Zum Beispiel betrachten sie Zahlen von 1 bis 403 und prüfen das Vorzeichen von $y(n)$ in jedem Block. Sie finden heraus, dass für kleine Zahlen (wie 1, 2, 3, 4) $y(n)$ positiv ist. Aber beginnend bei $n=5$ , wechselt es zu negativ. Es bleibt über eine lange Strecke negativ, aber dann, genau wie bei einer Achterbahn, sinkt und steigt es in bestimmten Abschnitten.

Durch sorgfältige Berechnungen und Vergleiche von Potenzen (wie die Prüfung, ob $2^{20}$ größer als $3^{15}$ ist) beweisen sie, dass $y(n)$ für eine spezifische Menge von Bereichen negativ ist:

Von 5 bis 335.
Von 338 bis 350.
Von 365 bis 368.

Sie beweisen auch, dass $y(n)$ niemals null ist. Es ist eine strikte „Entweder/Oder“-Situation; die Zahl ist entweder positiv oder negativ, niemals genau auf dem Zaun sitzend. Für alle anderen Zahlen (1 bis 4 sowie 336, 337, 351 bis 364 und alles ab 369 aufwärts) ist der Wert positiv.

Strategie 2: Der Calculus-Ansatz
Um ihre Arbeit zu überprüfen und zu zeigen, dass diese Ergebnisse auch dann Bestand haben, wenn sie durch die Linse der kontinuierlichen Mathematik betrachtet werden, nutzen die Autoren elementare Analysis. Sie erfinden eine glatte, wellenförmige Funktion $F(x)$ , die das Verhalten ihres diskreten Ganzzahlproblems nachahmt.

Sie analysieren die Form dieser Kurve. Sie zeigen, dass die Kurve schließlich ewig nach oben steigt. Indem sie finden, wo die Kurve die „Null-Linie“ (die x-Achse) kreuzt, können sie vorhersagen, wo die ganzzahligen Werte von $y(n)$ positiv oder negativ sein müssen.

Sie beweisen, dass wenn $n$ sehr groß ist (speziell $n \ge 404$ ), der Wert definitiv positiv ist.
Sie nutzen die Kurve, um den Suchbereich einzugrenzen und bestätigen, dass jegliches „negative“ Verhalten innerhalb eines bestimmten Fensters stattfinden muss (etwa zwischen 5 und 379).
Durch das Überprüfen der spezifischen ganzzahligen Punkte innerhalb dieses Fensters bestätigen sie die exakten Grenzen, die in der ersten Strategie gefunden wurden.

Das endgültige Urteil

Das Papier schließt mit einer definitiven Landkarte des Territoriums ab. Die Ungleichung $y(n) < 0$ (was bedeutet, dass der Ausdruck negativ ist) ist genau dann wahr, wenn $n$ in eine der folgenden drei Gruppen fällt:

$5 \le n \le 335$
$338 \le n \le 350$
$365 \le n \le 368$

Umgekehrt ist $y(n) > 0$ (was bedeutet, dass der Ausdruck positiv ist), wenn $n$ zwischen 1 und 4 liegt, oder in den Lücken zwischen den negativen Zonen, oder wenn $n$ 369 oder größer ist.

Am wichtigsten ist, dass die Autoren mit absoluter Gewissheit beweisen, dass $y(n)$ für keine positive ganze Zahl jemals gleich null ist. Es gibt keine „magischen Zahlen“, bei denen der Ausdruck perfekt verschwindet. Es ist eine strikte binäre Welt von positiv und negativ, ohne neutralen Boden.

Diese Arbeit ist ein Zeugnis für die Kraft der Kombination von alter Schule des Zahlenrechnens mit modernen analytischen Werkzeugen. Während das Ergebnis für den Uneingeweihten wie ein Nischenrätsel erscheinen mag, repräsentiert es die Art von akribischer, schrittweiser Verifizierung, die die Fundamente der Mathematik solide hält. Es zeigt, dass selbst in der Welt der abstrakten Zahlen jede einzelne Situation zählt, und dass die interessantesten Entdeckungen manchmal darin bestehen, genau zu wissen, wo die Ausnahmen nicht existieren.

Technische Zusammenfassung von „Another Inequality Inspired by Erdős“

Problemstellung
Die Arbeit untersucht eine spezifische Ungleichung für positive Ganzzahlen, die durch eine Menge Hilfsfunktionen definiert ist, welche aus den Eigenschaften von Zweierpotenzen und Quadratwurzeln abgeleitet wurden. Die Autoren streben an, das Vorzeichen der Funktion $y(n)$ für alle positiven Ganzzahlen $n$ zu bestimmen.

Die Funktion $y(n)$ ist definiert als:
$y(n) = 2^{2n - 2z(n) - m(n) + 2} - n^{m(n) - 1}$
wobei:

$z(n)$ die größte Ganzzahl ist, für die $3z(n) < 2n$ gilt.
$m(n)$ die größte Ganzzahl ist, für die $m(n)^2 \le 2n$ gilt.
$r(n)$ die kleinste nicht-negative Ganzzahl ist, für die $n \le 2^{r(n)}$ gilt.

Der Kern des Problems besteht darin, die Ungleichung $y(n) < 0$ zu lösen und alle $n$ zu identifizieren, für die $y(n) = 0$ gilt. Diese Arbeit folgt einer vorangegangenen Untersuchung derselben Autoren einer verwandten Ungleichung $x(n) < 0$ , wobei $x(n) = z(n) - (r(n) + 1)m(n)$ . Die Autoren rahmen diese Untersuchung im Kontext der elementaren Arithmetik ein, motiviert durch das Bestreben, Beweise für zahlentheoretische Aussagen (wie das Bertrand-Postulat) zu finden, die auf elementaren Methoden beruhen, potenziell innerhalb des Fragments der „Elementaren Funktionenarithmetik“.

Methodik
Die Arbeit verwendet zwei unterschiedliche methodische Ansätze, um die Ungleichung zu lösen:

Rein arithmetischer Ansatz (Abschnitt 2):
- Intervallpartitionierung: Die Autoren definieren Intervalle, in denen die Werte von $m(n)$ und $r(n)$ konstant bleiben. Sie konstruieren eine Folge von Intervallen $[g(i), g(i+1)-1]$ , in denen diese Parameter feststehen, was es ermöglicht, $x(n)$ und $y(n)$ innerhalb dieser Grenzen als nicht-steigende oder monotone Sequenzen zu analysieren.
- Vergleichende Schranken: Unter Verwendung von Lemmata etablieren die Autoren Schranken, die Zweierpotenzen ( $2^{c(n)-m(n)}$ ) gegen Potenzen von $n$ ( $n^{m(n)-1}$ ) vergleichen. Sie nutzen spezifische Ungleichungen, um zu zeigen, dass unter bestimmten Bedingungen für $c(n)$ , $m(n)$ und $r(n)$ , $y(n)$ strikt negativ oder strikt positiv sein muss.
- Fallweise Verifizierung: Für den Bereich, in dem allgemeine Schranken unzureichend sind (speziell $17 \le n \le 403$ ), führen die Autoren eine detaillierte, intervallweise Analyse durch. Dies beinhaltet die Berechnung spezifischer Werte von $c(n)$ und den Vergleich mit berechneten Potenzen von $n$ , um das Vorzeichen von $y(n)$ zu bestimmen.
Ansatz der Elementaren Analysis (Abschnitt 3):
- Kontinuierliche Approximation: Die Autoren definieren kontinuierliche Funktionen $F(x)$ , die das diskrete Verhalten von $x(n)$ und $y(n)$ approximieren. Diese Funktionen enthalten Terme wie $x^{2/3}$ , $\sqrt{x}$ und $\log_2 x$ .
- Konvexitätsanalyse: Durch die Analyse der zweiten Ableitungen ( $F''(x)$ ) beweisen die Autoren, dass diese Funktionen für hinreichend große $x$ konvex sind. Diese Konvexität impliziert, dass die Funktionen höchstens ein lokales Minimum besitzen und in spezifischen Domänen höchstens einmal die Nullstelle kreuzen.
- Begrenzung der Nullstellen: Die Autoren berechnen spezifische Werte, um die Nullstellen dieser kontinuierlichen Funktionen zu lokalisieren (z. B. das Finden von $k$ , sodass $f(k) \approx 0$ ). Sie verwenden dann die Beziehung zwischen der kontinuierlichen Funktion und der diskreten Ganzzahlsequenz, um den Bereich der Ganzzahlen zu begrenzen, in dem die Ungleichung gilt.

Zentrale Beiträge und Ergebnisse

Vollständige Lösung der Ungleichung (2): Die Arbeit liefert eine definitive Klassifizierung des Vorzeichens von $y(n)$ für alle positiven Ganzzahlen.
- $y(n) < 0$ : Dies gilt genau dann, wenn $5 \le n \le 335$ , $338 \le n \le 350$ oder $365 \le n \le 368$ .
- $y(n) > 0$ : Dies gilt genau dann, wenn $1 \le n \le 4$ , $336 \le n \le 337$ , $351 \le n \le 364$ oder $n \ge 369$ .
- $y(n) = 0$ : Die Autoren beweisen, dass $y(n)$ für keine positive Ganzzahl $n$ gleich Null ist.
Verfeinerung der vorangegangenen Arbeit (Ungleichung 1): Während der primäre Fokus auf $y(n)$ liegt, wird auch die Ungleichung $x(n) < 0$ unter Verwendung der Analysis-Methode erneut untersucht. Sie bestätigen das Ergebnis ihrer vorangegangenen Arbeit [1], dass $x(n) = 0$ nur für $n \in \{436, 451, 529, 545, 546\}$ gilt und $x(n) < 0$ für $n \le 435$ sowie $n=450$ oder $513 \le n \le 528$ .
Methodische Demonstration: Die Arbeit zeigt, dass komplexe Ungleichungen in positiven Ganzzahlen mittels „elementarer Analysis“ (unter Einbeziehung von Logarithmen und Wurzeln) angegangen werden können, um den Suchraum einzugrenzen, gefolgt von einer endlichen arithmetischen Verifizierung.

Bedeutung und Behauptungen
Die Autoren positionieren diese Arbeit als eine methodische und didaktische Übung. Sie behaupten nicht, ein großes offenes Problem gelöst zu haben, sondern untersuchen vielmehr „ungewöhnliche Ungleichungen in positiven Ganzzahlen“, die aus Versuchen resultieren, Beweise für das Bertrand-Postulat zu vereinfachen.

Die behauptete Bedeutung ist zweifach:

Arithmetische Reinheit: Die Autoren argumentieren, dass die verwendeten Methoden „transmografiert“ werden können, um Demonstrationen innerhalb oder nahe der „Elementaren Funktionenarithmetik“ zu liefern, einem schwachen Fragment der Arithmetik. Dies steht im Einklang mit dem Ziel, Beweise für zahlentheoretische Aussagen zu finden, die nicht auf schwerer analytischer Maschinerie (Analysis) beruhen, obwohl die vorliegende Arbeit die Analysis als Werkzeug nutzt, um den arithmetischen Beweis zu leiten.
Didaktischer Wert: Die Einbeziehung sowohl eines rein arithmetischen als auch eines auf Analysis basierenden Lösungsansatzes dient dazu, verschiedene Wege zur Bearbeitung solcher Probleme zu illustrieren. Die Autoren merken an, dass während der arithmetische Beweis „rein“ ist, der Ansatz der Analysis eine Möglichkeit bietet, die Berechnung zu „erleichtern“ und den Bereich der Ganzzahlen einzuschränken, die einer manuellen Verifizierung bedürfen.

Die Arbeit schließt bescheiden mit der Feststellung, dass die Ergebnisse eine vollständige Lösung der präsentierten spezifischen Ungleichungen liefern, ohne über den unmittelbaren Kontext dieser spezifischen Ungleichungen hinaus auf breitere Anwendungen oder zukünftige Forschungsrichtungen zu schließen.

Die große Zahlensuche

Der zweigleisige Angriff

Das endgültige Urteil

Mehr davon