"원주율의 BBP 공식"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
1번째 줄: | 1번째 줄: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==개요== | ==개요== | ||
* 원주율의 값을 16진수로 표현할 때, 각 자리에 어떤 값이 오는지를 구할 수 있게 해주는 공식<br> | * 원주율의 값을 16진수로 표현할 때, 각 자리에 어떤 값이 오는지를 구할 수 있게 해주는 공식<br> | ||
* Spigot 알고리즘의 대표적인 예이다<br> | * Spigot 알고리즘의 대표적인 예이다<br> | ||
− | * 다음 공식에 의하여 얻어짐:<math>\pi = \sum_{k = 0}^{\infty}\frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6} \right)</math | + | * 다음 공식에 의하여 얻어짐 |
+ | :<math>\pi = \sum_{k = 0}^{\infty}\frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6} \right)\label{bbp}</math> | ||
16번째 줄: | 11번째 줄: | ||
==공식의 증명== | ==공식의 증명== | ||
− | + | \ref{bbp}가 다음의 등식과 동치이다 | |
− | |||
− | |||
− | |||
:<math>\pi=\int_{0}^{1/\sqrt{2}}\frac{4\sqrt{2}-8x^3-4\sqrt{2}x^4-8x^5}{1-x^8}\,dx</math> | :<math>\pi=\int_{0}^{1/\sqrt{2}}\frac{4\sqrt{2}-8x^3-4\sqrt{2}x^4-8x^5}{1-x^8}\,dx</math> | ||
− | + | ||
− | + | 다음을 이용하면 된다 | |
− | |||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
− | + | \quad \int_{0}^{1/\sqrt{2}}\frac{x^{k-1}}{1-x^8}\,dx & = \int_{0}^{1/\sqrt{2}}\sum_{i=0}^{\infty}x^{k-1+8i}\,dx \\ | |
− | & = \int_{0}^{1/\sqrt{2}}\sum_{i=0}^{\infty}x^{k-1+8i}\,dx \\ | + | {} & = \frac{1}{\sqrt{2}^k}\sum_{i=0}^{\infty}\frac{1}{16^{i}(8i+k)} |
− | & = \frac{1}{\sqrt{2}^k}\sum_{i=0}^{\infty}\frac{1}{16^{i}(8i+k)} | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
43번째 줄: | 33번째 줄: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
73번째 줄: | 49번째 줄: | ||
==메모== | ==메모== | ||
− | + | * http://blog.naver.com/j3b5mj2224/80067439599 | |
− | http://blog.naver.com/j3b5mj2224/80067439599 | ||
83번째 줄: | 58번째 줄: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
105번째 줄: | 68번째 줄: | ||
* [http://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%93Plouffe_formula http://en.wikipedia.org/wiki/Bailey–Borwein–Plouffe_formula] | * [http://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%93Plouffe_formula http://en.wikipedia.org/wiki/Bailey–Borwein–Plouffe_formula] | ||
* http://en.wikipedia.org/wiki/Spigot_algorithm | * http://en.wikipedia.org/wiki/Spigot_algorithm | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
120번째 줄: | 76번째 줄: | ||
* [http://dx.doi.org/http://dx.doi.org/10.1090%2FS0025-5718-97-00856-9 On the rapid computation of various polylogarithmic constants]<br> | * [http://dx.doi.org/http://dx.doi.org/10.1090%2FS0025-5718-97-00856-9 On the rapid computation of various polylogarithmic constants]<br> | ||
** David Bailey; Peter Borwein; Simon Plouffe.Journal: Math. Comp. 66 (1997), 903-913.<br> | ** David Bailey; Peter Borwein; Simon Plouffe.Journal: Math. Comp. 66 (1997), 903-913.<br> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
[[분류:원주율]] | [[분류:원주율]] |
2013년 3월 16일 (토) 03:22 판
개요
- 원주율의 값을 16진수로 표현할 때, 각 자리에 어떤 값이 오는지를 구할 수 있게 해주는 공식
- Spigot 알고리즘의 대표적인 예이다
- 다음 공식에 의하여 얻어짐
\[\pi = \sum_{k = 0}^{\infty}\frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6} \right)\label{bbp}\]
공식의 증명
\ref{bbp}가 다음의 등식과 동치이다 \[\pi=\int_{0}^{1/\sqrt{2}}\frac{4\sqrt{2}-8x^3-4\sqrt{2}x^4-8x^5}{1-x^8}\,dx\]
다음을 이용하면 된다 \[ \begin{align} \quad \int_{0}^{1/\sqrt{2}}\frac{x^{k-1}}{1-x^8}\,dx & = \int_{0}^{1/\sqrt{2}}\sum_{i=0}^{\infty}x^{k-1+8i}\,dx \\ {} & = \frac{1}{\sqrt{2}^k}\sum_{i=0}^{\infty}\frac{1}{16^{i}(8i+k)} \end{align} \] ■
원주율의 16진법 전개
- http://www.wolframalpha.com/input/?i=pi+in+base+16\[\pi = 3.243f6a8885a308d313198a2e03707\cdots_{16}\]
역사
메모
관련된 항목들
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Bailey–Borwein–Plouffe_formula
- http://en.wikipedia.org/wiki/Spigot_algorithm
관련논문
- Pi: A 2000-Year Search Changes Direction
- On the rapid computation of various polylogarithmic constants
- David Bailey; Peter Borwein; Simon Plouffe.Journal: Math. Comp. 66 (1997), 903-913.
- David Bailey; Peter Borwein; Simon Plouffe.Journal: Math. Comp. 66 (1997), 903-913.