산술 기하 평균을 이용한 원주율의 계산

수학노트
둘러보기로 이동 검색으로 이동

개요


타원적분과 산술 기하 평균

타원적분

  • 타원적분 항목 참조
  • <math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math>
  • <math>E(k) = \int_0^{\frac{\pi}{2}} \sqrt{1-k^2 \sin^2\theta}d\theta</math>
  • <math>k'=\sqrt{1-k^2}</math>
  • <math>K'(k) : = K(k')</math>
  • <math>E'(k) : = E(k')</math>

타원적분에 대한 르장드르 항등식

  • 르장드르 항등식
<math>E(k)K'(k)+E'(k)K(k)-K(k)K'(k)=\frac{\pi}{2}</math>
  • 특별히 다음과 같은 관계가 성립함
<math>2K(\frac{1}{\sqrt{2}})E(\frac{1}{\sqrt{2}})-K(\frac{1}{\sqrt{2}})^2=\frac{\pi}{2} \label{leg}</math>

타원적분과 산술 기하 평균의 관계

<math>K(k)=\frac{\pi}{2M(1,\sqrt{1-k^2})}</math>
  • 특별히 다음이 성립
<math>K(\frac{1}{\sqrt2})=\frac{\pi}{2M(1,\frac{1}{\sqrt2})} \label{mk}</math>


가우스-살라민 알고리즘

보조정리

주어진 양수 <math>0<k<1</math>에 대하여 다음과 같이 수열 <math>a_n,b_n,c_n</math>을 정의하자.

<math>

a_0=1,b_0=\sqrt{1-k^2} \\ a_{n+1}={a_n+b_n \over 2},b_{n+1}=\sqrt{a_n b_n}\\ c_n=\sqrt{a_n^2-b_n^2} </math> 다음이 성립한다

<math>\sum_{i=0}^{\infty} 2^{i-1} c_i^2 = 1 - \frac{E(k)}{K(k)} \label{lem}</math>


정리

다음과 같이 수열 <math>a_n,b_n,c_n,\pi_n</math>을 정의하자.

<math>

a_0=1,b_0=\frac{1}{\sqrt{2}}\\ a_{n+1}={a_n+b_n \over 2},b_{n+1}=\sqrt{a_n b_n}\\ c_n=\sqrt{a_n^2-b_n^2}=\frac{c_{n-1}^2}{4a_n} \\ \pi_n=\frac{2a_{n+1}^2}{1-\sum_{k=0}^{n} 2^kc_k^2} </math> 이 때, 수열 <math>\pi_n</math>은 <math>\pi</math>로 수렴한다.

증명

<math>M=M(1,1/\sqrt{2})</math>, <math>K=K(1/\sqrt{2})</math>, <math>E=E(1/\sqrt{2})</math>로 두자

\ref{leg}로부터 다음을 얻는다

<math>2KE-K^2=\frac{\pi}{2}</math>

즉,

<math>\frac{2E}{K}-1=\frac{\pi}{2K^2}</math>

\ref{mk}로부터 <math>2MK=\pi</math>를 얻는다

\ref{lem}로부터

<math>

\begin{aligned} \lim_{n\to \infty}\pi_n&=\lim_{n\to \infty} \frac{2a_{n+1}^2}{1-\sum_{k=0}^{n} 2^kc_k^2}\\ &=\frac{2M^2}{1-2(1-E/K)}=\frac{2M^2}{{\pi}/{2K^2}}=\frac{\pi^2/2K^2}{{\pi}/{2K^2}}\\ &=\pi \end{aligned} </math>■

수치 계산

  • 수열 <math>\pi_n</math>의 처음 여섯항을 계산한 결과
<math>

3.1405792505221682483113312689758233117734402375129\\ 3.1415926462135422821493444319826957743144372233456\\ 3.1415926535897932382795127748018639743812255048354\\ 3.1415926535897932384626433832795028841971146782836\\ 3.1415926535897932384626433832795028841971693993751\\ 3.1415926535897932384626433832795028841971693993751 </math>


또다른 알고리즘

  • 수열 <math>x_n, y_n, \pi_n</math>을 다음과 같이 정의하자
<math>

x_0=\sqrt{2},\pi_0=2+\sqrt{2},y_1=\sqrt[4]{2} \\ x_{n+1}=\frac{1}{2}(\sqrt{x_{n}}+\frac{1}{\sqrt{x_{n}}}),\quad n\geq0 \\ y_{n+1}=\frac{y_{n}\sqrt{x_n}+\frac{1}{\sqrt{x_{n}}}}{y_n+1}, \quad n\geq1 \\ \pi_n=\pi_{n-1}\frac{x_n+1}{y_n+1}, \quad n\geq1 </math>

  • 수열 <math>\pi_n</math>은 원주율로 수렴한다
  • 다음은 처음 여섯개의 항을 계산한 결과.
<math>

3.1426067539416226007907198236183018919713562462772\\3.1415926609660442304977522351203396906792842568645\\3.1415926535897932386457739917571417940347896238675\\3.1415926535897932384626433832795028841972241204666\\ 3.1415926535897932384626433832795028841971693993751\\ 3.1415926535897932384626433832795028841971693993751 </math>

  • 한번씩 계산할 때마다, 대략 두 배 정도 정확한 자리수
  • 9번째까지 계산한다면, 1000자리 이상의 파이값을 계산



관련된 학부 과목과 미리 알고 있으면 좋은 것들



관련된 항목들



매스매티카 파일 및 계산 리소스


사전형태의 자료


관련도서



관련논문

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'arithmetic'}, {'OP': '*'}, {'LOWER': 'geometric'}, {'LEMMA': 'mean'}]
  • [{'LOWER': 'agm'}, {'LEMMA': 'method'}]
  • [{'LEMMA': 'AGM'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=산술_기하_평균을_이용한_원주율의_계산&oldid=52329"