Weryfikator Hipotezy Goldbacha

Witaj w Weryfikatorze Hipotezy Goldbacha, interaktywnym narzędziu, które potwierdza jeden z najstarszych otwartych problemów teorii liczb dla dowolnej liczby parzystej większej od 2. Wprowadź swoją liczbę i natychmiast zobacz każdą parę liczb pierwszych, która się na nią sumuje, wartość funkcji partycji Goldbacha g(n) oraz słynny wykres komety Goldbacha. Diagram mostowy i wykres komety sprawiają, że struktura stojąca za hipotezą z 1742 roku staje się wizualnie intuicyjna.

Co to jest hipoteza Goldbacha?

Hipoteza Goldbacha to twierdzenie z teorii liczb zaproponowane przez pruskiego matematyka Christiana Goldbacha w liście do Leonharda Eulera z 7 czerwca 1742 roku. W swojej nowoczesnej formie głosi ona:

Na przykład: \(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\).

Pomimo prostego sformułowania, hipoteza pozostaje nieudowodniona od prawie trzech stuleci. Została zweryfikowana obliczeniowo dla każdej liczby parzystej aż do \(4 \times 10^{18}\) w ramach niedawnych wysiłków na dużą skalę, ale ogólny dowód wciąż wymyka się matematykom.

Funkcja partycji Goldbacha g(n)

Dla liczby parzystej \(n\), liczba odrębnych nieuporządkowanych par liczb pierwszych, które sumują się do \(n\), jest oznaczana jako \(g(n)\), czyli funkcja partycji Goldbacha:

Hipoteza Goldbacha jest równoważna twierdzeniu, że \(g(n) \ge 1\) dla każdego parzystego \(n > 2\). Wartości \(g(n)\) wykreślone względem \(n\) tworzą uderzającą wizualnie figurę znaną jako kometa Goldbacha — gęste, jasne pasmo punktów, które rozszerza się wraz ze wzrostem \(n\). Wewnątrz komety pojawiają się wyraźne poziome pasma: liczby podzielne przez 6 mają tendencję do znajdowania się wyżej niż liczby podzielne tylko przez 2, ponieważ dostępnych jest więcej małych liczb pierwszych jako składników.

Jak korzystać z tego weryfikatora

1. Wprowadź liczbę parzystą większą od 2. Kliknij szybki przykład (100, 1 000, 10 000, 123 456, 1 000 000) lub wpisz własną.
2. Kliknij "Weryfikuj hipotezę Goldbacha". Narzędzie znajduje każdą parę liczb pierwszych, która sumuje się do Twojej liczby, używając sita Eratostenesa.
3. Odczytaj werdykt. Zielony pasek potwierdza, że hipoteza zachodzi dla Twojej liczby, a główny panel podaje wartość \(g(n)\).
4. Przeanalizuj diagram mostowy. Każda para liczb pierwszych jest narysowana jako dwa kolorowe segmenty na linii od 0 do \(n\), z czerwonym znacznikiem środka w punkcie \(n/2\). Pary blisko środka są bardziej zrównoważone.
5. Zbadaj kometę. Wykres punktowy pokazuje \(g(m)\) dla parzystych \(m\) blisko Twojej liczby, wyróżniając Twoją liczbę na czerwono, abyś mógł zobaczyć, gdzie znajduje się ona we wzorze komety.
6. Przejrzyj pełną tabelę par. Każda para \((p, q)\) jest wymieniona wraz z różnicą \(q - p\). Skopiuj wszystkie pary jednym kliknięciem.

Co czyni parę wyjątkową?

• Para z najmniejszym p — Para, która wykorzystuje najmniejszą liczbę pierwszą \(p\). Często jest to \(3\) lub \(5\) dla umiarkowanych \(n\). Gdy \(n\) jest potęgą 2 plus 2, może to być samo \(2 + (n-2)\).
• Para najbardziej zrównoważona — Para, w której \(p\) jest najbliżej \(n/2\). Gdy obie liczby pierwsze są równe \(n/2\), \(n\) musi być dwukrotnością liczby pierwszej (np. \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Para z największym p — Para z największym \(p\) takim, że \(p \le q\). Jest to para "najbardziej zrównoważona z drugiej strony" i daje wizualną granicę tego, jak blisko \(n/2\) skupiają się liczby pierwsze.

Goldbach w liczbach

Klasyczne liczby partycji

Zachowanie asymptotyczne

Argumenty heurystyczne z hipotezy Hardy'ego-Littlewooda sugerują, że \(g(n)\) rośnie mniej więcej jak

gdzie \(C_2 \approx 0,66016\) to stała liczb pierwszych bliźniaczych. Dodatkowy iloczyn wyjaśnia, dlaczego liczby parzyste z wieloma małymi czynnikami pierwszymi (wielokrotności 6, 30 itd.) mają zwykle nieproporcjonalnie wiele par Goldbacha — co jest źródłem poziomych pasm w komecie.

Słaba vs Silna hipoteza Goldbacha

• Silna (binarna) hipoteza Goldbacha — każda liczba parzysta \(n > 2\) jest sumą dwóch liczb pierwszych. Wciąż otwarta.
• Słaba (ternarna) hipoteza Goldbacha — każda liczba nieparzysta \(n > 5\) jest sumą trzech liczb pierwszych. Udowodniona przez Haralda Helfgotta w 2013 roku, co zakończyło wieloletni program zainicjowany przez Winogradowa w 1937 roku.

Silna forma implikuje słabą formę: jeśli każda liczba parzysta jest sumą dwóch liczb pierwszych, to każda liczba nieparzysta \(n > 5\) jest tą sumą plus dodatkowe \(3\). Odwrotność, niestety, nie jest znana jako prawdziwa.

Słynne wyniki częściowe

• 1923 — Hardy i Littlewood: zakładając Uogólnioną Hipotezę Riemanna, prawie każda liczba parzysta jest sumą dwóch liczb pierwszych.
• 1937 — Iwan Winogradow: udowodnił hipotezę ternarną dla wszystkich dostatecznie dużych liczb nieparzystych.
• 1973 — Chen Jingrun: każda dostatecznie duża liczba parzysta jest sumą liczby pierwszej i liczby, która jest albo pierwsza, albo jest iloczynem dwóch liczb pierwszych (twierdzenie Chena).
• 1995 — Olivier Ramaré: każda liczba parzysta jest sumą co najwyżej 6 liczb pierwszych.
• 2013 — Harald Helfgott: udowodnił słabą hipotezę Goldbacha bezwarunkowo.
• 2014 — Oliveira e Silva, Herzog i Pardi: silna hipoteza zweryfikowana dla wszystkich parzystych \(n \le 4 \times 10^{18}\).

Często Zadawane Pytania

Co to jest hipoteza Goldbacha?

Hipoteza Goldbacha głosi, że każda liczba parzysta większa od 2 może być zapisana jako suma dwóch liczb pierwszych. Została po raz pierwszy sformułowana przez Christiana Goldbacha w 1742 roku i została zweryfikowana dla astronomicznie dużych liczb, ale nigdy nie została udowodniona w ogólności.

Czy hipoteza Goldbacha została udowodniona?

Nie. Według stanu na 2026 rok silna hipoteza Goldbacha pozostaje problemem otwartym. Słaba (ternarna) wersja — każda liczba nieparzysta większa od 5 jest sumą trzech liczb pierwszych — została udowodniona przez Haralda Helfgotta w 2013 roku.

Co to jest funkcja partycji Goldbacha g(n)?

\(g(n)\) to liczba nieuporządkowanych par liczb pierwszych, które sumują się do \(n\). Na przykład \(g(10) = 2\), ponieważ \(10 = 3 + 7 = 5 + 5\). Hipoteza Goldbacha to twierdzenie, że \(g(n) \ge 1\) dla każdej parzystej liczby \(n > 2\).

Dlaczego hipoteza Goldbacha dotyczy tylko liczb parzystych?

Każda liczba pierwsza poza \(2\) jest nieparzysta. Nieparzysta + nieparzysta = parzysta, więc sumy dwóch nieparzystych liczb pierwszych są zawsze parzyste. Liczby nieparzyste są obsługiwane przez ternarną hipotezę Goldbacha, która pyta o sumy trzech liczb pierwszych.

Co to jest kometa Goldbacha?

Kometa Goldbacha to wykres punktowy \(g(n)\) względem \(n\). Ma słynny kształt przypominający ogon komety z pasmami. Poziome pasma pojawiają się, ponieważ liczby parzyste z wieloma małymi dzielnikami pierwszymi mają zwykle proporcjonalnie więcej partycji.

Ile par liczb pierwszych sumuje się do 100?

Jest ich sześć: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Zatem \(g(100) = 6\). Wypróbuj 100 w weryfikatorze powyżej, aby zobaczyć wizualizację każdej pary.

Dodatkowe Zasoby

• Hipoteza Goldbacha — Wikipedia (EN)
• Kometa Goldbacha — Wikipedia (EN)
• Hipoteza Goldbacha — MathWorld