์ด ๊ณ์ฐ๊ธฐ๋ ๋ฌด์์ ํ๋์?
์ด ๋๊ตฌ๋ ๋น ๋ฅด๊ฒ ์๋ ดํ๋ ์ธ ๊ฐ์ง ์ ๋ช ํ ๋ฌดํ๊ธ์ ์ค ํ๋๋ฅผ ํญ๋ณ๋ก ๋ํด ์ํ ์์ ์์ฃผ์จ(ํ์ด, ฯ)์ ๊ณ์ฐํฉ๋๋ค. ์ ํํ ์ ์๋ ๊ธ์๋ ๋ผ๋ง๋์์ ์ฒซ ๋ฒ์งธ 1914๋ ๊ธ์, ๋ผ๋ง๋์์ ๋ ๋ฒ์งธ 1914๋ ๊ธ์, ๊ทธ๋ฆฌ๊ณ ์ถ๋๋ ธํ์คํค ํ์ ๊ฐ 1987๋ ์ ๋ฐํํ ๊ธ์์ ๋๋ค. ์ด ๊ธ์๋ค์ด ๋๋ผ์ด ์ด์ ๋ ํญ์ ํ๋ ๋ํ ๋๋ง๋ค ํ ๋ฒ์ ์ฌ๋ฌ ์๋ฆฌ์ ์ ํํ ์์์ ์ซ์๊ฐ ์ถ๊ฐ๋๋ค๋ ์ ์ ๋๋ค. ๋๋ถ์ ๋จ ๋ช ๊ฐ์ ํญ๋ง์ผ๋ก๋ ๋ฐฐ์ ๋ฐ๋(double) ์์ค์ ์ ํ๋๊น์ง ํ์ด๋ฅผ ๊ทธ๋๋ก ์ฌํํ ์ ์์ต๋๋ค. ์ด๋ ์์ ์ํ์ด๋ฏ๋ก ์ง์ญ์ด๋ ๊ตญ๊ฐ์ ์๊ด์์ด ์ด๋์๋ ๋์ผํ๊ฒ ์ ์ฉ๋ฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋๋กญ๋ค์ด์์ ๊ณต์์ ํ๋ ๊ณ ๋ฅด๊ณ , ๋ํ ํญ์ ์ต๋ ๊ฐ์์ ํ์ํ ์์์ ์๋ฆฟ์๋ฅผ ์ค์ ํ์ธ์. ๊ณ์ฐ๊ธฐ๋ \(n = 0, 1, 2, \ldots\) ์์๋ก ํญ์ ๋ํ๋ค๊ฐ ํ์ด ๊ฐ์ด ๋ ์ด์ ๋ณํ์ง ์์ผ๋ฉด ์๋์ผ๋ก ๊ณ์ฐ์ ๋ฉ์ถ๋๋ฐ, ๋ณดํต ๋ช ํญ ์์์ ๋ฉ์ถฅ๋๋ค. ๋ด๋ถ ์ฐ์ฐ์ IEEE-754 ๋ฐฐ์ ๋ฐ๋(double) ๋ฐฉ์์ ์ฌ์ฉํ๋ฏ๋ก, ํ๋ฉด์ ํ์ํ๋ ์๋ฆฟ์ ์ค์ ๊ณผ ๊ด๊ณ์์ด ์ ํจ์ซ์ ์ฝ 15~16์๋ฆฌ๊น์ง๊ฐ ์ ๋ขฐํ ์ ์๋ ๊ฐ์ ๋๋ค.
๊ณต์ ์์ธํ ๋ณด๊ธฐ
๋ผ๋ง๋์ 1์ ํ์ด์ ์ญ์(\(1/\pi\))๋ฅผ ๋ง๋ค์ด ๋ ๋๋ค. ์์ ๊ณ์ \(\sqrt{8}/9801\)์ ๋ฌดํ๊ธ์์ ํฉ์ ๊ณฑํ๋๋ฐ, ์ด ๊ธ์์ \(n\)๋ฒ์งธ ํญ์ ๊ณ์น๋น \((4n)!/(4^n \cdot n!)^4\) ์ ์ผ์ฐจ ์ธ์ \((1103 + 26390n)\) ์ \(99^{4n}\) ์ผ๋ก ๋๋ ๊ฐ์ ๊ฒฐํฉํ ๊ฒ์ ๋๋ค.
$$\frac{1}{\pi} = \frac{\sqrt{8}}{9801} \sum_{n=0}^{\infty} \frac{(4n)!}{(4^n n!)^4} \cdot \frac{1103 + 26390n}{99^{4n}}$$ํฉ \(S\)๋ฅผ ๊ตฌํ๊ณ ๋๋ฉด ํ์ด๋ \(1/(\text{๊ณ์} \times S)\) ๋ก ๋ณต์๋ฉ๋๋ค. ์ถ๋๋ ธํ์คํค ๊ณต์๋ ๋น์ทํ ๋ฐฉ์์ด์ง๋ง ์๋ ด์ด ํจ์ฌ ๋นจ๋ผ์ ํญ ํ๋๋น ์ฝ 14์๋ฆฌ์ฉ ์ ํํด์ง๋๋ค.
$$\frac{1}{\pi} = 12 \sum_{n=0}^{\infty} \frac{(-1)^n (6n)!\,(13591409 + 545140134n)}{(3n)!\,(n!)^3\,(640320^3)^{n+1/2}}$$
๊ณ์ฐ ์์
๋ผ๋ง๋์ 1์ \(n=0\) ํญ ํ๋๋ง ์จ์ ๊ณ์ฐํด ๋ณด๊ฒ ์ต๋๋ค. ๊ณ์๋ \(\sqrt{8}/9801 = 0.000288583\ldots\) ์ด๊ณ , \(n=0\) ํญ์ \(1 \times 1103 = 1103\) ์ ๋๋ค. ๋ฐ๋ผ์ \(1/\pi = 0.000288583 \times 1103 = 0.31831\ldots\) ์ด ๋๊ณ , ์ด๋ก๋ถํฐ \(\pi = 3.14159273\) ์ ์ป๋๋ฐ, ์ด๋ฏธ ์์์ ์ฝ ์ฌ์ฏ ์๋ฆฌ๊น์ง ์ ํํฉ๋๋ค. ์ฌ๊ธฐ์ \(n=1\) ํญ์ ๋ํ๋ฉด \(\pi = 3.14159265358979\) ๊ฐ ๋์ด ์ฝ 16์๋ฆฌ๊น์ง ์ ํํด์ง๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์๋ฆฟ์ ๋๋กญ๋ค์ด์ ๋๋ ค๋ ์ ์ ํ๋๊ฐ ๋ ์ฌ๋ผ๊ฐ์ง ์๋์? ๋ฐฐ์ ๋ฐ๋ ๋ถ๋์์์ ์ ์ ํจ์ซ์๋ฅผ ์ฝ 15~16์๋ฆฌ๊น์ง๋ง ๋ด์ ์ ์์ต๋๋ค. ๊ทธ ์ด์์ ์ ํ๋๋ฅผ ์ป์ผ๋ ค๋ฉด ์์ ์ ๋ฐ๋(arbitrary-precision) ์ฐ์ฐ์ด ํ์ํฉ๋๋ค.
์ค์ ๋ก ํญ์ด ๋ช ๊ฐ๋ ํ์ํ๊ฐ์? ๋ฐฐ์ ๋ฐ๋ ์ ์ฒด ์ ํ๋๋ฅผ ์ป์ผ๋ ค๋ฉด ๋ผ๋ง๋์ 1์ ์ฝ 2๊ฐ ํญ, ์ถ๋๋ ธํ์คํค๋ 1~2๊ฐ ํญ์ด๋ฉด ์ถฉ๋ถํฉ๋๋ค.
์ด๋ค ๊ธ์๊ฐ ๊ฐ์ฅ ๋น ๋ฅธ๊ฐ์? ์ถ๋๋ ธํ์คํค๊ฐ ๊ฐ์ฅ ๋น ๋ฅด๊ฒ ์๋ ดํ๋ฉฐ, ์ค๋๋ ์์ฃผ์จ ๊ธฐ๋ก ๊ณ์ฐ์ ์ค์ ๋ก ์ฌ์ฉ๋๋ ์๊ณ ๋ฆฌ์ฆ์ ๋๋ค.