์ด ๊ณ์ฐ๊ธฐ๋ ๋ฌด์์ ํ๋์
์ด ๋๊ตฌ๋ ์ญ์ฌ์ ์ผ๋ก ์ ๋ช ํ ์ฌ๋ฌ '๋จธ์ ์ ์ฌ(Machin-like)' 2ํญ ์ํฌํ์ ํธ ๊ณต์ ์ค ํ๋๋ฅผ ๊ณ์ฐํด ์ํ ์์ ์์ฃผ์จ(ฯ)์ ๊ตฌํฉ๋๋ค. ๊ฐ ๊ณต์์ ฯ/4๋ฅผ ์์ ์ ๋ฆฌ์ ๋ ๊ฐ์ ์ํฌํ์ ํธ์ ๊ฐ์ค์น๋ฅผ ๋ถ์ธ ํฉ์ผ๋ก ํํํ๋ฉฐ, ๊ฐ ์ํฌํ์ ํธ๋ ๊ณ ์ ์ ์ธ ๊ทธ๋ ๊ณ ๋ฆฌ/๋ผ์ดํ๋์ธ ๋ฉฑ๊ธ์๋ก ์ ๊ฐํฉ๋๋ค. ์ ๋ ฅ ์ธ์๊ฐ ์๊ธฐ ๋๋ฌธ์ ๊ธ์๊ฐ ๋น ๋ฅด๊ฒ ์๋ ดํ๊ณ , ๋ฐฐ์ ๋ฐ๋(double precision)์ ๋ชจ๋ ์๋ฆฟ์๋ฅผ ์ฑ์ฐ๋ ๋ฐ์๋ ๋ช ๊ฐ์ ํญ์ด๋ฉด ์ถฉ๋ถํฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋๋กญ๋ค์ด์์ ์ ๋ช ํ ๊ณต์ ํ๋๋ฅผ ๊ณ ๋ฅด์ธ์ โ ๋จธ์ (Machin, 1706), ํค๋ฅด๋ง(Hermann, 1706), ์ค์ผ๋ฌ(Euler, 1738), ์ค์ผ๋ฌ & ๋ฒ ๊ฐ(Euler & Vega, 1755), ํํด(Hutton, 1776) ์ค์์ ์ ํํ ์ ์์ต๋๋ค. ์ํ๋ ์ ํจ ์๋ฆฟ์์ ๊ธ์์ ํญ ์ ์ํ(์ต๋ ๋ฐ๋ณต ํ์)์ ์ ํ๋ฉด, ๊ณ์ฐ๊ธฐ๋ ์ฐ์ถ๋ ์์ฃผ์จ ๊ฐ๊ณผ, ๋ค์ ํญ์ด ํ์ฉ ์ค์ฐจ๋ณด๋ค ์์์ง๊ธฐ ์ง์ ๊น์ง ๋ํ ํญ์ ๊ฐ์, ๊ทธ๋ฆฌ๊ณ ์ค์ ์์ฃผ์จ๊ณผ ๋น๊ตํ ์ ๋ ์ค์ฐจ๋ฅผ ๋ณด์ฌ์ค๋๋ค.
์ฐธ๊ณ : ์ด ์๋ก ๊ตฌํํ ๋ฒ์ ์ IEEE ๋ฐฐ์ ๋ฐ๋ ์ฐ์ฐ์ ์ฌ์ฉํ๋ฏ๋ก ์ ํจ ์๋ฆฟ์ ์ฝ 15~16์๋ฆฌ๊น์ง ์ ํํฉ๋๋ค. ๊ทธ ์ด์์ผ๋ก ์ค์ ํด๋ 15์๋ฆฌ์์ ์๋ฆฝ๋๋ค. ์๋ ๋๊ตฌ๊ฐ ๋ค๋ฃจ๋ 22~50์๋ฆฌ ๋ฒ์๋ฅผ ์ป์ผ๋ ค๋ฉด ์์ ์ ๋ฐ๋(arbitrary-precision) ์ฐ์ฐ์ด ํ์ํฉ๋๋ค.
๊ณต์ ํ์ด
์ผ๋ฐ์ ์ธ ํญ๋ฑ์์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$\pi = 4\left(c_1\,\arctan\frac{p_1}{q_1} + c_2\,\arctan\frac{p_2}{q_2}\right)$$๊ทธ๋ ๊ณ ๋ฆฌ ๊ธ์ \(\arctan(x) = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \dots\) ๋ฅผ ํ ํญ์ฉ ๋ํด ๋๊ฐ๋ค๊ฐ, ์ด๋ค ํญ์ด ํ์ฉ ์ค์ฐจ \(0.5\times 10^{-(\text{์๋ฆฟ์}+2)}\) ์๋๋ก ๋จ์ด์ง๋ฉด ๋ฉ์ถฅ๋๋ค. ์ธ์๊ฐ ์์์๋ก ๋ ๋นจ๋ฆฌ ์๋ ดํฉ๋๋ค. ๋จธ์ ์ \(\tfrac{1}{5}\)๊ณผ \(\tfrac{1}{239}\)๋ ์ค์ผ๋ฌ์ \(\tfrac{1}{2}\)๊ณผ \(\tfrac{1}{3}\)๋ณด๋ค ํจ์ฌ ์ ์ ํญ์ผ๋ก ๋์ ์ ํ๋์ ๋๋ฌํฉ๋๋ค.
๊ณ์ฐ ์์ (๋จธ์ 1706)
\(\text{arg}_1 = \tfrac{1}{5}\), \(c_1 = 4\)์ผ ๋ \(\arctan(0.2) \approx 0.19739555985\) ์ ๋๋ค. \(\text{arg}_2 = \tfrac{1}{239}\), \(c_2 = -1\)์ผ ๋ \(\arctan\tfrac{1}{239} \approx 0.00418407600\) ์ ๋๋ค. ๋ฐ๋ผ์ $$\frac{\pi}{4} = 4\cdot 0.19739555985 - 0.00418407600 = 0.78539816339$$ ์ด๊ณ , $$\pi = 4\cdot 0.78539816339 = 3.14159265359$$ ๋ก ์ค์ ๊ฐ๊ณผ ์ผ์นํฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
๋ผ์ดํ๋์ธ ๊ธ์(arctan 1)๋ ์ ์ ํ์ง์ ์๋์? \(\arctan(1) = \tfrac{\pi}{4}\)๋ ์๋ ด์ด ์ง๋ ํ๊ฒ ๋๋ฆฌ๊ธฐ ๋๋ฌธ์ ๋๋ค. ์์ฒ ๊ฐ์ ํญ์ ๋ํด๋ ์ ํํ ์๋ฆฟ์๋ ๊ฒจ์ฐ ๋ช ์๋ฆฌ๋ฟ์ด๋ผ, ์ญ์ฌ์ ์๋ฏธ๋ก๋ง ์ธ๊ธํ๊ณ ๋น ๋ฅธ ๊ณต์์ผ๋ก๋ ์ ๊ณตํ์ง ์์ต๋๋ค.
๋จธ์ ๊ณต์์ด ์ค์ผ๋ฌ ๊ณต์๋ณด๋ค ํญ์ ์ ๊ฒ ์ฐ๋ ์ด์ ๋์? ๋จธ์ ์ ์ธ์(\(\tfrac{1}{5}\), \(\tfrac{1}{239}\))๊ฐ ๋ ์์๋ฐ, ๊ทธ๋ ๊ณ ๋ฆฌ ๊ธ์๋ \(|x|\)๊ฐ ์์์๋ก ๋ ๋นจ๋ฆฌ ์๋ ดํ๊ธฐ ๋๋ฌธ์ ๋๋ค.
์ฌ๊ธฐ์ ์์ฃผ์จ 40์๋ฆฌ๊น์ง ์ป์ ์ ์๋์? ๋ฐฐ์ ๋ฐ๋๋ก๋ ๋ถ๊ฐ๋ฅํฉ๋๋ค. ๊ฒฐ๊ณผ๋ ์ฝ 15์๋ฆฌ๊น์ง ์ ๋ขฐํ ์ ์์ผ๋ฉฐ, ๊ทธ ์ด์์ ๋น ๋ฐ์๋ฉ(big-decimal) ์ฐ์ฐ์ด ํ์ํฉ๋๋ค.