Ein Weg zum Beweis der Primzahlzwillings-Vermutung

Klaus-Michel Becker, im Juni 2022

Im ersten Abschnitt ermitteln wir Gesetzmäßigkeiten zu Teilerfremden in speziellen Intervallen. Nach diesem Vorlauf fällt es uns leicht entsprechende Gesetzmäßigkeiten auch zu Teilerfremd-Zwillingen zu bestimmen. Da Teilerfremde bzw. Teilerfremd-Zwillinge in gesonderten Bereichen mit Primzahlen bzw. Primzahl-Zwillingen übereinstimmen, führen uns Aussagen von Teilerfremden bzw. Teilerfremd-Zwillingen unmittelbar zu Aussagen von Primzahlen bzw. Primzahl-Zwillingen.

 

 

1. Teilerfremde

 

Definitionen

a und b mit a<b seien zwei natürliche Zahlen.

a heißt teilerfremd zu b (auch relativ prim, DEISER [5] S.56), falls a und b keinen gemeinsamen Teiler haben, d.h. es gilt  ggT(a,b) = 1.

Teilerfremde sind alle a<b, die zu b teilerfremd sind.

Die Primfakultät  ∏p_n = ∏ⁿ_i=1p_i   ist ist das Produkt aller Primzahlen bis p_n.

 

Teilerfremde zu ∏p_n erhalten wir auf elementare Art und Weise, indem wir aus der Folge der natürlichen Zahlen alle Vielfachen von p_i (1≤i≤n) streichen. Dies entspricht dem Sieb des Eratosthenes (RIBENBOIM[1] S.16, HAVIL [2] S.198, ZIEGENBALG [3] S.60), wobei wir noch zusätzlich die Primzahlen p_i selbst streichen müssen. Alle nicht ausgesiebten Elemente sind Teilerfremde zu ∏p_n.

 

Satz 1.1

Teilerfremde zu ∏p_n im Intervall [1; ∏p_n] implizieren Primzahlen größer p_n.

Beweis: t sei Teilerfremder zu ∏p_n im Intervall [1; ∏p_n]. Wegen ggT(t,∏p_n) = 1 gilt, dass t keinen Faktor von ∏p_n haben kann. t muss deshalb entweder selbst eine Primzahl größer p_n sein oder aus Primfaktoren größer p_n zusammengesetzt sein.

 

Satz 1.1 gehört in die unermessliche Sammlung von Beweisen zur Unendlichkeit der Primzahlen (RIBENBOIM [1] S. 3ff).

Als Vorbereitung auf unseren zweiten Abschnitt versuchen wir mehr über die Spezies Teilerfremde zu erfahren.

 

Satz 1.2  (Symmetrie)

Teilerfremde zu ∏p_n im Intervall [1; ∏p_n] liegen symmetrisch in [1; ∏p_n], d.h. mit t teilerfremd zu ∏p_n  ist auch (∏p_n -t) teilerfremd zu ∏p_n.

Beweis:  t teilerfremd zu ∏p_n  →  ggT(t, ∏p_n) = 1  →  ggT(∏p_n -t, ∏p_n) = 1  →  (∏p_n –t) teilerfremd zu ∏p_n

 

Satz 1.3  (Anzahl)

Im Intervall [1; ∏p_n] gibt es zu ∏p_n genau  AnzT_n = ∏ⁿ_i=1(p_i-1)  Teilerfremde.

Beweis: Die Aussage folgt unmittelbar aus Algorithmus 4.1 (siehe Anhang) bzw. als Konsequenz aus der Eulerschen φ–Funktion (ZIEGENBALG [3] S.109, AIGNER [4] S. 82). Ein Beweis durch Vollständige Induktion gelingt ebenfalls problemlos (MELCHMERDIF [8] S.6).

 

Teilerfremde in [1; p²_n] nehmen eine Sonderstellung ein.

 

Satz 1.4  (Primzahlen I)

Die Teilerfremden zu π_n in [1; p²_n] sind Primzahlen (, falls sie denn existieren).

Beweis: wäre ein Teilerfremder zusammengesetzt, so müsste zumindest einer seiner Primfaktoren kleiner p_n sein, was aber nicht sein kann.

 

Betrachten wir im Intervall [1; ∏p_n] einmal alle Teilerfremden zu ∏p_n. Zwischen benachbarten Teilerfremden haben wir unterschiedlich große Abstände. Diese Lücken reichen von 2, 4, 6, … bis hin zu einem von p₁ bis p_n abhängigen maximalen Wert. In der Summe müssen wir ebenso viele Lücken wie Teilerfremde haben -- die Lücke zum nächsten Intervall schließen wir mit ein – also haben wir AnzT_n Lücken. Diese Lücken vermitteln uns einen ersten Eindruck von der Verteilung der Teilerfremden. Im Anhang betrachten wir umfangreiche Statistiken dieser Lücken. Da die Summe aller Lücken identisch mit der Intervalllänge ist, erhalten wir problemlos den Mittelwert der Lücken.

 

Satz 1.5  (Mittelwert)

Der Mittelwert (die durchschnittliche Länge) aller Lücken der Teilerfremden zu ∏p_n in [1; ∏p_n] wird bestimmt durch  MitT_n = ∏p_n / AnzT_n = ∏ⁿ_i=1p_i / ∏ⁿ_i=1(p_i-1)  und es gilt für n>1 die Abschätzung  MitT_n < p_n .

Beweis: wir folgern  MitT_n = ∏ⁿ_i=1p_i / ∏ⁿ_i=1(p_i-1) = (∏^n-1_i=1p_i /(p_i+1-1))p_n und wegen p_i+1 - p_i ≥2  sind für i>1 sämtliche Faktoren p_i / (p_i+1-1) < 1  (für i=1 haben wir p₁ / (p₂-1) =1 ) womit wir  MitT_n < p_n  erhalten.

 

Das bisher Ermittelte stellen wir in einer Tabelle zusammen, ergänzen um die numerisch ermittelten Werte größter Lücken im Intervall [1; ∏p_n]  und stellen diese der Länge des Intervalls [p_n;p²_n ] gegenüber.

 

n	2	3	4	5	6	7	8	9	10	11
pn	3	5	7	11	13	17	19	23	29	31
MitTn	3	3,7	4,3	4,8	5,2	5,5	5,8	6,1	6,3	6,5
MaxTn	4	6	10	14	22	26	34	38	46	58
p2n-pn	6	20	42	110	156	272	342	506	812	930

 

Die hieraus resultierende Grafik zeigt uns, die größten Lücken sind stets deutlich kleiner als p²_n - p_n . Die Gestzmäßigkeit der größten Lücken wird nunmehr der entscheidende Schlüssel zu einer weiteren Aussage Teilerfremder werden.

 

 

Wie wir bisher gesehen haben, unterliegen Teilerfremde im Vergleich zu Primzahlen einfachen Gesetzmäßigkeiten. Es verwundert nicht, dass dies auch für die maximalen (größten) Lücken gilt.

Auf der Suche nach zunächst einmal großen Lücken werden wir schnell fündig.

 

Satz 1.6  (große Lücken)

In jedem Intervall [1; ∏p_n]  haben wir große Lücken der Länge (p_n+1-1).

Beweis:   p₁ bis p_n sieben sämtliche Elemente bis (p_n+1-1) aus. Die Elemente 1 und p_n+1 begrenzen die Lücke. Aus Symmetriegründen (Satz 1.2) werden auch am Ende des Intervalls (p_n+1-2) Elemente ausgesiebt.

 

Auch im anschließenden Intervall [∏p_n+1; 2∏p_n] werden wir diese großen Lücken haben. Wir betrachten Situationen, wo diese beiden Lücken der Länge p_n+1-1, die lediglich durch drei  Elemente getrennt liegen, miteinander verbunden werden können. Wir veranschaulichen dies exemplarisch am Siebschema für n=4 (grün markiert).

                                                                          ↓

                                                  Ende Intervall I   =  Anfang Intervall II

x

x

x

x

x

x

x

2

x

x

x

x

x

x

x

x

x

x

x

x

3

x

x

x

x

x

x

x

x

5

x

x

x

x

x

7

x

x

x

11

x

x

13

x

 

Nach Sieben mit p_n+1 sowie p_n+2 haben wir eine Lücke der Länge 2p_n+1 erhalten (gelb markiert). Und diese größere Lücke wird es irgendwo im Intervall [1; ∏p_n+2] geben müssen.

 

Wir können deshalb auf das Intervall [1; ∏p_n]  zugeschnitten formulieren:

 

Satz 1.7  (maximale Lücke)

In jedem Intervall [1; ∏p_n]  haben wir Lücken der Länge MaxT_n = 2•p_n-1. Sie sind größer als die Lücken nach Satz 1.6 und sie sind die maximalen (größtmöglichen) Lücken im gesamten Intervall.

Beweisskizze:  zunächst gilt, dass die Lücken der Länge 2•p_n-1 für n≤4 stets gleich und für n>4 stets größer ausfallen als die großen Lücken gemäß Satz 1.6, denn  aus Verschärfungen von Bertrands Postulat (AXLER [7]) folgt unmittelbar, dass 2•p_n-1 > p_n+1 -1 für alle n>4 gilt.  Tabelle 1  liefert uns  MaxT₂ = 4 = 2•p₁,  MaxT₃ = 6 = 2•p₂,  … , MaxT₁₀ = 46 = 2•p₉ ,  MaxT₁₁ = 58 = 2•p₁₀ .  Und  2•p_n-1  ist der größtmögliche Wert, da offensichtlich jede Änderung (Verschie-bung) irgendeiner Siebfolge p_i  (für 1 ≤ i ≤ n) die Grenzen des Lückenintervalls verringern würde.

 

Wir haben ein vorläufiges Etappenziel erreicht.

 

Satz 1.8  (Primzahlen II)

Im Intervall [p_n; p²_n]  gibt es neben p_n mindestens eine weitere Primzahl.

Beweis:  Der maximale Abstand von Teilerfremdem zu Teilerfremdem in [1; ∏p_n]  beträgt nach Satz 1.5  MaxT_n = 2•p_n-1.  Wegen 2•p_n-1 < 2•(p_n-1) < p_n•(p_n-1) = p²_n - p_n  muss es zwischen p_n und p²_n mindestens einen weiteren Teilerfremden geben. Nach Satz 1.4 muss dieser Teilerfremde eine Primzahl sein.

 

Es ist uns klar, dass wir dieses Ergebnis unmittelbar mit Bertrands Postulat (AIGNER [4] S.7) hätten finden können. Mit den gewonnenen Sätzen zu Teilerfremden haben wir aber bewusst einen Weg beschritten, den wir analog mit Teilerfremd-Zwillingen begehen wollen und können.

Wir wenden uns nun unserem eigentlichen Vorhaben zu.

 

2. Teilerfremd-Zwillinge

 

Definitionen

Zwei Primzahlen p und q heißen Primzahl-Zwillinge (RIBENBOIM [1] S.200, GRACIAN [6] S.35), wenn ihre Differenz 2 beträgt. Sie bilden ein Primzahl-Zwillingspaar.

Zwei Teilerfremde heißen Teilerfremd-Zwillinge, wenn ihre Differenz 2 beträgt. Sie bilden ein Teilerfremd-Zwillingspaar.

Unter Abstand zwischen Zwillingspaaren (Primzahl- wie Teilerfremd-) verstehen wir den Abstand zwischen den jeweils größeren (oder kleineren) der beiden Zwillingspartner.

 

Teilerfremd-Zwillinge zu ∏p_n erhalten wir auf elementare Art und Weise, indem wir aus der Folge der natürlichen Zahlen alle kp_i und alle kp_i+2 (1≤i≤n, kϵN) streichen. Alle nicht ausgesiebten Elemente sind die zweiten Komponenten z eines Teilerfremd-Zwillingspaares (z-2, z) zu ∏p_n .

Ein Analogon zu Satz 1.1 gibt es nun leider nicht. Bei den übrigen Sätzen haben wir mehr Erfolg.

 

Satz 2.2  (Symmetrie)

Im Intervall [1; π_n] gibt es zu π_n genau  AnzZ_n = ∏ⁿ_i=1(p_i-2)   Teilerfremd-Zwillingspaare.

Beweis:  dies folgt unmittelbar aus Algorithmus 4.2 des Anhangs. Auch ein Beweis durch Vollständige Induktion gelingt problemlos.

 

Wie zu erwarten nehmen auch Teilerfremd-Zwillinge in [1; p²_n]  eine Sonderstellung ein.

 

Satz 2.2

Alle Teilerfremd-Zwillingspaare zu  π_n  in [1; p²_n]  sind Primzahl-Zwillingspaare (, falls sie denn existieren).

Beweis:  wäre ein Teilerfremder  eines Teilerfremd-Zwillingspaares zusammengesetzt, so müsste zumindest ein Primfaktor kleiner p_n  sein, was aber nicht sein kann.

 

Betrachten wir im Intervall [1; π_n] einmal alle Teilerfremd-Zwillinge zu π_n. Zwischen benachbarten Teilerfremd-Zwillingspaaren haben wir Abstände von unterschiedlicher Größe. Diese Lücken reichen von 6, 12, 18, … bis hin zu einem von π_n abhängigen maximalen Wert. In der Summe müssen wir ebenso viele Lücken wie Teilerfremd-Zwillingspaare haben --  die Lücke zum nächsten Intervall schließen wir mit ein – also haben wir  AnzZ_n  Lücken. Diese Lücken vermitteln uns wie schon bei Teilerfremden einen ersten Eindruck von der Verteilung der Teilerfremd-Zwillinge. Da die Summe aller Lücken identisch mit der Intervalllänge ist, erhalten wir wiederum problemlos den Mittelwert der Lücken.

 

Satz 2.3

Der Mittelwert (die durchschnittliche Länge) aller Lücken der Teilerfremd-Zwillingspaare zu π_n in [1; π_n]  wird bestimmt durch MitZ_n = π_n / AnzZ_n = ∏ⁿ_i=1p_i / ∏ⁿ_i=2(p_i-2)  und es gilt für n>3 die Abschätzung  MitZ_n < 2p_n  .

Beweis:  wir schließen  MitZ_n = 2 ∏ⁿ_i=2p_i / ∏ⁿ_i=2(p_i-2) = (∏^n-1_i=2p_i /(p_i+1-2))2p_n  und wegen p_i+1 – p_i ≥ 2  sind für i>3 die Faktoren p_i /(p_i+1-2) ≤ 1 (für i=2und i=3 haben wir p_i /(p_i+1-2)=1 und  für i=4 dann p₄ /(p₅-2)) womit wir  MitZ_n < 2p_n  folgern.

 

Und wiederum stellen wir das bisher Ermittelte in einer Tabelle zusammen, ergänzen um die numerisch ermittelten Werte größter Lücken im Intervall [1; π_n]  und stellen diese der Länge des Intervalls [p_n;p²_n ]  gegenüber.

 

n	2	3	4	5	6	7	8	9	10	11
pn	3	5	7	11	13	17	19	23	29	31
MitZn	6	10	14	17,1	20,2	22,9	25,6	28,0	30,1	32,2
MaxZn	6	12	30	42	66	108	150	204	258	348
p2n-pn	6	20	42	110	156	272	342	506	812	930

 

Und wiederum zeigt uns die hieraus resultierende Grafik, die größten Lücken sind stets deutlich kleiner als p²_n - p_n . De Gestzmäßigkeit der größten Lücken wird der Schlüssel zu einer entscheidenden Aussage Teilerfremde-Zwillinge werden.

 

 

 

Teilerfremd-Zwillinge unterliegen im Vergleich zu Primzahl-Zwillingen einfachen Gesetzmäßigkeiten. Es verwundert auch diesmal nicht, dass dies für die maximalen Lücken ebenfalls gilt.

 

Satz 2.4

Die maximale Länge (größte) Lücke aller Teilerfremd-Zwillingspaare zu π_n in [1; π_n]  beträgt  MaxZ_n = 6·∑^[n/2]_k=1p_n-2k .

Beweis:   Die Tabelle liefert uns MaxZ₂ = 6 = 6•p₀  (wir definieren p₀=1),  MaxZ₃ = 12 = 6•p₁,  MaxZ₄ = 24 = 6•(p₂+p₀), …,  MaxZ₁₁ = 348 = 6•(p₉+ p₇₊ p₅₊ p₃₊ p₁).  Zum allgemeinen Beweis betrachten wir auch diesmal die möglichen Kombinationen / Konstellationen der p_i-Reihen (1≤i≤n).

 

Wir haben unser Ziel erreicht.

 

Satz 2.5

Im Intervall [p_n; p²_n]  gibt es mindestens einen Primzahl-Zwilling.

Beweis:   Der maximale Abstand von Teilerfremd-Zwillingspaar zu Teilerfremd-Zwillingspaar  beträgt nach Satz 2.4  MaxZ_n = 6·∑^[n/2]_k=1p_n-2k .   Wegen   6·∑^[n/2]_k=1p_n-2k = 6•(p_n-2+p_n-4+p_n-6+ …)  <  6•[n/2]•p_n-2  <  3n•(p_n-1)  < p_n(p_n-1)  {für n≥12}  = p²_n - p_n   muss es zwischen p_n und p²_n mindestens ein Teilerfremd-Zwillingspaar geben. Nach Satz 2.2 muss dieses Teilerfremd-Zwillingspaar ein Primzahl-Zwillingspaar sein.

 

3. Zusammenfassung

 

Es ist uns klar, dass wir den Beweis zu Satz 2.4 (wie auch Satz 1.5 ) noch nicht endgültig ausgeführt haben. Kann diese Lücke allerdings geschlossen werden, so wäre damit die Primzahl-Zwillings-Vermutung vollständig bewiesen. Und wir sind zuversichtlich, da die maximalen Lücken einfachen Gesetzmäßigkeiten gehorchen, die wir niemals bei Primzahl-Zwillingen hätten vorfinden können.

 

4. Anhang

als PDF ansehen