🔢 mathematics

Carl Størmer and his Numbers

본 논문은 소수 $p \equiv 1 \bmod 4$ 에 대하여 $x^2 \equiv -1 \bmod p$ 의 최소 잉여 해 중 가장 작은 것으로 정의된 Størmer 수가 되기 위한 자연수의 필요충분조건을 제시함과 동시에 이러한 수를 그레고리 수 및 $\pi$ 의 고정밀 근사와 연결한 칼 Størmer 의 역사적 연구를 탐구한다.

원저자: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

게시일 2026-04-30

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 특별한 숫자 클럽에 관한 미스터리를 해결하려는 형사라고 상상해 보세요. 이 논문은 바로 그 클럽, 가입 규칙, 그리고 이러한 숫자들이 원주율 $\pi$ (파이) 에 관한 아주 오래된 퍼즐을 푸는 데 어떻게 도움을 주는지 다룹니다.

다음은 칼 스토르머의 숫자에 대한 이야기를 간단한 부분으로 나누어 설명한 것입니다.

1. 클럽: "스토르머 숫자"

먼저, 페르마의 두 제곱수 정리라는 유명한 수학 규칙에 대해 이야기해 봅시다. 이 정리는 4 의 배수에 1 을 더한 소수 (예: 5, 13, 17, 29) 가 있다면, 그 소수를 항상 두 개의 완전제곱수를 더한 형태로 나눌 수 있다고 말합니다.

예시: $13 = 2^2 + 3^2$ ( $4 + 9$ ).

그 두 제곱수 ($2 $와$ 3 $) 를 찾기 위해 수학자들은 보통 먼저 까다로운 수수께끼를 풀어야 합니다. 즉, 어떤 수$ x $를 찾아서 그 수를 제곱한 뒤 소수로 나누었을 때 나머지가$ -1$이 되도록 해야 합니다.

예시: 소수 13 의 경우, 5 를 제곱하면 25 가 됩니다. $25 $를$ 13 $으로 나누면 나머지가$ -1 $(또는$ 12$) 입니다. 따라서 5가 열쇠입니다.

저자들은 이 열쇠 역할을 하는 수를 스토르머 숫자라고 부릅니다. 이는 소수를 두 제곱수로 나누는 문을 열어주는 "비밀번호"와 같습니다.

2. 큰 발견: 누가 비밀번호를 가질 수 있는가?

오랫동안 사람들은 이미 소수를 가지고 있다면 비밀번호를 찾는 방법을 알았습니다. 하지만 15 와 같은 무작위 숫자만 있다면 어떨까요? 15 는 어떤 소수의 비밀번호일까요, 아니면 가짜일까요?

이 논문의 저자들은 어떤 수가 진짜 스토르머 숫자인지 아닌지를 판단하는 정확한 규칙을 찾아냈습니다.

규칙 (문지기):
당신의 수 (여기서 $x$ 라고 부르겠습니다) 를 가져와서 제곱한 뒤 1 을 더합니다 ( $x^2 + 1$ ). 이제 그 결과를 만들어내는 소수들을 모두 살펴봅니다.

그 그룹에서 가장 큰 소수를 찾습니다.
규칙: 당신의 수 $x$ 는 그 가장 큰 소수가 $2x + 1$ 보다 클 때에만 스토르머 숫자입니다.

가장 큰 소수가 너무 작다면, $x$ 는 스토르머 숫자가 아닌 그냥 평범한 수입니다. 만약 충분히 크다면, $x$ 는 그 특정 큰 소수를 위한 고유한 비밀번호입니다.

비유: 열쇠 ( $x$ ) 가 있다고 가정해 봅시다. 그 열쇠가 맞는 자물쇠 ( $x^2+1$ ) 를 확인합니다. 자물쇠에 있는 가장 큰 볼트가 거대하다면 (열쇠 크기의 두 배보다 크다면), 당신은 진짜 스토르머 열쇠를 가진 것입니다. 볼트가 작다면, 당신은 가짜 열쇠를 들고 있는 것입니다.

3. 얼마나 흔한가?

저자들은 처음 백만 개의 숫자를 조사했고, 그중 약 **70%**가 스토르머 숫자임을 발견했습니다.
그들은 무한대로 갈수록 이 비율이 정확히 $\ln(2)$ (약 0.693, 즉 69.3%) 에 수렴할 것이라고 의심합니다. 이를 100% 확신으로 증명하지는 못했습니다 (아직도 "경험적"이거나educated guess인 상태이지만), 숫자들은 이것이 사실임을 강력히 시사합니다.

4. 실생활의 영웅: 칼 스토르머

이 논문은 숫자 뒤에 있는 사람, 칼 스토르머(1874–1957) 를 소개합니다.

그는 누구였을까요? 뛰어난 노르웨이 수학자이자 천문학자였습니다.
그는 무엇을 더 했을까요? 그는 오로라(북극광) 연구로 유명했습니다. 그는 태양에서 방출된 하전 입자들이 지구 자기장 안에서 어떻게 춤추는지 알아냈습니다. 그는 настолько 존경받아 달의 분화구 중 하나가 그의 이름으로 명명되기도 했습니다!
재미있는 사실: 그는 또한 비밀 사진작가였습니다. 그는 재킷 안에 작은 스파이 카메라를 휴대하고 오슬로 거리에서 사람들의 candid(자연스러운) 사진을 찍었습니다. 나중에 이 사진들은 유명한 예술 전시회가 되었습니다.

5. 그랜드 파이널: 원주율 ( $\pi$ ) 계산

왜 우리는 이 숫자들을 중요하게 생각할까요? 바로 이 숫자들이 원주율 $\pi$ (원의 둘레와 지름의 비율) 를 계산하는 데 도움을 주기 때문입니다.

컴퓨터가 등장하기 전 옛날에는 원주율을 계산하는 것이 스푼으로 수영장을 채우는 것과 같았습니다. 매우 효율적인 방법이 필요했습니다. 수학자들은 $\pi$ 의 자릿수를 얻기 위해 아크탄젠트(각도 계산의 한 유형) 를 포함하는 공식을 사용했습니다.

스토르머는 특별한 연결고리를 발견했습니다.

스토르머 숫자가 아닌 수가 있다면, 그 아크탄젠트 공식을 스토르머 숫자들의 아크탄젠트 합으로 분해할 수 있습니다.
스토르머 숫자인 수는 "기약불가"입니다. 더 이상 분해할 수 없습니다. 이는 근본적인 구성 요소입니다.

"슈퍼 공식":
1896 년, 스토르머는 $\pi$ 를 계산하는 복잡한 공식을 발견했습니다.

2002 년, 야스마사 카나다가 이끄는 팀은 스토르머의 공식을 사용하여 $\pi$ 의 1 조 2,400 억 자리를 계산했습니다.
이는 당시 세계 기록이었습니다.

따라서 19 세기의 소인수 분해에 관한 "문지기" 규칙으로 정의된 정수론 개념은 21 세기에 원주율 자릿수 계산 세계 기록을 깨는 데 사용된 비밀 병기가 되었습니다.

요약

스토르머 숫자는 특정 소수를 두 제곱수로 나누는 데 도움을 주는 특별한 "비밀번호"입니다.
이 논문은 어떤 수가 스토르머 숫자인지 확인하는 간단한 테스트를 제시합니다: ( $x^2+1$ ) 의 가장 큰 소인수가 $2x+1$ 보다 큰지 확인합니다.
모든 숫자의 약 69% 가 스토르머 숫자입니다.
이 숫자들은 컴퓨터가 원주율의 수조 자리 숫자를 계산할 수 있게 해준 공식을 만든 칼 스토르머에게 결정적이었습니다.
칼 스토르머는 또한 달 분화구에 이름을 붙인 천문학자이자 거리 사진 스파이였습니다.

Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart 의 논문 "Carl Størmer and His Numbers"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 페르마의 두 제곱수 정리와 $\pi$ 의 근사 연구에서 비롯된 특정 정수 클래스인 Størmer 수의 특성을 규명하는 문제를 다룹니다.

배경: 소수 $p \equiv 1 \pmod 4$ 에 대하여, 페르마의 두 제곱수 정리는 $p = a^2 + b^2$ 라는 유일한 표현을 보장합니다. 이 정리의 대부분의 구성적 증명들은 $x_0^2 \equiv -1 \pmod p$ 를 만족하고 $1 < x_0 \le (p-1)/2$ 인 가장 작은 양의 정수 $x_0$ 를 찾는 데 의존합니다.
격차: 그러한 $x_0$ 의 존재는 알려져 있지만, 임의의 정수 $x_0 \in \mathbb{N}$ 이 어떤 소수 $p$ 에 대한 Størmer 수인지 판단할 수 있는 단순하고 필요충분조건은 존재하지 않았습니다. 또한, 이러한 수들의 통계적 분포 (자연 밀도) 는 추측의 대상이었으나 엄밀한 증명은 부재했습니다.
역사적 동기: 이 연구는 $\pi$ 를 아크탄젠트 값 (Gregory 수) 의 선형 결합으로 표현하는 항등식에 관한 Carl Størmer 의 작업과 연결됩니다. 이러한 항등식들은 컴퓨터 시대 이전 고정밀 $\pi$ 계산에 결정적이었습니다.

2. 방법론

저자들은 정수론, 대수적 정수론 (특히 가우스 정수), 그리고 확률적 휴리스틱을 결합하여 사용합니다.

연속분수와 유클리드 알고리즘: 논문은 $x^2 \equiv -1 \pmod p$ 의 해를 $p = a^2 + b^2$ 분해와 연결하는 Smith 의 방법을 검토합니다. 이 방법은 유클리드 알고리즘과 삼대각 행렬의 행렬식인 연속분수 (continuants) 를 활용합니다.
소인수분해 분석: 핵심 방법론은 $x_0^2 + 1$ 의 소인수분해를 분석하는 것입니다. 저자들은 $x_0$ 와 $x_0^2 + 1$ 의 가장 큰 소인수 사이의 관계를 조사합니다.
가우스 정수: Gregory 수와의 연결을 다루기 위해 저자들은 가우스 정수 환 $\mathbb{Z}[i]$ 를 활용합니다. $\arctan(1/n)$ 을 분해하는 문제를 가우스 정수 $n+i$ 의 인수분해와 그 노름 (norm) 의 성질에 매핑합니다.
확률적 휴리스틱: 밀도 추측에 대해 저자들은 산술급수 내 소수의 분포와 Mertens 정리에 기반한 휴리스틱 논증을 구성합니다.

3. 주요 기여 및 결과

A. Størmer 수의 특성화 (정리 2.3)

논문은 정수 $x_0$ 가 Størmer 수이기 위한 결정적인 필요충분조건을 확립합니다.

정의: $x_0^2 + 1 = 2^r \cdot p_1^{e_1} \cdots p_m^{e_m}$ 을 소인수분해라고 할 때, $p_1 < p_2 < \dots < p_m$ 입니다.
정리: $x_0$ 가 소수 $p$ 에 대한 Størmer 수일 필요충분조건은 $2x_0 + 1 \le p_m$ 입니다 (여기서 $p_m$ 은 $x_0^2 + 1$ 의 가장 큰 소인수입니다).
함의: 조건이 성립하면 연관된 소수는 유일하며 $p = p_m$ 과 같습니다. 만약 $2x_0 + 1 > p_m$ 이라면, $x_0$ 는 어떤 소수에 대한 Størmer 수도 아닙니다.
단사성: 저자들은 Størmer 함수 $S(p)$ 가 단사임을 증명합니다. 즉, 특정 $x_0$ 는 많아야 하나의 소수 $p$ 에 대응됩니다.

B. 자연 밀도 추측 (3 절)

추측: 논문은 Everest 와 Harman(2008) 이 제안한 Størmer 수의 자연 밀도가 $\ln(2) \approx 0.693$ 이라는 추측을 논의합니다.
휴리스틱 증명: 저자들은 이 밀도를 시사하는 확률적 논증을 제시합니다. 임의의 $x_0$ 가 어떤 소수 $p$ 에 대해 $2x_0 + 1 \le p \le x_0^2 + 1$ 조건을 만족할 확률을 추정합니다. 산술급수에 대한 소수정리와 Mertens 추정을 사용하여 다음 극한을 유도합니다:
$\lim_{x_0 \to \infty} \sum_{2x_0 \le p \le x_0^2} \frac{1}{p} \sim \ln(\ln(x_0^2)) - \ln(\ln(2x_0)) \sim \ln(2)$
주의: 저자들은 이 밀도에 대한 엄밀한 증명은 여전히 elusive(찾아내기 어렵다) 라고 명시적으로 밝힙니다.

C. Gregory 수 및 $\pi$ 와의 연결 (5 절)

Størmer 의 정리: 논문은 $\gcd(a, b) = 1$ 이면 $\arctan(b/a)$ 가 각 $n$ 이 Størmer 수인 $\arctan(1/n)$ 들의 유한한 선형 결합으로 유일하게 표현될 수 있다는 Størmer 의 결과를 공식화합니다.
메커니즘: 이는 $\mathbb{Z}[i]$ 에서의 유일 인수분해를 통해 증명됩니다. $a+bi $를 가우스 소수로 분해하는 것은 각도$ \arctan(b/a)$를 Størmer 수와 관련된 각도로 분해하는 것에 해당합니다.
기약성: 논문은 Størmer 수를 Todd 가 의미하는 "기약 (irreducible)" Gregory 수와 연결하여, $n$ 이 Størmer 수일 필요충분조건은 $\arctan(1/n)$ 이 다른 $\arctan(1/k)$ 항들의 합으로 쓰일 수 없다는 것을 증명합니다.
역사적 적용: 논문은 Størmer 의 1896 년 항등식 ( $t_1 = 44t_{57} + 7t_{239} - 12t_{682} + 24t_{12943}$ ) 이 2002 년 Yasumasa Kanada 에 의해 1 조 2400 억 자리 $\pi$ 계산에 사용되었음을 강조합니다.

4. 의의

이론적 명확성: 논문은 Størmer 수 식별에 관한 모호함을 해소하여, 특정 $x_0$ 에 연관된 소수 $p$ 를 검색할 필요 없이 계산적으로 효율적인 테스트 (정리 2.3) 를 제공합니다.
분야 간 연결: 고전적 정수론 (페르마 정리, 이차 합동식) 과 계산 수학의 역사 ( $\pi$ 의 근사) 를 효과적으로 연결합니다.
역사적 맥락: 논문은 Carl Størmer 에 대한 포괄적인 헌사로, 정수론과 천체물리학 (특히 오로라 및 자기장 내 하전 입자 연구) 에서의 그의 이중적 유산을 상세히 다룹니다.
알고리즘적 유용성: 이 특성화는 Størmer 수를 생성하고 $\pi$ 를 위한 새로운 아크탄젠트 항등식을 구성할 수 있게 합니다. 이는 현대 슈퍼컴퓨터에게는 덜 중요할 수 있으나, 수학적으로 우아하고 역사적으로 중요한 의미를 지닙니다.

요약하자면, 이 논문은 Størmer 수에 대한 엄밀한 특성을 제시하고, 그들의 밀도에 대한 설득력 있는 휴리스틱을 제공하며, $\pi$ 를 근사하는 데 사용되는 아크탄젠트 항등식의 대수적 구조에서 Størmer 수의 근본적인 역할을 명확히 합니다.