개념
"x 이하의 소수 개수는 약 x/ln(x)이다." 가우스가 15살에 추측하고 100년 후 증명된, 정수론과 해석학을 결혼시킨 정리.
한 호흡으로 이해하기
"N까지의 소수 개수는 약 N / ln N개" — 100년의 추측 끝에 1896년 아다마르·드 라 발레-푸생이 복소해석학으로 증명. 소수가 무작위처럼 보이지만 놀라울 정도로 정확한 평균 분포를 가진다는 사실. 리만 가설이 이 추정의 오차를 더 정밀하게 한다.
N을 바꿔 소수 밀도의 질서 보기 — π(N) sandbox
실제 π(N), 가우스의 첫 추측 x/ln(x), 정밀 근사 Li(x)를 비교합니다. 소수 정리는 매 N에서 단조롭게 좋아진다는 뜻이 아니라 이들의 큰 규모 점근 관계를 설명합니다. 5,000,000까지 직접 넣어 보세요.
log-log 축. 소수 정리는 큰 규모에서 π(x)/(x/ln x)가 1에 가까워진다고 말합니다. 국소적인 오차는 단조롭게 줄지 않고 흔들릴 수 있습니다.
실제 π(N)
1,229
x/ln x
1,086
Li(x)
1,245
상대오차
Li: 1.31% / x/ln: 11.7%
유명한 N
한눈에 보기
x / ln x (근사 소수 밀도)x: N · y: π(N) ≈ N/ln N
핵심 식
N 이하 소수의 개수 ≈ N / ln N
핵심 순간
AD 1792
15세 가우스 — π(x) ≈ x/ln(x)
소년 가우스가 로그표를 보다가 소수가 점점 듬성해지는 비율을 알아챔. 정확한 추측.
AD 1859
리만 — 영점이 답을 쥐다
리만이 6쪽 원고의 논문에서 소수 분포가 제타함수의 영점과 깊이 연결됨을 보였다. 리만 가설의 원천이다.
AD 1896
아다마르·드 라 발레-푸생 — 동시 증명
두 사람이 독립적으로 소수 정리를 증명. 정수론과 복소해석학의 결혼.
AD 1949
에르되시·셀버그 — 기초적 증명
복소해석 없이 초등적인 방법으로도 증명 가능함을 보임. 둘 사이 우선권 분쟁이 유명함.
오늘날의 응용
RSA 같은 큰 소수 기반 암호의 안전성 분석, 분포 이론, 리만 가설의 동기. 인터넷 보안의 통계적 안전성 보증.
MathVoyage 너머로
불러오는 중…