Công cụ Xác minh Phỏng đoán Goldbach

Chào mừng bạn đến với Công cụ xác minh giả thuyết Goldbach, một công cụ tương tác xác nhận một trong những vấn đề mở lâu đời nhất trong lý thuyết số cho bất kỳ số nguyên chẵn nào lớn hơn 2. Nhập số của bạn và xem ngay lập tức mọi cặp số nguyên tố có tổng bằng nó, giá trị của hàm phân hoạch Goldbach g(n), và biểu đồ sao chổi Goldbach nổi tiếng. Sơ đồ cầu nối và biểu đồ sao chổi giúp cấu trúc đằng sau giả thuyết năm 1742 trở nên trực quan sinh động.

Giả thuyết Goldbach là gì?

Giả thuyết Goldbach là một phát biểu trong lý thuyết số do nhà toán học người Phổ Christian Goldbach đề xuất trong một bức thư gửi Leonhard Euler vào ngày 7 tháng 6 năm 1742. Ở dạng hiện đại, nó phát biểu rằng:

Ví dụ: \(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\).

Mặc dù phát biểu đơn giản, giả thuyết này vẫn chưa được chứng minh trong gần ba thế kỷ qua. Nó đã được xác minh bằng máy tính cho mọi số nguyên chẵn lên tới \(4 \times 10^{18}\) theo những nỗ lực quy mô lớn gần đây, nhưng một chứng minh tổng quát vẫn nằm ngoài tầm tay của các nhà toán học.

Hàm phân hoạch Goldbach g(n)

Đối với một số nguyên chẵn \(n\), số lượng các cặp số nguyên tố riêng biệt, không có thứ tự có tổng bằng \(n\) được ký hiệu là \(g(n)\), gọi là hàm phân hoạch Goldbach:

Giả thuyết Goldbach tương đương với khẳng định rằng \(g(n) \ge 1\) cho mọi số chẵn \(n > 2\). Khi được vẽ theo \(n\), các giá trị của \(g(n)\) tạo thành một hình dạng trực quan ấn tượng được gọi là sao chổi Goldbach — một dải điểm dày đặc, sáng rực tỏa ra khi \(n\) tăng lên. Các dải nằm ngang riêng biệt xuất hiện trong sao chổi: các số chia hết cho 6 thường nằm cao hơn các số chỉ chia hết cho 2, vì có nhiều số nguyên tố nhỏ hơn có sẵn làm số hạng.

Cách sử dụng trình xác minh này

1. Nhập một số nguyên chẵn lớn hơn 2. Nhấp vào một ví dụ nhanh (100, 1.000, 10.000, 123.456, 1.000.000) hoặc tự nhập số của bạn.
2. Nhấp vào "Xác minh Goldbach". Công cụ tìm mọi cặp số nguyên tố có tổng bằng số của bạn bằng sàng Eratosthenes.
3. Đọc kết quả. Biểu ngữ màu xanh lá cây xác nhận giả thuyết đúng với số của bạn, và bảng chính báo cáo giá trị \(g(n)\).
4. Nghiên cứu sơ đồ cầu nối. Mỗi cặp số nguyên tố được vẽ dưới dạng hai đoạn màu trên một đường thẳng từ 0 đến \(n\), với vạch đỏ ở giữa tại \(n/2\). Các cặp ở gần tâm hơn sẽ cân bằng hơn.
5. Khám phá sao chổi. Biểu đồ phân tán hiển thị \(g(m)\) cho các số chẵn \(m\) gần với đầu vào của bạn, làm nổi bật số của bạn bằng màu đỏ để bạn có thể thấy vị trí của nó trong mẫu sao chổi.
6. Quét bảng cặp đầy đủ. Mọi cặp \((p, q)\) đều được liệt kê cùng với hiệu số \(q - p\). Sao chép tất cả các cặp chỉ với một lần nhấp.

Điều gì làm cho một cặp trở nên đặc biệt?

• Cặp có p nhỏ nhất — Cặp sử dụng số nguyên tố \(p\) nhỏ nhất. Thường đây là \(3\) hoặc \(5\) cho \(n\) vừa phải. Khi \(n\) là lũy thừa của 2 cộng thêm 2, nó có thể chính là \(2 + (n-2)\).
• Cặp cân bằng nhất — Cặp có \(p\) gần với \(n/2\) nhất. Khi cả hai số nguyên tố bằng \(n/2\), \(n\) phải là gấp đôi một số nguyên tố (ví dụ: \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Cặp có p lớn nhất — Cặp có số nguyên tố \(p\) lớn nhất sao cho \(p \le q\). Đây là cặp "cân bằng nhất từ phía bên kia" và đưa ra một giới hạn trực quan về mức độ tập trung của các số nguyên tố gần \(n/2\).

Goldbach qua các con số

Số lượng phân hoạch kinh điển

Hành vi tiệm cận

Các lập luận heuristic từ giả thuyết Hardy–Littlewood gợi ý rằng \(g(n)\) tăng trưởng xấp xỉ như sau:

trong đó \(C_2 \approx 0,66016\) là hằng số số nguyên tố sinh đôi. Tích bổ sung phản ánh lý do tại sao các số chẵn có nhiều thừa số nguyên tố nhỏ (bội số của 6, 30, v.v.) thường có nhiều cặp Goldbach hơn đáng kể — nguồn gốc của các dải ngang trong sao chổi.

Goldbach yếu so với Goldbach mạnh

• Giả thuyết Goldbach mạnh (nhị phân) — mọi số chẵn \(n > 2\) là tổng của hai số nguyên tố. Vẫn chưa được giải quyết.
• Giả thuyết Goldbach yếu (tam phân) — mọi số lẻ \(n > 5\) là tổng của ba số nguyên tố. Đã được chứng minh bởi Harald Helfgott vào năm 2013, hoàn thành chương trình kéo dài hàng thập kỷ do Vinogradov khởi xướng vào năm 1937.

Dạng mạnh ngụ ý dạng yếu: nếu mọi số chẵn \(n\) là tổng của hai số nguyên tố, thì mọi số lẻ \(n > 5\) là tổng đó cộng thêm một số \(3\). Ngược lại, thật không may, chưa được biết là có đúng hay không.

Các kết quả bộ phận nổi tiếng

• 1923 — Hardy & Littlewood: giả định Giả thuyết Riemann Tổng quát, hầu hết mọi số nguyên chẵn là tổng của hai số nguyên tố.
• 1937 — Ivan Vinogradov: chứng minh giả thuyết tam phân cho tất cả các số nguyên lẻ đủ lớn.
• 1973 — Chen Jingrun: mọi số nguyên chẵn đủ lớn là tổng của một số nguyên tố và một số hoặc là số nguyên tố hoặc là tích của hai số nguyên tố (định lý Chen).
• 1995 — Olivier Ramaré: mọi số nguyên chẵn là tổng của tối đa 6 số nguyên tố.
• 2013 — Harald Helfgott: chứng minh giả thuyết Goldbach yếu một cách vô điều kiện.
• 2014 — Oliveira e Silva, Herzog & Pardi: giả thuyết mạnh được xác minh cho tất cả các số chẵn \(n \le 4 \times 10^{18}\).

Câu hỏi thường gặp

Giả thuyết Goldbach là gì?

Giả thuyết Goldbach phát biểu rằng mọi số nguyên chẵn lớn hơn 2 đều có thể được viết dưới dạng tổng của hai số nguyên tố. Nó được Christian Goldbach đưa ra lần đầu tiên vào năm 1742 và đã được xác minh cho những con số cực lớn nhưng chưa bao giờ được chứng minh một cách tổng quát.

Giả thuyết Goldbach đã được chứng minh chưa?

Chưa. Tính đến năm 2026, giả thuyết Goldbach mạnh vẫn là một vấn đề mở. Phiên bản yếu (tam phân) — mọi số lẻ lớn hơn 5 là tổng của ba số nguyên tố — đã được Harald Helfgott chứng minh vào năm 2013.

Hàm phân hoạch Goldbach g(n) là gì?

\(g(n)\) là số lượng các cặp số nguyên tố không có thứ tự có tổng bằng \(n\). Ví dụ \(g(10) = 2\) vì \(10 = 3 + 7 = 5 + 5\). Giả thuyết Goldbach là khẳng định rằng \(g(n) \ge 1\) cho mọi số chẵn \(n > 2\).

Tại sao giả thuyết Goldbach chỉ áp dụng cho số nguyên chẵn?

Mọi số nguyên tố ngoại trừ \(2\) đều là số lẻ. Lẻ + lẻ = chẵn, vì vậy tổng của hai số nguyên tố lẻ luôn là số chẵn. Các số lẻ được xử lý bởi giả thuyết Goldbach tam phân, liên quan đến tổng của ba số nguyên tố.

Sao chổi Goldbach là gì?

Sao chổi Goldbach là một biểu đồ phân tán của \(g(n)\) so với \(n\). Nó có hình dạng dải giống như đuôi sao chổi nổi tiếng. Các dải nằm ngang xuất hiện vì các số chẵn có nhiều ước số nguyên tố nhỏ thường có tỷ lệ phân hoạch nhiều hơn.

Có bao nhiêu cặp số nguyên tố có tổng bằng 100?

Có sáu cặp: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Do đó \(g(100) = 6\). Thử số 100 trong trình xác minh ở trên để xem trực quan từng cặp.

Tài nguyên bổ sung

• Giả thuyết Goldbach — Wikipedia
• Sao chổi Goldbach — Wikipedia
• Giả thuyết Goldbach — MathWorld