Goldbachvermutung

Unter der goldbachschen Vermutung wird heute allgemein die Behauptung verstanden:

Jede gerade Zahl größer als 2 kann als Summe zweier Primzahlen geschrieben werden.

(„binäre“ oder „starke“ goldbachsche Vermutung.)

Mit dieser Vermutung haben sich bis in die heutige Zeit viele Zahlentheoretiker befasst, ohne sie beweisen oder widerlegen zu können.

Tomás Oliveira e Silva hat mittels eines Verteiltes-Rechnen-Projekts mittlerweile (Stand April 2007) die Vermutung für alle Zahlen bis 10¹⁸ überprüft und für richtig befunden. Ein Beweis dafür, dass sie für jede beliebig große gerade Zahl gilt, ist dies natürlich nicht.

Die meisten Mathematiker nehmen an, dass die Vermutung wahr ist, und das hauptsächlich wegen der statistischen Verteilung der Primzahlen: Je größer die gerade Zahl ist, desto „wahrscheinlicher“ ist es, dass es zwei Primzahlen gibt, deren Summe die gewünschte Zahl ist.

Bewiesen ist inzwischen, dass jede gerade Zahl (größer als 2) als Summe von höchstens sechs Primzahlen ausgedrückt werden kann^[1]. Ferner bewies 1966 der Mathematiker Chen, dass jede hinreichend große gerade Zahl als Summe einer Primzahl und einer Zahl geschrieben werden kann, die höchstens zwei Primfaktoren besitzt^[2].

Nachdem der britische Verlag Faber & Faber im Jahr 2000 ein Preisgeld von einer Million Dollar auf die Lösung dieses Problems ausgelobt hatte, war auch das öffentliche Interesse an dieser Frage gewachsen. Dieses Preisgeld sollte für einen Beweis der Vermutung vor dem April 2002 vergeben werden.

Mehrfache Goldbachzahlen

Grafische Veranschaulichung

Bei größeren geraden Zahlen gibt es eine tendenziell wachsende Anzahl von Möglichkeiten, diese als Summe zweier Primzahlen zu schreiben („mehrfache Goldbachzahlen“). Die Anzahl dieser Möglichkeiten (y) lässt sich mit Computerunterstützung leicht berechnen. Die Abbildung gibt das Ergebnis dieser Berechnung für die geraden Zahlen bis 9000 wieder.

Um die starke goldbachsche Vermutung zu verletzen, müsste ein Datenpunkt irgendwann auf die Nulllinie fallen.

Geschichte

Die von Christian Goldbach ursprünglich geäußerte Vermutung war schwächer. Sie wurde erstmals in einem Brief von ihm an Leonhard Euler 1742 wie folgt geäußert:

Jede ungerade Zahl größer als 5 kann als Summe dreier Primzahlen geschrieben werden.

In dieser Form ist die goldbachsche Vermutung eines der ältesten Probleme der Zahlentheorie (siehe ungelöste Probleme der Mathematik).

Heute ist diese Vermutung als ternäre oder schwache goldbachsche Vermutung bekannt. Sie ist „so gut wie“ gelöst: Denn einerseits gilt sie, wenn die verallgemeinerte riemannsche Vermutung richtig ist^[3], und andererseits konnte Winogradow 1937 zeigen, dass sie für genügend große Zahlen gilt.

Aus einem Beweis der starken goldbachschen Vermutung würde die Behauptung sofort folgen, denn jede ungerade Zahl u könnte als Summe u = (u − 3) + 3 geschrieben werden. Der erste Summand kann nach der starken goldbachschen Vermutung als Summe zweier Primzahlen geschrieben werden, womit eine Zerlegung in drei Primzahlen gefunden ist.

Siehe auch

• Satz von Winogradow
• Hilberts 23 Probleme
• Goldbach-Zerlegung

Literatur

• J. Richstein: Verifying the Goldbach Conjecture up to 4·10¹⁴, Mathematics of Computation 70 (2001), 1745–1749
• A. Doxiadis: Onkel Petros und die Goldbach’sche Vermutung, Lübbe (2000) (Belletristik) – ISBN 3-7857-0951-X
• M. B. Nathanson: Additive Number Theory: The Classical Bases, Springer-Verlag, New York (1996)

Weblinks

• Goldbach conjecture verification project von Tomás Oliveira e Silva

Einzelnachweise

1. ↑ Ramaré On Shnirelman’s constant Annali Scuola Norm.Sup. Pisa, Bd. 22, 1995, S. 645
2. ↑ Sci.Sinica Bd. 16, 1973, S. 157
3. ↑ Deshouilliers, Effinger, te Riele, Zinoviev, Electronic Research Announcements AMS 1997