연속된 세 소수에 관한 연구

초록

본 논문은 연속된 세 소수 (p_n, p_{n+1}, p_{n+2}) 에 대한 새로운 불등식과 구조적 성질을 제시하고, 기존의 소수 간격 이론과 연결시켜 증명한다. 주요 결과는 소수 사이의 차이와 합에 대한 상한·하한을 제공하며, 이를 통해 소수 삼중항의 분포와 밀도에 대한 새로운 통찰을 얻는다.

상세 요약

논문은 먼저 연속된 세 소수 (p_n < p_{n+1} < p_{n+2}) 에 대한 기본적인 정의와 기존 연구를 정리한다. 기존 문헌에서는 두 소수 사이의 차이 (g_n = p_{n+1}-p_n) 에 대한 상한·하한이 주로 다루어졌으며, 특히 (g_n = O(\log^2 p_n)) 와 같은 비트루링 상한이 유명하다. 그러나 세 소수 사이의 관계, 즉 (p_{n+2} - p_n) 또는 (p_{n+2} + p_n - 2p_{n+1}) 와 같은 조합에 대한 체계적인 연구는 상대적으로 부족했다.

본 논문은 이러한 공백을 메우기 위해 다음과 같은 핵심 정리를 제시한다.

1. 불등식 (p_{n+2} < 2p_{n+1} - p_n) 는 충분히 큰 (n) 에 대해 항상 성립한다. 이는 (p_{n+2} - p_{n+1} < p_{n+1} - p_n) 즉, 연속된 두 간격 중 뒤쪽 간격이 앞쪽 간격보다 작아지는 현상이 일정 수준 이상에서 보인다는 것을 의미한다. 증명은 Dusart (2010)의 소수 간격 상한 (g_n < p_n^{0.525}) 을 이용하고, 소수정리와 Chebyshev (\theta) 함수의 비대칭성을 정밀히 추정함으로써 이루어진다.

2. 합에 관한 불등식 (p_{n+2} + p_n > 2p_{n+1}) 는 모든 (n \ge 1) 에 대해 성립한다. 이는 세 소수의 산술 평균이 중간 소수보다 항상 작다는 사실을 수학적으로 확립한다. 증명은 (p_{n+1} = p_n + g_n), (p_{n+2}=p_{n+1}+g_{n+1}) 을 대입하고, (g_{n+1} > g_n) 인 경우와 (g_{n+1} \le g_n) 인 경우를 각각 분석하여 전자를 기본적인 소수정리와, 후자를 Rosser–Schoenfeld 추정식으로 처리한다.

3. 곱에 관한 경계 (p_n p_{n+2} < (p_{n+1})^2) 는 충분히 큰 (n) 에 대해 성립한다. 이는 세 소수의 기하 평균이 중간 소수보다 작다는 의미이며, 로그함수와 ( \log p_n ) 에 대한 부등식을 활용한 미분적 접근을 통해 증명한다.

이러한 정리들은 서로 연관성을 가지며, 특히 첫 번째와 두 번째 정리는 “연속된 세 소수는 거의 등차수열에 가깝다”는 직관을 정량화한다. 또한, 세 번째 정리는 소수의 곱셈 구조가 로그 스케일에서 선형적으로 제한된다는 점을 보여준다.

논문은 증명 과정에서 다음과 같은 기술적 도구를 활용한다.

• Dusart 2010 상한 (g_n < p_n^{0.525}) 및 (g_n > \log p_n) 에 대한 최신 결과.
• Rosser–Schoenfeld 불등식 (\theta(x) < x) 및 (\psi(x) > x - 0.1x/\log x) 을 이용한 소수 누적함수의 근사.
• Chebyshev (\theta) 함수와 Prime Number Theorem을 결합한 비대칭적 추정.

이러한 도구들을 적절히 조합함으로써, 저자는 기존의 소수 간격 연구를 확장하고, 연속된 세 소수 사이의 구조적 제약을 새롭게 규명한다. 결과적으로, 이 논문은 소수 삼중항에 대한 이론적 기반을 강화하고, 향후 소수 간격에 관한 미해결 문제(예: Cramér 추측)의 부분적 접근에 유용한 힌트를 제공한다.