마친 타입 공식에 관한 세 편의 논문

기본 정보

• 논문 ID: 2302.00154
• 제목: Three essays on Machin's type formulas
• 저자: Armengol Gasull (바르셀로나 자치대학교), Florian Luca (위츠 대학교 & UNAM), Juan L. Varona (라 리오하 대학교)
• 분류: math.NT (정수론)
• 발표 저널: Indagationes Mathematicae (게재 예정)
• 논문 링크: https://arxiv.org/abs/2302.00154

초록

본 논문은 마친 타입 공식과 관련된 세 가지 문제를 연구한다. 첫째, 역정접 함수가 모두 2-정수($b/2^a$ 형태의 값)에서 계산되는 모든 두 항 마친 공식을 제시한다. 이러한 공식들은 2의 거듭제곱으로의 곱셈 또는 나눗셈이 대부분의 컴퓨터에서 매우 빠른 연산이기 때문에 계산상 유용하다. 둘째, $N$항을 갖는 무한히 많은 공식을 찾기 위한 방법을 제시한다. 특히 $N=2$인 경우에 매우 유용하여 대부분의 알려진 공식을 복원할 수 있고, 새로운 공식을 제시하며, 르머 측도가 임의로 작은 두 항 마친 공식의 존재를 간단히 증명할 수 있다. 셋째, 이전 결과의 한 가지 누락을 수정하고, 황금비의 거듭제곱과 관련된 역정접을 포함하는 모든 두 항 마친 타입 공식을 제시한다.

연구 배경 및 동기

역사적 배경

마친 공식은 1706년 존 마친이 발견한 항등식에서 비롯되었다: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

1671년 그레고리가 발견한 역정접 급수 전개와 결합하면: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

마친은 이 공식을 이용하여 π의 소수점 이하 100자리를 계산했다.

연구 동기

1. 계산 효율성 문제: π를 더 효율적으로 계산하는 마친 타입 공식 찾기, 특히 2의 거듭제곱을 포함하는 형태. 컴퓨터는 2의 거듭제곱 연산에 극도로 효율적이기 때문이다.
2. 이론적 완전성: 다양한 마친 타입 공식의 체계적 분류 및 구성
3. 르머 측도 최소화: 계산 효율성을 높이기 위해 르머 측도가 임의로 작은 공식 찾기
4. 역사적 누락 수정: 황금비와 관련된 마친 공식 분류 개선

기존 방법의 한계

• 알려진 마친 타입 공식의 수가 제한적
• 체계적인 구성 방법 부재
• 특수 형태(예: 2의 거듭제곱 포함)의 공식 연구 부족
• 황금비에 관한 이전 연구의 누락

핵심 기여

1. 2-정수를 포함하는 두 항 마친 공식의 완전 분류: 10개의 산발적 해와 2개의 매개변수 족 제시
2. "마친 공식 기계" 방법 제시: $N$항을 갖는 마친 타입 공식을 체계적으로 생성 가능
3. 르머 측도가 임의로 작은 두 항 마친 공식의 존재 증명: 구성적 증명 제공
4. 황금비 거듭제곱의 마친 공식 분류 수정 및 개선: 16개의 본질적으로 다른 항등식 발견

방법 상세 설명

첫 번째 문제: 2-정수 마친 공식

과제 정의

다음 형태의 모든 해를 찾기: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ 여기서 $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$이고 $z_k = 2^{a_k}/b_k$ 또는 $b_k/2^{a_k}$.

핵심 기술

복소수 표현을 이용하여 문제를 다음과 같이 변환: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

가우스 정수의 인수분해 분석과 알려진 디오판토스 방정식의 해를 결합:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

두 번째 문제: 마친 공식 기계

핵심 개념

유리함수 $R_j(n,x)$ ($j = 0,1,2,3$)를 정의하여: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

함수 정의

드무아브르 공식에 기반하여 정의: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

구체적 표현식:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

주요 정리

$\sum_{k=1}^N r_k = 0$을 만족하는 정수 $r_k$에 대해: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

세 번째 문제: 황금비 공식

문제 설명

다음 형태의 모든 공식 분류: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ 여기서 $\phi = \frac{1+\sqrt{5}}{2}$는 황금비.

기술적 방법

$K = \mathbb{Q}(i,\sqrt{5})$의 원소의 노름과 소인수분해 분석을 통해, 피보나치 및 루카스 수의 본질적 소인수 정리를 활용.

실험 결과

주요 결과

정리 1: 2-정수 마친 공식

10개의 산발적 해와 2개의 매개변수 족 발견:

산발적 해 예시:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (고전 마친 공식)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

매개변수 족:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

정리 3: 작은 르머 측도 공식

임의의 $\varepsilon > 0$에 대해 다음 마친 공식이 존재함을 증명: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ 르머 측도가 $\varepsilon$보다 작음.

구성적 증명은 π의 연분수 수렴자에 기반하며, 구체적 결과는 표 1과 표 2 참조.

구체적 수치 예시

표 1은 π의 연분수 수렴자에 기반한 공식을 보여주며, 르머 측도는 0.901429에서 0.172125로 감소한다.

표 2는 $2^m$에 기반한 공식을 보여주며, 최소 르머 측도는 0.199544에 도달한다.

황금비 공식

16개의 본질적으로 다른 항등식 발견, 포함:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

관련 연구

역사적 발전

• 슈터머 (1895): $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ 형태의 공식이 정확히 4개임을 증명
• 르머 (1938): 계산 효율성의 척도로서 르머 측도 제시
• 현대 발전: 추드노프스키 알고리즘 등 더 빠른 π 계산 방법

관련 연구

본 논문의 "마친 공식 기계"는 4의 결과를 확장하며, 후자는 레데이 다항식의 재귀 관계를 사용하여 $R_3(n,x)$ 함수의 특수한 경우를 얻었다.

결론 및 논의

주요 결론

1. 2-정수를 포함하는 두 항 마친 공식 분류 문제의 완전한 해결
2. 마친 공식을 체계적으로 구성하는 범용 방법 제공
3. 르머 측도가 임의로 작은 공식을 구성할 수 있음을 증명
4. 황금비 관련 공식의 분류 수정 및 개선

한계

1. $N > 2$인 경우, 이 방법이 모든 알려진 공식을 포함하지 못할 수 있음
2. 작은 르머 측도의 공식을 구성할 수 있지만, 분수의 분자와 분모의 자릿수가 매우 크므로 실제 계산 효율성은 균형을 맞춰야 함
3. 현대 π 계산에는 더 효율적인 알고리즘(예: 추드노프스키 알고리즘)이 있으므로, 마친 타입 공식의 실용적 가치는 제한적

향후 방향

1. 더 많은 항을 갖는 마친 공식으로 확장
2. 다른 특수 형태의 역정접 매개변수 연구
3. 타원함수, 모듈러 함수와의 연관성 탐색

심층 평가

장점

1. 이론적 완전성: 여러 중요한 분류 문제를 체계적으로 해결
2. 방법의 혁신성: 제시된 "마친 공식 기계"는 일반성과 실용성을 갖춤
3. 구성적 증명: 존재성만 증명하는 것이 아니라 구체적인 구성 방법 제시
4. 역사적 오류 수정: 이전 연구의 누락을 진지하게 다루고 수정

기술적 하이라이트

1. 영리한 복소수화: 실수 문제를 복소수 영역의 대수 문제로 변환
2. 디오판토스 방정식의 응용: 알려진 디오판토스 방정식의 해를 효과적으로 활용
3. 연분수 이론의 응용: π의 연분수 성질을 이용하여 작은 르머 측도 공식 구성

부족한 점

1. 제한된 실용적 가치: 현대 고정밀 π 계산에서 이러한 공식의 우위가 명확하지 않음
2. 복잡성 문제: 구성된 작은 르머 측도 공식은 매우 큰 정수를 포함
3. 일반화의 한계: 방법이 더 일반적인 경우에 적용 가능한지 제한적

영향력

1. 이론적 기여: 마친 타입 공식 이론에 체계적 틀 제공
2. 계산수학: 특수함수 항등식 연구에 새로운 도구 제공
3. 정수론 응용: 대수정수론 방법의 구체적 문제에서의 위력 시연

참고문헌

논문은 마친(1706), 그레고리(1671)의 고전 저작부터 현대 관련 연구까지 포함하여 24편의 중요 문헌을 인용하며, 특히 슈터머, 르머 등 이 분야의 기초를 다진 학자들의 업적을 포함한다.