Loading AI tools
2보다 큰 모든 짝수는 두 소수의 합으로 나타낼 수 있다는 추측 위키백과, 무료 백과사전
골트바흐의 추측(Goldbach's conjecture)은 오래전부터 알려진 정수론의 미해결 문제로, 2보다 큰 모든 짝수는 두 개의 소수(Prime number)의 합으로 표시할 수 있다는 것이다. 이때 하나의 소수를 두 번 사용하는 것은 허용한다.[1]
1742년 6월 7일에 프로이센 수학자 크리스티안 골트바흐(Christian Goldbach)는 레온하르트 오일러에게 편지를 보내 다음과 같은 추측을 제안하였다.[2]
두 소수의 합으로 표현 가능한 모든 정수는, 모든 항이 1이 될 때까지 원하는 만큼 얼마든지 많은 개수의 소수의 합으로 분해할 수 있다.
그는 편지의 말미에 다음과 같은 두 번째 추측을 했다.
2보다 큰 모든 정수는 세 개의 소수의 합으로 표현가능하다.
그는 1을 소수로 취급했지만 후에 이 개념은 폐기되었다. 이 두 추측은 동치이지만 당시에 이슈가 되지는 못했다. 골트바흐의 마지막 문장은 오늘날의 개념으로 다음과 같이 설명할 수 있다
5보다 큰 모든 정수는 세 소수의 합으로 표현가능하다.
오일러는 1742년 6월 30일에 답장을 보내 골트바흐와 한 예전의 대화를 떠올리면서 다음과 같은 문장으로 바뀌었다.
2보다 큰 모든 짝수는 두 소수의 합으로 표현가능하다.
이것은 골트바흐의 원래 추측을 포함한다. 모든 짝수가 두 소수의 합으로 표현가능하다면, 홀수의 경우 3을 더하면 되고, 짝수의 경우는 2를 더하면 세 소수의 합으로도 표현가능해지기 때문이다.
위 추측을 강한 골트바흐의 추측(strong Goldbach conjecture)이라고 부르고 최초에 골트바흐가 제시했던 '5보다 큰 모든 정수는 세 소수의 합으로 표현가능하다'는 주장은 약한 골트바흐의 추측(weak Goldbach conjecture)이라고 불린다. 강한 골트바흐의 추측이 참이라면, 약한 골트바흐의 추측은 당연히 참이 된다. 강한 골든바흐의 추측을 짝수 골트바흐 추측(even number Goldbach conjecture), 약한 골든바흐의 추측을 홀수 골트바흐 추측(odd number Goldbach conjecture)이라 부르는 사람도 있다.
예를 들어, 50까지의 짝수는
위와 같이, 두 개의 소수의 합으로 표현할 수 있다. 그러나 모든 짝수에서 가능한지는 아직까지 해결하지 못하고 있다.
컴퓨터로 직접 계산하여 짝수가 두 소수의 합인지 확인하는 시도가 예전부터 있었다. T. Oliveirae Silva는 이하에서 골트바흐의 추측이 참임을 확인했다. 골트바흐의 추측은 반드시 두 소수의 합으로 표현하는 방법이 유일하다고 주장하는 것은 아니다. 소수 한 쌍의 합으로 표현하는 방법은 여러가지가 있을 수 있고, 같은 두 수를 쓸 수도 있다.
쌍둥이 소수 추측 (twin prime conjecture)과 골트바흐의 추측은 구조적으로 유사성이 있다. 쌍둥이 소수 추측은 와 가 모두 소수인 수가 무한히 많다는 것이다. 다시 말해서, 가 정확히 두 개의 소인수를 가지는 수가 무한히 많다는 추측이다. 골트바흐 추측은 4이상의 모든 짝수에 대해 두 소수의 합으로 표현가능하다는 것, 다시 말해서, 모든 4 이상의 짝수 에 대해 가 두 개의 소인수를 가지는 1과 사이의 k가 반드시 존재한다는 추측이다. 이러한 구조적 유사성 때문에 두 추측은 같이 다루어져 왔으며, 지금까지 검증된 수치적 자료들도 이를 뒷받침 하는 듯 보인다.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.