Goldbachsche Vermutung Verifizierer

Willkommen beim Goldbachsche Vermutung Verifizierer, einem interaktiven Tool, das eines der ältesten offenen Probleme der Zahlentheorie für jede gerade ganze Zahl größer als 2 bestätigt. Geben Sie Ihre Zahl ein und sehen Sie sofort jedes Primzahlpaar, das diese Summe ergibt, den Wert der Goldbach-Partitionsfunktion g(n) und das berühmte Diagramm des Goldbach-Kometen. Das Brückendiagramm und das Kometen-Chart machen die Struktur hinter der Vermutung von 1742 visuell intuitiv erfassbar.

Was ist die Goldbachsche Vermutung?

Die Goldbachsche Vermutung ist eine zahlentheoretische Aussage, die der preußische Mathematiker Christian Goldbach in einem Brief an Leonhard Euler am 7. Juni 1742 vorschlug. In ihrer modernen Form besagt sie:

Beispiel: \(4 = 2 + 2\), \(6 = 3 + 3\), \(8 = 3 + 5\), \(10 = 3 + 7 = 5 + 5\), \(100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53\).

Trotz ihrer einfachen Aussage ist die Vermutung seit fast drei Jahrhunderten unbewiesen. Sie wurde durch neuere groß angelegte Berechnungen für jede gerade ganze Zahl bis \(4 \times 10^{18}\) verifiziert, aber ein allgemeiner Beweis entzieht sich den Mathematikern weiterhin.

Die Goldbach-Partitionsfunktion g(n)

Für eine gerade ganze Zahl \(n\) wird die Anzahl der verschiedenen ungeordneten Paare von Primzahlen, die sich zu \(n\) summieren, als \(g(n)\) bezeichnet, die Goldbach-Partitionsfunktion:

Die Goldbachsche Vermutung ist gleichbedeutend mit der Behauptung, dass \(g(n) \ge 1\) für jedes gerade \(n > 2\) gilt. Gegen \(n\) aufgetragen, bilden die Werte von \(g(n)\) eine visuell beeindruckende Figur, die als Goldbach-Komet bekannt ist – ein dichtes, helles Band von Punkten, das sich mit wachsendem \(n\) auffächert. Innerhalb des Kometen erscheinen deutliche horizontale Bänder: Zahlen, die durch 6 teilbar sind, liegen tendenziell höher als Zahlen, die nur durch 2 teilbar sind, da mehr kleine Primzahlen als Summanden zur Verfügung stehen.

So verwenden Sie diesen Verifizierer

1. Geben Sie eine gerade ganze Zahl größer als 2 ein. Klicken Sie auf ein schnelles Beispiel (100, 1.000, 10.000, 123.456, 1.000.000) oder geben Sie Ihre eigene Zahl ein.
2. Klicken Sie auf "Goldbach verifizieren". Das Tool findet jedes Primzahlpaar, das Ihre Zahl ergibt, mithilfe eines Siebs des Eratosthenes.
3. Lesen Sie das Urteil. Das grüne Banner bestätigt, dass die Vermutung für Ihre Zahl gilt, und das Hauptfeld meldet \(g(n)\).
4. Untersuchen Sie das Brückendiagramm. Jedes Primzahlpaar wird als zwei farbige Segmente auf einer Linie von 0 bis \(n\) gezeichnet, mit der roten Mittelmarkierung bei \(n/2\). Paare nahe der Mitte sind ausgewogener.
5. Erkunden Sie den Kometen. Das Streudiagramm zeigt \(g(m)\) für gerade \(m\) in der Nähe Ihrer Eingabe und hebt Ihre Zahl rot hervor, damit Sie sehen können, wo sie im Kometenmuster platziert ist.
6. Überfliegen Sie die vollständige Paartabelle. Jedes \((p, q)\)-Paar wird mit der Differenz \(q - p\) aufgelistet. Kopieren Sie alle Paare mit einem Klick.

Was macht ein Paar besonders?

• Paar mit kleinstem p — Das Paar, das die kleinste Primzahl \(p\) verwendet. Oft ist dies \(3\) oder \(5\) für moderate \(n\). Wenn \(n\) eine Potenz von 2 plus 2 ist, kann es \(2 + (n-2)\) selbst sein.
• Ausgewogenstes Paar — Das Paar mit \(p\) am nächsten zu \(n/2\). Wenn beide Primzahlen \(n/2\) entsprechen, muss \(n\) das Doppelte einer Primzahl sein (z. B. \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Paar mit größtem p — Das Paar mit dem größten \(p\), so dass \(p \le q\). Dies ist das "ausgewogenste von der anderen Seite" und gibt eine visuelle Grenze dafür an, wie nah sich Primzahlen um \(n/2\) gruppieren.

Goldbach in Zahlen

Klassische Partitionszahlen

Asymptotisches Verhalten

Heuristische Argumente aus der Hardy-Littlewood-Vermutung legen nahe, dass \(g(n)\) etwa so wächst:

wobei \(C_2 \approx 0,66016\) die Zwillingsprimzahlkonstante ist. Das zusätzliche Produkt spiegelt wider, warum gerade Zahlen mit vielen kleinen Primfaktoren (Vielfache von 6, 30 usw.) dazu neigen, unverhältnismäßig viele Goldbach-Paare zu haben – die Quelle der horizontalen Bänder im Kometen.

Schwache vs. Starke Goldbachsche Vermutung

• Starke (binäre) Goldbachsche Vermutung — jedes gerade \(n > 2\) ist eine Summe von zwei Primzahlen. Immer noch offen.
• Schwache (ternäre) Goldbachsche Vermutung — jedes ungerade \(n > 5\) ist eine Summe von drei Primzahlen. Bewiesen von Harald Helfgott im Jahr 2013, was ein jahrzehntelanges, von Winogradow 1937 initiiertes Programm abschloss.

Die starke Form impliziert die schwache Form: Wenn jedes gerade \(n\) eine Summe von zwei Primzahlen ist, dann ist jedes ungerade \(n > 5\) diese Summe plus eine zusätzliche \(3\). Umgekehrt ist leider nicht bekannt, ob dies gilt.

Berühmte Teilergebnisse

• 1923 — Hardy & Littlewood: Unter Annahme der verallgemeinerten Riemannschen Vermutung ist fast jede gerade ganze Zahl eine Summe von zwei Primzahlen.
• 1937 — Iwan Winogradow: Bewies die ternäre Vermutung für alle hinreichend großen ungeraden Zahlen.
• 1973 — Chen Jingrun: Jede hinreichend große gerade Zahl ist die Summe einer Primzahl und einer Zahl, die entweder prim oder das Produkt zweier Primzahlen ist (Satz von Chen).
• 1995 — Olivier Ramaré: Jede gerade ganze Zahl ist die Summe von höchstens 6 Primzahlen.
• 2013 — Harald Helfgott: Bewies die schwache Goldbachsche Vermutung bedingungslos.
• 2014 — Oliveira e Silva, Herzog & Pardi: Die starke Vermutung wurde für alle geraden \(n \le 4 \times 10^{18}\) verifiziert.

Häufig gestellte Fragen

Was ist die Goldbachsche Vermutung?

Die Goldbachsche Vermutung besagt, dass jede gerade ganze Zahl größer als 2 als Summe zweier Primzahlen geschrieben werden kann. Sie wurde erstmals 1742 von Christian Goldbach formuliert und für astronomisch große Zahlen verifiziert, aber nie allgemein bewiesen.

Wurde die Goldbachsche Vermutung bewiesen?

Nein. Stand 2026 bleibt die starke Goldbachsche Vermutung ein offenes Problem. Die schwache (ternäre) Version – jede ungerade ganze Zahl größer als 5 ist die Summe von drei Primzahlen – wurde 2013 von Harald Helfgott bewiesen.

Was ist die Goldbach-Partitionsfunktion g(n)?

\(g(n)\) ist die Anzahl der ungeordneten Paare von Primzahlen, die sich zu \(n\) summieren. Zum Beispiel ist \(g(10) = 2\), weil \(10 = 3 + 7 = 5 + 5\). Die Goldbachsche Vermutung ist die Aussage, dass \(g(n) \ge 1\) für jedes gerade \(n > 2\) gilt.

Warum gilt die Goldbachsche Vermutung nur für gerade ganze Zahlen?

Jede Primzahl außer \(2\) ist ungerade. Ungerade + ungerade = gerade, daher sind Summen von zwei ungeraden Primzahlen immer gerade. Ungerade ganze Zahlen werden durch die ternäre Goldbachsche Vermutung abgedeckt, die nach Summen von drei Primzahlen fragt.

Was ist der Goldbach-Komet?

Der Goldbach-Komet ist ein Streudiagramm von \(g(n)\) gegenüber \(n\). Er hat eine berühmte schweifähnliche, gebänderte Form. Horizontale Bänder entstehen, weil gerade Zahlen mit vielen kleinen Primteilern tendenziell proportional mehr Partitionen aufweisen.

Wie viele Primzahlpaare ergeben 100?

Es gibt sechs: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Somit ist \(g(100) = 6\). Probieren Sie 100 im obigen Verifizierer aus, um jedes Paar visualisiert zu sehen.

Zusätzliche Ressourcen

• Goldbachsche Vermutung — Wikipedia
• Goldbach's comet — Wikipedia (Englisch)
• Goldbach Conjecture — MathWorld (Englisch)