рдиреНрдпреВрдЯрди рд╡рд┐рдзрд┐ рдХреНрдпрд╛ рд╣реИ?
рдиреНрдпреВрдЯрди рд╡рд┐рдзрд┐ (рдЬрд┐рд╕реЗ рдиреНрдпреВрдЯрди-рд░рд╛рдлрд╕рди рд╡рд┐рдзрд┐ рднреА рдХрд╣рддреЗ рд╣реИрдВ) рдХрд┐рд╕реА рд╕рдореАрдХрд░рдг рдХрд╛ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдореВрд▓ рдЦреЛрдЬрдиреЗ рдХреА рд╕рдмрд╕реЗ рддреЗрдЬрд╝ рдФрд░ рд╕рд░реНрд╡рд╛рдзрд┐рдХ рдкреНрд░рдпреЛрдЧ рдореЗрдВ рдЖрдиреЗ рд╡рд╛рд▓реА рддрдХрдиреАрдХреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╣реИ тАФ рдпрд╛рдиреА рдРрд╕рд╛ рдорд╛рди x рдЬреНрдЮрд╛рдд рдХрд░рдирд╛ рдЬрд╣рд╛рдБ \(f(x) = 0\) рд╣реЛред рдпрд╣ рдХрд┐рд╕реА рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЕрдиреБрдорд╛рди рд╕реЗ рд╢реБрд░реВ рд╣реЛрдХрд░ рдмрд╛рд░-рдмрд╛рд░ рд╡рдХреНрд░ рдкрд░ рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ (tangent) рдЦреАрдВрдЪрддреА рд╣реИ рдФрд░ рдЬрд╣рд╛рдБ рд╡рд╣ рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ x-рдЕрдХреНрд╖ рдХреЛ рдХрд╛рдЯрддреА рд╣реИ, рдЙрд╕реЗ рдЕрдЧрд▓рд╛, рдФрд░ рдмреЗрд╣рддрд░ рдЕрдиреБрдорд╛рди рдорд╛рди рд▓реЗрддреА рд╣реИред рдЬрдм рдпрд╣ рд╡рд┐рдзрд┐ рдХрд╛рдо рдХрд░рддреА рд╣реИ, рддреЛ рдЗрд╕рдХрд╛ рдЕрднрд┐рд╕рд░рдг рджреНрд╡рд┐рдШрд╛рддреАрдп (quadratic) рд╣реЛрддрд╛ рд╣реИ: рд╣рд░ рдЪрд░рдг рдореЗрдВ рд╕рд╣реА рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд▓рдЧрднрдЧ рджреЛрдЧреБрдиреА рд╣реЛ рдЬрд╛рддреА рд╣реИред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЕрдкрдирд╛ рдлрд▓рди \(f(x)\) рджрд░реНрдЬ рдХрд░реЗрдВ рдФрд░ рдЪрд░ рдХреЗ рд░реВрдк рдореЗрдВ x рдХрд╛ рдкреНрд░рдпреЛрдЧ рдХрд░реЗрдВред рдЪреВрдБрдХрд┐ рдпрд╣ рдЯреВрд▓ рдЕрдкрдиреЗ рдЖрдк рдЕрд╡рдХрд▓рди (differentiation) рдирд╣реАрдВ рдХрд░рддрд╛, рдЗрд╕рд▓рд┐рдП рдЖрдкрдХреЛ рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рдЕрд╡рдХрд▓рдЬ \(f'(x)\) рд╕реНрд╡рдпрдВ рджреЗрдирд╛ рд╣реЛрдЧрд╛ред рдПрдХ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЕрдиреБрдорд╛рди \(x_0\) рдФрд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдХреА рдЕрдзрд┐рдХрддрдо рд╕рдВрдЦреНрдпрд╛ рдЪреБрдиреЗрдВред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЖрдкрдХреЛ рдЕрдиреБрдорд╛рдирд┐рдд рдореВрд▓, рдЙрд╕ рдореВрд▓ рдкрд░ f рдХрд╛ рдорд╛рди (рдЬреЛ рдЕрднрд┐рд╕рд░рдг рдХреА рдкреБрд╖реНрдЯрд┐ рдХреЗ рд▓рд┐рдП рд╢реВрдиреНрдп рдХреЗ рдЖрд╕рдкрд╛рд╕ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП), рдХрд┐рддрдиреА рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпрд╛рдБ рд▓рдЧреАрдВ рдФрд░ рдПрдХ рдЪрд░рдг-рджрд░-рдЪрд░рдг рдЗрддрд┐рд╣рд╛рд╕ рддрд╛рд▓рд┐рдХрд╛ рд▓реМрдЯрд╛рддрд╛ рд╣реИред рд╕рдорд░реНрдерд┐рдд рд╕рд┐рдВрдЯреИрдХреНрд╕: рдШрд╛рддреЛрдВ рдХреЗ рд▓рд┐рдП + - * / ^, рдХреЛрд╖реНрдардХ, рддрдерд╛ рдлрд▓рди sin, cos, tan, asin, acos, atan, exp, ln, log, sqrt, abs рдФрд░ рд╕реНрдерд┐рд░рд╛рдВрдХ pi рдФрд░ eред рддреНрд░рд┐рдХреЛрдгрдорд┐рддреАрдп рдлрд▓рди рд░реЗрдбрд┐рдпрди рдореЗрдВ рдХрд╛рдо рдХрд░рддреЗ рд╣реИрдВред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдЕрджреНрдпрддрди рдирд┐рдпрдо рд╣реИ $$x_{n+1} = x_{n} - \frac{f(x_{n})}{f'(x_{n})}$$ рдкреНрд░рддреНрдпреЗрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╡рд░реНрддрдорд╛рди рдмрд┐рдВрджреБ рдкрд░ рдлрд▓рди рдФрд░ рдЙрд╕рдХреА рдврд▓рд╛рди рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рдХрд░рддреА рд╣реИ рдФрд░ рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рдХреЗ x-рдЕрдВрддрдГрдЦрдВрдб рдХреА рдУрд░ рдПрдХ рдХрджрдо рдмрдврд╝рд╛рддреА рд╣реИред рдпрджрд┐ рдХрд┐рд╕реА рдЪрд░рдг рдкрд░ рдЕрд╡рдХрд▓рдЬ рд╢реВрдиреНрдп рд╣реЛ рдЬрд╛рдП, рддреЛ рд╕реНрдкрд░реНрд╢рд░реЗрдЦрд╛ рдХреНрд╖реИрддрд┐рдЬ (horizontal) рд╣реЛ рдЬрд╛рддреА рд╣реИ рдФрд░ рд╡рд┐рдзрд┐ рд╢реВрдиреНрдп рд╕реЗ рднрд╛рдЧ (division-by-zero) рдХреА рддреНрд░реБрдЯрд┐ рдХреЗ рд╕рд╛рде рд╡рд┐рдлрд▓ рд╣реЛ рдЬрд╛рддреА рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдорд╛рди рд▓реАрдЬрд┐рдП \(f(x) = x - \cos(x)\), рдЬрд┐рд╕рдХрд╛ рдЕрд╡рдХрд▓рдЬ \(f'(x) = 1 + \sin(x)\) рд╣реИ, рдФрд░ \(x_0 = 1\)ред рдЪрд░рдг 1 рджреЗрддрд╛ рд╣реИ $$x_1 = 1 - \frac{1 - \cos 1}{1 + \sin 1} = 0.75034$$ рдЪрд░рдг 2 рджреЗрддрд╛ рд╣реИ \(0.73912\), рдЪрд░рдг 3 рджреЗрддрд╛ рд╣реИ \(0.73909\), рдФрд░ рдХреБрдЫ рд╣реА рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдореЗрдВ рдпрд╣ \(x = 0.7390851332151607\) рдкрд░ рд╕реНрдерд┐рд░ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ тАФ рдпрд╣реА рдкреНрд░рд╕рд┐рджреНрдз "рдбреЙрдЯреА рд╕рдВрдЦреНрдпрд╛" (Dottie number) рд╣реИ, рдЬрд╣рд╛рдБ \(x = \cos x\) рд╣реЛрддрд╛ рд╣реИред рдЙрд╕ рдмрд┐рдВрджреБ рдкрд░ \(f(x)\) рд▓рдЧрднрдЧ рд╢реВрдиреНрдп рд╣реЛрддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдореБрдЭреЗ рдЕрд╡рдХрд▓рдЬ рд╕реНрд╡рдпрдВ рдХреНрдпреЛрдВ рджреЗрдирд╛ рдкрдбрд╝рддрд╛ рд╣реИ? рдпрд╣ рдЯреВрд▓ рд╡реНрдпрдВрдЬрдХреЛрдВ (expressions) рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рддреЛ рдХрд░рддрд╛ рд╣реИ, рдкрд░ рд╕рд╛рдВрдХреЗрддрд┐рдХ рдЕрд╡рдХрд▓рди (symbolic differentiation) рдирд╣реАрдВ рдХрд░рддрд╛, рдЗрд╕рд▓рд┐рдП \(f'(x)\) рдЖрдкрдХреЛ рд╕реНрд╡рдпрдВ рджрд░реНрдЬ рдХрд░рдирд╛ рд╣реЛрддрд╛ рд╣реИред рдЧрд▓рдд рдЕрд╡рдХрд▓рдЬ рджреЗрдиреЗ рдкрд░ рдЧрд▓рдд рдореВрд▓ рдорд┐рд▓реЗрдЧрд╛ рдпрд╛ рд╡рд┐рдзрд┐ рдЕрдкрд╕рд░рд┐рдд (diverge) рд╣реЛ рдЬрд╛рдПрдЧреАред
рдпрд╣ рдЕрднрд┐рд╕рд░рд┐рдд рдХреНрдпреЛрдВ рдирд╣реАрдВ рд╣реБрдИ? рдЦрд░рд╛рдм рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЕрдиреБрдорд╛рди, рдирддрд┐ рдкрд░рд┐рд╡рд░реНрддрди рдмрд┐рдВрджреБрдУрдВ (inflection points) рдХреЗ рдкрд╛рд╕, рдпрд╛ рдЬрдм рдХреЛрдИ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдореВрд▓ рдореМрдЬреВрдж рд╣реА рди рд╣реЛ тАФ рдРрд╕реА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рдиреНрдпреВрдЯрди рд╡рд┐рдзрд┐ рдЕрдкрд╕рд░рд┐рдд рдпрд╛ рджреЛрд▓рди (oscillate) рдХрд░ рд╕рдХрддреА рд╣реИред рдХреЛрдИ рджреВрд╕рд░рд╛ \(x_0\) рдЖрдЬрд╝рдорд╛рдПрдБ рдпрд╛ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реАрдорд╛ рдмрдврд╝рд╛рдПрдБред
рдПрдХ рд╕реЗ рдЕрдзрд┐рдХ рдореВрд▓ рд╣реЛрдиреЗ рдкрд░ рдХреМрди-рд╕рд╛ рдореВрд▓ рдорд┐рд▓реЗрдЧрд╛? рдЬреЛ рдореВрд▓ рдорд┐рд▓рддрд╛ рд╣реИ рд╡рд╣ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЕрдиреБрдорд╛рди \(x_0\) рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░рддрд╛ рд╣реИ; рдЗрд╕рд▓рд┐рдП рдЬрд┐рд╕ рдореВрд▓ рдХреЛ рдЖрдк рдкрд╛рдирд╛ рдЪрд╛рд╣рддреЗ рд╣реИрдВ, рдЙрд╕рдХреЗ рдкрд╛рд╕ рдХрд╛ рдЕрдиреБрдорд╛рди рдЪреБрдиреЗрдВред