Legendresche Vermutung
Die Legendresche Vermutung (benannt nach dem Mathematiker Adrien-Marie Legendre) ist eine zahlentheoretische Aussage, die besagt, dass es für jede natürliche Zahl <math>n</math> mindestens eine Primzahl zwischen <math>n^2</math> und <math>(n+1)^2</math> gibt.
Die Vermutung ist eines der Landau-Probleme – benannt nach Edmund Landau, der sie auf dem Internationalen Mathematikerkongress in Cambridge 1912 zu den vier zur damaligen Zeit nicht attackierbaren Vermutungen über Primzahlen zählte.<ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Landau’s Problems. In: MathWorld (englisch). {{#if: LandausProblems | {{#ifeq: {{#property:P2812}} | LandausProblems | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref>
Die Vermutung ist unbewiesen. Es konnte allerdings gezeigt werden, dass zwischen <math>n^2</math> und <math>(n+1)^2</math> immer eine Primzahl oder eine Semiprimzahl liegt.<ref>Vgl. Jing Run Chen: On the distribution of almost primes in an interval. In: Scientia Sinica 18 (1975), S. 611–627.</ref>
Die Legendresche Vermutung stellt eine notwendige Bedingung für die nachfolgende (ebenfalls unbewiesene) Vermutung dar:
- Gegeben sei eine Primzahl <math>p</math>. Die natürlichen Zahlen <math>1</math> bis <math>p^2</math> seien zeilenweise aufsteigend quadratisch angeordnet wie in der Abbildung für die ersten fünf Primzahlen <math>p=2;3;5;7</math> und <math>11</math> dargestellt.
- Dann gibt es zu jeder solchen quadratischen Anordnung eine Auswahl von <math>p</math> Primzahlen, so dass sich in jeder Zeile und jeder Spalte genau eine Primzahl befindet.
Daraus, dass sich in der letzten Zeile einer jeden quadratischen Anordnung mindestens eine Primzahl befinden muss, lässt sich die Legendresche Vermutung folgern.<ref>Martin Erickson: Mathematische Appetithäppchen - Faszinierende Bilder. Packende Formeln. Reizvolle Sätze. Aus dem Englischen übersetzt von Roland Girgensohn, . Übersetzung der amerikanischen Ausgabe: Beautiful Mathematics von Martin Erickson, erschienen 2011 bei Mathematical Association of America, Springer Spektrum, Springer-Verlag Berlin Heidelberg 2015, ISBN 978-3-662-45458-9, Seite 7</ref>
In Analogie zur Legendreschen Vermutung bewies Albert Ingham für Kubikzahlen: Für jedes hinreichend große <math>n</math> liegt zwischen <math>n^3</math> und <math>(n+1)^3</math> mindestens eine Primzahl.<ref>Vgl. Albert E. Ingham: On the difference between consecutive primes. In: The Quarterly Journal of Mathematics, Oxford Series 8 (1937), Nr. 1, S. 255–266.</ref>
Beispiele
Für <math>n = 1, 2, 3, 4, 5</math> bestätigen die Primzahlen <math>p = 2, 5, 11, 17, 29</math> die Legendresche Vermutung.
Verwandtes
Nach der Brocardschen Vermutung (benannt nach Henri Brocard) gibt es für jedes <math>n>1</math> mindestens vier Primzahlen zwischen <math>p_n^2</math> und <math>p_{n+1}^2.</math> Dabei ist <math>p_n</math> die n-te Primzahl (also <math>p_1=2,</math> <math>p_2=3,</math> …). Beispielsweise liegen zwischen <math>p_2^2=9</math> und <math>p_3^2=25</math> die fünf Primzahlen <math>11, 13, 17, 19, 23</math>. Auch diese Vermutung ist unbewiesen.<ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Brocard’s Conjecture. In: MathWorld (englisch). {{#if: BrocardsConjecture | {{#ifeq: {{#property:P2812}} | BrocardsConjecture | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref>
Der dänische Mathematiker Ludvig Oppermann (1817–1883) vermutete 1882 (Vermutung von Oppermann), dass es für <math> n>1</math> zwischen <math>(n-1)\cdot n =n^2-n</math> und <math>n^2</math> mindestens eine Primzahl gibt (und ebenso zwischen <math>(n+1)\cdot n =n^2+n</math> und <math>n^2</math>). Eine andere Formulierung mit der Primzahlfunktion <math>\pi(x)</math> lautet <math>\pi(x^2 - x) < \pi(x^2) < \pi(x^2 + x)</math>. Aus der Vermutung folgt, dass es mindestens vier Primzahlen zwischen <math>(n+1)^2</math> und <math>(n-1)^2</math> gibt und mindestens zwei zwischen <math>n^2</math> und <math> {(n+1)}^2</math> (eine zwischen <math>n^2</math> und <math> n \cdot (n+1)</math> und eine zwischen <math> n \cdot (n+1)</math> und <math>{(n+1)}^2</math>), sie ist also eine Verschärfung der Legendre-Vermutung. Ebenso folgt, dass der Abstand zweier aufeinanderfolgender Primzahlen <math>p_{n+1}-p_n < \sqrt p_n </math> ist. Dies ist ebenfalls unbewiesen.<ref>Zum Beispiel Martin Aigner, Günter M. Ziegler, Proofs from THE BOOK (dt. Das BUCH der Beweise), Springer 2018, S. 12</ref>
Weblinks
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Legendre’s Conjecture. In: MathWorld (englisch). {{#if: LegendresConjecture | {{#ifeq: {{#property:P2812}} | LegendresConjecture | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Einzelnachweise
<references />