рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдЙрдкрдХрд░рдг \(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 рдкрджреЛрдВ рдХреА рд╕реАрдорд╛ рдХреЗ рдмрд╛рджред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдбрд┐рдлрд╝реЙрд▓реНрдЯ рдорд╛рди \(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 рдкрджреЛрдВ рдкрд░ рдХреНрдпреЛрдВ рд░реБрдХ рдЬрд╛рддрд╛ рд╣реИ? рдпрд╣ рд╕реБрд░рдХреНрд╖рд╛ рд╕реАрдорд╛ рд╣реИред рдЕрдЧрд░ рддрдм рддрдХ рднрд┐рдиреНрди рдЕрднрд┐рд╕рд░рд┐рдд рдирд╣реАрдВ рд╣реЛрддрд╛, рддреЛ рдЕрдВрддрд┐рдо рдЕрднрд┐рд╕рд╛рд░реА рдПрдХ рдЪреЗрддрд╛рд╡рдиреА рдХреЗ рд╕рд╛рде рд▓реМрдЯрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред