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\) рдкреНрд░рддреАрдХ, рд╕рдВрдХреНрд░рд┐рдпрдХ \(+\) \(-\) \(*\) \(/\) \(\hat{}\) (рдШрд╛рдд), рддрдерд╛ рдлрд╝рдВрдХреНрд╢рди 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}$$ рдФрд░ $$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 + 4/t\) рдХрд╛ рд╣рд▓ \(t = 1 + \sqrt{5}\) рд╣реИ, рдЬрд┐рд╕рд╕реЗ \(f = 1 + \cfrac{4}{1+\sqrt{5}} = \sqrt{5}\) рдорд┐рд▓рддрд╛ рд╣реИред

рдХреНрд░рдорд┐рдХ рдЕрднрд┐рд╕рд╛рд░рд┐рдпреЛрдВ рдХрд╛ рд░реЗрдЦрд╛-рдЪрд┐рддреНрд░ рдЬреЛ рджреЛрд▓рди рдХрд░рддреЗ рд╣реБрдП рдХреНрд╖реИрддрд┐рдЬ рд╕реАрдорд╛-рд░реЗрдЦрд╛ рдХреА рдУрд░ рдЕрднрд┐рд╕рд░рд┐рдд рд╣реЛрддреЗ рд╣реИрдВ
рдЖрдВрд╢рд┐рдХ рдЕрднрд┐рд╕рд╛рд░реА рд╕реАрдорд╛ рдХреЗ рдКрдкрд░-рдиреАрдЪреЗ рдЬрд╝рд┐рдЧрдЬрд╝реИрдЧ рдХрд░рддреЗ рд╣реБрдП рдЕрднрд┐рд╕рд░рд┐рдд рдорд╛рди рдХреА рдУрд░ рд╕рд┐рдордЯрддреЗ рд╣реИрдВред

рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди

рдХреНрдпрд╛ \(a_n\) рдФрд░ \(b_n\) рд╕реВрдЪрдХрд╛рдВрдХ \(n\) рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ? рд╣рд╛рдБред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП рдлрд╝рдВрдХреНрд╢рди \(x/(e^x - 1)\) рдореЗрдВ \(b_0 = 1 - x/2\), \(a_n = x^2/4\), \(b_n = 2n + 1\) рд╣реЛрддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ \(b_n\), \(n\) рдХреЗ рд╕рд╛рде рдмрдврд╝рддрд╛ рд╣реИред

рдЕрдЧрд░ рдХреЛрдИ рд╣рд░ рд╢реВрдиреНрдп рд╣реЛ рдЬрд╛рдП рддреЛ? рдореВрд▓реНрдпрд╛рдВрдХрдирдХрд░реНрддрд╛ рдЖрдЧреЗ рдмрдврд╝рддреЗ рд░рд╣рдиреЗ рдХреЗ рд▓рд┐рдП рдПрдХ рдмреЗрд╣рдж рдЫреЛрдЯрд╛ рдПрдкреНрд╕рд┐рд▓реЙрди рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░ рджреЗрддрд╛ рд╣реИ, рдЬреЛ рд╕рдВрд╢реЛрдзрд┐рдд рд▓реЗрдВрдЯреНрдЬрд╝ (Lentz) рд╡рд┐рдзрд┐ рдХреА рддрд░рд╣ рд╣реИ; рд▓рдЧрд╛рддрд╛рд░ рдЕрднрд┐рд╕рд░рдг рди рд╣реЛрдиреЗ рдкрд░ рдЪреЗрддрд╛рд╡рдиреА рджреА рдЬрд╛рддреА рд╣реИред

рдпрд╣ 1000 рдкрджреЛрдВ рдкрд░ рдХреНрдпреЛрдВ рд░реБрдХ рдЬрд╛рддрд╛ рд╣реИ? рдпрд╣ рд╕реБрд░рдХреНрд╖рд╛ рд╕реАрдорд╛ рд╣реИред рдЕрдЧрд░ рддрдм рддрдХ рднрд┐рдиреНрди рдЕрднрд┐рд╕рд░рд┐рдд рдирд╣реАрдВ рд╣реЛрддрд╛, рддреЛ рдЕрдВрддрд┐рдо рдЕрднрд┐рд╕рд╛рд░реА рдПрдХ рдЪреЗрддрд╛рд╡рдиреА рдХреЗ рд╕рд╛рде рд▓реМрдЯрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: