약한 골드바흐의 추측

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

약한 골드바흐의 추측(Goldbach's weak conjecture), 홀수 골드바흐 추측(odd Goldbach conjecture), 또는 3원 골드바흐 문제(ternary Goldbach problem)는 홀수를 세 소수의 합으로 나타내는 것에 대한 추측이다. 다음과 같이 서술된다.

7 이상의 모든 홀수는 세 소수의 합으로 나타낼 수 있다.

또는 다음과 같은 더 강한 명제로 서술되기도 한다. 이는 7을 세 소수의 합으로 나타내는 방법인 7 = 2+2+3 에 유일한 짝수 소수 2가 사용되기 때문이다.

7보다 큰 모든 홀수는 세 홀수 소수의 합으로 나타낼 수 있다.

골드바흐의 추측이 참이라면, 자동적으로 약한 골드바흐의 추측이 참이 된다.

수많은 수학자들이 골드바흐의 추측과 함께 약한 골드바흐의 추측을 해결하기 위해 시도하였고, 점진적인 발전이 있었다. 2013년 페루의 수학자 Harald A. Helfgott에 의해 최종적으로 참으로 해결된 추측이 되었다.

이반 비노그라도프가 충분히 큰 수에 대해 추측이 참이라는 것을 처음 증명하였으며, 2002년 2×101346까지 하계가 낮추어졌다. Helfgott는 1027까지 하계를 낮추고, 그 이하의 홀수에 대해 컴퓨터를 이용해 증명을 완료하였다.

골드바흐의 추측과의 관계[편집]

골드바흐의 추측은 "4 이상의 모든 짝수는 두 소수의 합으로 나타낼 수 있다"는 추측이다. 골드바흐의 추측은 약한 골드바흐의 추측을 함의한다. 이는 골드바흐의 추측이 참일 경우 7 이상의 홀수 a를 3+(a-3)으로 나누고, (4 이상의 짝수) a-3에 대해 골드바흐의 추측을 적용하여 두 소수의 합으로 나타내는 방식을 이용해 결과적으로 a를 세 소수의 합으로 나타낼 수 있기 때문이다.

역사[편집]

[1]

약한 골드바흐의 추측의 원형은 골드바흐의 추측과 마찬가지로 1942년 6월 7일 크리스티안 골드바흐오일러에게 보낸 편지에 언급되었다. 오일러는 편지의 추측을 정리하여 "모든 양의 정수는 최대 세 개의 소수의 합으로 나타낼 수 있다"는 추측을 제시하였다. 아래에 약한 골드바흐의 추측의 증명까지의 몇몇 중요한 결과들을 나열하였다.

사용하는 소수의 개수를 줄이는 방법[편집]

  • 1933년 L. Schnirelmann는 어떤 상수 K가 존재하여 1보다 큰 모든 정수를 최대 K개의 소수의 합으로 나타낼 수 있음을 증명하였다.[2]
  • 1969년 K. I. Klimov는 K = 6×109을 증명하였고, 이후 G. Z. Piltay, T. A. Sheptickaja와 함께 K = 115, 그리고 K = 55로 그 값을 개선하였다.
  • 이후 R. C. Vaughan의 K = 27[3], J.-M. Deshouillers의 K = 26[4], H. Riesel와 R. C. Vaughan의 K = 19[5]로 필요한 소수의 개수가 점점 개선되어갔다.
  • 1995년 O. Ramaré는 모든 짝수가 최대 6개의 소수의 합으로 표현될 수 있음을 증명하였다.[6]
  • 2012년 테렌스 타오는 1보다 큰 모든 홀수가 최대 5개의 소수의 합으로 나타내어짐을 증명하였다.[7]

추측이 성립하는 홀수의 하계를 줄이는 방법[편집]

  • 1937년 이반 비노그라도프는 약한 골드바흐의 추측이 충분히 큰 홀수에 대해 성립함을 증명하였다.[8] 이 증명으로는 그 하계 C를 계산할 수 없었지만, 이후 비노그라도프는 C를 계산할 수 있는 다른 증명을 발표하였다.[9][10]
    • 그 이전에도 K. K. Mardzhanishvili가 [8]를 발전시켜 C를 계산할 수 있는 증명을 발표하였다.[11]
  • 처음 C를 계산한 것은 비노그라도프의 지도 아래 K. G. Borodzkin가 작성한 미출판된 박사 학위 논문(1936년)으로 알려져 있으며, 그 값은 exp(exp(exp(41.96)))이었다.[12]
  • 이후 1956년 K. G. Borodzkin는 C = 3315 ≈ 107000000을 증명하였다.[13][14]
  • 1989년 천징룬과 T. Z. Wang은 C = exp(exp(11.503)) < 4×1043000을 증명하였으며[15], 1996년에는 C = exp(exp(9.715)) < 6×107193을 증명하였다.[16]
  • 2002년 M.-Ch. Liu와 T. Wang은 C = 2×101346을 증명하였다.[17]
  • 2013년 H. A. Helfgott는 C = 1027을 증명하였다.[18]

2013년 5월 H. A. Helfgott과 D. Platt가 컴퓨터를 이용한 계산으로 8.875×1030 이하의 홀수들에 대해 추측이 성립함을 검증하였으므로[19], 이로써 약한 골드바흐의 추측이 증명되었다.

일반화 리만 가설을 가정하였을 때[편집]

  • 1922년 하디리틀우드일반화 리만 가설이 참이라는 가정 하에, 충분히 큰 모든 홀수를 세 소수의 합으로 나타낼 수 있음을 증명하였다.[20]
  • 하디와 리틀우드의 논문의 계산을 발전시켜, 1999년 G. Effinger는 충분히 큰 홀수의 하계를 1.24×1050으로 계산하였다.[21] (논문 자체는 1997년 6월 제출되었다.) 정확히는, 위 두 논문들은 일반화 리반 가설보다 약한 가정을 사용하였다. 이는 디리클레 L-함수가 임의의 θ<3/4에 대해 실수부가 θ 이상인 근을 가지지 않는다는 것이었다.
    • [21]에 따르면, 1926년 에드문트 란다우의 학생 B. Lucke가 미출판된 박사 학위 논문에서 동일한 가정 하에 1032라는 하계를 증명하였다.
  • 1997년 D. Zinoviev는 하계를 1020으로 발전시켰다.[22]
  • 1997년 컴퓨터를 이용한 계산으로 추측이 1020 미만의 홀수에 대해 참이라는 것이 검증되었다.[14][23]

따라서 일반화 리만 가설을 가정했을 때, 약한 골드바흐의 추측이 참이라는 것을 증명할 수 있었다.

관련 항목[편집]

각주[편집]

  1. Helfgott 2015, §1 Introduction.
  2. Schnirelmann, L. (1933). “Über additive Eigenschaften von Zahlen”. 《Math. Ann.》 107 (1): 649-690. 
  3. Vaughan, R. C. (1977). “On the estimation of Schnirelman’s constant”. 《J. Reine Angew. Math.》 290: 93-108. 
  4. Deshouillers, J.-M. (1977). “Sur la constante de Šnirel'man”. 《Séminaire Delange-Pisot-Poitou, 17e année: (1975/76), Théorie des nombres: Fac. 2, Exp. No. G16,》: 6. 
  5. Riesel., H; Vaughan, R. C. (1983). “On sums of primes”. 《Ark. Mat.》 21 (1): 46-74. 
  6. Ramaré, O. (1995). “On Šnirel'man' sconstant”. 《Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)》 22 (4): 645-706. 
  7. Tao, T. (2014). “Every odd number greater than 1 is the sum of at most five primes”. 《Math. Comp.》 83 (286): 997-1038. arXiv:1201.6656. 
  8. Vinogradov, I. M. (1937). “A new method in analytic number theory”. 《Tr. Mat. Inst. Steklova》 (러시아어) 10: 5-122. 
  9. Vinogradov, I. M. (1947). “The method of trigonometrical sums in the theory of numbers”. 《Tr. Mat. Inst. Steklova》 (러시아어) 23: 3-109. 
  10. Vinogradov, I. M. (1954). 《The method of trigonometrical sums in the theory of numbers》 (영어). 번역 Roth, K. F.; Davenport, Anne. Interscience Publishers, London and New York. 
  11. Mardzhanishvili, K. K. (1941). “On the proof of the Goldbach-Vinogradov theorem”. 《C. R. (Doklady) Acad. Sci. URSS (N.S.)》 (러시아어) 30 (8): 681-684. 
  12. Chudakov, N. G. (1947). 《Introduction to the theory of Dirichlet L-functions》 (러시아어). OGIZ, Moscow-Leningrad. 201쪽. 
  13. Borodzkin, K. G. (1956). “On I. M. Vinogradov’s constant”. 《Acta Arith.》 (러시아어) 1. 
  14. Deshouillers, J.-M.; Effinger, G.; te Riele, H.; Zinoviev, D. (1997년 9월 17일). “A complete Vinogradov 3-primes theorem under the Riemann hypothesis” (PDF). 《Electronic Research Announcements of the American Mathematical Society》 3: 99-104. 
  15. Chen, J. R.; Wang, T. Z. (1989). “On the Goldbach problem”. 《Acta Math. Sinica》 32 (5): 702-718. 
  16. Chen, J. R.; Wang, T. Z. (1996). “The Goldbach problem for odd numbers”. 《Acta Math. Sinica (Chin. Ser.)》 39 (2): 169-174. 
  17. Liu, M.-Ch.; Wang, T. (2002). “On the Vinogradov bound in the three primes Goldbach conjecture”. 《Acta Arith.》 105 (2): 133-175. 
  18. Helfgott, H. A. (2013년 12월 30일). “The Ternary Goldbach Conjecture is true”. arXiv:1312.7748. 
  19. Helfgott, H. A.; Platt, David J. (2013년 5월 14일). “Numerical verification of the ternary Goldbach conjecture up to 8.875 · 1030”. 《Exp. Math.》 22 (4): 406-409. arXiv:1305.3062. 
  20. Hardy, G. H.; Littlewood, J. E. (1922). “Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes”. 《Acta Math.》 44 (1). 
  21. Effinger, G. (1999). “Some numerical implications of the Hardy and Littlewood analysis of the 3-primes problem”. 《The Ramanujan Journal》 3 (3): 239-280. doi:10.1023/A:1009821519507. 
  22. Zinoviev, D. (1997). “On Vinogradov’s constant in Goldbach’s ternary problem”. 《Journal of Number Theory》 65 (2): 334-358. doi:10.1006/jnth.1997.2141. 
  23. Saouter, Y. (1998년 4월). “Checking the odd Goldbach conjecture up to 1020”. 《Mathematics of Computation》 67 (222): 863-866. doi:10.1090/S0025-5718-98-00928-4. 

참고 문헌[편집]

  • Helfgott, Harald Andres (2015년 1월 22일). “The ternary Goldbach problem”. arXiv:1501.05438 [math.NT]. 

외부 링크[편집]