MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ณต์‹: ๋จธ์‹  ์œ ์‚ฌ 2ํ•ญ ์•„ํฌํƒ„์  ํŠธ ๊ธ‰์ˆ˜๋กœ ์›์ฃผ์œจ(ฯ€) ๊ตฌํ•˜๊ธฐ
Show calculation steps (1)
  1. Machin-like two-term formula

    Machin-like two-term formula: ๋จธ์‹  ์œ ์‚ฌ 2ํ•ญ ์•„ํฌํƒ„์  ํŠธ ๊ธ‰์ˆ˜๋กœ ์›์ฃผ์œจ(ฯ€) ๊ตฌํ•˜๊ธฐ

    Pi expressed from two arctangents of small rational arguments for fast convergence.

๊ด‘๊ณ 

๊ฒฐ๊ณผ

๊ณ„์‚ฐ๋œ ์›์ฃผ์œจ ๊ฐ’
3.141592653663433
via Machin 1706 arctangent formula
์‹ค์ œ ์›์ฃผ์œจ (Math.PI) 3.141592653589793
์‚ฌ์šฉ๋œ ํ•ญ ์ˆ˜ 16
์‹ค์ œ ์›์ฃผ์œจ ๋Œ€๋น„ ์ ˆ๋Œ€ ์˜ค์ฐจ 7.363976E-11

์ด ๊ณ„์‚ฐ๊ธฐ๋Š” ๋ฌด์—‡์„ ํ•˜๋‚˜์š”

์ด ๋„๊ตฌ๋Š” ์—ญ์‚ฌ์ ์œผ๋กœ ์œ ๋ช…ํ•œ ์—ฌ๋Ÿฌ '๋จธ์‹  ์œ ์‚ฌ(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) ์—ฐ์‚ฐ์ด ํ•„์š”ํ•ฉ๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: