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

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

์—ฐ๋ถ„์ˆ˜ ๊ฐ’ f
3.1415926535898
๋งˆ์ง€๋ง‰ ๊ทผ์‚ฌ๊ฐ’ f_n (n = ํ•ญ ์ˆ˜)
n ๊ทผ์‚ฌ๊ฐ’ f_n
0 4.0
1 3.0
2 3.1666666666667
3 3.1372549019608
4 3.1423423423423
5 3.1414634146341
6 3.1416149068323
7 3.1415888250921
8 3.1415933118799
9 3.1415925404465
10 3.1415926730303
11 3.1415926502502
12 3.1415926541634
13 3.1415926534913
14 3.1415926536067
15 3.1415926535869
16 3.1415926535903
17 3.1415926535897
18 3.1415926535898
19 3.1415926535898
20 3.1415926535898

์ด ๊ณ„์‚ฐ๊ธฐ์˜ ๊ธฐ๋Šฅ

์ด ๋„๊ตฌ๋Š” \(f = a_0/(b_0 + a_1/(b_1 + a_2/(b_2 + \ldots)))\) ๊ผด์˜ ์ผ๋ฐ˜ํ™”(ํ•ด์„์ ) ์—ฐ๋ถ„์ˆ˜๋ฅผ ๊ณ„์‚ฐํ•˜๊ณ , ์ง€์ •ํ•œ ํ•ญ ์ˆ˜๊นŒ์ง€์˜ ๊ทผ์‚ฌ๊ฐ’ \(f_0, f_1, f_2, \ldots\)๋ฅผ ์ฐจ๋ก€๋กœ ๋‚˜์—ดํ•ฉ๋‹ˆ๋‹ค. ๋ถ€๋ถ„ ๋ถ„์ž \(a_n\)๊ณผ ๋ถ€๋ถ„ ๋ถ„๋ชจ \(b_n\)์€ ํ•ญ ๋ฒˆํ˜ธ \(n\)์— ๋Œ€ํ•œ ๋Œ€์ˆ˜์‹์œผ๋กœ ์ž…๋ ฅํ•˜๋ฏ€๋กœ, pi, \(1/(e-1)\), ๋ฃจํŠธ2์˜ ์ž์—ฐ๋กœ๊ทธ, ๋ฃจํŠธ2 ๋“ฑ ์ˆ˜๋งŽ์€ ๊ณ ์ „์  ์ „๊ฐœ์‹์„ ๊ทธ๋Œ€๋กœ ์žฌํ˜„ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ๋‹จ์œ„๋‚˜ ํŠน์ • ๊ตญ๊ฐ€ ๊ทœ์ •๊ณผ ๋ฌด๊ด€ํ•œ ์ˆœ์ˆ˜ ์ˆ˜ํ•™ ๋„๊ตฌ์ž…๋‹ˆ๋‹ค.

์‚ฌ์šฉ ๋ฐฉ๋ฒ•

์ดˆ๊ธฐ ๋ถ„์ž \(a_0\)์™€ ์ดˆ๊ธฐ ๋ถ„๋ชจ \(b_0\)๋Š” ์ˆซ์ž๋กœ ์ž…๋ ฅํ•ฉ๋‹ˆ๋‹ค. \(n\)๋ฒˆ์งธ ๋ถ„์ž \(a_n\)๊ณผ \(n\)๋ฒˆ์งธ ๋ถ„๋ชจ \(b_n\)์€ ๋ณ€์ˆ˜ \(n\)์— ๋Œ€ํ•œ ์‹์œผ๋กœ ์ž…๋ ฅํ•˜์„ธ์š” โ€” ์˜ˆ๋ฅผ ๋“ค์–ด "n^2", "n+1", "-n^2", "3(2n+1)", "2" ๊ฐ™์€ ์‹์ž…๋‹ˆ๋‹ค. \(n\) ์˜†์— ๋ถ™๋Š” ์•”์‹œ์  ๊ณฑ์…ˆ๋„ ์ง€์›ํ•˜๋ฉฐ, + - * / ^ ์—ฐ์‚ฐ์ž, ๊ด„ํ˜ธ, ๋‹จํ•ญ ๋งˆ์ด๋„ˆ์Šค, ๊ทธ๋ฆฌ๊ณ  sqrt, exp, ln, sin, cos ๊ฐ™์€ ํ•จ์ˆ˜๋„ ์‚ฌ์šฉํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ๊ณ„์‚ฐํ•  ํ•ญ ์ˆ˜(1~1000)์™€ ํ‘œ์‹œํ•  ์ž๋ฆฟ์ˆ˜๋ฅผ ์„ ํƒํ•˜์„ธ์š”. ํฌ๊ฒŒ ํ‘œ์‹œ๋˜๋Š” ์ˆซ์ž๋Š” ๋งˆ์ง€๋ง‰ ๊ทผ์‚ฌ๊ฐ’์ด๋ฉฐ, ํ‘œ๋ฅผ ๋ณด๋ฉด ๊ฐ’์ด ์–ด๋–ป๊ฒŒ ์•ˆ์ •๋˜์–ด ๊ฐ€๋Š”์ง€ ํ™•์ธํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

๊ณต์‹ ํ’€์ด

\(n\)๋ฒˆ์งธ ๊ทผ์‚ฌ๊ฐ’ \(f_n\)์„ ๊ตฌํ•˜๋ ค๋ฉด, ๊ณ„์‚ฐ๊ธฐ๋Š” ๊ฐ€์žฅ ์•ˆ์ชฝ์— ๋ณด์กด๋œ ํ•ญ๋ถ€ํ„ฐ ๋ฐ”๊นฅ์ชฝ์œผ๋กœ ๊ฑฐ์Šฌ๋Ÿฌ ์˜ฌ๋ผ๊ฐ€๋ฉฐ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค. ๋จผ์ € ๊ผฌ๋ฆฌ๊ฐ’ \(t = 0\)์œผ๋กœ ๋‘๊ณ , \(k = n, n-1, \ldots, 1\) ์ˆœ์„œ๋กœ $$t = \frac{a_k}{b_k + t}$$ ๋ฅผ ๊ฐฑ์‹ ํ•ฉ๋‹ˆ๋‹ค. ๋งˆ์ง€๋ง‰์œผ๋กœ $$f_n = \frac{a_0}{b_0 + t}$$ ๋ฅผ ๊ตฌํ•ฉ๋‹ˆ๋‹ค. ์ด ์•„๋ž˜์—์„œ ์œ„๋กœ ์˜ฌ๋ผ๊ฐ€๋Š” ๋ฐฉ์‹์€ ์ˆ˜์น˜์ ์œผ๋กœ ์•ˆ์ •์ ์ด๋ฉฐ, ๋ถ„๋ชจ๊ฐ€ ์ •ํ™•ํžˆ 0์ด ๋˜๋Š” ๊ฒฝ์šฐ์—๋Š” ์ž‘์€ ์—ก์‹ค๋ก  ๊ฐ’์„ ๋Œ€์ž…ํ•ด ๋ณด์™„ํ•ฉ๋‹ˆ๋‹ค(์ˆ˜์ •๋œ Lentz ์•Œ๊ณ ๋ฆฌ์ฆ˜ ๋ฐฉ์‹์˜ ์•ˆ์ „์žฅ์น˜).

Recurrence diagram showing numerator and denominator A_n and B_n built from previous terms
Convergents are computed by the recurrence \(A_n = b_n A_{n-1} + a_n A_{n-2}\) (and likewise for \(B_n\)).
Nested fraction structure of a generalized continued fraction with terms a0, b0, a1, b1, a2, b2
The nested structure of a generalized continued fraction: each level adds a new \(a_n\) over \(b_n\).

์˜ˆ์ œ ํ’€์ด: pi ์ „๊ฐœ์‹

\(a_0 = 4\), \(b_0 = 1\), \(a_n = n^2\), \(b_n = 2n+1\), ํ•ญ ์ˆ˜ 6์œผ๋กœ ์„ค์ •ํ•˜๋ฉด ๊ทธ ์œ ๋ช…ํ•œ pi์˜ ์—ฐ๋ถ„์ˆ˜๊ฐ€ ๋ฉ๋‹ˆ๋‹ค. \(n = 6\)์—์„œ ์•„๋ž˜์—์„œ ์œ„๋กœ ๊ณ„์‚ฐํ•ด ๋ณด๋ฉด: \(t\)๋Š” 0์—์„œ ์‹œ์ž‘ํ•˜๊ณ , \(k=6\)์—์„œ \(36/13 = 2.769231\), \(k=5\)์—์„œ \(25/13.769231 = 1.815651\), \(k=4\)์—์„œ \(1.479323\), \(k=3\)์—์„œ \(1.061407\), \(k=2\)์—์„œ \(0.659912\), \(k=1\)์—์„œ \(0.273156\)์ด ๋ฉ๋‹ˆ๋‹ค. ๊ทธ๋Ÿฌ๋ฉด $$f_6 = \frac{4}{1 + 0.273156} = 3.141962$$ ๋กœ, ์ด๋ฏธ \(\pi = 3.141593\)์— ์ƒ๋‹นํžˆ ๊ฐ€๊น์Šต๋‹ˆ๋‹ค. ํ•ญ ์ˆ˜๋ฅผ ๋Š˜๋ฆฌ๋ฉด ๋” ์ •๋ฐ€ํ•˜๊ฒŒ ์ˆ˜๋ ดํ•ฉ๋‹ˆ๋‹ค.

Sequence of convergents approaching the value pi on a number line
Successive convergents \(f_n\) oscillate and close in on the true value (here pi).

์ž์ฃผ ๋ฌป๋Š” ์งˆ๋ฌธ

์™œ ๊ฐ’์ด ์ƒ์ˆ˜์™€ ์ •ํ™•ํžˆ ์ผ์น˜ํ•˜์ง€ ์•Š๋‚˜์š”? ๊ฐ ๊ทผ์‚ฌ๊ฐ’์€ ์–ด๋””๊นŒ์ง€๋‚˜ ์ž˜๋ผ๋‚ธ ๊ทผ์‚ฌ์ผ ๋ฟ์ž…๋‹ˆ๋‹ค. ํ•ญ์ด ๋งŽ์„์ˆ˜๋ก ์ •ํ™•๋„๊ฐ€ ๋†’์•„์ง€์ง€๋งŒ, ๋ฐฐ์ •๋ฐ€๋„(double) ์—ฐ์‚ฐ์˜ ํ•œ๊ณ„๋กœ ์˜๋ฏธ ์žˆ๋Š” ์ž๋ฆฟ์ˆ˜๋Š” ์•ฝ 15์ž๋ฆฌ๊นŒ์ง€์ž…๋‹ˆ๋‹ค.

์—ฐ๋ถ„์ˆ˜๊ฐ€ ๋ฐœ์‚ฐํ•˜๋ฉด ์–ด๋–ป๊ฒŒ ๋˜๋‚˜์š”? ์ผ๋ถ€ ์‹์€ ์ง„๋™ํ•˜๊ฑฐ๋‚˜ ๋ฐœ์‚ฐํ•ฉ๋‹ˆ๋‹ค. ๊ทผ์‚ฌ๊ฐ’ ํ‘œ๋ฅผ ๋ณด๋ฉด์„œ ๊ฐ’์˜ ๋ณ€ํ™”๋ฅผ ๊ด€์ฐฐํ•˜๊ณ  ๊ทนํ•œ์ด ์กด์žฌํ•˜๋Š”์ง€ ํŒ๋‹จํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

๋˜ ์–ด๋–ค ์˜ˆ์ œ๋ฅผ ์‹œ๋„ํ•ด ๋ณผ ์ˆ˜ ์žˆ๋‚˜์š”? \(1/(e-1)\): \(a_0=1\), \(b_0=1\), \(a_n=n+1\), \(b_n=n+1\). ๋ฃจํŠธ2: \(a_0=2\), \(b_0=1\), \(a_n=1\), \(b_n=2\). ๋ฃจํŠธ2์˜ ์ž์—ฐ๋กœ๊ทธ: \(a_0=1\), \(b_0=3\), \(a_n=-n^2\), \(b_n=3(2n+1)\).

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