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

๊ณ„์‚ฐ ์ž…๋ ฅ

์ˆ˜์‹์—๋Š” x, n, + - * / ^ sqrt exp ln log sin cos tan pi e๋ฅผ ์‚ฌ์šฉํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์˜ˆ์‹œ sqrt(x): b0=1, a_n=x-1, b_n=2.

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

f(x)
2.23606797749979
converged at n = 40 (14 significant digits requested)
n ๋ถ€๋ถ„ ๊ทผ์‚ฌ๊ฐ’ f_n(x)
1 3
2 2
3 2.3333333333333335
4 2.2
5 2.25
6 2.230769230769231
7 2.238095238095238
8 2.235294117647059
9 2.2363636363636363
10 2.235955056179775
11 2.236111111111111
12 2.236051502145923
13 2.236074270557029
14 2.236065573770492
15 2.236068895643364
16 2.2360676268002506
17 2.236068111455108
18 2.236067926333413
19 2.2360679970436066
20 2.236067970034716
21 2.2360679803511943
22 2.23606797641065
23 2.236067977915804
24 2.2360679773408862
25 2.2360679775604853
26 2.236067977476606
27 2.236067977508645
28 2.236067977496407
29 2.2360679775010817
30 2.2360679774992964

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

์ด ๋„๊ตฌ๋Š” \(f(x) = b_0 + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{a_3}{b_3 + \cdots}}}\) ํ˜•ํƒœ์˜ ์ผ๋ฐ˜ํ™” ์—ฐ๋ถ„์ˆ˜(generalized continued fraction)๋ฅผ ๊ณ„์‚ฐํ•ฉ๋‹ˆ๋‹ค. ๊ฐ€์žฅ ํฐ ํŠน์ง•์€ ์ฒซ ํ•ญ \(b_0\), n๋ฒˆ์งธ ๋ถ„์ž \(a_n\), n๋ฒˆ์งธ ๋ถ„๋ชจ \(b_n\)์„ ๋ณ€์ˆ˜ \(x\)์™€ ํ•ญ ๋ฒˆํ˜ธ \(n\)์— ์˜์กดํ•˜๋Š” ์ˆ˜์‹์œผ๋กœ ์ง์ ‘ ์ž…๋ ฅํ•  ์ˆ˜ ์žˆ๋‹ค๋Š” ์ ์ž…๋‹ˆ๋‹ค. ์ž…๋ ฅํ•œ \(x\) ๊ฐ’์„ ๋Œ€์ž…ํ•œ ๋’ค \(n = 1, 2, 3, \ldots\) ์ˆœ์„œ๋กœ ๊ฐ ํ•ญ์„ ์ƒ์„ฑํ•˜๊ณ , ์ˆ˜๋ ด๊ฐ’ \(f(x)\)์™€ ํ•จ๊ป˜ ๋ถ€๋ถ„ ๊ทผ์‚ฌ๊ฐ’ \(f_n(x)\)์„ ํ‘œ๋กœ ์ •๋ฆฌํ•ด ๋ณด์—ฌ์ค๋‹ˆ๋‹ค. ์ˆœ์ˆ˜ํ•œ ์ˆ˜์น˜ํ•ด์„ ๋„๊ตฌ์ด๋ฏ€๋กœ ํŠน์ • ๊ตญ๊ฐ€์˜ ๊ทœ์ •์ด๋‚˜ ๋‹จ์œ„์™€๋Š” ๋ฌด๊ด€ํ•˜๊ฒŒ ์–ด๋””์„œ๋‚˜ ๋™์ผํ•˜๊ฒŒ ์ ์šฉ๋ฉ๋‹ˆ๋‹ค.

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

์„ธ ๊ฐœ์˜ ์ˆ˜์‹๊ณผ \(x\) ๊ฐ’์„ ์ž…๋ ฅํ•˜์„ธ์š”. ๊ฐ ์ˆ˜์‹์—๋Š” ๊ธฐํ˜ธ \(x\)์™€ \(n\), ์—ฐ์‚ฐ์ž + - * / ^(๊ฑฐ๋“ญ์ œ๊ณฑ), ํ•จ์ˆ˜ sqrt, exp, ln, log, sin, cos, tan, ๊ทธ๋ฆฌ๊ณ  ์ƒ์ˆ˜ pi์™€ e๋ฅผ ์‚ฌ์šฉํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์œ ํšจ์ˆซ์ž ์ž๋ฆฟ์ˆ˜๋ฅผ ์„ ํƒํ•˜๋ฉด ๊ฒฐ๊ณผ ํ‘œ์‹œ ๋ฐฉ์‹์„ ์กฐ์ ˆํ•  ์ˆ˜ ์žˆ๋Š”๋ฐ, ์ด๋Š” ์ˆ˜๋ ด ํ—ˆ์šฉ์˜ค์ฐจ์™€ ํ‘œ์‹œ ํ˜•์‹์—๋งŒ ์˜ํ–ฅ์„ ์ค„ ๋ฟ ์‹ค์ œ ๊ณ„์‚ฐ ์ž์ฒด๋Š” ๋ฐ”๋€Œ์ง€ ์•Š์Šต๋‹ˆ๋‹ค. ๊ฒฐ๊ณผ ์ฐฝ์—๋Š” \(f(x)\) ๊ฐ’๊ณผ ์ˆ˜๋ ด์ด ์ด๋ฃจ์–ด์ง„ ํ•ญ ๋ฒˆํ˜ธ \(n\)์ด ํ‘œ์‹œ๋˜๋ฉฐ, ํ‘œ์—์„œ๋Š” ์ดˆ๊ธฐ ๊ทผ์‚ฌ๊ฐ’๋“ค์ด ์ ์ฐจ ํ•œ ๊ฐ’์œผ๋กœ ๋ชจ์—ฌ๋“œ๋Š” ๊ณผ์ •์„ ํ™•์ธํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

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

๊ทผ์‚ฌ๊ฐ’์€ ์ „์ง„ ๊ธฐ๋ณธ ์ ํ™”์‹(forward fundamental recurrence)์œผ๋กœ ๊ณ„์‚ฐ๋ฉ๋‹ˆ๋‹ค. \(A_{-1} = 1\), \(A_0 = b_0\), \(B_{-1} = 0\), \(B_0 = 1\)์—์„œ ์ถœ๋ฐœํ•˜์—ฌ, ๊ฐ ๋‹จ๊ณ„๋งˆ๋‹ค $$A_n = b_n A_{n-1} + a_n A_{n-2}, \quad B_n = b_n B_{n-1} + a_n B_{n-2}$$๋กœ ๊ฐฑ์‹ ํ•˜๊ณ , n๋ฒˆ์งธ ๊ทผ์‚ฌ๊ฐ’์€ \(f_n = A_n / B_n\)์œผ๋กœ ๊ตฌํ•ฉ๋‹ˆ๋‹ค. ์—ฐ์†ํ•œ ๋‘ ๊ทผ์‚ฌ๊ฐ’์ด ์š”์ฒญํ•œ ์ •๋ฐ€๋„๊นŒ์ง€ ์ผ์น˜ํ•˜๊ฑฐ๋‚˜, ํ•ญ์ด 1000๊ฐœ์— ๋„๋‹ฌํ•˜๋ฉด ๋ฐ˜๋ณต์„ ๋ฉˆ์ถฅ๋‹ˆ๋‹ค.

ํ•ญ b0, a1, b1, a2, b2๋ฅผ ๊ฐ€์ง„ ์ผ๋ฐ˜ํ™” ์—ฐ๋ถ„์ˆ˜์˜ ์ค‘์ฒฉ๋œ ๊ณ„๋‹จ ๋‹ค์ด์–ด๊ทธ๋žจ
์ผ๋ฐ˜ํ™” ์—ฐ๋ถ„์ˆ˜ \(f(x) = b_0 + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cdots}}\)์˜ ์ค‘์ฒฉ ๊ตฌ์กฐ.

์˜ˆ์ œ ํ’€์ด

๊ธฐ๋ณธ๊ฐ’์ธ \(b_0 = 1\), \(a_n = x - 1\), \(b_n = 2\)๋ฅผ ๊ทธ๋Œ€๋กœ ๋‘๊ณ  \(x = 5\)๋กœ ๊ณ„์‚ฐํ•ด ๋ด…์‹œ๋‹ค. ์ด๊ฒƒ์€ \(\sqrt{x}\)์— ๋Œ€ํ•œ ๊ณ ์ „์ ์ธ ์—ฐ๋ถ„์ˆ˜์ž…๋‹ˆ๋‹ค: $$\sqrt{x} = 1 + \cfrac{x-1}{2 + \cfrac{x-1}{2 + \cdots}}.$$ \(x = 5\)์ผ ๋•Œ ๋ชจ๋“  ๋ถ„์ž๋Š” 4, ๋ชจ๋“  ๋ถ„๋ชจ๋Š” 2๊ฐ€ ๋ฉ๋‹ˆ๋‹ค. ์ดˆ๊ธฐ ๊ทผ์‚ฌ๊ฐ’์€ \(f_1 = 3\), \(f_2 = 2\), \(f_3 = 2.3333\ldots\), \(f_4 = 2.2\)์ด๋ฉฐ, ๋ชจ๋‘ \(\sqrt{5} = 2.2360679774997896\)์œผ๋กœ ์ˆ˜๋ ดํ•ฉ๋‹ˆ๋‹ค. ๊ณ ์ •์  \(t = 2 + \frac{4}{t}\)๋Š” \(t = 1 + \sqrt{5}\)๋ฅผ ๋งŒ์กฑํ•˜๋ฏ€๋กœ \(f = 1 + \frac{4}{1+\sqrt{5}} = \sqrt{5}\)๊ฐ€ ๋ฉ๋‹ˆ๋‹ค.

์—ฐ์†๋œ ์ˆ˜๋ ด๊ฐ’์ด ์ง„๋™ํ•˜๋ฉฐ ์ˆ˜ํ‰ ๊ทนํ•œ์„ ์œผ๋กœ ์ˆ˜๋ ดํ•˜๋Š” ์„  ๊ทธ๋ž˜ํ”„
๋ถ€๋ถ„ ์ˆ˜๋ ด๊ฐ’์ด ๊ทนํ•œ์˜ ์œ„์•„๋ž˜๋กœ ์ง€๊ทธ์žฌ๊ทธํ•˜๋ฉฐ ์ˆ˜๋ ด๊ฐ’์œผ๋กœ ์ขํ˜€์ง„๋‹ค.

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

\(a_n\)๊ณผ \(b_n\)์ด ํ•ญ ๋ฒˆํ˜ธ \(n\)์— ์˜์กดํ•ด๋„ ๋˜๋‚˜์š”? ๋ฉ๋‹ˆ๋‹ค. ์˜ˆ๋ฅผ ๋“ค์–ด ํ•จ์ˆ˜ \(\frac{x}{e^x - 1}\)์€ \(b_0 = 1 - \frac{x}{2}\), \(a_n = \frac{x^2}{4}\), \(b_n = 2n + 1\)๋กœ ํ‘œํ˜„๋˜๋ฉฐ, ์—ฌ๊ธฐ์„œ \(b_n\)์€ \(n\)์ด ์ปค์งˆ์ˆ˜๋ก ํ•จ๊ป˜ ์ฆ๊ฐ€ํ•ฉ๋‹ˆ๋‹ค.

๋ถ„๋ชจ๊ฐ€ 0์ด ๋˜๋ฉด ์–ด๋–ป๊ฒŒ ๋˜๋‚˜์š”? ๊ณ„์‚ฐ๊ธฐ๋Š” ์•„์ฃผ ์ž‘์€ ์ž…์‹ค๋ก (epsilon)์„ ๋Œ€์ž…ํ•ด ๊ณ„์‚ฐ์„ ์ด์–ด๊ฐ€๋ฉฐ, ์ด๋Š” ์ˆ˜์ • ๋ Œ์ธ (Lentz) ์•Œ๊ณ ๋ฆฌ์ฆ˜๊ณผ ๋™์ผํ•œ ๋ฐฉ์‹์ž…๋‹ˆ๋‹ค. ๋๊นŒ์ง€ ์ˆ˜๋ ดํ•˜์ง€ ์•Š์œผ๋ฉด ๋ณ„๋„๋กœ ์•Œ๋ ค ๋“œ๋ฆฝ๋‹ˆ๋‹ค.

์™œ 1000๊ฐœ ํ•ญ์—์„œ ๋ฉˆ์ถ”๋‚˜์š”? ์•ˆ์ „์„ ์œ„ํ•œ ์ƒํ•œ๊ฐ’์ž…๋‹ˆ๋‹ค. ๊ทธ๋•Œ๊นŒ์ง€๋„ ์ˆ˜๋ ดํ•˜์ง€ ์•Š์œผ๋ฉด ๋งˆ์ง€๋ง‰ ๊ทผ์‚ฌ๊ฐ’์„ ๊ฒฝ๊ณ ์™€ ํ•จ๊ป˜ ๋ฐ˜ํ™˜ํ•ฉ๋‹ˆ๋‹ค.

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