약한 골트바흐의 추측
약한 골트바흐의 추측(Weak Goldbach's conjecture)은 정수론의 유명한 미해결 문제였으나, 현재는 증명이 완료되어 정리로 받아들여지는 수학적 명제이다. 홀수 골트바흐의 추측(Odd Goldbach conjecture) 또는 3원 골트바흐의 추측(Ternary Goldbach conjecture)이라고도 불린다.
1. 내용 이 추측의 핵심 내용은 다음과 같다. "5보다 큰 모든 홀수는 세 개의 소수의 합으로 표현될 수 있다." 여기서 소수는 동일한 수를 중복하여 사용할 수 있음을 전제로 한다. 예를 들어 다음과 같은 사례가 있다.
- 7 = 2 + 2 + 3
- 9 = 3 + 3 + 3
- 11 = 3 + 3 + 5
- 13 = 3 + 5 + 5
2. 강한 골트바흐의 추측과의 관계 약한 골트바흐의 추측은 "2보다 큰 모든 짝수는 두 소수의 합으로 표현 가능하다"는 강한 골트바흐의 추측(Strong Goldbach's conjecture)에서 파생된 개념이다. 만약 강한 골트바흐의 추측이 참이라면, 5보다 큰 임의의 홀수 $n$에서 3을 뺀 값인 $n-3$은 짝수가 되며, 이 짝수가 두 소수의 합으로 표현될 수 있으므로 결과적으로 $n$은 세 소수의 합이 된다. 따라서 강한 추측이 참이면 약한 추측도 반드시 참이 되지만, 그 역은 성립하지 않는다.
3. 역사와 증명
- 기원: 1742년 크리스티안 골트바흐가 레온하르트 오일러에게 보낸 서신에서 이와 관련된 내용이 처음 언급되었다.
- 진전: 1923년 하디와 리틀우드가 일반화된 리만 가설이 참이라는 가정하에 충분히 큰 홀수에 대해 이 추측이 성립함을 보였다. 이후 1937년 이반 비노그라도프는 리만 가설의 가정 없이도 충분히 큰 홀수에 대해 성립함을 증명하였다.
- 완전한 증명: 2013년 프랑스 국립과학연구원(CNRS)의 수학자 하랄드 헬프고트(Harald Helfgott)가 이 추측을 완전히 증명하였다고 발표하였다. 헬프고트는 하디-리틀우드 원방법을 개선하고, 컴퓨터를 활용하여 작은 수들에 대한 검증을 병행함으로써 모든 홀수에 대해 추측이 성립함을 입증하였다.
4. 현재 상태 하랄드 헬프고트의 증명 이후, 약한 골트바흐의 추측은 수학계에서 사실상 증명된 정리로 간주된다. 다만, 이와 대조적으로 '강한 골트바흐의 추측'은 여전히 미해결 상태로 남아 있다.