Einige Sätze über Primzahlen und spezielle binomische

arXiv:1406.0397v1 [math.GM] 12 May 2014
Einige Sätze über Primzahlen
und spezielle binomische Ausdrücke
Hans Walther Ernst Gerhart Schmidt
12.05.2014
Hauptstraße 33, D-04668 Otterwisch, Germany
[email protected]
Schlüsselwörter: Primzahlen, Fermat, Gauß-Legendre-Theorem, Goldbach, Lücken,
Mersenne, Vierlinge, vollkommene gerade Zahlen, Zwillinge
Dieser Artikel ist lizensiert als Inhalt der Creative Commons Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen
4.0 Unported-Lizenz. Um eine Kopie der Lizenz zu sehen, besuchen Sie
http://creativecommons.org/licenses/by-nc-sa/4.0/ .
1
Abstract
1. There are existing infinitely many prime numbers of Fermat-type.
2. There are existing infinitely many prime numbers of Mersenne-type.
3. There is no existing any quadratic interval ηn := (n2 , (n + 1)2 ], which contains
less than 2 prime numbers.
The number of prime numbers within ηn goes averagely linear with n to infinity.
4. The exact law of the number π(n) of prime numbers smaller or equal to n is
given. As an approximation of that we get the prime number theorem of Gauss
for great values of n.
5. We derive partition laws for π(ηn ), for the number of twin primes π2 (ηn )
in quadratic intervals ηn and for the multiplicity πg (2n) of representations of
Goldbach-pairs for a given even number 2n similiar to the theorem of Gauss.
6. The claim, that there are constructable intervals of any lenght, in which exists
no prime number, is wrong.
7. It follows, that the number of twin primes goes to infinity as well as the number
of Goldbach-pairs for a given 2n, if n goes to infinity.
8. Besides this our computation gives new proofs for the prime number theorem
of Gauss, for the existence of infinitely many prime numbers, for the existence of
infinitely many prime numbers of the forms n2 + 1 and 4n2 + 1, for the existence of
infinitely many even perfect numbers and the constructability of infinitely many
regular n-corners with circle and ruler.
1
Einleitung
Durch die Fach- und sogar Tagespresse huschen in den letzten Jahren gelegentlich neue
Rekordmeldungen über Primzahlen, wie etwa: ”...neue, bisher größte Primzahl gefunden
mit Hilfe eines Supercomputers...” oder: ”...bisher größter Primzahlzwilling entdeckt...”.
Solche Aussagen haben geringen wissenschaftlichen Wert, da sie im allgemeinen keine
Informationen über verwendete Entscheidungsalgorithmen enthalten. Auch stellen sie
keine Hilfe zur Entscheidung der Fragen dar, ob die Menge der Primzahlzwillinge, der
Fermat’schen oder Mersenneschen Primzahlen endlich ist oder nicht. Nachfolgend soll
gezeigt werden:
1. Die drei genannten Mengen enthalten unendlich viele Elemente.
2. Es wird eine exakte Formel angegeben zur Berechnung der Anzahl π(x) von
Primzahlen ≤ x, aus der sich der Primzahlsatz von Gauß und Legendre als
Näherung für große x ergibt.
3. Da auch analoge Gesetze für die Anzahlen π(ηn ) von Primzahlen in Quadratintervallen ηn := (n2 , (n + 1)2 ], die Anzahl von Primzahlzwillingen π2 (ηn ) und die
Vielfachheit von Goldbachpaar-Darstellungen πg (2n) für eine vorgelegte gerade
Zahl 2n ableitbar sind, kann gezeigt werden, daß alle diese Größen für n → ∞
2
über alle Grenzen wachsen. Solches gilt vermutlich sogar für Primzahlvierlinge in
biquadratischen Intervallen oberhalb eines Schwellwertes.
Bevor die unendlichen Primzahlfolgen angegeben werden, sollen im 2. Kapitel einige allgemein bekannte Beziehungen über die Teilbarkeit von Binomina der Form z± = 2x ± 1
zusammengestellt werden. Das 3. Kapitel liefert eine unendliche Folge Fermat’scher
Primzahlen, im 4. Kapitel werden unendliche Folgen Mersennescher Primzahlen aufgezeigt. Das 5. Kapitel liefert eine exakte Darstellung für π(x), woraus der Gauß’sche
Primzahlsatz als Näherung abgeleitet wird, und die Primzahlverteilung über Quadratintervallen. Im 6. Kapitel wird gezeigt, daß die häufig in der Literatur anzutreffende
Behauptung, man könne “beliebig große” primzahlfreie Intervalle konstruieren, falsch
ist. Im 7., 8. und 9. Kapitel folgen die Anwendungen auf π2 (ηn ), die Vierlingsanzahl
π4 (n4 ) und πg (2n) . Schließlich werden noch einige Schlußfolgerungen gezogen über die
Unendlichkeit der Mengen von Primzahlen der Formen n2 + 1 und 4n2 + 1, der geraden
vollkommenen Zahlen sowie der mit Zirkel und Lineal konstruierbaren regelmäßigen
n-Ecke. Die abgeleiteten Streubreiten der π-Funktionen werden im Anfangsbereich mit
numerisch-experimentellen Befunden verglichen.
2
Teilbarkeitsbeziehungen für Binomina der Form
z± = 2 x ± 1
Satz 2.1. Jede natürliche Zahl a < ∞, aǫN, hat die kanonische Primfaktorzerlegung
a=
n0
Y
pni i ,
(1)
i=1
n0 = Anzahl der von einander verschiedenen Primfaktoren, ni ihre jeweilige Vielfachheit,
oder
∞
Y
a=
pni i
(2)
i=1
unter Verwendung aller Primzahlen in ihrer natürlichen Reihenfolge, worin alle ni = 0
erfüllen, die nicht in (1) auftreten. Faßt man hierin alle ungeraden Primfaktoren in
n0
Y
m=
pni i
i=2
zusammen, so ergibt sich a = 2 m. Für n1 = 0 ist a = m ungerade. Jede ungerade
Zahl m hat auch eine Darstellung
n1
′
′
′
m = 1 + 2n1 m , n1 ≥ 1.
(3)
Satz 2.2. Die Summe m aus zwei beliebigen natürlichen Zahlen ist genau dann eine
ungerade Zahl (n1 = 0), wenn genau einer der Summanden ungerade ist:
s = a1 + a2 = 2n1 m1 + 20 m2 = m.
3
(4)
Das Produkt aus zwei natürlichen Zahlen a1 a2 kann nur ungerade sein, wenn a1 und a2
ungerade sind.
Satz 2.3. Aus dem allgemeinen Binomischen Satz
m X
m m−ν ν
a
b
(a + b) =
ν
ν=0
m
(5)
ergibt sich für a=b=1 und m=ungerade natürliche Zahl


m−1
m 2
X
X
m
m 
= 2 1 +
(1 + 1)m = 2m =
ν
ν
ν=0
ν=1
weil
m
ν
=
m
m−ν
2m =
gilt. Für eine gerade Zahl m = 2l ergibt sich
m X
m
ν=0
(6)
ν
=2 1+
!
l−1 X
m
ν=1
ν
+
m
m
2
=2 1+
l−1 X
2l
ν=1
ν
+B
!
(7)
mit dem binomischen Koeffizienten
2B = 2B2l−1,l−1 = B2l,l
m
2l
= m .
=
l
2
m
Wählt
man
eine
ungerade
Primzahl
p
≥
3
für
m,
so
gilt
außer
B
=
= Bm−ν,ν =
m,ν
ν
m−ν
,
daß
in
jedem
Binomialkoeffizienten
mit
0
<
ν
<
m
der
größte
Faktor
im Zähler
ν
gleich p ist, also ausgeklammert werden kann, da er als Primzahl gegen keinen Nennerfaktor, die alle kleiner sind, zu kürzen ist:
p−1
2
X
1
p
p
2 = 2 (1 + pM) , M =
, ganzzahlig,
p ν=1 ν
(8)
oder
sowie
2p − 1 = 1 + 2pM
(9)
2p + 1 = 3 + 2pM .
(10)
′
′
Aus (9) folgt 2p−1 −1 = pM = 3pM nach (18), sodaß (10) auch als 2p +1 = 3 1 + 2pM
geschrieben werden kann. Stets gilt dann 2p − 1 ≡ 1mod3, 2p + 1 ≡ 0mod3.
Satz 2.4. Sei p > 2 eine Primzahl, m > 1 eine ungerade natürliche Zahl. Dann
gelten mit N± > 1
2pm − 1 = (2p − 1) N− ,
(11)
2pm + 1 = (2p + 1) N+ .
4
(12)
′
Bew.: Man wähle in Satz 2.3. für m ein m = pm. Mit den Abkürzungen L = 2p − 1 ,
M = 2p + 1 kann geschrieben werden
2
pm
m
− 1 = (L + 1) − 1 =
m
X
ν=0
Bm,ν Lm−ν − 1 = LN−
P
Pm−1
ν
m−1−ν
m−1−ν
mit N− = m−1
B
L
>
1.
Analog
folgt
mit
N
=
m,ν
+
ν=0
ν=0 Bm,ν (−1) M
P
ν
m
m−1
m−ν
pm
= MN+ , q.e.d.
sodann 2 + 1 = (M − 1) + 1 = ν=0 Bm,ν (−1) M
′
Bemerkung 2.4.1. Es gilt Satz 2.4. für jeden Teiler pi von m = a nach (1).
Daraus folgt aber
n0
Y
′
2m ± 1 = Ni,±
(2pi ± 1)
(13)
i=1
nur, wenn Teilerfremdheit (2 ± 1) ∤ (2 ± 1) ∀i, j ≤ n0 gezeigt ist. Andernfalls tritt
′
ein Teiler pk \ (2pi ± 1) im Ausdruck für 2m ± 1 nur höchstens in der Potenz auf, in
der er in einem der Teilerbinomina vorkommt: pnk k \ (2pi ± 1) . Das Beispiel 23·11 + 1 =
32 · 67 · 683 · 20857 6= (23 + 1) (211 + 1) N+ = (32 ) (3 · 683) N+ zeigt, daß der Faktor
pk = 3 nicht in 3., sondern nur in 2. Potenz in der Faktorisierung auftritt.
Bemerkung 2.4.2. Während (11) auch für p1 = 2 gilt, ist dies bei (12) nicht der
Fall, was aus dem folgenden Satz hervorgeht.
Satz 2.5. . Seien i, m natürliche
Zahlen, m > 1 ungerade. Dann gilt ∀i, m mit den
(2ν )
Fermat-Zahlen Fν = 2
+ 1 und Mν > 1, ungerade,
pi
pj
i
2m2 − 1 = (2m − 1)
i−1
Y
Fν Mν ,
(14)
ν=0
i
2m2 + 1 = Fi Mi
(15)
mit Mi > 1; nur für m = 1 folgt Mi = 1. Dabei kann (2m − 1) noch nach Satz 2.4.
′
weiter aufgespaltet werden. Falls m = pj m gilt, kann etwas allgemeiner statt (15)
geschrieben werden:
′ i
′ ′′
m2i
m 2
pj 2i
2
+1= 2
+ 1 Mi = 2
+ 1 Mi .
(16)
Bemerkung 2.5.1.: Wegen 20 = 1 gilt ∀m ungerade
0
2m + 1 = 2m2 + 1 = 3M0 .
(17)
Weil für jede gerade Zahl g gilt
2g − 1 = 2g/2 + 1
folgt 3\ (2g − 1) ∀g.
Bew.: ad (15) :
5
2g/2 − 1 ,
(18)
2
m2i
m
im
h i
im−ν
h i
X
2 )
(
+1−1 +1=1+
+1 = 2
Bm,ν (−1)ν 2(2 ) + 1
ν=0
= Fi Mi mit Mi =
m−1
X
(−1)ν Bm,ν Fim−1−ν .
ν=0
′
(16) ergibt sich analog, indem im ersten Schritt nur [· · · ]m oder [· · · ]p gebildet wird.
Für m > 1 folgt stets Mi > 1 wegen
h i im
i
i
2m2 + 1 = 2(2 ) + 1 > 2(2 ) + 1.
ad (14):
i
2m2 − 1 =
i−1
i−1
2m2 + 1 2m2 − 1 = · · ·
= (2m − 1)
i−1
Y
ν=0
i−1
Y
ν
2m2 + 1 = (2m − 1)
Fν Mν .
ν=0
Hierin tritt das Produkt aller Fermat-Zahlen mit ν = 0 (1) i − 1 auf, weil jede
Fermat-Zahl Fi teilerfremd ist zu allen Fν mit ν < i (siehe folgender Satz); q.e.d.
Satz 2.6. Folgende Ausdrücke sind zueinander teilerfremd: a)
2i − 1 ∤ 2i + 1 für festes i,
(19)
b) die Fermatzahlen
Fi ∤ Fj ∀j < i.
(20)
Bew.: ad a) Wegen (2i + 1) − (2i − 1) = 2 ist der größte gemeinsame Teiler ≤ 2. Da
∀i > 1 gilt 2i ± 1 > 3 ungerade, kann nur eine ungerade Zahl > 3 gemeinsamer Teiler
sein. Die Menge der gemeinsamen Teiler ist also
es gilt
a). i
leer,
2i−1 )
2i−1 )
(
(
− 1 = 2(2 ) −1 = Fi −2. Dann
+1 2
ad b) Es ist Fi−1 (Fi−1 − 2) = 2
Qi−1
Fi−1 −2
Fi −2
F1 −2
i −2
folgt Fi−1 = FFi−1
und
ν=0 Fν = Fi−1 −2 · Fi−2 −2 · . . . · F0 −2 = Fi − 2 nach Kürzung, da
−2
F0 − 2 = 1, also gilt b) ; q.e.d.
Aus dem bisher Ausgeführten geht hervor, daß als Primzahlanwärter nur die
i
Mersenne-Zahlen Mp = 2p − 1 und die Fermat-Zahlen Fi = 2(2 ) + 1 in Betracht
kommen. Alle anderen z± = (2x ± 1) sind als teilbar erwiesen. Es wäre daher wünschenswert, die Primzahl-Anwärterzahlen aufgrund von Exponenteneigenschaften allein
in prime und teilbare Zahlen klassifizieren zu können, zumal unter den Anwärtern nur
wenige echte Primzahlen enthalten sind.
Eine weitere Klasse teilbarer Zahlen definiert
6
Q
pαi i = m2α1
Satz 2.7. Es sei gemäß der kanonischen Primzahlzerlegung (1) n = ∞
i=1
′
mit m > 1, ungerade, und p = 2n + 1 > 3 eine ungerade Primzahl. Dann gilt
′
p \ (2n − 1) ,wenn n mod 4 ≡ 0, d.h. α1 ≥ 2,
(21)
p \ (2n − 1) ,wenn n = m = p, m ≡ −1 mod 4, d.h. α1 = 0,
′
(22)
′
(23)
p \ (2n + 1) ,wenn n = m = p, m ≡ +1 mod 4, d.h. α1 = 0,
′
p \ (2n + 1) ,wenn n mod 4 ≡ 2, d.h. α1 = 1.
Bemerkung 2.7.1: Insbesondere impliziert (22) für
Teilbarkeit der Mersennezahl Mp , also
′
p −1
2
= n = m = p ≡ −1mod4 die
′
p \ (2p − 1)
sowie (23) für
′
p −1
2
(24)
(25)
= n = m = p ≡ +1mod4, daß
′
p \ (2p + 1)
′
(26)
′
gilt. (Den Beweis, daß p \ (2p − 1) gilt, g.d.w. p = 2p + 1 und p ≡ 3mod4 gilt, s. [1],
p.174, Satz 21 mittels quadratischen Kongruenzen.)
Bemerkung 2.7.2. Ist n = pi m ≡ ±1mod4, so folgt unter Berücksichtigung von
(11), (12)
′
2n ± 1 = p N± = (2pi ± 1) Ni,± .
(27)
′
′
Ob darin p \ (2pi ± 1) gilt oder p \Ni,± , bleibt zunächst offen.
′
Bew.: Mit p statt p in (9) folgt unter Beachtung der Bemerkung zu Satz 2.5. und
′
mit p − 1 = 2n = m21+α
′
′
′
′
2p −1 − 1 = p M = 3p M = 22n − 1 = (2n + 1) (2n − 1) ,
n=
′
p −1
2
(28)
= m2α . Darin ist stets
α
2n + 1 = 2m2 + 1 = Fα Mα
(29)
α
nichtprim mit Fα = 2(2 ) + 1 , Mα > 1∀m > 1; nur für m = 1 ist Mα = 1 und Fα
Primzahlanwärter; sowie
α
2n − 1 = 2m2 − 1 = (2m − 1)
α−1
Y
ν=0
α−1
Y
ν
2m2 + 1 = (2m − 1)
Fν Mν .
(30)
ν=0
Die Folge der Fermat’schen Primzahlen beginnt mit
{Fν } = {3, 5, 17, 257, 65537, . . .}.
Ist m teilbar, etwa pj \m, so gilt zusätzlich (2m − 1) = (2pj − 1) Nj− nichtprim.
7
(31)
′
a) Zuerst sei α = 0 angenommen. Dann ist n = m ≥ 3 und p = 1 + 2m. Mithin
′
gilt für m mod 8 ≡ 1 oder 5 (d.h. m mod 4 ≡ 1 ), daß p ≡ 3 mod 8 und für
′
m mod 8 ≡ 3 oder 7 (d.h. m mod 4 ≡ −1 ), daß p ≡ 7 mod 8. Es sei nun m = p als
Primzahl angenommen und
′
1.) p = 1 + 2p ≡ 3 mod 8, also p mod 8 ≡ 1 oder 5, d.h. p mod 4 ≡ 1.
′
Nimmt man weiter unter dieser Voraussetzung an, daß p \ (2p − 1) gilt, so folgt hieraus
′
unter Beachtung von (9), (10), (17), (18), 2p − 1 = 1 + 2 · 3pM1 ≡ 7 mod 8 und weiter
′
′
′
2p−1 −1 = 3pM1 ≡ 7 mod 8, also pM1 ≡ 5 mod 8, sowie 2p +1 = 3 1 + 2pM1 ≡ 1 mod 8
′
′
und weiter 1 + 2pM1 ≡ 3 mod 8, also pM1 ≡ 1 mod 8 im Widerspruchzur vorigen Zeile.
′
′
Mithin ist die Annahme p \ (2p − 1) falsch. Da die Annahme 3p \ (2p + 1) wegen
′
3p ≡ 1 mod 8 keinen Widerspruch liefert, ist (23) bewiesen für m = p.
′
2.)Sei p = 1+2p ≡ 7 mod 8, also p mod 8 ≡ 3 oder 7 bzw. p mod 4 ≡ −1. Sei weiter
′
′
angenommen, daß p \ (2p + 1) gilt, so folgt daraus 2p + 1 = 3 + 2 · 3pM1 ≡ 1 mod 8,
′
′
also 2p−1 − 1 = 3pM1 ≡ 7 mod 8, also pM1 ≡ 5 mod 8. Andererseits folgt aus 2p + 1 =
′
′
′
3 1 + 2pM1 ≡ 1 mod 8, also 1 + 2pM1 ≡ 3 mod 8, der Widerspruch pM1 ≡ 1 mod 8.
Daher gilt (22) für m = p.
′
′
b) Im Falle α = 1 gilt p = 1 + m21+α = 1 + 4m ≡ 5 mod 8 ∀m , n = p 2−1 = 2m
′
′
′
und wegen 24m − 1 = (22m + 1) (22m − 1) = p M = 3p M . Darin ist 22m + 1 = F1 M1
mit F1 = 5, M1 ≡ 5 mod 8 und 22m − 1 = (2m + 1) (2m − 1) mit 2m + 1 = F0 M0 ,
F0 = 3, M0 ≡ 3 mod 8, und 2m − 1 = (2pj − 1) Nj− ≡ (2pj − 1) ≡ 22m − 1 ≡ 7 mod 8,
Nj− ≡ 1 mod 8. Nun gilt 3\ (22m − 1), 3\ (2m + 1), 3 ∤ (2m − 1), 3 ∤ (22m + 1). Es
ist 22m + 1 ≡ 52 mod 8 und 22m − 1 = (2m + 1) (2m − 1) ≡ (32 mod 8) · (7 mod 8),
′
′
worin kein Faktor ≡ 5 mod 8, also kein p vorkommt. Deshalb kann p ≡ 5 mod 8 nur
Teiler von (22m + 1) sein, also gilt (24) mit n = 2m. (Sollte nämlich in 2m − 1 ein
Faktor ≡ 5 mod 8 enthalten sein, so müßte auch ein Faktor ≡ 3 mod 8 darin möglich
sein, damit ≡ 7 mod 8 entsteht. Der Faktor ≡ 3 mod 8 tritt aber in 2m + 1 auf, das
teilerfremd zu 2m − 1 ist.)
′
c) Im Falle α ≥ 2 gilt schließlich 1 + m21+α ≡ 1 mod 8 ∀m, p 2−1 = n = m2α . Statt
(28) haben wir dann
′
′
′
′
2p −1 − 1 = 22n − 1 = p M = 3p M = (2n + 1) (2n − 1) = (2m − 1)
α)
worin 2n + 1 = Fα Mα mit Fα ≡ Mα ≡ 1 mod 2(2
n
pj
α
Y
Fν Mν ,
ν=0
∀α ≥ 2 und
2 − 1 = (2 − 1) Nj− · 3M0 · 5M1
α−1
Y
Fν Mν
ν=2
Q
mit 1ν=2 Fν Mν = 1 für α = 2. Darin bezeichnet pj einen beliebigen Teiler von m, für
den Satz 2.4. die angegebene Darstellung garantiert.
′
Es kann nun p \ (2n + 1) nicht gelten, weil beide angegebenen Faktoren ≡
α
′
1 mod 2(2 ) erfüllen, während p = 1 + m21+α ≡ 1 mod 21+α nur erfüllt mit
8
α
α
21+α < 2(2 ) ∀α > 2. Daß für α = 2 gilt 21+α = 2(2 ) , stört nicht, weil m > 1 vorausgesetzt ist. Dann muß also (21) gelten; q.e.d.
′
′
Ob der Teiler p nun p \ (2m − 1) = (2pj − 1) Nj− mit Nj− ≡ 1 mod 8 erfüllt oder
′
p \Fν Mν , Fν ≡ Mν ≡ 1 mod 8, bleibt offen.
3
Eine unendliche Folge Fermat’scher Primzahlen
′
Satz 3.1. Es seien {ai }, {ai }, i = 0, 1, 2, 3, . . ., Folgen natürlicher Zahlen mit
′
ai = 2ai−1 , a0 = 20 = 1, ai = ai + 1.
(32)
′
Dann ist {ai } eine monoton wachsende unendliche Folge Fermat’scher Primzahlen.
Bemerkung 3.1.1. Aus der Literatur sind 5 Fermat’sche Primzahlen bekannt:
F0 = 3, F1 = 5, F2 = 17, F3 = 257, F4 = 65537, s. z.B. [1] p.176.
Alle übrigen bisher untersuchten “Primzahlanwärter” unter den Fermat-Zahlen der
ν
Form Fν = 2(2 ) + 1 sind als teilbar erwiesen. Während Fermat (1640) vermutete, alle
Fν seien Primzahlen, bewies Euler (1732), daß F5 = 641 · 6700417 teilbar ist. Daß obige
′
ai eine echte Teilmenge der Fermat’schen Zahlen darstellt, erhellt die Tatsache, daß für
2(
ν=2
2(··· )
)
!
die Definition (32) auf Fermatzahlen führt. Die Fermat’schen Primzahlen sollen nachfolgend jedoch anders bezeichnet (numeriert) werden. Es fällt auf, daß die 3. Fermat’sche
Primzahl in der Folge (32) nicht auftritt. Außerdem kann mit ν = 0 die Zahl F0 = 2
′
hinzutreten, sodaß aν = 2, 3, 5, 17, 65537, . . . beginnt, worin ν die Nummer der Potenzebene angibt.
Bemerkung 3.1.2. Es wird hier nicht beansprucht, daß (32)die Folge aller Fermat’schen Primzahlen liefert, weil insbesondere die Primzahl 257 darin nicht enthalten
ist. Ob es etwa weitere Folgen Fermat’scher Primzahlen gibt (,wie es bei den Mersenneschen Primzahlen der Fall ist), bleibt zunächst offen.
Bew.: Der Beweis soll indirekt geführt werden. Nach Bemerkung 3.1.1. ist der
Satz 3.1. offenbar für i ≤ 2 richtig. Für i > 2 sei angenommen, daß es zwei natürliche
′
Zahlen k > 1, k > 1 gibt, sodaß gilt
′
′
′
′
ai = kk mit k = 2l + 1 ≥ 3, k = 2l + 1 ≥ 3.
(33)
′
Die Faktoren können wie ai nur ungerade Zahlen sein nach Satz 2.2, haben also (bis
auf die Reihenfolge) die eindeutigen Primfaktorzerlegungen
l=
∞
Y
j=1
n
′
pj j , l =
∞
Y
j=1
n
′
′
pj j mit nj ≥ 0, nj ≥ 0.
9
(34)
′
′
′
′
Es ist ai = 1 + ai = 1 + 2ai−1 = kk = 4ll + 2 l + l + 1, also
ai = 2
ai−1
∞
∞
∞
′
′
Y
′ Y n +n
′ Y n
′
j
nj
j
2+n1 +n1
1+n1
1+n1
= 4ll + 2 l + l = 2
pj
+2
pj + 2
pj j . (35)
′
j=2
j=2
j=2
Es haben l und l’ keinen gemeinsamen ungeraden Primfaktor, denn gäbe es einen, so
ließe er sich aus allen drei Produkten ausheben und erzeugte in (35) einen Widerspruch
zur eindeutigen Primfaktorzerlegung der reinen Potenz von 2. Wegen (33) gilt l ≥ 1,
′
′
′
l ≥ 1, a1 ≥ 9, also a1 ≥ 8. Wir setzen o.B.d.A. min(n1 , n1 ) = n1 Q
≥ 0 und
Q∞haben
′
n
n1 ≥ n1 ≥ 0. Zur Vereinfachung der Schreibweise seien eingeführt 2 := j=2 pj j ,
Q∞ nj +n′j
Q∞ n′j Q+
Q′
. Nach Kürzung der in allen Summanden von (35)
:=
p
,
:=
j=2 pj
2
j=2 j
2
auftretenden Potenz von 2 gilt dann
′
′
′
n1 −n1
2ai−1 −1−n1 = 21+n1 Π+
Π2 .
2 + Π2 + 2
(36)
Zuerst werde der Fall
′
(37)
n1 − n1 > 0
betrachtet. Dann enthält (36) auf der rechten Seite die Summe aus 2 geraden und 1
ungeraden Zahl, also eine ungerade Zahl, während die linke Seite wegen ai−1 −1−n1 > 0
geradzahlig ist. Da alle 3 Terme auf der rechten Seite von (36) Π ≥ 1 erfüllen, folgt
′
bei Vernachlässigung der beiden ganz rechts stehenden Terme sogar 2ai−1 −1−n1 > 21+n1 ,
d.h.
′
′
ai−1 > 2 + n1 + n1 mit n1 > n1 ≥ 0.
(38)
′
Dieser Fall führt zum Widerspruch, kann also nicht auftreten. Der umgekehrte Fall n1 <
n1 führt ebenso zum Widerspruch, kann also auch nicht auftreten. Die angenommene
Zerlegung ist daher höchstens möglich für
′
(39)
n1 = n1 .
′
Aus (39) folgt natürlich nicht l = l, was ohnehin auszuschließen wäre, da es nach
(35) 2ai−1 −2 = l2 + l mit ai−1 ≥ 8 bedingt. Diese Gleichung hat keine ganzzahligen
Wurzeln. Aus (39) und (35) folgt
′′
′
′′
1+n1 +
2ai−1 −1−n1 = 21+n1 Π+
Π2 + 2n1 Π2
2 + Π2 + Π2 = 2
′′
mit n1 ≥ 1 ,
Q′′
2
(40)
′′
≥ 1 ungerade. Mit n1 = min(1 + n1 , n1 ) folgt aus (40)
′′
′′
n1 −n̄1
2ai−1 −1−n1 −n̄1 = 21+n1 −n̄1 Π+
Π2 .
2 +2
(41)
Mindestens einer der beiden rechts stehenden Summanden ist ungerade und ≥ 1.
′′
′′
a) Angenommen sei der Fall n̄1 = n1 . Es ist dann 1+n1 ≥ n1 = n̄1 , also 1+n1 −n̄1 ≥
′
′′
0. Nach (38) gilt dann ai−1 − 1 − n1 > 1 + n1 = 1 + n1 ≥ n̄1 = n1 ≥ 1. Der letzte
10
Summand in (41) ist also ungeradzahlig, die linke Seite von (41) ist geradzahlig. Falls
nun
α) 1 + n1 > n̄1 gilt, haben wir den Widerspruch, daß die rechte Seite von (41)
ungeradzahlig und die linke Seite gerade ist. Ist jedoch
′′
β) 1 + n1 = n1 = n̄1 , so haben wir statt (41)
′′
′′
¯
′′′
n̄1
2ai−1 −1−n1 −n1 = 2ai−1 −2−2n1 = Π+
2 + Π2 = 2 Π2 .
(42)
′′′
Diese Gleichung ist nur für Π2 = 1 widerspruchsfrei. Dann aber haben wir ai−1 =
¯ 1 = 2ai−2 unter Beachtung von (32). Die Forderung aus (42), daß ai−1 −
2 (1 + n1 ) + n̄
¯ 1 = 0 gelten soll, steht im Widerspruch zu ai−1 = 2ai−2 > 0, denn schon
2 (1 + n1 ) − n̄
für i = 2 ist ai−2 = a0 = 20 = 1; für alle größeren i noch weit größer. Der Fall a) ist
somit vollständig ausgeschieden.
′′
b) Angenommen sei n̄1 = 1 + n1 und n1 > 1 + n1 = n̄1 . Der Fall n̄1 = 1 + n1 =
′′
′
n1 wurde bereits unter a)β) erledigt. Dann gilt nach (35) mit n1 = n1
′′
′
1+n1 +
n1 ′′
1+n1 +
1+n1
ai−1
(2ai−2 )
1+n1
2
Π2 + 2 Π2 ,
2
Π2 + Π2 + Π2 = 2
ai = 2
=2
=2
′′
′′′
′′
′′
also wegen n1 > 1 + n1 = n̄1 folgt mit n := n1 − 1 − n1 = n1 − n̄1 > 0
′′
′′
′′′
′′
n1 −1−n1
n
Π2
2ai−1 −2(1+n1 ) = Π+
Π2 = Π+
2 +2
2 +2
′
ist eine ungerade Zahl. Die ursprüngliche Behauptung der Faktorisierbarkeit von ai hat
′
somit in allen Zweigen zum Widerspruch geführt und ist falsch. Wenn ai aber nicht
′
wenigstens in 2 ungerade Faktoren > 2 zerlegbar ist, gilt: ai ist Primzahl, q.e.d.
′
′
′
In der Folge {ai } gilt konstruktionsbedingt ai+1 > ai ∀i = 0, 1, 2, 3, . . ., sie wächst
monoton. Somit ist Satz 3.1. vollständig bewiesen.
Aus diesem Satz folgen einige Sätze, die in der Literatur noch als Hypothesen gelten,
s. z.B. [1], pp. 371, 373, 177.
Satz 3.2. Es gibt unendlich viele Primzahlen der Form
pn = n2 + 1.
(43)
′
Bew.: Die in Satz 3.1. definierten ai können auch in der Form (43) geschrieben
werden.
Bemerkung 3.2.1. Es werden auf diesem Wege selbstverständlich nicht alle
Primzahlen der Gestalt n2 + 1 erfaßt, sondern nur ein verschwindend kleiner Teil davon!
Satz 3.3. Es gibt unendlich viele Primzahlen der Form
pn = 4n2 + 1 = n21 + 1 mit n1 = 2n.
(44)
Satz 3.4. Es gibt unendlich viele regelmäßige n-Ecke, die allein mit Zirkel und Lineal
konstruiert werden können, denn nach einem Satz von C.F. Gauß (1777-1855) ist dies
möglich, wenn gilt
k
Y
r
pi ,
(45)
n=2
i=1
11
worin pi Fermat’sche Primzahlen bezeichnen. Wegen der enormen Größe von n
unterscheiden sich diese n-Ecke praktisch nicht vom Kreis.
Satz 3.5. Die explizite Konstruktion einer monoton wachsenden, unendlichen Folge
Fermat’scher Primzahlen stellt einen neuartigen Beweis für die Unendlichkeit der Menge
der Primzahlen dar.
4
Unendliche Folgen Mersennescher Primzahlen
Zuerst sei an ein Primzahlkriterium von J. Wilson (1741-1793) erinnert, das erstmalig
von E.Waring (1734-1798) erwähnt wurde, s. [1], p.169:
Satz 4.1. Genau dann ist p eine Primzahl, wenn
(p − 1)! ≡ −1 mod p
(46)
gilt. In der Fassung von G.W. Leibniz (1646-1716) lautet dieser
Satz 4.1.1.: Genau dann ist p eine Primzahl, wenn
(p − 2)! ≡ 1 mod p
(47)
gilt. Anstelle eines Beweises (s.[1]) soll hier nur die Gleichwertigkeit beider Formulierungen gezeigt werden. Es ist (p − 1)! mod p ≡ ((p − 2)! · p − (p − 2)!) mod p ≡ −1, also
(p − 2)! mod p ≡ 1.
Satz 4.2. a) Wenn p ≥ 3 und Mp = 2p − 1 Primzahlen sind, ist auch
′
Mp = 2Mp − 1
(48)
eine Primzahl.
b) Da der Satz a) rekursiv anwendbar ist, impliziert er die Existenz unendlich vieler
Mersennescher Primzahlen.
Bew.: Es seien p und Mp = 2p − 1 erwiesene ungerade Primzahlen. Z. Zt. (2013)
sind 46 solcher Zahlenpaare bekannt, sodaß die Voraussetzung erfüllbar ist. Dann ist
zu zeigen, daß (48) eine Primzahl ist. Nach Satz 4.1. genügt es, dafür zu zeigen, daß
′
′
Mp − 1 ! + 1 mod Mp ≡ 0 gilt. Weil Mp nach Voraussetzung Primzahl ist, folgt
nach (9)
′
Mp = 2Mp − 1 = 1 + 2Mp M ≡ 1 mod Mp
(49)
′
′
bzw.Mp − 1 ≡ −1 mod Mp ≡ 0 mod Mp . Nun bilde man
′
′
′
′
′
Mp − 1 ! + 1 mod Mp ≡ Mp − 2 ! Mp − 1 + 1 mod Mp
′
≡ (−1 + 1) mod Mp ≡ 0,
q.e.d.
Zur Illustration seien die Exponenten pν der ersten (ν-ten) Mersenneschen
Primzahlen Mp,ν betrachtet in Tab. 4.1:
12
(k)
ν pν
Mp,ν
Mp,ν . . .
(1)
(2)
(3)
1
2
3
→ Mp,1 → Mp,1 → Mp,1
(1)
2
3
7
Mp,1
(1)
3
5
31
→ Mp,3
(2)
4
7
127
Mp,1
5 13
8191
6 17 131071
7 19 524287
(1)
8 31 231 − 1
Mp,3
9 61 261 − 1
10 89 289 − 1
11 107 2107 − 1
(3)
12 127 2127 − 1
Mp,1
13 521 2521 − 1
Bezeichnet der Index (k) die k-te rekursive Anwendung von Satz 4.2., so gehört zum
ersten auftretenden Zahlenpaar {p1 , Mp,1} die Folge
n
o
(1)
(2)
(3)
Mp,1 = M3,2 , Mp,1 = M7,4 , Mp,1 = M127,12 , . . . .
Offensichtlich überdeckt diese Folge nicht alle Mersenneschen
Primzahlen, aus denen
o
n
(k)
wir nach der Art der Siebverfahren alle Glieder Mp,1 streichen wollen. Leider ist
schon nach k = 3 Schritten ein Exponent von 39 Dezimalstellen (1, 7 . . . × 1038 ) erreicht, sodaß eine weitere unabhängige Überprüfung auf Primzahligkeit für größere kWerte kaum mehr möglich erscheint. Das kleinste Zahlenpaar {p3 = 5, Mp,3 = 31}, das
als Ausgangspunkt einer von der ersten Mp -Folge unabhängigen zweiten Mp -Folge zu
(1)
betrachten ist, liefert Mp,3 = Mp,8 eine 10-stellige Dezimalzahl. Schon über den Beginn
n
o
(1)
der dritten unendlichen Mersenneschen Primzahlfolge p5 = 13, Mp,5 gibt die Literatur keine Auskunft, obwohl nach [1] alle M = 2p − 1 für p < 2300, die nicht in der
Mp -Tabelle auftreten, als teilbar erwiesen und für p < 1200 auch Faktoren bekannt
sind. Die Zahl p = 8191 liegt bereits außerhalb dieses Bereichs.
Mit Hilfe von Satz 4.2. liefert Tab. 4.1. eine ganze Reihe bisher unbekannter
(1)
Mersennescher Primzahlen, beginnend mit Mp,5 = 28191 − 1. Eine Spekulation über die
Anzahl A von unendlichen Folgen Mersennescher Primzahlen ist verfrüht. Es kann aber
bislang nicht ausgeschlossen werden, daß auch A über alle Schranken wächst.
Trotz dem Nachweis der Existenz unendlicher Primzahlfolgen vom Fermatschen und
Mersenneschen Typ sowie der Teilbarkeit aller Binomina z± = 2x ± 1, die nicht zum
Fermat’schen oder Mersenneschen Typ gehören (inclusive der Angabe mindestens eines
Teilers), ist das Problem der Klassifikation aller z± in teilbare und prime Binomina
lediglich aufgrund des Vorzeichens von ±1 und der Analyse des Exponenten x bislang
13
ungelöst. Außerdem bleibt es noch ungeklärt, wieviele unendliche Primzahlfolgen vom
Fermat’schen und Mersenneschen Typ es gibt.
Satz 4.3.
Die explizite Konstruktion einer unendlichen Mersenneschen
Primzahlfolge stellt einen neuen Beweis für die Unendlichkeit der Menge aller
Primzahlen dar.
Satz 4.4. Es gibt unendlich viele gerade vollkommene Zahlen.
Bew.: Vollkommene gerade Zahlen haben die Gestalt
V = 2p−1 (2p − 1) ,
(50)
wobei das Binom eine Mersennesche Primzahl ist. Die Behauptung folgt aus der Unendlichkeit der Menge der Mersenneschen Primzahlen. Bei vollkommenen Zahlen V ist
die Summe ihrer
PTeiler t, der Teiler 1 wird mitgerechnet, V selbst natürlich nicht, gleich
der Zahl V = ∀t\V t . L. Euler hat gezeigt, daß jede gerade vollkommene Zahl die
Gestalt (50) hat, s.[1], p.311, q.e.d.
5
5.1
Exakte Bestimmung der Anzahl der Primzahlen unterhalb einer vorgegebenen Schranke
Vorbereitende Bemerkungen
In Analogie zur Fakultätsfunktion n! =
erklärt durch Def. 5.1:
Qn
i=1
pn ↓=
i wird die Primfakultät , in Zeichen pi ↓,
n
Y
pi ,
(51)
i=1
wobei pi das i-te Element in der natürlichen Folge der Primzahlen {pi } bedeutet.
Def. 5.2. Es sei x eine beliebige reelle Zahl. Dann bezeichne [x] die größte ganze
Zahl, die noch kleiner oder gleich x ist, und ≺ x ≻ sei die größte Primzahl, die ≤ x ist.
Bemerkung 5.2.1. Stets gilt
≺ x ≻≤ [x] ≤ x ∀x ≥ 2.
(52)
Def. 5.3. Es bezeichne Ci,m,k das zahlenmäßige Produkt aller Elemente der k-ten
Kombination von i Elementen ohne Wiederholungen. Der Index k soll keine Ordnung
der Kombinationen, sondern lediglich deren Unterscheidbarkeit und somit Numerierbarkeit bewirken. Es gelte
C0,m,k = 1 ∀m, k,
(53)
d.h. eine Kombination aus i = 0 Elementen soll den Faktor 1, die multiplikative
Invariante, ergeben.
Bemerkung 5.3.1. Die über k summierte Anzahl B der Kombinationen Cj,i−1,k
ergibt einen binomischen Koeffizienten
i−1
.
(54)
B=
j
14
Dann soll abkürzend geschrieben werden:
X
Cj,i−1,k :=
∀k
Bemerkung 5.3.2. Es gilt
B
X
Cj,i−1,k
.
(55)
x
.
pi
(56)
k=1
x
pi Cj,i−1,k
= 0 ∀Cj,i−1,k >
Def. 5.4. Es sei x eine beliebige positive reelle Zahl. Dann bezeichne i0 den durch
√
pi0 =≺ x ≻
(57)
definierten zugehörigen Index in der natürlichen Folge der Primzahlen.
Lemma 5.1. Seien {a, b} reelle Zahlen, a = [a] + ǫa , b = [b] + ǫb , 0 ≤ ǫa,b < 1. Dann
gilt
a ≥ [a] , [− | a |] ≤ − | a |≤ − [| a |] ≤ 0,
− [− | a |] ≥| a |≥ [| a |] ≥ 0 ≥ − | a |≥ [− | a |] ,
(58)
a + b ≥ [a + b] ≥ [a] + [b] , a ≥ [a] ≥ [a − b] + [b] , [a] − [b] ≥ [a − b] ;
#
"
X
X
bi ;
[a] −
[bi ] ≥ a −
(59)
für a < 0 ist [− | a |] = [a] und [−a] = [| a |];
i
(60)
i
[| a |] + [− | b |] ≤ [| a | − | b |] ≤| a | − | b |≤| a | − [| b |] .
(61)
a "a# h i h i
a
1 a
a
b
=
≥
=0
≥ b ≥
bc
c
c
bc
c b
(62)
Bew.: Die Beziehungen (58) entsprechen der Definition 5.2. , woraus ebenfalls folgt
a + b ≥ [a + b] = [[a] + ǫa + [b] + ǫb ] = [a] + [b] + [εa + εb ] ≥ [a] + [b], weil [a] und
[b] als ganzzahlige Größen ohne Wertänderung aus der Summe in der äußeren eckigen
Klammer herausgezogen werden können und 0 ≤ εa +εb < 2 gilt, womit die erste Formel
′
(59) gezeigt ist. Die zweite Ungleichung
′
unter (59) folgt aus der ersten mit a = a − b,
also a ≥ [a] = [a − b + b] = a + b ≥ [a −
Pb] + [b].PDie dritte Ungleichung
P
Pist eine
Umstellung
der
zweiten.
Wegen
[a]
=
[a
−
b
+
b
]
≥
[a
−
b
]
+
[
i i
i i
i i
i bi ] ≥
P
P
′
[a − i bi ] + i [bi ] folgt sofort (60). Ersetzt man in (59) a durch a =| a | und b durch
′
b = − | b |, so folgt (61) mit Hilfe von (58); q.e.d.
Lemma 5.2. Seien {a, b} reelle Zahlen, {c, n} natürliche Zahlen. Es gelte | a |≥| b |
und a 6= nbc. Dann gilt für c = 1
1 hai h a i hai
a
=
=
≥
bc
c b
bc
b
sowie ∀c > 1
15
sowie
hai 1
−
≥
.
(63)
1−
b
bc
b
c
Bew.: Die Aussage für c = 1 ist trivial wegen 1c = 1c = 1, weswegen auch (63)
für c = 1 auf 0 = 0 führt. Für c > 1 gilt wegen ab = ab + ε mit 0 ≤ ε < 1 und
a
rb
b
[a] ≤ a = na b + rb , 0 ≤ rb < b, ab = na b+r
=
n
+
mit
n
=
, 0 ≤ rbb = εb < 1.
a
a
b
b
b
a
Es enthält na stets das Vorzeichen von b , welches in der [·] bleiben muß und nicht
etwa mit der als positiv vorausgesetzten Konstante c herausgezogen werden darf. Nach
Division durch c ergibt sich
rb na rb
rc rb
1
a
rc +
=
+
= nc + +
= nc +
bc
c
bc
c
bc
c
b
a
rb
mit 0 ≤ rc ≤ c − 1, also 0 ≤ rc + b < c, sodaß nc = bc , 0 ≤ εbc := rcc + rbcb < 1 gilt.
Dann hat man
" # "" #
# " #
a
a
a
hai
rc rb
rb
b
b
b
=
=
+ +
=
(64)
+
bc
c
bc
c
c
bc
c
hai
hai
als ganzzahligen Anteil aus der dritten eckigen Klammer, deren gebrochener Teil unterdrückt werden soll. Dann folgt
a "a# h i h i
a
1 a
a
b
=
≥
= 0,
≥ b ≥
bc
c
c
bc
c b
also (62), und daraus − bca ≥ − 1c ab , was nach Addition von ab gerade (63) ergibt;
q.e.d.
Lemma 5.3. Mit den Bezeichnungen aus Definition 5.3. gilt unter Beachtung der
Bemerkungen 5.3.1. und 5.3.2.
i−1 X
i−1 X
Y
(−1)j
1
=
1−
(65)
C
p
j,i−1,k
j
j=0 ∀k
j=1
und
i−1 X
X
j=0 ∀k
1
Cj,i−1,k
i−1 Y
1
=
1+
.
p
j
j=1
(66)
Bew.: Die linke Seite von (65) ergibt sich bei sukzessiver Berechnung des Produktes
der rechten Seite: Für i = 1 hat man nach Definition
0 Y
1
= 1,
1∓
pj
j=0
i=2:
1 n 1/2
Y
1
1
1∓
=1∓
=
,
pj
p1
3/2
j=1
16
i=3:
2 Y
j=1
1
1∓
pj
X
i−1 X
n 1/3
1
1
(±1)j
= 1∓
1∓
=
=
.
p1
p2
C
2
j,i−1,k
j=0
∀k
Induktionsvoraussetzung: Die Formel gilt ∀i ≤ i0 − 1 = 2. Dann gilt für i = i0 :
iY
0 −1
j=1
1
1∓
pj
=
=
1∓
1∓
1
pi0 −1
1
pi0 −1
iY
0 −2
j=1
1
1∓
pj
iX
0 −2 X
j=0 ∀k
iX
0 −1 X
(±1)j
(±1)j
=
;
Cj,i0−2,k
C
j,i
−1,k
0
j=0 ∀k
q.e.d.
5.2
Die Anzahl echt teilbarer natürlicher Zahlen ≤ x
Die Zahl 1 gehört als multiplikative Invariante nicht zu den Primzahlen, denn sie kann
in beliebiger ganzzahliger Potenz einer beliebigen Zahl hinzugefügt werden, ohne deren
Wert zu ändern, obwohl sie der landläufigen Primzahldefinition genügt, daß sie ganzzahlig nur durch 1 und sich selbst geteilt werden kann. Sie soll im Folgenden mit den echt
teilbaren natürlichen Zahlen zusammen die Klasse der Nichtprimzahlen bilden. Bezeichnet σ (x) die Anzahl aller Nichtprimzahlen ≤ x und π (x) die Anzahl aller Primzahlen
≤ x , so gilt
x = σ (x) + π (x) .
(67)
Satz 5.1. Die Anzahl der echt teilbaren natürlichen Zahlen (inclusive der Zahl 1) im
abgeschlossenen Intervall [1, x] beträgt mit i0 gemäß Definition 5.4. und der eckigen
Klammer nach Definition 5.2.
!
i0
i−1
X
X
X
x
σ (x) = 1 +
−1 +
(−1)j
.
(68)
p
C
i
j,i−1,k
i=1
j=1
∀k
Bew.: Wie in allen Siebmethoden sollen in der Folge der natürlichen Zahlen {ni } , ni ≤
x, sukzessive alle Vielfachen der Primzahlen pi gestrichen und die Anzahlen σi (x) der
echt durch pi teilbaren ermittelt werden, die, beginnend mit der kleinsten Primzahl
p1 = 2, noch ungestrichen stehen geblieben sind.
Schritt 0: Streichung der natürlichen Zahl 1 in {ni } als Nichtprimzahl. Es ist
σ0 (x) = 1.
′
Schritt 1: In {ni } stehen σ1 (x) = x2 Zahlen , die ohne Rest durch p1 = 2 teilbar
sind.
h =i
h i Die erste dieser Zahlen ist p1 selbst, welche nicht zu streichen ist, sodaß σ1 (x)
x
−1 Streichungen hinzukommen. Zusammen sind nun s1 (x) = σ0 (x)+σ1 (x) = px1
p1
Zahlen gestrichen.
17
h i
′
Schritt 2: In {ni } waren σ2 (x) = px2 Zahlen ohne Rest durch p2 = 3 teilbar.
Davon ist p2 selbst abzuziehen sowie
h alle
i geraden Vielfachen von p2 , die schon im ersten
Schritt erfaßt wurden, nämlich p1xp2 Stück. Somit sind neu zu streichen σ2 (x) =
h
i
h i
x
x
−
1
−
, sodaß gilt
p2
p1 p2
s2 (x) =
2
X
i=0
x
x
x
−1+
−1−
.
σi (x) = 1 +
p1
p2
p1 p2
Unter Beachtung der Definitionen 5.2. und 5.3. erkennt man, daß die Behauptung (68)
bis zum (i0 − 1) − ten Schritt, (i0 − 1) = 2, erfüllt ist. Damit folgt durch Schluß von
(i0 − 1) auf i0
Schritt i0 : Die kleinste in den ersten (i0 − 1) Schritten nicht gestrichene Zahl, die
noch > pi0 −1 ist, ist die nächste Primzahlhpi0 .i Die Anzahl der in {ni } existenten
′
ganzzahligen Vielfachen von pi0 ist σi0 (x) = pxi − 1. Diese Zahl ist zu vermindern um
0
alle bereitsh gestrichenen
gemeinsamen
Vielfachen
von pi mit pj , j = 1, 2, . . . , (i − 1) ,
Pi−1 x i
also j=1 pi pj . Diese letzte Summe ist ihrerseits zu vermindern um die Vielfachen
Pi0 −1 h x i
mit 3 gemeinsamen Primfaktoren, also um j1,2 =1 pi pj pj , j2 > j1 , die sonst doppelt
0 1 2
gezählt würden. Allgemein ist jede solche Summe mit k Faktoren im Nenner ihrerseits
zu vermindern um eine solche mit (k + 1) Nennerfaktoren, solange bis k = i0 erreicht
wird:
!
i0
i−1
X
X
X
x
j
σi0 (x) = 1 +
−1 +
(−1)
.
pi Cj,i−1,k
i=1
j=0
∀k
Dies ist die behauptete Beziehung (68). Es bleibt lediglich noch darauf hinzuweisen, daß
das Verfahren mit dem i0 −ten Schritt abbricht, wenn i0 gemäß Definition 5.4. ermittelt
wird, weil spätestens dann alle Nichtprimzahlen ≤ x gestrichen sind; q.e.d.
Zur Veranschaulichung der Gleichung
(68) mögen folgende Beispiele dienen.
√
Beispiel 1: x = 122, pi0 =≺ 122 ≻= 11, also i0 = 5. Somit ergibt sich
σ (x) = 1 +
+
s4
x
x
x
−1 +
−1−
p1
p2
p1 p2
x
x
x
x
−1−
−
+
+ s4 + s5
p3
p1 p3
p2 p3
p1 p2 p3
x
x
x
x
x
x
x
−1−
−
−
+
+
+
=
p4
pp
p2 p4
p3 p4
p1 p2 p4
p1 p3 p4
p2 p3 p4
1 4
x
−
p1 p2 p3 p4
18
s5 =
x
x
x
x
x
x
x
−1−
−
−
−
+
+
p5
p1 p5
p2 p5
p3 p5
p4 p5
p1 p2 p5
p1 p3 p5
x
x
x
x
x
+
+
+
+
−
p1 p4 p5
p2 p3 p5
p2 p4 p5
p3 p4 p5
p1 p2 p3 p5
x
x
x
x
−
−
+
,
−
p1 p2 p4 p5
p1 p3 p4 p5
p2 p3 p4 p5
p1 p2 p3 p4 p5
σ (122) = 1 + (61 − 1) + (40 − 1 − 20) + (24 − 1 − 12 − 8 + 4)
+ (17 − 1 − 8 − 5 − 3 + 2 + 1 + 1 − 0)
+ (11 − 1 − 5 − 3 − 2 − 1 + 1 + 1 + 0 + · · · + 0) = 92.
Daraus folgt nach (67) für die Anzahl Primzahlen bis 122 in Übereinstimmung mit
Primzahltafeln π (122) = 122 − σ (122) = 30.
Das
√ Beispiel zeigt, daß es zur Berechnung von π (122) reicht, alle Primzahlen
≤≺ 122 ≻= 11 = p5 zu kennen, obwohl die größte Primzahl, die bis x = 122 auftritt,
p30 = 113 lautet.
Beispiel 2: x = 168 ; mittels derselben Formel erhält man σ (168) = 129, also
π (168) = 39. Es ist p39 = 167, denn erst ab x = 169 ist p6 = 13 in der Formel für σ (x)
zu berücksichtigen. Für konkrete Berechnungen von σ (x) bzw. π (x) für große Zahlen
x ist dieses Verfahren natürlich zu aufwändig. Ein möglichst frühzeitiges Erkennen aller
Nullsummanden wäre im Interesse einer Aufwandsreduzierung wünschenswert, wie es
im Falle des letzten Summanden möglich ist, weil ∀x > 2 gilt pi ↓> x.
Offensichtlich bietet aber die Kenntnis der Gleichung (68) prinzipiell eine
Möglichkeit, über die Primeigenschaft einer ungeraden Zahl x = 2n + 1 zu entscheiden, indem man ∆ = σ (2n +
√1) − σ (2n) bildet. Voraussetzung dafür ist die Kenntnis
aller Primzahlen ≤ pi0 =≺ 2n + 1 ≻ . Ergibt sich ∆ = 1, so ist x teilbar; im Falle
∆ = 0 ist x Primzahl. Es ist hierzu keinerlei Kenntnis über Primzahlen > pi0 erforderlich. Berechnet man zusätzlich σ (2n + 3), so erfährt man, ob ein Primzahlzwilling
vorliegt. Gilt ∆2 = σ (2n + 3) − σ (2n + 1) = 2, so muß x = 2n + 3 neben 2n + 2
teilbar sein, für ∆2 = 1 ist x2 = 2n + 3 Primzahl. D.h. für ∆ = ∆2 = 1 gilt
{2n + 1, 2n + 3} = P rimzahlzwilling. Auch hierzu zwei simple Beispiele aus dem Intervall p23 = 25 < x < p24 = 49. Wegen i0 = 3 genügt die Betrachtung der Formel aus
Beispiel 1 ohne s4 und s5 .
Beispiel 3: 2n = 28 liefert σ (2n) = 19, π (2n) = 9, σ (2n + 1) = 19, π (2n + 1) =
10. Also ist 29 eine Primzahl. Wegen σ (2n + 3) = 20, π (2n + 3) = 11 ist auch 31
Primzahl, also ist {29, 31} ein Primzahlzwilling.
Beispiel 4: 2n = 40 liefert σ (40) = 28, π (40) = 12, σ (41) = 28, π (41) =
13, σ (43) = 29, π (43) = 14, also ist auch {41, 43} Zwilling.
19
5.3
Ein Satz zur Primzahlverteilung
Satz 5.2. Sei n eine beliebige natürliche Zahl. Dann gibt es ∀n < ∞ kein links offenes
Intervall
ηn := n2 , (n + 1)2 ,
(69)
das nicht mindestens 2 Primzahlen enthält.
Es gilt sogar für die Anzahl der Primzahlen in ηn
2n + 1
= ∞.
ηn →∞ 2 ln (n + 1)
(70)
lim π (ηn ) ≃ lim
ηn →∞
Bew.: Für n = 1 enthält das Intervall η1 = (1, 4] nur 2 innere Zahlen, die Primzahlen 2
und 3. Die Intervallränder sind konstruktionsbedingt stets nichtprim. Nach (68) ergibt
sich die Anzahl von Nichtprimzahlen im Intervall (69) zu
σ (ηn ) = σ (n + 1)
−
2
1+
′
"
#!
i0
i−1
2
X
X
X
(n + 1)
− σ n2 = 1 +
−1 +
(−1)j
pi Cj,i−1,k
i=1
j=0
∀k
i0
X
i=1
′
−1 +
i−1
X
(−1)
j=0
X
j
∀k
2
n
pi Cj,i−1,k
!!
.
Darin bedeuten i0 , i0 die Indizes aus
√
pi0 =≺ n2 ≻=≺ n ≻ und pi′ =≺ n + 1 ≻ .
0
(71)
(72)
Aus (71) folgt
σ (ηn ) =
#
"
i0 X
i−1
X
X n2
X (n + 1)2
j
−
(−1)
+D
(−1)
pi Cj,i−1,k
pi Cj,i−1,k
i=1 j=0
j=0
∀k
∀k
i0 X
i−1
X
i=1
mit
j
′
D=
i0
X
i=i0 +1
Es ist
(
"
#!
X (n + 1)2
−1 +
(−1)
.
pi Cj,i−1,k
j=0
∀k
i−1
X
j
(73)
′
0 für i0 = i0 , d.h. n + 1 6= P rimzahl,
i
D=
2
P0
P h
sonst.
−1 + ij=0
(−1)j ∀k pi(n+1)
Cj,i−1,k
′
Da n und (n + 1) benachbarte natürliche Zahlen sind, kann i0 > i0 nur gelten, wenn
(n + 1) = pi0 +1 = pi′0 selbst Primzahl ist. Für den Fall, daß (n + 1) nichtprim ist, muß
′
daher gelten i0 = i0 , woraus D = 0 folgt. Dann lassen sich die Summen vollständig
zusammenfassen:
# "
!
i0 X
i−1
2
2
X
X
n
(n + 1)
−
.
(74)
σ (ηn ) =
(−1)j
pi Cj,i−1,k
pi Cj,i−1,k
i=1 j=0
∀k
20
Am Schluß des Beweises von Satz 5.1. wurde darauf hingewiesen, daß im Ausdruck für
σ (x) die Summe über i automatisch bei i0 abbricht. Läßt man nun
im Ausdruck σ (ηn )
′
2
2
auch für σ (n ) die Summe über i bis i0 laufen wie bei σ (n + 1) , so begeht man keinen
Fehler, weil dadurch der Wert weder für σ (n2 ) noch für σ (ηn ) geändert wird. Ersetzt
′
man in (74) i0 durch i0 , so stellt diese Gleichung den allgemein gültigen Ausdruck für
σ (ηn ) dar. Wir lassen daher im Folgenden einfach D weg und interpretieren
das i0 als
Pi−1
′
i0 . Durch Einführung der Summationsschrittweite 2 (in Zeichen:
·
·
· ) lassen
j=0(2)
sich Terme mit gleichen Vorzeichen in endlichen Summen zusammenfassen:
( i−1
"
#
"
#
i0
i−1 X
2
X
X X (n + 1)2
X
(n + 1)
σ (ηn ) =
−
pi Cj,i−1,k
pi Cj,i−1,k
i=1 j=0(2) ∀k
j=1(2) ∀k
)
i−1 X i−1 X X
X
n2
n2
−
+
.
(75)
p
p
i Cj,i−1,k
i Cj,i−1,k
∀k
∀k
j=1(2)
j=0(2)
Diese Gleichung sollte
h nun
i nach
h 2 beiden
i
h Seiten
i abgeschätzt
h
i werden.
h 2 i Mit hHilfe von
i
(n+1)2
(n+1)2
2n+1
n
2n+1
n
(59) schätzt man ab
− pC ≥ pC und
− pC ≤ − − pC ,
pC
i
h
i
h 2 i pC h
2
2n+1
n
− (n+1)
≥
−
. Die
letzteres folgt durch Multiplikation mit (−1) aus pC
pC
pC
Zusammenfassung beider Ungleichungen ergibt
# "
2n + 1
n2
(n + 1)2
2n + 1
≤
−
≤− −
(76)
pC
pC
pC
pC
und
"
# 2n + 1
2n + 1
n2
(n + 1)2
−
≥−
+
≥ −
.
pC
pC
pC
pC
(77)
In (75) werden nun die Terme mit gleichem Summationsschritt zusammengefaßt sowie
der 1. und 3. Term mittels (76), der 2. und 4. Term mittels (77) abgeschätzt:


i0
i−1 X i−1 X X
X
X
2n + 1
2n + 1 

σ (ηn ) ≥
−
+
pi Cj,i−1,k
pi Cj,i−1,k
i=1
∀k
∀k
j=0(2)
=
j=1(2)
i0 X
i−1 X X
(−1)j
i=1 j=0 ∀k
2n + 1
pi Cj,i−1,k
(78)
sowie
σ (ηn )
≤
i0
X
i=1


i−1 X
X
j=0(2) ∀k

i−1 X X
2n + 1 
2n + 1
−
− −
pi Cj,i−1,k
pi Cj,i−1,k
∀k
j=1(2)
i0 X
i−1 X X
j+1 2n + 1
(−1)
=−
.
pi Cj,i−1,k
i=1 j=0 ∀k
21
(79)
Aus der Vereinigung von (78) und (79) folgt nach Abschätzung gemäß (58) - imFalle
von (79) mit umgekehrtem Vorzeichen i0 X
i−1 X
X
i=1 j=0 ∀k
i
i−1
0 XX
X
2n + 1
2n + 1
(−1)
(−1)j
≤ σ (ηn ) ≤
,
pi Cj,i−1,k
pi Cj,i−1,k
i=1 j=0 ∀k
j
(80)
also die Gleichheit. Durch Einsetzen von (65) ergibt sich
0
σ (ηn ) = (2n + 1)
i
X
p−1
i
i=1
Darin gilt nach Definition
Q0
i−1 X
i0
i−1 X
X
Y
(−1)j
1
−1
.
= (2n + 1)
pi
1−
Cj,i−1,k
pj
j=0 ∀k
i=1
j=1
j=1
2
1−
1
pj
(81)
= 1. Wegen (67), angewendet auf das Intervall
ηn mit der Breite bn = (n + 1) − n2 = 2n + 1, gilt dann
π (ηn ) = 2n + 1 − σ (ηn ) = (2n + 1) 1 −
i0
X
i=1
!
i−1 Y
1
p−1
1−
.
i
p
j
j=1
(82)
Ersetzt man −p−1
= −1 + 1 − p−1
und multipliziert dies aus (Umordnungen in
i
i
endlichen Produkten sind erlaubt) , so heben sich Summanden paarweise auf. Man
erhält
Y
! Y
i−1 i0 i0
i X
Y
π (ηn )
1
1
1
Sn :=
−
1−
=
1−
.
(83)
=1+
1−
2n + 1
pj
pj
pj
j=1
j=1
i=1
j=1
Diese Formel liefert bei numerischer Auswertung für kleine Werte von n, pi0 =≺ n+1 ≻
die reale Anzahl von Primzahlen im n-ten Quadratintervall mit einem maximalen Fehler
von ±2 für n ≤ 40 bei Verwendung ganzzahlig abgerundeter
Werte. Auch die daraus
P 0
bestimmte Anzahl von Primzahlen ≤ x, π (x) = nn=0
π (ηn ) , liefert, s. Tab. 5.1.,
sinnvolle Werte:
n0
10 20 30 40
2
π (n0 + 1)
26 80 161 266
Realwert
30 85 162 263
Wir bilden nun ln Sn , spalten den 1. Term ab und entwickeln dann den Logarithmus
in eine Potenzreihe:
i0 i0
i0 X
∞
Y
1
1 X
1 X
1
1
ln Sn = ln
1−
= ln +
= ln −
ln 1 −
pj
2 j=2
pj
2 j=2 ν=1 νpνj
j=1
i
= ln
i
∞
0 X
0
1 X
1 X
1
−
.
−
ν
2 j=2 pj
νp
j
j=2 ν=2
22
(84)
P 0 P∞ 1
Darin ist A = − ij=2
ν=2 νpνj = const., denn wegen ν ≥ 2 ist A eine absolut konvergente Reihe. Aus der Literatur [1], p.343, Satz 5, entnehmen wir die Aussage
i0
X
1
1
= ln ln pi0 + c + O
,
p
ln pi0
j=1 j
(85)
worin c = const. und O ln 1pi den Fehlerterm bezeichnet. Der Wert ln ln x = 0 wird für
0
x = e angenommen, ln ln p1 = ln ln 2 = −0, 3665129 . . . < 0, ln ln 3 = 0, 094047827 . . . ,
ln 3 = 1, 098612289 . . . . Da in (84) j = 2, . . . , i0 läuft, haben wir die Belegung der
Konstanten etwas zu modifizieren. Um den Wert von ln ln pi0 benutzen zu können,
haben wir davon ln ln 3 abzuziehen. So erhält man schließlich
1
1
ln Sn = ln − ln ln pi0 − ln ln 3 + c + O
+A
(86)
2
ln pi0
sowie durch Exponentiation
Sn =
π (ηn )
1
1
′
= ·
·A
2n + 1
2 ln pi0
(87)
mit A′ = (ln 3) e−c+A−O(1/ ln pi0 ) . Dies ist die Aussage des Gauß’schen Primzahlsatzes
′
für Quadratintervalle. Für 0 ≃ A − c − O (1/ ln pi0 ) wird A ≃ ln 3.
Wenn aber die Primzahlverteilung über jedem Quadratintervall diesem logarithmischen Gesetz gehorcht, gilt sie für jedes beliebige größere Intervall,
also auch für (1, x] ,
′′
x
wie es der Gauß’sche Primzahlsatz verlangt: π (x) = A ln x ln 3, denn 2 ln pi0 =
ln p2i0 ≃ ln (n + 1)2 = ln x. Die Formel π (x) = lnxx gibt im allgemeinen Werte, die
um 5 . . . 10% zu niedrig liegen. Der Faktor ln 3 vergrößert sie um 9,86% , sodaß wohl
′′
A < 1, aber nahe bei 1, anzunehmen ist.
Wir haben hier das logarithmische Verteilungsgesetz für Quadratintervalle abgeleitet
aus einer (ziemlich koplizierten) exakten Formel, daraus auf seine allgemeine Gültigkeit
geschlossen und den Gauß’schen Satz als Approximation erhalten; q.e.d.
Die Abb. 5.1. zeigt ∀n ≤ 240 die Anzahlen π (ηn ) =PiEn und π (ηA,n ) =
π (2n + 1) =
′
A (2n+1)
ln(n+1)
=PiEAn sowie die gemäß (90) streuenden Funktionen πs (ηn ) =
′
A
π (ηn ) (1 + δ) mit δ = 0 für den Mittelwert g (n), δ = + ln(n+1)
als obere Schranke
′
A
go (n), δ = − ln(n+1)
als untere Schranke gu (n). Der im Mittel stetige Anstieg ist deutlich zu erkennen, ebenso daß im Anfangsintervall gleicher Größe ηA,n := [0, 2n + 1] der
Gauß’sche Satz π (ηA,n ) =
′
A (2n+1)
ln(n+1)
≈ 2π (ηn ) ergibt.
23
Abb. 5.1.: Primzahlanzahlen über Quadratintervallen π(ηn ) und in gleichgroßen Anfangsintervallen π(ηA,n )
100
PiEAn
PiEn
f(n)
g(n)
go(n)
gu(n)
90
80
70
Pi
60
50
40
30
24
20
10
0
0
50
100
150
200
250
n
Abb. 9.1.: Streuende Anzahl von Goldbachpaar-Darstellungen πg (2m)
30
Pig2m
Pig(2m)
fo(2m)
fu(2m)
Pi
20
10
0
0
50
100
150
200
2m
250
300
350
5.4
Vertrauensgrenzen des Verteilungssatzes
Nach (87) haben wir mit pi0 =≺ n + 1 ≻∼
= n + 1 als Wahrscheinlichkeit W aus mittlerer
Anzahl π (ηn ) der Primzahlen im Intervall ηn mit der Breite bn = 2n + 1 erhalten:
′
′
π (ηn )
A
A
W =
=
≈
mit xǫηn .
bn
2 ln (n + 1)
ln x
(88)
bn
kann als mittlerer Platzbedarf einer Primzahl in
Der Kehrwert Ln = W1 = π(η
n)
′
ηn gedeutet werden. Wir bestimmen stattdessen den halben Platzbedarf 12 Ln eines
Primzahlpaares. Die Wahrscheinlichkeit, daß 2 Zahlen Primzahlen in ηn sind, wird
durch ihr Wahrscheinlichkeitsprodukt Wges. = Wp1 Wp2 = W 2 gegeben. Dann ist die
Streubreite für eine Primzahl in ηn
2
′
bn
A
2
Sn = 1 ′ = 2bn W = 2 (2n + 1)
.
(89)
2 ln (n + 1)
L
2 n
Da p1 = 2 die kleinste Primzahl ist, kann (außer zwischen p1 und p2 = 3) der minimale Primzahlabstand nicht kleiner als 2 sein. Der Abstand zwischen zwei benachbarten
Primzahlen ist kleiner als das zugehörige bn , deshalb gilt 2 ≤ pi+1 − pi < bn .
Deshalb erhalten wir für die in ηn streuende Anzahl von Primzahlen
′
′
′
′
A n + 12
A 2 n + 12
A n + 21
A
1±
. (90)
πs (ηn ) = bn W ± Sn =
± 2
=
ln (n + 1)
ln (n + 1)
ln (n + 1)
ln (n + 1)
′
′
2x
A x
± 2A
. Dieser Toleranzbereich ist realistischer als die willkürliche
ln x
ln2 x
′
A x
= ln x (1 ± 0, 2) und beschreibt die Realität gut, s. Abb. 5.1. und
bzw. πs (x) =
Annahme πs (x)
Tab. 5.2.:
n
1
10
100 150 300 400 103
104
105
106
π (ηn ) 2,29 4,4 23,1 31,9 55,8 70,8 154 1151 9207 76725,4
Ln
0,86 10,2 37,9 44,8 58,0 64,0 85,0 151,0 235,9 339,7
± 2n+1
3,5 2,05 5,30 6,72 10,4 12,5 23,6 132,5 847,7 5886,9
Ln
Größere Schwankungen sind möglich: Der wirkliche Extremfall, daß die erste
Primzahl am unteren, die zweite am oberen Intervallrand liegt, könnte schlimmstenfalls
das Doppelte vom mittleren Primzahlabstand erbringen und statistische “Ausreißer”
erklären.
Bezeichnet ∆πmax (x) die in der weiteren Umgebung von x auftretenden maximalen
Primzahlabstände, so gibt Tab 5.3. den Vergleich mit den Primzahlabständen gemäß
(89 ):
x
10
102
103
104
105 8,4·105
∆πmax (x)
4
14
20
36
54
100
ln2 x
2,36 9,44 21,23 37,75 58,98 82,81
2A′ 2
′
Es wurde mit A = 1, 06 gerechnet.
25
6
Ein falscher Satz
In der Literatur findet man seit langer Zeit die Behauptung, man könne “beliebig große
primzahlfreie Intervalle” konstruieren (s. z.B. [1], p. 22 Zeile 12) und die Frage nach
einer oberen Schranke für den Abstand benachbarter Primzahlen sei sinnlos. Zum
Beweis konstruiert man die Intervalle [n! ± 2, n! ± n] , die primzahlfreie Intervalle der
Mindestlänge (n − 1) darstellen, und läßt n → ∞ laufen. Von jeder endlichen Zahl
n! − 1 rückwärts gezählt, steht natürlich kein beliebig (= ∞) großes primzahlfreies
Intervall zur Verfügung. Von n!+1 nach “oben” gezählt, steht zunächst nur das endliche
primzahlfreie Intervall der Länge n−1 bereit. ( De facto kann das primzahlfreie Intervall
auch doppelt so groß sein!) Die angegebene Konstruktion beweist in der Tat nur, daß “im
unendlich fernen Punkt” selbst genau ein beliebig großes primzahlfreies Intervall gedacht
werden kann. Dieser “Punkt“ ist aber singulär und zugleich der einzige Häufungspunkt
der Primzahlen. Der Satz ist also falsch.
Wegen Satz 5.2. gibt es kein primzahlfreies Quadratintervall ηn = n2 , (n + 1)2 .
Daraus folgt, daß der maximale Abstand zwischen benachbarten
< 2n für
√ Primzahlen
2
jede vorgelegte Zahl x = n ist, d.h. ∆max = pi+1 − pi < 2 pi+1 . Man kann sogar
den Mittelwert ∆max,M sowie obere und untere Schranken dazu aus dem logarithmischen Verteilungsgesetz über Quadratintervallen ableiten. Wir werden in den folgenden
Kapiteln dieser Frage nochmals begegnen. Solche Angaben werden natürlich n-abhängig
sein.
Beim Vergleich verschieden mächtiger Mengen muß etwas mehr Sorgfalt aufgewendet werden. Eine Zahl m = pn ↓ oder m = n! gehört zuriPotenzordnung n, da sie
√ 2 √
2
m , ( m + 1) , in dem m liegt, hat die
n Faktoren enthält. Das Quadratintervall
√
√
Potenzordnung 2 < n und die lineare Breite b = 2 m + 1 = 1 + 2 n! ≫ n − 1 =
primzahlfreies Intervall, welches eine lineare Mannigfaltigkeit darstellt, das schon die
umgebende Mannigfaltigkeit 2. Ordnung (Quadratintervall) nicht auszufüllen vermag.
Dies dürfte die Ursache des Trugschlusses im angeführten Satz von der Konstruierbarkeit “beliebig großer” primzahlfreier Intervalle gewesen sein.
7
Zur Verteilung von Primzahlzwillingen
Die Primzahlen sind bezüglich der Multiplikation statistisch unabhängig, denn eine
jede Primzahl p enthält als Teiler nur 1 und p und ist selbst kein Teiler irgend einer
anderen Primzahl. Primzahlen sind sozusagen die Ein-heiten der Produktmengen.
Es ist daher legitim, die Zwillingsbedingung pi+1 = pi + 2 zu kombinieren mit dem
Primzahlverteilungsgesetz über einem Quadratintervall ηn oder einem größeren Intervall. Zuvor stellen wir noch fest, daß ein Primzahlzwilling mit pi > 3 niemals eine
Quadratzahl umgreifen kann. Es müssen daher - außer {p2 = 3, p3 = 5} mit 22 in der
Mitte - die beiden Partner eines beliebigen Primzahlzwillings > 5 stets vollständig ein
und demselben Quadratintervall angehören.
Bew.: x2 − 1 = (x + 1) (x − 1) ist ∀i > 2 eine stets teilbare Zahl, deshalb kann
26
höchstens x2 + 1 Primzahl sein, sodaß zwar ein Primzahlzwilling am Anfang eines
Quadratintervalls, aber vollständig darin stehen kann, wenn x geradzahlig ist. Ist x
ungerade, so stehen 2 teilbare Zahlen nebeneinander: x2 und (x − 1) (x + 1) , sodaß
ebenso nur der Anfang x2 + 1 des größeren Quadratintervalls für die Bildung eines
Primzahlzwillings in Betracht kommt; q.e.d.
Für die Primzahldichte über einem Quadratintervall (wahrscheinlichster oder Mittelwert) ergab sich in (87)
′′
π (ηn )
A ln 3
W =
(91)
=
2n + 1
2 ln pi0
mit pi0 =≺ n + 1 ≻, ηn = n2 , (n + 1)2 . Ein Primzahlzwilling ist gekennzeichnet
durch die Annahme des geringstmöglichen Primzahlabstandes 2, also pi+1 = pi + 2. Da
pi , pi+1 im gleichen Quadratintervall liegen müssen, wird ihre Wahrscheinlichkeit durch
dasselbe pi0 bestimmt. Es darf also die Zwillingswahrscheinlichkeitsverteilung als Wz =
Wi Wi+1 = W 2 angesetzt werden. Bezeichnet π2 (ηn ) die mittlere oder wahrscheinliche
Anzahl von Primzahlzwillingen in ηn , so kann geschrieben werden
π2 (ηn )
A 2 ln2 3
Wz =
=
2n + 1
4 ln2 pi0
′′
oder
′′
′′
n + 12 A 2 ln2 3
(2n + 1) A 2 ln2 3
≈
.
π2 (ηn ) =
4 ln2 pi0
2 ln2 (n + 1)
(92)
Diese Funktion ist in Abb. 7.1. zwischen die Punkte der numerisch bestimmten Primzahlzwillings-Anzahlen je ηn ∀n ≤ 915 eingezeichnet und zeigt eine gute Approximation
′
′′
an. Es wurde A = A ln (3) = 1, 06 benutzt.
Satz 7.1. Die mittlere Anzahl von Primzahlzwillingen im Quadratintervall ηn steigt
gemäß (92) mit n monoton an und wächst für n → ∞ über alle Schranken. Die integrale
Anzahl der Primzahlzwillinge wächst dann natürlich √
erst recht über alle Schranken.
x−1/2
Bew.: Aus der Divergenz des Ausdrucks y = ln x (der Logarithmus wächst
schwächer als jede Potenzfunktion xν mit ν > 0 ) folgt mit x = n+1 auch die Divergenz
2
von y 2 = lnn+1/2
, daran ändert auch der konstante Faktor ln2 3 nichts; q.e.d.
2
(n+1)
Dies Ergebnis ist insofern erstaunlich, als im Anfangsbereich (n ≤ 122) primzahlleere
Quadratintervalle existieren für n = {9, 19, 26, 27, 30, 34, 39, 49, 53, 77, 122}, darunter
sogar 2 benachbarte Quadratintervalle. Fragt man aber nach dem größten Wert von
n, oberhalb dessen ein vorgegebener ganzzahliger Wert von π2 (ηn ) nicht mehr unterschritten wird, so ergibt sich mit π2 (ηn,max ) nach (92) aus der Abb.7.1. folgende Tabelle
Tab.7.1.:
nmax
122 213 502 545
829
π2 (ηn )
0
1
2
3
4
π2 (ηn,max ) 3,19 4,47 7,84 8,29 11,09
27
Abb. 7.1.: π2 (ηn ) experimentell und theoretisch als f (n) incl. Streubereich
π2
30
Pi2En
f(n)
fo(n)
fu(n)
20
10
0
0
50
100
150
200
250
400
450
500
650
700
750
900
950
1000
n
π2
30
20
Pi2En
f(n)
fo(n)
fu(n)
10
28
0
250
300
350
n
π2
30
20
Pi2En
f(n)
fo(n)
fu(n)
10
0
500
550
600
n
π2
30
20
Pi2En
f(n)
fo(n)
fu(n)
10
0
750
800
850
n
Das wirft die Frage nach der Streubreite um die mittlere theoretische Häufigkeit
′
′′
′′
π2 (ηn ) auf. Benutzt man in (87) für A = 1, 06 anstelle von A ln 3 = A · 1, 0986123 . . .,
so stimmen der Mittelwert
n + 21
π (ηn ) =
· 1, 06 ,
ln (n + 1)
die obere Schranke
(93)
πob. (ηn ) = 1, 2 · 1, 06 ·
n + 21
ln (n + 1)
(94)
πunt. (ηn ) = 0, 8 · 1, 06 ·
n + 21
ln (n + 1)
(95)
und die untere Schranke
für n < 1000 befriedigend mit der Realität überein. Durch Quadrieren der Wahrscheinlichkeitsausdrücke ergibt sich damit für Primzahlzwillinge
π2 (ηn ) =
n + 21
· 1, 062 ,
2 ln2 (n + 1)
(96)
n + 12
(1, 2 · 1, 06)2 ,
π2,ob. (ηn ) =
2
2 ln (n + 1)
(97)
n + 12
(0, 8 · 1, 06)2 .
2
2 ln (n + 1)
(98)
π2,unt. (ηn ) =
Während der Mittelwert gut liegt, ist die reale Abweichung vom Mittelwert etwa doppelt
so groß. Dieser Mangel wird überwunden, wenn man statt der willkürlichen Streufaktoren 0,8 und 1,2 die besser begründete mittlere Abweichung gemäß (90) einführt.
Wir betrachten 2 Primzahlzwillinge mit der Gesamtwahrscheinlichkeit Wges. =
Wz1 Wz2 = Ws2 , weil für genügend große n der Zwillingsabstand < bn ist. Für den
einzelnen Primzahlzwilling verdoppeln wir wieder den streuenden Anteil und erhalten
!!
2
2
′
′
′
A
A
A
π2,s (ηn ) = (2n + 1)
1+2 4
±4
2 ln (n + 1)
2 ln (n + 1)
2 ln (n + 1)
2
′
A
(1 + δ2 ) ,
(99)
= (2n + 1)
2 ln (n + 1)
Darin sind die Streufaktoren δ2 = 0 für den Mittelwert, für die obere und untere
Schranke
2
′
′
A
4A
δ2 = δ2,+ = 2
,
(100)
+
ln (n + 1)
ln (n + 1)
2
′
′
4A
A
−
.
(101)
δ2 = δ2,− = 2
ln (n + 1)
ln (n + 1)
29
Die 3 Funktionen sind in Abb. 7.1. neben den Werten des numerischen Experiments
eingezeichnet; sie beschreiben die Realität hinreichend gut. Die Tab. 7.2. zeigt, daß
die nach (99) berechnete gesamte Streubreite sich oberhalb eines Schwellwertes über
die n-Achse erhebt und für große n nahezu symmetrisch wird, während bei kleinen n
deutlich δ2,+ > δ2,− gilt. Tab. 7.2.:
n
1
10
102
103
104
105
106
π2 (ηn )
1,75 1,03 2,65 11,78 66,23 423,85 2943,39
π2 (ηn ) δ2,+ 11,19 2,14 4,01 15,68 82,32 505,23 3411,39
π2 (ηn ) δ2,− 0,49 0,32 1,57 8,45 51,86 349,25 2510,71
8
Primzahlvierlinge
Wegen der statistischen Unabhängigkeit
aller Primzahlen voneinander sollte man
annehmen, daß auch die Vierlingsmenge
unendlich ist. Dem steht entgegen, daß
es offenbar für kleinere Werte von n nur
wenige Quadratintervalle gibt, die einen
Vierling enthalten. Da nun die Vierlinge
bezüglich ihrer Wahrscheinlichkeitsfunktion eine Menge der 4. Potenzordnung
darstellen, seien in Abb. 8.1. die Anzahl der Vierlinge ≤ n4 , π4 (n4 ) , und
die Vierlingsanzahl
im Intervall η4,n :=
4
4
n , (n + 1) , π4 (η4,n ) , über n ≤ 30
dargestellt. Offensichtlich ist das Intervall
η4,10 das größte vierlingsfreie Intervall, im
Intervall η4,14 tritt letztmalig nur 1 Vierling auf. Diese Tatsache steht im Einklang mit unserem statistischen Ansatz,
nach dem zur Intervallbreite b4,n = 4n3 +
6n2 + 4n + 1
4
π4 (η4,n )
1, 06
=
(102)
b4,n
2 ln (n + 1)
Abb. 8.1. π4 (n4 ) und π4 (η4,n )
100
Pi4n4
Pi4En4
90
80
70
Pi
60
50
40
30
20
10
0
als mittlere Primzahlvierlingsanzahl
0
10
20
30
4
≤ (n + 1) zu erwarten ist.
n
Satz 8.1.
Da die Anzahl biquadrati-scher Intervalle mit mehr als 1
Vierling nach oben offen ist, muß es auch unendlich viele Primzahlvierlinge geben.
Der Satz bleibt hier als Vermutung stehen. Ob es ein n0 gibt, sodaß ∀n > n0 jedes
Quadratintervall η2,n mindestens einen Primzahlvierling enthält, ist damit noch nicht
30
entschieden; es ist aber nahe gelegt. Ein solches n0 müßte aber deutlich über n = 1000
liegen, denn oberhalb n = 900 gibt es noch primzahlvierlingsfreie Quadratintervalle.
Unterhalb n = 914 gibt es insgesamt 96 Primzahlvierlinge.
9
Zur Goldbach-Hypothese
Christian Goldbach (1690-1764) vermutete in einem Brief an Leonhard Euler, daß jede
gerade Zahl ≥ 6 als Summe aus genau 2 ungeraden Primzahlen dargestellt werden kann.
Wir wollen sie in den etwas schärferen Satz fassen:
Satz 9.1. a) Jede gerade Zahl 2m ≥ 8, mǫN, kann als Summe aus genau 2 voneinander verschiedenen ungeraden Primzahlen dargestellt werden. Zusätzlich
existiert ∀ Primzahlen p eine Darstellung 2m = 2p.
b) Die Darstellung 2m = pi + pj , pi 6= pj , ist im allgemeinen vieldeutig; eindeutig ist
sie nur für einige relativ kleine Werte von 2m ≤ 2m0 = 12, (wenn pi = pj mit gewertet
wird). Die Vielfachheit v2m der Goldbachpaar-Darstellungen von 2m erfüllt
v2m =
1
n+
2
′
A
ln (n + 1)
2
(1 + δ2 ) , 2mǫηn .
(103)
Bew.: Der Beweis soll auf probabilistischer Grundlage geführt werden. Dasist zulässig,
′
da die Gültigkeit der Verteilungsfunktion A / ln x für jedes Intervall 1, x aus seiner
Gültigkeit ∀ηn folgt, also bereits gezeigt ist, und alle Primzahlen als statistisch unabhängig erwiesen sind.
Die Summe aus 2 ungeraden Primzahlen
pi + pj = 2m
(104)
ist stets geradzahlig. Aus der Forderung pi 6= pj folgt dann o.B.d.A. pi < pj sowie
die Existenz einer Zahl ∆ , sodaß pi = m −
∆ und pj = m + ∆ gilt. Wir betrachten
2
2
nun ein Quadratintervall ηn = n , (n + 1) mit n ≥ n0 , sodaß
auch noch jede gerade
′
Zahl aus ηn−1 oberhalb m und das Intervall ηA,n := 0, 4n vollständig unterhalb m
′
liegt. Die Breite bA von ηA,n ist gleich der Summe der Breiten von ηn−1 und ηn , also
bA = (2n + 1) + (2n − 1) = 4n. Daher gilt n0 = 7. Für alle geraden Zahlen unterhalb
dieser Größe prüfen wir Satz 9.1. explizit numerisch:
4=2+2; 6=3+3; 8=3+5; 10=3+7=5+5; 12=5+7; 14=3+11=7+7; 16=3+13=5+11;
18=5+13=7+11; 20=3+17=7+13; 22=3+19=5+17=11+11; 24=5+19=7+17=11+13;
26=3+23=7+19=13+13; 28=5+23=11+17; 30=7+23=11+19; 32=3+29=13+19;
34=3+31=5+29=11+23=17+17; 36=5+31=7+29=13+23=17+19.
Es sei hier bemerkt, daß in der Regel schon mindestens ein Goldbachpaar auftritt mit
pj ǫηn , in einigen Fällen wird aber das erste Goldbachpaar erst mit pj ǫηn−1 gefunden. Für
sehr große n kann nicht ausgeschlossen werden, daß das erste pj , das ein Goldbachpaar
bildet, noch kleiner ist. Das stört aber unsere Betrachtung nicht, da zur Bestimmung
der Vielfachheit v der möglichen Goldbachpaar-Darstellungen alle pj mit m ≤ pj <
31
(n + 1)2 zu berücksichtigen sind und hinreichend viele Quadratintervalle im Intervall
m, (n + 1)2 existieren.
Die Wahrscheinlichkeit Wg , daß die erste Primzahl in (104) pi ǫηA,n und die zweite
pj ǫηn erfüllt, ist durch das Produkt ihrer entsprechenden Wahrscheinlichkeiten definiert.
Wegen
π (ηA,n )
π (ηn )
Wi =
≈2
= 2Wj
(105)
bn
bn
gilt für das Paar {pi , pj }
Wg = 2Wj2 .
(106)
Für die einzelne Zahl 2m haben wir wieder den streuenden Anteil zu verdoppeln, sodaß wir für die streuende Anzahl von Goldbachpaar-Darstellungen zahlenmäßig das
Doppelte der Primzahlzwillingsanzahl in ηn gemäß (99) erhalten:
v2m = πg (2m) = 2π2,s (ηn ) ,
(107)
wie in Satz 9.1.b behauptet wurde, wobei v2m = πg (2m) gesetzt ist; q.e.d.
Beide Ausdrücke wachsen aber mit m über alle Schranken. Wegen des Faktors 2
erhebt sich jedoch die Funktion πg (2m) inclusive ihrem Streubereich schneller über die
Anzahl “1” . Die Abb. 9.1. zeigt den Anfangsbereich von πg (2m) im numerischen
Experiment zusammen mit den theoretisch ermittelten Werten für 2m ≤ 330.
Satz 9.2. Unter Goldbachpaaren versteht man im allgemeinen nur Paare ungerader
Primzahlen, deren Summe eine gerade Zahl 2m ergibt. Läßt man auch die kleinste
Primzahl p1 = 2 als Paarpartner zu, so können auch alle ungeraden Zahlen, die um 2
größer sind als eine Primzahl, als Summe aus genau 2 Primzahlen dargestellt werden.
Das sind zwar unendlich viele ungerade Zahlen, genau so viele wie es Primzahlen gibt,
aber bei weitem nicht alle. Es gibt sogar unendlich viele Primzahlen, die als Summe
aus genau einer ungeraden Primzahl und p1 = 2 dargestellt werden können. Diese
ungeraden Zahlen sind der kleinere Partner eines jeden Primzahlzwillings, von denen
wir zeigen konnten, daß ihre Anzahl unendlich ist.
Satz 9.3. Die Zahl 5 ist die einzige ungerade unberührbare Zahl.
Man bezeichnet eine natürliche Zahl z als unberührbar, wenn es keine natürliche Zahl
x gibt, deren echte Teilersumme σ ∗ (x) = z ist.
Bew.: Behauptung und Beweis sind angelehnt an Aufgabe 48 b in [1], p. 327 und
336. Die Behauptung folgt aus dem Goldbachtheorem in der Fassung von Satz 9.1.a.
Jede ungerade natürliche Zahl z > 8 hat eine Darstellung z = 1 + 2n mit 2n ≥ 8 . Jede
gerade Zahl 2n ≥ 8 hat mindestens eine Darstellung 2n = p + q mit den Primzahlen
p 6= q . Die Zahl x = p · q hat die Summe echter Teiler σ ∗ (x) = 1 + p + q = 1 + 2n = z.
Die Zahlen z = 3 und z = 7 sind berührbar (x = 4 bzw. x = 8); q.e.d.
References
[1] H. Scheid, Zahlentheorie, Mannheim, Wien, Zürich: BI-Wiss.-Verl., 1991
32
Danksagung
Für die Wartung und Systembetreuung meines PC danke ich Christian Schmidt-Gütter
und für Unterstützung bei der Arbeit mit LATEX und gnuplot Susanne Gütter.
33