Goldbachsche Vermutung

Die Goldbachsche Vermutung, benannt nach dem Mathematiker Christian Goldbach, ist eine unbewiesene Aussage aus dem Bereich der Zahlentheorie. Sie gehört als eines der Hilbertschen Probleme (Nr. 8b) zu den bekanntesten ungelösten Problemen der Mathematik.

Goldbach formulierte die Vermutung in einem Brief an Leonhard Euler am 7. Juni 1742. Für Lösungsversuche werden fortgeschrittene Methoden der analytischen Zahlentheorie benutzt. Wie einige andere Probleme der additiven Zahlentheorie, die sowohl die Primzahleigenschaften (multiplikative Zahlentheorie) als auch Addition natürlicher Zahlen in ihrer Formulierung umfassen, gilt sie zwar als einfach zu formulieren, aber als besonders schwierig zu beweisen.

Die starke (oder binäre) Goldbachsche Vermutung lautet wie folgt:

Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.

Mit dieser Vermutung befassten sich bis in die heutige Zeit viele Zahlentheoretiker, ohne sie bisher bewiesen oder widerlegt zu haben.

Tomás Oliveira e Silva zeigte mittels eines Volunteer-Computing-Projekts mittlerweile die Gültigkeit der Vermutung für alle Zahlen bis 4·10¹⁸. Ein Beweis dafür, dass sie für jede beliebig große gerade Zahl gilt, ist dies nicht.

Nachdem der britische Verlag Faber & Faber im Jahr 2000 ein Preisgeld von einer Million US-Dollar für einen Beweis der Vermutung innerhalb von zwei Jahren ausgelobt hatte, wuchs auch das öffentliche Interesse an dieser Frage. Das Preisgeld wurde nicht ausgezahlt, da bis April 2002 kein Beweis eingegangen war.

Die schwächere Vermutung

Jede ungerade Zahl, die größer als 5 ist, ist Summe dreier Primzahlen.

ist als ternäre oder schwache Goldbachsche Vermutung bekannt. Sie ist teilweise gelöst: Denn einerseits gilt sie, wenn die verallgemeinerte Riemannsche Vermutung richtig ist,^[2] und andererseits ist gezeigt, dass sie für alle genügend großen Zahlen gilt (Satz von Winogradow, siehe Verwandte Resultate).

Am 13. Mai 2013 kündigte der peruanische Mathematiker Harald Helfgott einen mutmaßlichen Beweis der ternären Goldbachschen Vermutung für alle Zahlen an, die größer als 10³⁰ sind.^[3][4][5][6] Der Beweis wurde 2015 für die Annals of Mathematics Studies in Princeton akzeptiert – eine Buchreihe – und ist bisher noch nicht vollständig erschienen und einem vollständigen Peer-Review unterzogen (Stand 2021).^[7][8] Helfgott beschloss dafür die Kapitel stückweise zunächst auf seiner Homepage zu dem geplanten Buch zu veröffentlichen. Der Beweis benutzt Siebmethoden (Großes Sieb), die Kreismethode von Hardy-Littlewood und Exponentialsummen nach Winogradow, alles Methoden der analytischen Zahlentheorie. Die Gültigkeit für sämtliche Zahlen unterhalb 8,875·10³⁰ ist bereits mit Computerhilfe überprüft worden.^[9]

Aus der starken Goldbachschen Vermutung folgt die schwache Goldbachsche Vermutung, denn jede ungerade Zahl ${\displaystyle u}$ kann als Summe ${\displaystyle u=(u-3)+3}$ geschrieben werden. Der erste Summand ${\displaystyle (u-3)}$ ist nach der starken Goldbachschen Vermutung Summe zweier Primzahlen (${\displaystyle u-3=a+b}$), womit eine Darstellung ${\displaystyle u=a+b+3}$ von ${\displaystyle u}$ als Summe von drei Primzahlen gefunden ist.

Als Goldbach-Zerlegung wird die Darstellung einer geraden Zahl als Summe zweier Primzahlen bezeichnet, beispielsweise ist ${\displaystyle 3+5}$ eine Goldbach-Zerlegung der 8. Die Zerlegungen sind nicht eindeutig, wie man an ${\displaystyle 18=7+11=5+13}$ ersehen kann. Für größere gerade Zahlen gibt es eine tendenziell wachsende Anzahl von Goldbach-Zerlegungen („mehrfache Goldbachzahlen“). Die Anzahl der Goldbach-Zerlegungen lässt sich mit Computerunterstützung leicht berechnen, siehe Abbildung.

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

Die Forderung an eine gerade Zahl ${\displaystyle n}$, dass für jede Primzahl ${\displaystyle p}$ mit ${\displaystyle n/2\leq p<n}$ auch ${\displaystyle n-p}$ eine Primzahl und somit ${\displaystyle n=p+(n-p)}$ eine Goldbach-Zerlegung ist (die Zahl ${\displaystyle n}$ also die maximale Anzahl an Goldbach-Zerlegungen besitzt), erfüllen genau die vier Zahlen 10, 16, 36 und 210. Auch die schwächere Forderung, dass für jede Primzahl ${\displaystyle p}$ mit ${\displaystyle n/2\leq p<n-1}$ auch ${\displaystyle n-p}$ eine Primzahl ist, erfüllt keine Zahl ${\displaystyle n>210}$.^[10]

• 1920 bewies Viggo Brun, dass jede genügend große gerade Zahl als Summe zweier Zahlen mit maximal neun Primfaktoren darstellbar ist.
• 1930 bewies Lew Genrichowitsch Schnirelman, dass jede natürliche Zahl die Summe von weniger als C Primzahlen ist, wobei C eine Konstante ist, die bei Schnirelman ursprünglich bei 800.000 lag und später auf 20 gedrückt werden konnte.^[11]
• 1937 bewies Iwan Matwejewitsch Winogradow, dass jede ungerade Zahl, die größer als eine bestimmte Konstante ist, Summe dreier Primzahlen ist (Satz von Winogradow; schwache Goldbachsche Vermutung für den Fall genügend großer Zahlen). Einen anderen Beweis dafür gab 1946 Juri Linnik.
• 1937 bewies Nikolai Grigorjewitsch Tschudakow, dass „fast alle“ geraden Zahlen Summe zweier Primzahlen sind, das heißt, dass die asymptotische Dichte der so darstellbaren Zahlen in den geraden Zahlen 1 ist.
• 1947 bewies Alfréd Rényi, dass eine Konstante K derart existiert, dass jede gerade Zahl Summe einer Primzahl und einer Zahl mit maximal K Primfaktoren ist.
• 1966 bewies Chen Jingrun, dass jede hinreichend große gerade Zahl Summe einer Primzahl und eines Produkts höchstens zweier Primzahlen ist (Satz von Chen).^[12]
• 1995 bewies Olivier Ramaré, dass jede gerade Zahl Summe von höchstens sechs Primzahlen ist.^[13]
• 2012 bewies Terence Tao, dass jede ungerade Zahl größer als 1 Summe von höchstens fünf Primzahlen ist,^[14] und verbesserte damit das Resultat von Ramaré.
• 2022 bewiesen Will Sawin und Mark Shusterman die Goldbach-Vermutung für Funktionenkörper.^[15]

• Wolfgang Blum: Goldbach und die Zwillinge. In: Spektrum der Wissenschaft Dossier 6/2009: Die größten Rätsel der Mathematik. ISBN 978-3-941205-34-5, S. 34–39.
• Apostolos Doxiadis: Onkel Petros und die Goldbachsche Vermutung. Lübbe, 2000, ISBN 3-7857-0951-X (Belletristik).
• Andrew Granville: Refinements of Goldbach’s conjecture, and the generalized Riemann hypothesis. In: Functiones et Approximatio 37. 2007, S. 7–21 (englisch; PDF; 180 kB).
• Melvyn B. Nathanson: Additive Number Theory. The Classical Bases. Springer-Verlag, New York 1996 (englisch).
• Jörg Richstein: Verifying the Goldbach conjecture up to 4·10¹⁴. In: Mathematics of Computation 70. 2001, S. 1745–1749 (englisch).
• Konstantin Fackeldey: Die Goldbachsche Vermutung und ihre bisherigen Lösungsversuche. Freie Universität Berlin, 2002 (PDF; 278 kB).
• Harald Helfgott: The ternary Goldbach problem, Oberwolfach Mathematical Snapshots, 2014
• Yuan Wang: The Goldbach conjecture, 2. Auflage, World Scientific 2003

Die Regisseurin und Drehbuchautorin Anna Novion veröffentlichte 2023 einen französisch-schweizerischen Langfilm, Die Gleichung ihres Lebens (Le théorême de Marguerite),^[16] rund um eine Doktorandin der École normale supérieure, welche den Beweis der Goldbach-Vermutungen als Promotionsthema hat. In dem Film wird ihre erste Arbeit von einem Kommilitonen widerlegt. Aus der Bahn geworfen bricht die Protagonistin daraufhin ihr Studium ab und versucht ein anderes Leben zu führen. Doch die Mathematik und insbesondere die Goldbachsche Vermutung lassen sie nicht los. Die technische Beraterin des Filmes, die Mathematik-Professorin Ariane Mézard, war für die im Film dargestellten Theoreme zuständig und soll dabei einige hilfreiche Weiterentwicklungen gefunden haben.^[17]

• Goldbach conjecture verification project. Von Tomás Oliveira e Silva.
• Goldbach’s Conjecture. Beschreibung in The Prime Glossary.
• Goldbach. Rechenprogramm, das eine beliebige gerade Zahl als Summe zweier Primzahlen darstellt.

1. ↑ In Druckschrift in Paul Heinrich Fuss (Hrsg.): Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle. (Band 1), St.-Pétersbourg 1843, S. 125–129.
2. ↑ Jean-Marc Deshouillers, Gove Effinger, Herman te Riele, Dmitrii Zinoviev: A complete Vinogradov 3-primes theorem under the Riemann hypothesis. Electronic Research Announcements of the AMS 3, 1997, S. 99–104 (englisch).
3. ↑ Harald Andrés Helfgott: Minor Arcs for Goldbach’s Problem. (PDF; 715 kB) und Major Arcs for Goldbach’s Problem. (Preprint auf arXiv.org; PDF; 1,1 MB)
4. ↑ Helfgott, Major arcs for the Goldbach problem, Arxiv, 2013
5. ↑ Helfgott, The ternary Goldbach conjecture is true, Arxiv, 2013, letzte Revision 2014
6. ↑ Vgl. Holger Dambeck: Schwache Goldbach-Vermutung: Lösung für legendäres Zahlenrätsel vorgelegt. Auf: SPIEGEL Online Wissenschaft. 23. Mai 2013.
7. ↑ Helfgott, The ternary Goldbach problem, Arxiv, Version von 2015
8. ↑ Webseite zu seinem Buch auf seiner Homepage mit den fertigen Kapiteln, abgerufen am 23. Juli 2022
9. ↑ Harald Andrés Helfgott, David J. Platt: Numerical Verification of the Ternary Goldbach Conjecture up to 8.875·10³⁰. (Preprint auf arXiv.org; PDF; 104 kB).
10. ↑ Jean-Marc Deshouillers, Andrew Granville, Władysław Narkiewicz, Carl Pomerance: An upper bound in Goldbach’s problem. Mathematics of Computation 61, Nr. 203, Juli 1993, S. 209–213 (englisch).
11. ↑ Juri Linnik: Zum achten Hilbertschen Problem. In: Pavel S. Alexandrov (Hrsg.): Die Hilbertschen Probleme. Harri Deutsch, 1998.
12. ↑ Chen Jingrun: On the representation of a larger even integer as the sum of a prime and the product of at most two primes. Kexue Tongbao 17, 1966, S. 385–386 (chinesisch); Scientia Sinica 16, 1973, S. 157–176 (englisch; Zentralblatt-Rezension); Scientia Sinica 21, 1978, S. 421–430 (englisch; Zentralblatt-Rezension).
13. ↑ Olivier Ramaré: On Šnirel’man’s constant. Annali della Scuola Normale Superiore di Pisa 22, 1995, S. 645–706 (englisch).
14. ↑ Terence Tao: Every odd number greater than 1 is the sum of at most five primes. Mathematics of Computation (englisch; arxiv:1201.6656).
15. ↑ M.Shusterman, W. Sawin: On the Chowla and twin primes conjectures over ${\displaystyle F_{q}[t]}$, Annals of Mathematics, Band 196, 2022, S. 457–506, Arxiv
16. ↑ Filmstarts.de, Die Gleichung ihres Lebens (abgerufen am 16. April 2024).
17. ↑ Barbat, Isaac, Le Théorème de Marguerite : présenté à Cannes, ce film a permis à la science de progresser !, Allociné, 2. November 2023 (abgerufen am 28. November 2023).