Mills’ Konstante

Mills’ Konstante ist in der Zahlentheorie definiert als die kleinste positive reelle Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , so dass das Abrunden der doppelten Exponentialfunktion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor A^{3^{n}} \rfloor}

eine Primzahl ergibt für alle positiven ganzen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} (dabei ist mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor \cdot \rfloor} die Abrundungsfunktion gemeint). Die Konstante wurde nach William H. Mills benannt, der 1947 ihre Existenz bewies und sich auf die Arbeiten von Guido Hoheisel und Albert Ingham zu Primzahllücken stützte. Der genaue Wert der Konstante ist unbekannt, aber sofern die Riemann-Hypothese wahr ist, beträgt dieser etwa 1,3063778838630806904686144926… (Folge A051021 in OEIS).

Mills-Primzahlen

Die durch Mills’ Konstante erzeugten Primzahlen sind als Mills-Primzahlen bekannt. Wenn die Riemann-Hypothese wahr ist, beginnt diese Folge mit:

2, 11, 1361, 2521008887, 16022236204009818131831320183, 4113101149215104800030529537915953170486139623539759933135949994882770404074832568499, … (Folge A051254 in OEIS).

Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_i} die i-te Primzahl der Folge bezeichnet, dann kann $a_{i}$ berechnet werden als die kleinste Primzahl größer Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle a_{i-1}^{3}} . Um sicherzustellen, dass Runden von Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A^{3^{n}}} für n = 1, 2, 3, … eine Primzahlfolge produziert, muss zudem $a_{i}<(a_{i-1}+1)^{3}$ gelten. Die Hoheisel-Ingham-Abschätzung garantiert, dass zwischen zwei beliebigen genügend großen Kubikzahlen stets eine Primzahl liegt, was ausreichend ist, um diese Ungleichung für eine genügend große erste Primzahl $a_{1}$ zu beweisen. Da die Riemann-Hypothese impliziert, dass zwischen zwei beliebigen aufeinanderfolgenden Kubikzahlen eine Primzahl liegt, kann die Einschränkung von „genügend großen“ Zahlen fallen gelassen werden, woraus sich die kleinste Mills-Primzahl von a₁ = 2 ergibt.

Die 11. und größte gegenwärtig bekannte Mills-Primzahl lautet:

$(((((((((2^{3}+3)^{3}+30)^{3}+6)^{3}+80)^{3}+12)^{3}+450)^{3}+894)^{3}+3636)^{3}+70756)^{3}+97220$

Sie hat 20.562 Stellen und wurde am 5. Juni 2006 von François Morain entdeckt. Allerdings wurde erst im April 2017 bewiesen, dass diese Zahl tatsächlich eine Primzahl ist.

Momentan sind 3 weitere Mills-Primzahlen bekannt (unter der Annahme der Riemann-Hypothese). Sollte die Hypothese nicht stimmen, sind diese drei Zahlen zumindest PRP-Zahlen.

Die 14. und größte gegenwärtig bekannte Mills-Primzahl (unter Annahme der Riemann-Hypothese) ist:

$\displaystyle ((((((((((((2^{3}+3)^{3}+30)^{3}+6)^{3}+80)^{3}+12)^{3}+450)^{3}+894)^{3}+3636)^{3}+70756)^{3}+97220)^{3}+66768)^{3}+300840)^{3}+1623568$

Sie hat 555.154 Stellen.

Die Stellenzahl verdreifacht sich dabei grob für jede weitere Mills-Primzahl.

Die folgenden Zahlenfolge $b(n)$ (für $n=1,2,3,...$) erzeugt diese Primzahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a(n)} mittels Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b(n)=a(n+1)-a(n)^3} :

3, 30, 6, 80, 12, 450, 894, 3636, 70756, 97220, 66768, 300840, 1623568 (Folge A108739 in OEIS)

Numerische Berechnung

Mills’ Konstante kann durch Berechnung der Mills-Primzahlen wie folgt approximiert werden:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\approx a(n)^{1/3^n}}

Caldwell und Cheng konnten mit dieser Methode die Konstante auf 6850 Nachkommastellen genau berechnen. Es ist weder bekannt, ob sich Mills’ Konstante in einer geschlossenen Form berechnen lässt, noch ob sie eine rationale Zahl ist. Wenn sie rational ist und wenn man die Periode der Dezimaldarstellung dieser rationalen Zahl kennt, kann man damit unendlich viele Primzahlen generieren (siehe Primzahlgenerator).

Annäherung von Mills’ Konstante durch Bruchzahlen

Man kann Mills’ Konstante Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} auch näherungsweise durch Kettenbrüche darstellen. Die Kettenbruchdarstellung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \approx 1{,}3063778838630806904686144926\ldots} lautet:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A=[1; 3, 3, 1, 3, 1, 2, 1, 2, 1, 4, 2, 35, 21, 1, 4, 4, 1, 1, 3, 2, 17, 7, 4, 1, 3, 16, 5, 3, 2, 3, 1, 4, 8, 1, 1, 19578, 1, 1, 1, 1, 1, 8, \ldots]} (Folge A123561 in OEIS)

Wählt man die ersten fünf Werte dieser Zahlenfolge, so erhält man:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \approx [1; 3, 3, 1, 3]=1+\frac{1}{3+\frac{1}{3+\frac{1}{1+\frac{1}{3}}}}=\frac{64}{49} \approx 1{,}30612 <A}

Wählt man die ersten sechs Werte dieser Zahlenfolge, so erhält man:

$A\approx [1;3,3,1,3,1]=1+{\frac {1}{3+{\frac {1}{3+{\frac {1}{1+{\frac {1}{3+{\frac {1}{1}}}}}}}}}}={\frac {81}{62}}\approx 1{,}30645>A$

Wählt man die ersten sieben Werte dieser Zahlenfolge, so erhält man:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \approx [1; 3, 3, 1, 3, 1, 2]=1+\frac{1}{3+\frac{1}{3+\frac{1}{1+\frac{1}{3+\frac{1}{1+\frac{1}{2}}}}}}=\frac{226}{173} \approx 1{,}30636 <A}

Diese Kettenbrüche ergeben abwechselnd jeweils zu große bzw. zu kleine Näherungsbrüche von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} . Die Näherungsbrüche, die man durch obige Kettenbruch-Entwicklung bekommt, sind die folgenden:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} &\frac{1}{1}, \frac{4}{3}, \frac{13}{10}, \frac{17}{13}, \frac{64}{49}, \frac{81}{62}, \frac{226}{173}, \frac{307}{235}, \frac{840}{643}, \frac{1147}{878}, \frac{5428}{4155}, \frac{12003}{9188}, \frac{425533}{325735}, \frac{8948196}{6849623}, \frac{9373729}{7175358}, \\ &, \frac{46443112}{35551055}, \frac{195146177}{149379578}, \frac{241589289}{184930633}, \frac{436735466}{334310211}, \frac{1551795687}{1187861266}, \frac{3540326840}{2710032743}, \ldots \end{align}}

Verallgemeinerungen

• Es gibt keinen Grund, warum in der obigen doppelten Exponentialfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor A^{3^{n}} \rfloor} der Mittelteil unbedingt eine 3 sein muss. Tatsächlich konnten L. Kuipers und A. R. Ansari dieses Ergebnis verallgemeinern, indem sie Folgendes zeigten:

Es gibt zu jeder reellen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c \in \mathbb R} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c \geq 2{,}106} eine Konstante Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , sodass $\lfloor A^{c^{n}}\rfloor$ prim ist für alle positiven ganzen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb N} .

• Man kann auch die Abrundungsfunktion (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lfloor \cdot \rfloor} ) durch die Aufrundungsfunktion (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lceil \cdot \rceil} ) ersetzen. Der Mathematiker László Tóth konnte im Jahr 2017 folgende Aussage beweisen:

Es gibt zu jeder natürlichen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \in \mathbb N} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \geq 3} eine Konstante Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} , sodass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lceil B^{r^{n}} \rceil} prim ist für alle positiven ganzen Zahlen $n\in \mathbb {N}$.

Beispiel: Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r=3}

Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B=1{,}24055470525201424067\ldots} (Folge A300753 in OEIS)

Die dadurch erzeugten Primzahlen lauten:

2, 7, 337, 38272739, 56062005704198360319209, 176199995814327287356671209104585864397055039072110696028654438846269, … (Folge A118910 in OEIS)

Siehe auch

• Primzahlgenerator

Weblinks

• Eric W. Weisstein: Mills’ Constant. In: MathWorld (englisch).
• E. Kowalski: Who remembers the Mills number? (englisch)
• Awesome Prime Number Constant, Numberphile (englisch)