[논문 리뷰] A generalized Vi\'ete's-like formula for pi with rapid convergence

Sanjar M. Abrarov, Brendan M. Quine|arXiv (Cornell University)|2016. 10. 25.

Advanced Mathematical Identities인용 수 3

한 줄 요약

이 논문은 중첩 루트 구조 $ a_K = \sqrt{2 + \sqrt{2 + \cdots + \sqrt{2}}} $를 K 단계로 사용하고, $ x = \sqrt{2 - a_{K-1}} / a_K $를 사용하는反正탄제(identical) 항법을 결합함으로써 π를 빠르게 수렴하는 일반화된 비에트 유사 공식을 제시한다. K가 증가할수록 정확도가 크게 향상되어 고정밀도 π 근사 계산에서 빠른 수렴을 보인다.

ABSTRACT

We present a generalized $ ext{Vi\'ete's}$-like formula for pi with rapid convergence. This formula is based on the arctangent function identity with argument $x=\sqrt{2-{{a}_{K-1}}}/{{a}_{K}}$, where \[ {{a}_{K}}=\underbrace{\sqrt{2+\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}}}_{K\,\, ext{square}\,\, ext{roots}} \] is a radical consisting of $K$ nested square roots of twos. The computational test we performed reveals that the generalized $ ext{Vi\'ete's}$-like formula provides a significant improvement in accuracy as the integer $K$ increases.

연구 동기 및 목표

• 원래 공식보다 더 빠르게 수렴하는 π에 대한 비에트 공식의 일반화된 버전을 개발하는 것.
• 계산 성능 향상이 향상된 효율적이고 정확한 무한곱 공식이 필요로 하는 문제를 해결하는 것.
• 중첩 루트 $ a_K $가 삼각함수 곱 공식의 수렴 속도를 향상시키는 데 미치는 역할을 탐색하는 것.
• 반복적 루트 구조를 활용한 고정밀도 π 근사 계산을 위한 계산적으로 검증 가능한 방법을 제공하는 것.

제안 방법

• K개의 제곱근을 포함하는 중첩 루트 $ a_K = \sqrt{2 + \sqrt{2 + \cdots + \sqrt{2}}} $를 사용하여 근사값의 수열을 정의한다.
• 인수 $ x = \sqrt{2 - a_{K-1}} / a_K $를 사용하는 정타항법 항등식을 적용하여 루트 수열을 삼각함수 항등식과 연결한다.
• 수식은 $ a_K $의 재귀적 구조를 기반으로 한 π의 무한곱 표현을 구성하며, 비에트의 원래 공식을 일반화한다.
• K를 증가시키고 π 근사의 결과 정확도를 측정함으로써 수렴 행동을 계산적으로 분석한다.
• 기존의 역탄젠트와 중첩 루트에 관한 항등식을 활용하여 새로운 곱 공식을 유도한다.
• 계산 테스트를 통해 검증되었으며, K가 증가함에 따라 정확도가 유의미하게 향상됨을 보였다.

실험 결과

연구 질문

• RQ1 어떻게 하면 중첩 루트를 사용하여 비에트의 고전적 π 공식을 더 빠른 수렴 속도로 일반화할 수 있는가?
• RQ2 중첩 제곱근의 수 $ K $를 늘릴 경우 π 근사의 정확도에 어떤 영향을 미치는가?
• RQ3 인수 $ x = \sqrt{2 - a_{K-1}} / a_K $를 가진 정타항법 항등식을 체계적으로 사용하여 π에 대한 수렴 속도가 빠른 곱 공식을 유도할 수 있는가?
• RQ4 제안된 공식은 원래 비에트 공식과 다른 알려진 π에 대한 무한곱 공식에 비해 수렴 속도가 어떻게 다른가?

주요 결과

• 중첩 제곱근 수 $ K $가 증가할수록 일반화된 공식이 유의미하게 향상된 정확도를 달성한다.
• 계산 테스트 결과, 이 공식의 수렴 속도가 원래 비에트 공식보다 상당히 더 빠르다는 것이 확인되었다.
• $ x = \sqrt{2 - a_{K-1}} / a_K $를 사용하는 정타항법 항등식의 활용은 π에 대한 수렴 속도가 매우 빠른 곱 공식을 시스템적으로 도출할 수 있게 한다.
• 중첩 루트 구조 $ a_K $는 수렴 속도를 가속화하는 데 핵심적인 역할을 하며, 각 추가 레벨의 중첩이 정밀도를 향상시킨다.
• K를 증가시키는 반복적 정밀도 향상 방식을 통해 고정밀도 π 계산의 실용적 가능성을 입증하였다.
• 수학적 우아함을 유지하면서도 계산 정확도 향상에 실질적인 기여를 한다.