Thế nào là dự đoán Goldbach?
Năm 1920, nhà toán học Na Uy đã cải tiến “phương pháp rây” chứng minh được “ 9 + 9”. Năm 1924, nhà toán học Đức Radama chứng minh “ 7 + 7”. Năm 1932, nhà toán học Anh Eistman đã chứng minh “6 + 6”. Về sau, năm 1938 và năm 1940, Buhaxitabov đã chứng minh “5 + 5” và “4 + 4”. Vào năm 1956, nhà toán học Trung Quốc Vương Nguyên đã chứng minh “3 + 4”, nhà toán học Liên Xô Vinogradov chứng minh “3 + 3”. Năm 1957, Vương Nguyên chứng minh “2 + 3”.
Việc chứng minh có “1” đầu tiên ra đời sớm nhất vào năm 1848 do nhà toán học Hungari Reny thực hiện. Reny đã chứng minh “1 + c”, trong đó c là hằng số rất lớn. Năm 1962, nhà toán học Trung Quốc Phan Thừa Động chứng minh “1 + 5”. Cùng năm đó nhà toán học Liên
Xô Barbaen cũng chứng minh được “1 + 5”. Vào năm 1963, Vương Nguyên và Phan Thừa Động, Barbaen cùng lúc chứng minh “1 + 4”. Năm 1965, Vinogradov và Buagaxitabov và nhà toán học Italia Benpini chứng minh được “1 + 3”.
Năm 1966, nhà toán học Trung Quốc Trần Cảnh Nhuận lại một lần nữa cải tiến “phương pháp rây” và đã chứng minh “1 + 2”, nhưng chưa phát biểu rõ ràng các chứng minh của mình nên không có tiếng vang lớn trên thế giới. Vào năm 1973, Trần Cảnh Nhuận lại sửa chữa lại luận văn của mình và phát biểu “một số chẵn lớn đều có thể biểu diễn bằng tổng hai số trong đó có một số nguyên tố còn số kia hoặc là một số nguyên tố hoặc là tích hai số nguyên tố”. Chứng minh của Trần Cảnh Nhuận được gọi là định lí họ Trần. Luận văn của Trần Cảnh Nhuận được giới toán học hưởng ứng nhiệt liệt. Không ít nhà toán học đã cố gắng chứng minh định lí một cách đơn giản hơn. Các chứng minh đơn giản là của các nhà toán học Vương Nguyên, Định Hạ Huề, Phan Thừa Động, cùng các cộng tác viên tiến hành.
Dự đoán Goldbach là dự đoán quan trọng của lí thuyết về số được đưa ra cách đây đã hơn 250 năm, nhưng vẫn còn chưa chứng minh được đến cùng và chưa thành định lí. Qua gần 70 năm nỗ lực, các nhà toán học trên toàn thế giới đã thu được những bước tiến rất lớn và hiện nay người ta đang tiến quân vào “1 + 1”.
Từ khoá: Số nguyên tố; Dự đoán Goldbach; Định lí ba nguyên