🔢 mathematics

A fixed point iteration method for the arctangent with any odd order of convergence based on sine and cosine

본 논문은 사인과 코사인 항의 특정 합을 활용하여 임의의 원하는 홀수 차수 수렴도 $(2P+1)$ 를 달성하는 아크탄젠트 함수 계산을 위한 고정점 반복법을 소개한다.

원저자: Alois Schiessl

게시일 2026-05-11

📖 3 분 읽기🧠 심층 분석

원저자: Alois Schiessl

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

마치 지도 위에 숨겨진 보물 (각도인 arctan의 값) 의 정확한 위치를 찾으려 한다고 상상해 보세요. 일반적으로 수학자들은 보물에 점점 더 가까워지기 위해 긴, 느린 숫자 목록 (급수) 을 사용합니다. 숫자를 더 많이 추가할수록 보물에 더 가까워지지만, 시간이 오래 걸릴 수 있습니다.

이 논문은 새로운, 매우 빠른 "보물 찾기" 방법을 소개합니다. 한 걸음씩 걷는 대신, 이 방법은 단순히 올바른 방향을 가리키는 것이 아니라 매번 점프할 때마다 목표에 훨씬 더 가깝게 순간이동시키는 특별한 마법 나침반 (사인 및 코사인이 포함된 수학적 공식) 을 사용합니다.

다음은 간단한 비유를 사용하여 이 "마법 나침반"이 작동하는 방식을 설명한 것입니다:

1. 마법 나침반 (공식)

저자 Alois Schiessl 은 **T(x)**라는 특별한 함수를 만들었습니다. 이를 각도에 대한 추측을 입력하면 훨씬 더 나은 추측을 출력하는 기계로 생각하세요.

기계가 복잡해 보이지만 그 역할은 간단합니다:

현재의 추측 ( $x$ ) 을 받아들입니다.
사인과 코사인 파동으로 만든 "차이 미터"를 사용하여 추측을 목표와 비교합니다.
다음 추측을 제공하기 위해 추측에서 특정 오차량을 빼줍니다.

비밀은 P라는 변수에 있습니다. 이 기계의 다이얼을 돌려 P를 원하는 임의의 정수 (1, 2, 3 등) 로 설정할 수 있습니다.

P = 1로 설정하면 기계는 매우 빠릅니다 (매번 3 배 더 가까워집니다).
P = 2로 설정하면 더 빠릅니다 (5 배 더 가까워집니다).
P = 10으로 설정하면 놀라울 정도로 빠릅니다 (21 배 더 가까워집니다).

이 논문은 수학적으로 증명합니다. P에 어떤 숫자를 선택하든 기계는 항상 정확한 답으로 수렴하며, 수렴 속도는 항상 홀수 ( $2P + 1$ ) 가 됩니다.

2. "자기 수정" 점프

비행기가 활주로에 착륙하려 한다고 상상해 보세요.

기존 방법은 매초마다 작고 부드러운 조정을 하는 조종사와 같습니다. 안전하지만 느립니다.
이 새로운 방법은 계기를 확인할 때마다 얼마나 떨어져 있는지 정확히 파악하고, 이전보다 활주로에 5 배, 10 배, 심지어 20 배 더 가깝게 착륙시키는 거대하고 정밀한 수정을 가하는 조종사와 같습니다.

이 논문은 시작점이 목표에 "충분히 가깝다면" 이 방법이 결코 실패하지 않는다고 증명합니다. 오차가 극적으로 줄어들어 매우 적은 단계로 극도의 정밀도로 목표에 도달함을 보장합니다.

3. 궁극적인 테스트: 원주율 계산

이 방법이 현실 세계에서 작동함을 증명하기 위해, 저자는 $\pi/4$ (45 도 각도 또는 $\arctan(1)$ 과 동일) 를 계산하는 데 이를 사용했습니다.

목표: $\pi/4$ 의 소수점 이하 100 만 자리 계산.
전략:
1. 가까운 곳에서 시작: 0 에서 시작하지 않았습니다. 이미 14 자리까지 정확한 추측으로 시작했습니다.
2. 다이얼 조절: 기계를 P = 2로 설정했습니다. 이는 매 단계마다 올바른 자리 수를 5배로 늘린다는 뜻입니다.
3. 주행:
  - 1 단계: 70 자리 정밀도로 계산했습니다. 오차가 대폭 감소했습니다.
  - 2 단계: 정밀도를 350 자리로 높였습니다. 오차가 더욱 감소했습니다.
  - 3 단계부터 7 단계까지: 각 단계마다 올바른 자리 수가 폭발적으로 증가했습니다 (350 $\to$ 1,750 $\to$ 8,750 등).
  - 8 단계: 단 8 번의 점프 후, $\pi/4$ 의 100 만 자리 이상을 계산했습니다.

4. 이것이 중요한 이유 (논문에 따르면)

이 논문은 각도를 계산하는 매우 효율적인 방법이라고 주장합니다.

속도: 올바른 자리 수가 매 단계마다 5 배 (또는 그 이상) 로 증가하기 때문에 수천 번의 계산이 필요하지 않습니다. 손가락으로 셀 만큼만 있으면 됩니다.
유연성: 숫자 P를 변경하여 원하는 속도를 선택할 수 있습니다.
간단함: 공식을 얻으면 동일한 계산을 반복하기만 하면 되며, 컴퓨터가 힘든 작업을 처리합니다.

요약하자면: 이 논문은 각도를 찾는 수학적 "터보 부스트"를 제시합니다. 답에 조금씩 다가가는 대신, 이 방법은 매 점프마다 정확도를 두 배 (또는 다섯 배, 그 이상) 로 늘리며 답을 향해 도약할 수 있게 합니다. 저자는 표준 가정용 컴퓨터를 사용하여 단 8 단계 만에 $\pi/4$ 의 100 만 자리를 계산함으로써 이를 증명했습니다.

기술적 요약: 임의의 홀수 차수 수렴을 갖는 아크탄젠트에 대한 고정점 반복법

문제 제기
본 논문은 $t \in \mathbb{R}^+$ 에 대해 아크탄젠트 함수 $\arctan(t)$ 를 계산하는 계산적 과제를 다룹니다. $\arctan(u)$ 에 대한 표준 멱급수 전개는 $|u| < 1$ 에서 수렴하지만, 높은 정밀도를 달성하려면 종종 많은 항이나 특정 변환이 필요합니다. 저자는 올바른 결과 자릿수를 얻는 속도를 가속화할 수 있는 임의의 홀수 차수 수렴을 달성하는 고정점 반복법을 모색합니다.

방법론
제안된 방법의 핵심은 아크탄젠트의 절단된 멱급수에서 유도된 고정점 함수 $T(x)$ 입니다. 저자는 삼각함수 항등식에 기반한 치환 변수 $u$ 를 정의합니다:
$u = \frac{\sin(x) - t \cos(x)}{\cos(x) + t \sin(x)}$
이 $u$ 를 $\arctan(u)$ 멱급수의 처음 $P$ 항에 대입하여 저자는 반복 함수를 구성합니다:
$T(x) = x - \sum_{k=1}^{P} \frac{(-1)^{k-1}}{2k-1} \left( \frac{\sin(x) - t \cos(x)}{\cos(x) + t \sin(x)} \right)^{2k-1}$
반복은 $x_{n+1} = T(x_n)$ 을 통해 수행됩니다.

본 논문은 이 함수의 성질에 대한 엄밀한 수학적 증명을 제공합니다:

고정점 성질: $T(\arctan(t)) = \arctan(t)$ 임이 증명됩니다. 이는 $x = \arctan(t)$ 일 때 치환 항이 0이 된다는 사실에 의존합니다.
미분 분석: 저자는 고정점에서 $T(x)$ 의 처음 $2P$ 개 미분이 소멸함을 보여줍니다 ( $0 \le k \le 2P$ 에 대해 $T^{(k)}(\arctan(t)) = 0$ ). $(2P+1)$ 차 미분은 0이 아니며 $(-1)^P (2P)!$ 과 같습니다.
수렴 증명: 반나치 고정점 정리를 사용하여, 초기값 $x_0$ 이 $\arctan(t)$ 에 충분히 가까울 때 수열이 수렴함을 확립합니다.
수렴 차수: 소멸하는 미분들에 기반하여 오차항의 테일러 전개를 통해 이 방법이 정확히 $2P + 1$ 차의 수렴 차수를 가진다는 것을 보여줍니다.

주요 기여 및 결과

임의의 홀수 차수: 주요 기여는 사용자가 특정 홀수 차수 수렴 ( $3, 5, 7, \dots$ )을 달성하기 위해 임의의 자연수 $P$ 를 선택할 수 있는 통합 프레임워크를 제공하는 것입니다.
$\pi$ 에의 적용: 이 방법은 $\pi/4$ 에 대한 마친 유사 공식, 구체적으로 $\pi/4 = \arctan(1)$ 에 적용됩니다. 논문은 유리수 인자 $t = 1/q$ 에 대해 반복 공식이 어떻게 단순화되는지 상세히 설명합니다.
고정밀 계산: 저자는 $\pi/4$ $π /4$ 의 백만 자리 수를 계산하기 위한 실용적인 계산 실험을 제시합니다.
- 구성: 실험은 $P=2$ 를 사용하여 5차 (5 차수) 수렴을 달성했습니다.
- 전략: 성능을 최적화하기 위해 저자는 "단계 고정" 정밀도 전략을 사용했습니다. 모든 반복을 전체 정밀도로 계산하는 대신, 각 단계에서 유효 자릿수를 기하급수적으로 ( $14 \times 5^n$ ) 증가시켜 올바른 자릿수의 예상 성장과 일치시켰습니다.
- 결과: 14 자리 근사값으로 시작하여 이 방법은 단 8 번의 반복으로 백만 자리 이상의 정확도에 도달했습니다. 실험에서 관찰된 오차 감소 인자는 이론적 수렴 차수를 확인시켜 주었습니다.

의의 및 주장
본 논문은 이 방법이 아크탄젠트 및 이에 따라 $\pi$ 의 고정밀 계산을 위한 효율적인 대안을 제공한다고 주장합니다. 그 의의는 알고리즘의 근본적인 구조를 변경하지 않고 매개변수 $P$ 를 통해 수렴 차수를 조정할 수 있다는 점에 있습니다. 저자는 이 방법이 자기 수정적이며, 빠른 삼각함수 평가 (예: 테일러 급수 또는 기타 알고리즘을 통해) 와 결합될 경우 충분한 계산 자원이 주어지면 "무한 정밀도"로 $\arctan(t)$ 를 계산할 수 있다고 지적합니다. 이 작업은 표준 하드웨어와 컴퓨터 대수 소프트웨어 (Maple) 를 사용하여 $\pi/4$ 를 100 만 자리 이상의 소수점 이하 자리로 성공적으로 계산함으로써 검증된 효율성의 사례로 제시됩니다.

1. 마법 나침반 (공식)

2. "자기 수정" 점프

3. 궁극적인 테스트: 원주율 계산

4. 이것이 중요한 이유 (논문에 따르면)

유사한 논문