The strange story of an almost unknown prime number counter: The Rafael Barrett formula

이 논문은 1903 년 앙리 푸앵카레에게 보낸 편지에서 발견되어 1930 년대 우루과이 수학자에 의해 재발견된 라파엘 바레트의 소수 계수 공식을 소개하고 그 분석적 의미를 조명합니다.

핵심

📖 1. 주인공: "수학자"가 아닌 "에세이스트"의 비밀

우선 이 이야기의 주인공인 **라파엘 바렛 (Rafael Barrett)**은 평범한 수학자가 아닙니다. 그는 1900 년대 초에 살았던 위대한 작가이자 에세이스트였습니다.

• 비유: 마치 "수학 문제를 풀기 위해 펜을 든 소설가가 아닌, 깊이 있는 에세이를 쓰는 작가" 같은 사람입니다. 그는 스페인에서 태어나 남미 (파라과이, 우루과이 등) 로 이주하여, 전쟁으로 폐허가 된 나라의 비극을 깊이 있게 글로 썼습니다.
• 의외의 발견: 그런데 이 작가가 1903 년, 프랑스의 거장 수학자 '앙리 푸앵카레'에게 보낸 편지 속에, 소수를 세는 아주 정교한 공식을 숨겨두고 있었습니다. 이 공식은 30 년 넘게 잊혀 있다가, 1930 년대 우루과이의 수학자 에두아르도 가르시아 데 Zuniga 에 의해 다시 발견되었습니다.

🔢 2. 소수 세기 공식: "수학적인 마법 지팡이"

소수란 1 과 자기 자신으로만 나누어지는 숫자 (2, 3, 5, 7, 11...) 입니다. 이 숫자들은 규칙이 없어 보이지만, 사실은 우주처럼 거대한 패턴을 가지고 있습니다.

바렛이 만든 공식은 **"어떤 숫자 (n) 까지 소수가 몇 개 있는지"**를 정확히 알려주는 자동 계산기 같은 역할을 합니다.

• 어떻게 작동할까요?
  이 공식은 마치 음악 악보나 진자처럼 보입니다.
  • 공식 안에는 sin (사인) 함수가 들어있는데, 이는 파도처럼 오르고 내리는 진동을 의미합니다.
  • 바렛은 **윌슨의 정리 (Wilson's Theorem)**라는 고대 수학 법칙을 이용해, "이 숫자가 소수일 때만 파도가 특정 높이에 도달한다"는 원리를 발견했습니다.
  • 그래서 이 공식은 소수가 아닌 숫자에서는 0 을, 소수일 때는 1 을 더해주는 방식으로 작동합니다. 마치 **소수만 골라내는 '수학적 체 (체)'**를 통과시키는 것과 같습니다.

🧩 3. 왜 이 이야기가 중요한가? (미완의 퍼즐)

이 논문은 단순히 "오래된 공식을 찾았다"는 것을 넘어, 더 큰 질문을 던집니다.

• 현재의 상황: 19 세기 말, 수학자들은 소수가 얼마나 퍼져 있는지 거대한 흐름 (점근적 분포) 을 설명하는 '소수 정리'를 증명했습니다. 이는 마치 "강물이 바다로 흘러갈 때의 전체적인 흐름"을 아는 것과 같습니다.
• 바렛의 공식의 한계: 바렛의 공식은 소수를 **하나하나 세어주는 '정밀한 계산기'**입니다. 하지만 이 계산기로 시작해서, 거대한 '강물의 흐름 (소수 정리)'을 유도해 낼 수 있을까요?
• 논문의 마지막 질문: "우리가 이 정밀한 계산기 (바렛 공식) 를 가지고, 어떻게 하면 거대한 흐름 (소수 정리) 을 자연스럽게 설명해 낼 수 있을까?"

💡 4. 결론: "통찰력"이 필요한 순간

저자 에두아르도 미즈라지는 이 문제를 다음과 같이 비유합니다.

"소수를 하나하나 세는 공식에서, 소수의 거대한 흐름을 찾아내는 것은 마치 작은 돌멩이 하나를 보고 바다의 파도 전체를 예측하는 것과 같습니다. 불가능해 보이지만, 만약 어떤 천재적인 '통찰 (Heuristic)'을 가진 사람이 이 돌멩이를 어떻게든 연결한다면, 우리는 수학의 새로운 문을 열 수 있을지도 모릅니다."

📝 요약

이 논문은 작가 라파엘 바렛이 남긴 소수 세기 공식을 재조명하며, "이 정교한 공식이 어떻게 소수의 거대한 법칙을 설명할 수 있을까?"라는 수학적 퍼즐을 제시합니다.

마치 **작은 열쇠 (바렛 공식)**로 **거대한 성 (소수 정리)**의 문을 여는 방법을 찾는 모험과도 같은 이야기입니다. 아직 정답은 없지만, 그 과정을 탐구하는 것 자체가 수학의 아름다움을 보여준다고 저자는 말합니다.

기술 요약

제공된 논문 "거의 알려지지 않은 소수 계수기의 이상한 이야기: 라파엘 바렛의 공식 (The strange story of an almost unknown prime number counter: The Rafael Barrett formula)"에 대한 상세한 기술적 요약은 다음과 같습니다.

1. 연구 배경 및 문제 제기 (Problem)

• 주제: 소수 계수 함수 (Prime counting function, $\pi(n)$) 를 계산하는 새로운 수식과 그 수학적, 역사적 맥락.
• 역사적 맥락: 1903 년에 스페인 태생의 우루과이 작가이자 에세이스트인 **라파엘 바렛 (Rafael Barrett)**이 프랑스의 수학자 앙리 퐁카레 (Henri Poincaré) 에게 보낸 편지에 소수 계수 공식을 포함하고 있었으나, 이는 수십 년간 알려지지 않았습니다.
• 발견: 이 공식은 1930 년대 우루과이 수학자 **에두아르도 가르시아 데 주니가 (Eduardo García de Zúñiga)**에 의해 재발견되어 1935 년 몬테비데오의 학술지에 발표되었습니다.
• 핵심 질문: 바렛이 고안한 이 소수 계수 공식이 소수 정리 (Prime Number Theorem) 의 점근적 극한 ($\lim_{n \to \infty} \frac{\pi(n)}{n/\ln n} = 1$) 을 유도할 수 있는가? 즉, 이 공식에서 소수 정리를 유도하는 영리한 휴리스틱 (heuristic) 이 존재하는가?

2. 방법론 (Methodology)

• 역사적 문헌 분석: 바렛의 1903 년 편지 내용과 1935 년 가르시아 데 주니가의 분석 논문을 재조명하여 공식의 기원과 구조를 규명했습니다.
• 수식 유도 및 분석:
  • 윌슨의 정리 (Wilson's Theorem) 활용: $p$가 소수일 때 $(p-1)! \equiv -1 \pmod p$라는 윌슨의 정리를 기반으로 바렛의 공식을 유도했습니다.
  • 바렛의 공식 (Barr(n)): 자연수 $n$보다 작은 소수의 개수를 나타내는 정확한 공식은 다음과 같습니다.
    $$Barr(n) = 3 + \sum_{k=5}^{n-1} \frac{\sin\left(\frac{(k-1)!\pi}{k}\right)}{\sin\left(\frac{\pi}{k}\right)}$$
    (수학적 원리 설명: $k$가 소수일 때 윌슨의 정리에 의해 $(k-1)! \equiv -1 \pmod k$이므로, 분자의 $\sin$ 항은 $\sin(-\pi/k) = -\sin(\pi/k)$가 되어 분수 값이 $-1$이 됩니다. 반면$k$가 합성수일 때는 분자가 0 이 되어 분수 값이 0 이 됩니다. 따라서 이 합산은 합성수에 대해서는 0 을, 소수에 대해서는 -1 을 더하는 역할을 하며, 이를 적절히 조정하여 소수의 개수를 세는 로직으로 작동합니다.)
  • 상수항의 의미: 공식 앞단의 상수 3은 합산 범위가 $k=5$부터 시작하므로, 제외된 소수 2와 3을 보정하기 위해 추가된 항입니다.
  • 수치적 검증: $n=6$부터 $n=17$까지의 값을 계산하여 공식이 소수 개수를 정확히 세는지 확인했습니다. (당시 바렛은 1 을 소수로 간주했습니다.)
• 휴리스틱 접근법 비교: 쿠란트 (Courant) 와 로빈스 (Robbins) 가 '수학이란 무엇인가'에서 제시한 통계적 방법 (스털링 공식과 레전드르 정리를 이용한 근사) 을 참조하여, 바렛의 공식에서 소수 정리의 극한을 유도할 수 있는 가능성이 있는지 고찰했습니다.

3. 주요 기여 (Key Contributions)

• 잊혀진 수학적 유산의 복원: 문학과 수학의 경계를 넘나든 라파엘 바렛의 1903 년 공식을 재발견하고 그 수학적 타당성을 현대적으로 재조명했습니다.
• 정확한 수식 제시 및 증명: 부록 (Appendix) 에 바렛의 공식에 대한 새로운 증명을 포함하여, 윌슨의 정리에서 이 공식이 어떻게 도출되는지 명확히 했습니다. 특히, 기존에 잘못 전달되었던 삼각함수 제곱 형태가 아닌, 계승 (factorial) 을 포함하는 정확한 사인 함수 형태를 규명했습니다.
• 수학적 연결 고리 제시: 에세이스트인 바렛이 제시한 공식이 고전적인 소수 이론 (윌슨 정리, 하마르드/라 발레 푸생의 극한) 과 어떻게 연결되는지를 보여주었습니다.

4. 결과 (Results)

• 공식의 정확성: 바렛의 공식은 $n$보다 작은 소수의 개수를 정확히 계산하는 것으로 확인되었습니다.
• 한계와 도전: 이 공식은 유한한 $n$에 대해서는 정확한 소수 계수기를 제공하지만, $n \to \infty$일 때의 점근적 극한 (소수 정리) 을 이 공식으로부터 직접적으로 유도하는 것은 매우 어렵거나 불가능해 보입니다.
• 휴리스틱의 부재: 현재로서는 바렛의 공식에서 소수 정리의 극한을 유도하는 명확한 휴리스틱 절차가 제시되지 않았습니다.

5. 의의 및 결론 (Significance)

• 학제간 연구의 사례: 문학과 수학, 그리고 역사적 인물의 업적을 연결하여 새로운 통찰을 제공하는 사례입니다.
• 미해결 문제 제기: 이 논문은 바렛의 공식이 소수 정리의 극한에 도달할 수 있는지에 대한 **열린 질문 (Open Problem)**을 남깁니다.
  • "바렛의 공식에서 소수 정리의 극한을 유도할 수 있는 어떤 휴리스틱이 존재할 수 있는가?"
• 수학적 영감: 비록 직접적인 유도 과정은 아직 증명되지 않았으나, 이 공식은 소수 분포를 이해하는 새로운 관점과 영감을 제공하며, 수학적 탐구의 지속적인 중요성을 강조합니다.

요약: 이 논문은 라파엘 바렛이 1903 년에 고안한 소수 계수 공식을 재조명하고, 이를 윌슨의 정리와 연결하여 수학적으로 분석했습니다. 비록 이 공식이 정확한 소수 계수기를 제공하지만, 이를 통해 소수 정리의 점근적 극한을 유도하는 방법은 아직 미해결 과제로 남아 있으며, 이는 향후 수학적 탐구의 새로운 방향을 제시합니다.