Verifikator Konjektur Goldbach

Selamat datang di Verifikator Konjektur Goldbach, alat interaktif yang mengonfirmasi salah satu masalah terbuka tertua dalam teori bilangan untuk bilangan bulat genap apa pun yang lebih besar dari 2. Masukkan angka Anda dan lihat secara instan setiap pasangan prima yang berjumlah angka tersebut, nilai fungsi partisi Goldbach g(n), dan plot komet Goldbach yang terkenal. Diagram jembatan dan grafik komet membuat struktur di balik konjektur tahun 1742 ini menjadi intuitif secara visual.

Apa itu Konjektur Goldbach?

Konjektur Goldbach adalah sebuah pernyataan dalam teori bilangan yang diusulkan oleh matematikawan Prusia Christian Goldbach dalam sepucuk surat kepada Leonhard Euler pada 7 Juni 1742. Dalam bentuk modernnya, konjektur ini menyatakan:

Sebagai contoh: \(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\).

Meskipun pernyataannya sederhana, konjektur ini tetap belum terbukti selama hampir tiga abad. Ini telah diverifikasi secara komputasi untuk setiap bilangan bulat genap hingga \(4 \times 10^{18}\) sebagaimana upaya skala besar baru-baru ini, tetapi bukti umum masih belum ditemukan oleh para matematikawan.

Fungsi Partisi Goldbach g(n)

Untuk bilangan bulat genap \(n\), jumlah pasangan prima tidak terurut yang berbeda yang berjumlah \(n\) dilambangkan sebagai \(g(n)\), yaitu fungsi partisi Goldbach:

Konjektur Goldbach setara dengan klaim bahwa \(g(n) \ge 1\) untuk setiap genap \(n > 2\). Diplot terhadap \(n\), nilai-nilai \(g(n)\) membentuk figur yang mencolok secara visual yang dikenal sebagai komet Goldbach — sebuah pita titik yang padat dan terang yang mengembang seiring bertambahnya \(n\). Pita-pita horizontal yang berbeda muncul di dalam komet: angka yang habis dibagi 6 cenderung berada lebih tinggi daripada angka yang hanya habis dibagi 2, karena lebih banyak bilangan prima kecil tersedia sebagai penjumlah.

Cara Menggunakan Verifikator Ini

1. Masukkan bilangan bulat genap yang lebih besar dari 2. Klik contoh cepat (100, 1.000, 10.000, 123.456, 1.000.000) atau ketik milik Anda sendiri.
2. Klik "Verifikasi Goldbach". Alat ini menemukan setiap pasangan prima yang berjumlah angka Anda menggunakan saringan Eratosthenes.
3. Baca hasilnya. Spanduk hijau mengonfirmasi bahwa konjektur berlaku untuk angka Anda, dan panel utama melaporkan \(g(n)\).
4. Pelajari diagram jembatan. Setiap pasangan prima digambar sebagai dua segmen berwarna pada garis 0-ke-\(n\), dengan penanda tengah merah pada \(n/2\). Pasangan di dekat tengah lebih seimbang.
5. Jelajahi komet. Grafik sebar menunjukkan \(g(m)\) untuk \(m\) genap yang dekat dengan input Anda, menyoroti angka Anda dengan warna merah sehingga Anda dapat melihat di mana ia berada dalam pola komet.
6. Lihat tabel pasangan lengkap. Setiap pasangan \((p, q)\) terdaftar dengan selisih \(q - p\). Salin semua pasangan dengan satu klik.

Apa yang Membuat Sebuah Pasangan Istimewa?

• Pasangan p-terkecil — Pasangan yang menggunakan bilangan prima \(p\) terkecil. Seringkali ini adalah \(3\) atau \(5\) untuk \(n\) yang moderat. Ketika \(n\) adalah pangkat 2 ditambah 2, itu bisa berupa \(2 + (n-2)\) itu sendiri.
• Pasangan paling seimbang — Pasangan dengan \(p\) yang paling dekat dengan \(n/2\). Ketika kedua bilangan prima sama dengan \(n/2\), \(n\) haruslah dua kali bilangan prima (misalnya, \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Pasangan p-terbesar — Pasangan dengan \(p\) terbesar sedemikian sehingga \(p \le q\). Ini adalah "paling seimbang dari sisi lain" dan memberikan batas visual tentang seberapa dekat klaster bilangan prima ke \(n/2\).

Goldbach dalam Angka

Jumlah partisi klasik

Perilaku asimtotik

Argumen heuristik dari konjektur Hardy–Littlewood menunjukkan bahwa \(g(n)\) tumbuh kira-kira seperti

di mana \(C_2 \approx 0,66016\) adalah konstanta bilangan prima kembar. Produk tambahan mencerminkan mengapa angka genap dengan banyak faktor prima kecil (kelipatan 6, 30, dan seterusnya) cenderung memiliki pasangan Goldbach yang jauh lebih banyak — sumber pita horizontal pada komet.

Goldbach Lemah vs Kuat

• Konjektur Goldbach kuat (biner) — setiap genap \(n > 2\) adalah jumlah dari dua bilangan prima. Masih terbuka.
• Konjektur Goldbach lemah (terner) — setiap ganjil \(n > 5\) adalah jumlah dari tiga bilangan prima. Terbukti oleh Harald Helfgott pada tahun 2013, menyelesaikan program puluhan tahun yang diinisiasi oleh Vinogradov pada tahun 1937.

Bentuk kuat menyiratkan bentuk lemah: jika setiap \(n\) genap adalah jumlah dari dua bilangan prima, maka setiap \(n\) ganjil \(n > 5\) adalah jumlah tersebut ditambah satu \(3\) ekstra. Sebaliknya, sayangnya, belum diketahui apakah berlaku demikian.

Hasil Parsial Terkenal

• 1923 — Hardy & Littlewood: dengan mengasumsikan Hipotesis Riemann yang Diperumum, hampir setiap bilangan bulat genap adalah jumlah dari dua bilangan prima.
• 1937 — Ivan Vinogradov: membuktikan konjektur terner untuk semua bilangan bulat ganjil yang cukup besar.
• 1973 — Chen Jingrun: setiap bilangan bulat genap yang cukup besar adalah jumlah dari bilangan prima dan angka yang merupakan bilangan prima atau produk dari dua bilangan prima (teorema Chen).
• 1995 — Olivier Ramaré: setiap bilangan bulat genap adalah jumlah dari paling banyak 6 bilangan prima.
• 2013 — Harald Helfgott: membuktikan konjektur Goldbach lemah tanpa syarat.
• 2014 — Oliveira e Silva, Herzog & Pardi: konjektur kuat diverifikasi untuk semua \(n\) genap \(\le 4 \times 10^{18}\).

Pertanyaan yang Sering Diajukan

Apa itu konjektur Goldbach?

Konjektur Goldbach menyatakan bahwa setiap bilangan bulat genap yang lebih besar dari 2 dapat ditulis sebagai jumlah dari dua bilangan prima. Ini pertama kali dikemukakan oleh Christian Goldbach pada tahun 1742 dan telah diverifikasi untuk angka-angka besar yang astronomis tetapi belum pernah terbukti secara umum.

Apakah konjektur Goldbach sudah terbukti?

Tidak. Hingga tahun 2026, konjektur Goldbach kuat tetap menjadi masalah terbuka. Versi lemah (terner) — setiap bilangan bulat ganjil yang lebih besar dari 5 adalah jumlah dari tiga bilangan prima — telah dibuktikan oleh Harald Helfgott pada tahun 2013.

Apa itu fungsi partisi Goldbach g(n)?

\(g(n)\) adalah jumlah pasangan tidak terurut dari bilangan prima yang berjumlah \(n\). Misalnya \(g(10) = 2\) karena \(10 = 3 + 7 = 5 + 5\). Konjektur Goldbach adalah pernyataan bahwa \(g(n) \ge 1\) untuk setiap genap \(n > 2\).

Mengapa konjektur Goldbach hanya berlaku untuk bilangan bulat genap?

Setiap bilangan prima kecuali \(2\) adalah ganjil. Ganjil + ganjil = genap, sehingga jumlah dari dua bilangan prima ganjil selalu genap. Bilangan bulat ganjil ditangani oleh konjektur Goldbach terner, yang menanyakan tentang jumlah dari tiga bilangan prima.

Apa itu komet Goldbach?

Komet Goldbach adalah plot sebar dari \(g(n)\) berbanding \(n\). Ini memiliki bentuk berpita seperti ekor yang terkenal. Pita horizontal muncul karena angka genap dengan banyak pembagi prima kecil cenderung memiliki partisi yang proporsional lebih banyak.

Berapa banyak pasangan prima yang berjumlah 100?

Ada enam: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Jadi \(g(100) = 6\). Coba angka 100 di verifikator di atas untuk melihat visualisasi setiap pasangannya.

Sumber Daya Tambahan

• Konjektur Goldbach — Wikipedia
• Komet Goldbach — Wikipedia
• Konjektur Goldbach — MathWorld