Bonsesche Ungleichung
Die Bonsesche Ungleichung ist ein Satz über das Wachstum der Primzahlen. Sie besagt, dass das Quadrat einer Primzahl kleiner ist als das Produkt der kleineren Primzahlen. Gefunden und veröffentlicht wurde die Ungleichung von dem Münsteraner Studenten Bonse im Jahr 1907. Einem breiten Publikum nahegebracht wurde sie durch das populärwissenschaftliche Mathematikbuch Von Zahlen und Figuren[1] der beiden Mathematiker Hans Rademacher (1892–1969) und Otto Toeplitz (1881–1940).
Formal: Wenn die Folge der Primzahlen bezeichnet, dann gilt für alle :
- .
Für gilt diese Ungleichung nicht. Es ist also
- usw.
Verschärfungen
Wie Rademacher und Toeplitz bemerken, gibt es bessere Ergebnisse als die Bonsesche Ungleichung; wie etwa eine von Pafnuti Lwowitsch Tschebyschow gefundene Ungleichung, welche besagt, dass eine jede Primzahl kleiner als das Doppelte der jeweiligen Vorgängerprimzahl ist. Doch lassen sich diese besseren Ergebnisse nur mit kraftvollen Mitteln der höheren Mathematik beweisen, während Bonse für den Beweis seiner Ungleichung allein elementare Mittel benötigte.
Eine noch stärkere Einschränkung sagt sogar eine Primzahl zwischen zwei Quadratzahlen voraus. Dies ist als Legendresche Vermutung bekannt, die jedoch bisher nicht bewiesen werden konnte.
Mathematische Anwendungen
Robert J. Betts beschrieb im Jahr 2007, wie man mit Hilfe der Bonseschen Ungleichung Aussagen über die Größe von Primzahllücken bekommen kann, die zwar nicht so stark wie andere bekannte Abschätzungen sind, aber auf einfachere Art und Weise herzuleiten sind.[2]
Einzelnachweise
- Hans Rademacher, Otto Toeplitz: Von Zahlen und Figuren. Proben mathematischen Denkens für Liebhaber der Mathematik. Springer-Verlag 2000, ISBN 3-540-63303-0
- Robert J. Betts: Using Bonse’s Inequality to Find Upper Bounds on Prime Gaps. In: Journal of Integer Sequences. Band 10, Nr. 07.3.8, 2007, ISSN 1530-7638 (englisch, Direkter Download [PDF; 101 kB; abgerufen am 22. März 2020]). Abrufbar unter Journal of Integer Sequences – Volume 10, 2007. (englisch).