Carl Størmer와 그의 수들

기본 정보

• 논문 ID: 2511.03030
• 제목: Carl Størmer and his Numbers
• 저자: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• 분류: math.HO (수학사) math.NT (정수론)
• 발표 시간: 2025년 11월 4일
• 논문 링크: https://arxiv.org/abs/2511.03030

초록

페르마의 두 제곱수 정리의 많은 증명에서 이차 합동식 $x^2 \equiv -1 \bmod p$의 최소 양의 잉여해 $x_0$이 핵심적인 역할을 한다. 여기서 $p$는 소수이고 $p \equiv 1 \bmod 4$이다. 이러한 $x_0$를 Størmer 수라고 부르는데, 이는 노르웨이의 수학자이자 천문학자인 Carl Størmer(1874-1957)의 이름을 따서 명명되었다. 본 논문은 $x_0 \in \mathbb{N}$이 어떤 소수 $p \equiv 1 \bmod 4$의 Størmer 수가 되기 위한 필요충분조건을 확립한다. Størmer의 이 수들에 대한 연구는 주로 Gregory-MacLaurin 급수 $\arctan(1/x)$의 특정 값들의 유한 선형결합으로 $\pi$를 표현하는 항등식 연구에서 비롯되었다. 1900년 당시 알려진 $\pi$의 자릿수가 600자리 미만이었으므로, $\pi$의 근사는 중요한 과제였다. Størmer가 1896년에 발견한 항등식은 Kanada와 그의 팀이 2002년에 $\pi$의 1조 2400억 자리를 계산하는 데 사용되었다.

연구 배경 및 동기

문제 배경

1. 페르마의 두 제곱수 정리의 중요성: 이 정리는 G.H. Hardy에 의해 "산술에서 가장 우아한 정리 중 하나"라고 불리며, 소수 $p$가 두 양의 정수의 제곱합으로 표현될 수 있다는 것은 $p \equiv 1 \bmod 4$일 때 그리고 그때만이라는 것을 나타낸다.
2. 이차 합동식의 핵심 역할: 페르마의 두 제곱수 정리의 대부분의 증명은 이차 합동식 $x^2 \equiv -1 \bmod p$의 연구를 포함한다. 예를 들어, Hermite와 Serret이 1848년에 독립적으로 제시한 증명은 최소 잉여해 $x_0$이 알려져 있다고 가정한 후, 유클리드 알고리즘을 사용하여 $p = a^2 + b^2$를 만족하는 양의 정수 $a, b$를 구하는 알고리즘을 제공한다.
3. 역사적 의의: Girard가 1632년에 이 정리를 진술했고 Fermat가 1640년에 증명을 발표했지만, 첫 번째로 기록된 존재성 증명은 Euler가 1749년에 제시했으며, 유일성 증명은 Gauss가 1801년에 완성했다.

연구 동기

1. 이론적 필요성: 소수 $p$가 클 때, $x_0$을 찾는 것은 실제로 어려우며 체계적인 판정 조건이 필요하다.
2. 역사적 가치: Carl Størmer의 업적은 정수론과 $\pi$의 근사를 연결하며 중요한 수학사적 의의를 갖는다.
3. 응용 가치: Størmer의 항등식은 오늘날에도 고정밀 $\pi$ 계산에서 역할을 한다.

핵심 기여

1. Størmer 수의 완전한 특성화: 양의 정수 $x_0$이 어떤 소수의 Størmer 수가 되기 위한 필요충분조건을 제시 (정리 2.3)
2. Størmer 함수의 단사성 증명: 각 Størmer 수가 유일한 소수에 대응됨을 증명 (정리 2.1)
3. Størmer 수의 자연밀도에 대한 휴리스틱 증명 제공: Everest와 Harman 추측을 지지하며, Størmer 수의 자연밀도가 $\ln 2$임을 시사
4. Størmer 수와 Gregory 수의 연관성 체계적 설명: Størmer의 $\pi$ 근사 이론 및 그 현대적 응용을 제시
5. 풍부한 계산 예시 제공: 구체적인 예시를 통해 이론의 실제 응용을 설명

방법론 상세 설명

작업 정의

입력: 양의 정수 $x_0$출력: $x_0$이 어떤 소수 $p \equiv 1 \bmod 4$의 Størmer 수인지 판정하고, 그렇다면 대응하는 소수 $p$를 찾기 제약 조건: $p$는 $4n+1$ 형태의 소수여야 하고, $1 < x_0 \leq (p-1)/2$, $x_0^2 \equiv -1 \bmod p$를 만족해야 함

핵심 이론 프레임워크

정의 2.1 (Størmer 수)

$p = 4n+1$이 소수이고 양의 정수 $x_0$이 다음을 만족한다고 하자:

• (i) $1 < x_0 \leq \frac{p-1}{2}$
• (ii) $x_0^2 \equiv -1 \bmod p$

그러면 $x_0$을 $p$의 Størmer 수라고 부르며, $S(p) = x_0$으로 표기한다.

핵심 정리

정리 2.1 (단사성): Størmer 함수 $S: P_{4n+1} \to \mathbb{N}$은 단사함수이다.

증명 개요: $S(p_1) = S(p_2)$이지만 $p_1 \neq p_2$라고 가정하고, 일반성을 잃지 않고 $p_1 > p_2$라고 하자. $p_j | (x_0^2 + 1)$이므로 $p_1 p_2 | (x_0^2 + 1)$, 즉: $x_0^2 + 1 \geq p_1 p_2$

한편, $x_0 \leq (p_2-1)/2$이고 $p_2 \leq p_1 - 2$이므로 다음을 유도할 수 있다: $x_0^2 + 1 < p_1 p_2$

이는 모순을 만들므로 $p_1 = p_2$이다.

정리 2.2 (소수 성질): $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$이면, 각 $p_j \equiv 1 \bmod 4$이다.

정리 2.3 (필요충분조건): $n = x_0^2 + 1$의 소인수분해를 $2^r p_1^{r_1} \cdots p_m^{r_m}$이라 하자. 여기서 $p_1 < \cdots < p_m$이다. 그러면 $x_0$이 어떤 소수 $p$의 Størmer 수가 되기 위한 필요충분조건은 $2x_0 + 1 \leq p_m$이다. 조건이 만족되면 $p = p_m$이고 $S(p_m) = x_0$이다.

기술적 혁신점

1. 통일된 판정 프레임워크: Størmer 수의 판정 문제를 $x_0^2 + 1$의 소인수분해 분석으로 변환
2. 구성적 증명: 판정 조건뿐만 아니라 대응하는 소수를 찾는 구체적인 방법 제공
3. 정수론과 분석의 연결: Størmer 수, Gregory 급수, $\pi$의 근사 사이의 깊은 연관성 확립

실험 설정

데이터 표시

논문은 두 개의 중요한 데이터 표를 제공한다:

표 1: 소수와 대응하는 Størmer 수의 순서쌍

(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...

표 2: 증가 순서로 정렬된 처음 여러 Størmer 수

1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...

검증 방법

논문은 구체적인 예시를 통해 이론 결과를 검증한다:

예시 1: $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• 따라서 3은 Størmer 수가 아니다

예시 2: $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• 따라서 $S(113) = 15$

실험 결과

자연밀도 분석

논문은 Størmer 수의 자연밀도에 대한 수치 증거를 제시한다:

이 데이터는 Everest-Harman 추측을 지지한다: $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0.693$

휴리스틱 밀도 증명

논문은 확률론에 기반한 휴리스틱 증명을 제공한다:

$x_0 \in \mathbb{N}$에 대해, 만약 $x_0 = S(p)$이면 $2x_0 + 1 \leq p \leq x_0^2 + 1$이다. 각 정수가 Størmer 수가 될 "확률"이 $2/(p-1)$이라고 가정하면, $x_0$이 Størmer 수가 될 확률은 약:

$\sum_{2x_0+1 \leq p \leq x_0^2+1, p \equiv 1 \bmod 4} \frac{2}{p-1} \sim \sum_{2x_0 \leq p \leq x_0^2} \frac{1}{p} \sim \ln 2$

Mertens 추정을 사용하여 최종 결과를 얻는다.

Gregory 수와 π의 근사

이론적 기초

Størmer는 Størmer 수와 Gregory 수 $t_x := \arctan(1/x)$ 사이의 연관성을 확립했다:

정리 5.1 (Størmer 정리): $x \in \mathbb{N}$이 Størmer 수가 아니면, $t_x$는 $t_n$의 유한 선형결합으로 유일하게 표현될 수 있으며, 여기서 각 $n$은 Størmer 수이고 $n < x$이다.

역사적 응용

1. Machin 공식 (1706): $\frac{\pi}{4} = 4\arctan\frac{1}{5} - \arctan\frac{1}{239}$
2. Euler 공식: $\frac{\pi}{4} = 5\arctan\frac{1}{7} + 2\arctan\frac{79}{3}$
3. Størmer 공식 (1896): $\frac{\pi}{4} = 44\arctan\frac{1}{57} + 7\arctan\frac{1}{239} - 12\arctan\frac{1}{682} + 24\arctan\frac{1}{12943}$

현대적 의의

Størmer의 1896년 항등식은 Kanada 팀이 2002년에 1조 2400억 자리의 π를 계산하는 데 사용되었으며, 이는 고전 수학 이론의 지속적인 가치를 보여준다.

관련 연구

역사적 발전

1. 페르마의 두 제곱수 정리: Girard(1632)에서 Fermat(1640)를 거쳐 Euler(1749)까지의 발전 과정
2. Smith 방법 (1855): 유클리드 알고리즘과 연분수 이론을 사용한 우아한 존재성 증명
3. Hermite-Serret 알고리즘 (1848): 알려진 Størmer 수를 기반으로 제곱합 분해를 구성하는 알고리즘

관련 연구

1. Conway-Guy 정의: n=1의 경우를 포함하는 약간 다른 Størmer 수 정의
2. Lehmer의 업적: arccot 함수의 항등식 연구
3. Todd 정리: arctan 함수의 기약성에 관한 특성화

결론 및 논의

주요 결론

1. 완전한 특성화: Størmer 수의 필요충분 판정 조건을 확립하여 오랫동안 존재해온 문제를 해결
2. 이론적 통일: Størmer 수, 페르마의 두 제곱수 정리, Gregory 급수, π의 근사를 하나의 이론 프레임워크로 통합
3. 역사적 가치: Carl Størmer의 수학적 기여와 그 현대적 의의를 체계적으로 정리

한계점

1. 밀도 증명: 자연밀도의 증명은 여전히 휴리스틱이며 엄밀한 수학적 증명이 부족
2. 계산 복잡성: 큰 $x_0$에 대해 Størmer 수 판정은 $x_0^2 + 1$의 소인수분해를 필요로 하므로 계산상 어려울 수 있음
3. 응용 범위: 주로 이론 수학에 국한되며 실제 응용은 상대적으로 제한적

향후 방향

1. 엄밀한 밀도 증명: Everest-Harman 추측의 엄밀한 수학적 증명 추구
2. 알고리즘 최적화: 더 효율적인 Størmer 수 판정 및 계산 알고리즘 개발
3. 일반화 연구: 다른 수학 분야에서 유사한 구조의 응용 탐색

심층 평가

장점

1. 이론적 완전성: Størmer 수의 완전한 수학적 특성화를 제공하여 이론적 공백을 메움
2. 역사적 가치: Carl Størmer의 생애와 기여를 체계적으로 소개하며 중요한 수학사적 의의 제시
3. 연결성: 정수론, 분석학, π 계산 등 여러 수학 분야를 교묘하게 연결
4. 풍부한 예시: 많은 구체적인 예시를 통해 이론의 응용을 설명하여 가독성 향상
5. 명확한 구성: 논문 구조가 명확하고 기본 정의에서 심화된 응용까지 단계적으로 진행

부족한 점

1. 계산 효율성: 실제 응용에서 소인수분해의 계산 복잡성이 병목이 될 수 있음
2. 밀도 증명: 자연밀도의 증명이 수학적으로 엄밀하지 못하고 휴리스틱에 그침
3. 응용의 제한성: 이론은 완전하지만 현대적 실용 가치는 상대적으로 제한적
4. 창의성: 주로 기존 이론의 체계적 정리이며 원창적 기여는 상대적으로 적음

영향력

1. 이론적 기여: 정수론 연구에 새로운 도구와 관점 제공
2. 교육적 가치: 정수론과 수학사 교육의 우수한 교재로 활용 가능
3. 영감 제공: 관련 수학 구조에 대한 추가 연구를 자극할 수 있음
4. 재현 가능성: 이론 결과가 명확하고 계산 예시가 검증하기 쉬움

적용 분야

1. 정수론 연구: 이차 합동식과 소수 성질 연구에 새로운 방법 제공
2. 수학 교육: 서로 다른 수학 분야를 연결하는 우수한 교학 사례
3. 수학사 연구: 19-20세기 수학 발전 이해에 중요한 자료 제공
4. 알고리즘 설계: 관련 계산 문제에 이론적 기초 제공

참고문헌

논문은 고전 정수론 교과서에서 현대 계산 수학까지 광범위한 21편의 중요 문헌을 인용하여 연구의 깊이와 폭을 보여준다. 주요 참고문헌으로는 Andrews의 《수론》, Conway와 Guy의 《수의 책》, 그리고 Størmer의 원본 논문 등이 있다.