рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдЯреВрд▓ рдЧрдгрд┐рддреАрдп рд╕реНрдерд┐рд░рд╛рдВрдХ рдкрд╛рдИ (╧А) рдХреЛ рдЕрдВрдХрдЧрдгрд┐рддреАрдп-рдЬреНрдпрд╛рдорд┐рддреАрдп рдорд╛рдзреНрдп (AGM) рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╡рд┐рдзрд┐рдпреЛрдВ рд╕реЗ рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИред AGM-рдЖрдзрд╛рд░рд┐рдд рд╡рд┐рдзрд┐рдпрд╛рдБ рдкрд╛рд░рдВрдкрд░рд┐рдХ рд╢реНрд░реЗрдгреА (series) рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рдХрд╣реАрдВ рддреЗрдЬрд╝реА рд╕реЗ рдЕрднрд┐рд╕рд░рд┐рдд рд╣реЛрддреА рд╣реИрдВ: рджреНрд╡рд┐рдШрд╛рддреАрдп рдЧреЙрд╕-рд▓реАрдЬреЗрдВрдбреНрд░ рд╡рд┐рдзрд┐ рдХреЗ рд╣рд░ рдЪрд░рдг рдореЗрдВ рд╕рд╣реА рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рд▓рдЧрднрдЧ рджреЛрдЧреБрдиреА рд╣реЛ рдЬрд╛рддреА рд╣реИ, рдмреЛрд░реНрд╡рд┐рди рдХреА рдЪрддреБрд░реНрдШрд╛рддреАрдп рд╡рд┐рдзрд┐ рдореЗрдВ рдЪрд╛рд░ рдЧреБрдирд╛, рдФрд░ рдирд╡рдШрд╛рддреАрдп (nonic) рд░реВрдк рдореЗрдВ рдиреМ рдЧреБрдирд╛ред рдпреЗ рдорд╛рдирдХ рдкреНрд░рдХрд╛рд╢рд┐рдд рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдПрд▓реНрдЧреЛрд░рд┐рдереНрдо рд╣реИрдВ рдЬреЛ рджреБрдирд┐рдпрд╛ рднрд░ рдореЗрдВ рдПрдХ рдЬреИрд╕реЗ рдХрд╛рдо рдХрд░рддреЗ рд╣реИрдВ тАФ рдпрд╣ рд╢реБрджреНрдз рдЧрдгрд┐рдд рд╣реИ, рдЗрд╕рдореЗрдВ рди рдХреЛрдИ рдЗрдХрд╛рдИ рд╣реИ рдФрд░ рди рд╣реА рдХрд┐рд╕реА рджреЗрд╢ рдХреЗ рдирд┐рдпрдо рд▓рд╛рдЧреВ рд╣реЛрддреЗ рд╣реИрдВред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдПрдХ рдЧрдгрдирд╛ рд╕реВрддреНрд░ рдЪреБрдиреЗрдВ (рджреНрд╡рд┐рдШрд╛рддреАрдп рдЧреЙрд╕-рд▓реАрдЬреЗрдВрдбреНрд░ рдбрд┐рдлрд╝реЙрд▓реНрдЯ рд╣реИ рдФрд░ рдЕрдзрд┐рдХрд╛рдВрд╢ рдЙрджреНрджреЗрд╢реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИ), рдЕрдкрдиреА рдЗрдЪреНрдЫрд┐рдд рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЪреБрдиреЗрдВ, рдФрд░ рдЪрд╛рд╣реЗрдВ рддреЛ рдЕрдзрд┐рдХрддрдо рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпрд╛рдБ рдХреА рд╕реАрдорд╛ рддрдп рдХрд░реЗрдВ (100 рдХрд╛рдлрд╝реА рдЬрд╝реНрдпрд╛рджрд╛ рд╣реИ тАФ рд▓рдЧрднрдЧ 6 рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдореЗрдВ рд╣реА 50 рдЕрдВрдХ рддрдХ рдкрд╣реБрдБрдЪ рдЬрд╛рддреЗ рд╣реИрдВ)ред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рддрдм рддрдХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХрд░рддрд╛ рд╣реИ рдЬрдм рддрдХ рдХрд╛рд░реНрдпрд╢реАрд▓ рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рдкрд░ рдЕрдиреБрдорд╛рди рдмрджрд▓рдирд╛ рдмрдВрдж рди рдХрд░ рджреЗ, рдлрд┐рд░ рдкрд╛рдИ рдХрд╛ рдорд╛рди, рдЙрдкрдпреЛрдЧ рдХреА рдЧрдИ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛, рдФрд░ рдЕрдВрддрд┐рдо рдЪрд░рдг рдореЗрдВ рдЖрдП рдмрджрд▓рд╛рд╡ рдХрд╛ рдЖрдХрд╛рд░ рдмрддрд╛рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдЧреЙрд╕-рд▓реАрдЬреЗрдВрдбреНрд░ (рд╕рд▓рд╛рдорд┐рди-рдмреНрд░реЗрдВрдЯ, 1976) рд╡рд┐рдзрд┐ рдХреА рд╢реБрд░реБрдЖрдд рдЗрди рдорд╛рдиреЛрдВ рд╕реЗ рд╣реЛрддреА рд╣реИ: \(a_0 = 1\), \(b_0 = 1/\sqrt{2}\), \(t_0 = 1/4\), \(p_0 = 1\)ред рд╣рд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдореЗрдВ рдирдпрд╛ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдорд╛рдзреНрдп \(a\) рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬреНрдпрд╛рдорд┐рддреАрдп рдорд╛рдзреНрдп \(b = \sqrt{a \cdot b}\) рддрдп рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, \(t\) рдореЗрдВ рд╕реЗ \(p \cdot (a - a_{new})^2\) рдШрдЯрд╛рдХрд░ рдЙрд╕реЗ рдЕрджреНрдпрддрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ \(p\) рдХреЛ рджреЛрдЧреБрдирд╛ рдХрд░ рджрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд╡рд░реНрддрдорд╛рди рдЕрдиреБрдорд╛рди рд╣реЛрддрд╛ рд╣реИ $$\pi = \frac{(a + b)^2}{4t}.$$ рдЪреВрдБрдХрд┐ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдФрд░ рдЬреНрдпрд╛рдорд┐рддреАрдп рдорд╛рдзреНрдп рдПрдХ рдЙрднрдпрдирд┐рд╖реНрда AGM рдорд╛рди рдХреА рдУрд░ рджреНрд╡рд┐рдШрд╛рддреАрдп рд░реВрдк рд╕реЗ рдЕрднрд┐рд╕рд░рд┐рдд рд╣реЛрддреЗ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП рд╣рд░ рдЪрд░рдг рдореЗрдВ рддреНрд░реБрдЯрд┐ рдХрд╛ рд╡рд░реНрдЧ рдмрди рдЬрд╛рддрд╛ рд╣реИ (рдпрд╛рдиреА рд╡рд╣ рдмрд╣реБрдд рддреЗрдЬрд╝реА рд╕реЗ рдШрдЯрддреА рд╣реИ)ред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдКрдкрд░ рджрд┐рдП рдЧрдП рдорд╛рдиреЛрдВ рд╕реЗ рджреНрд╡рд┐рдШрд╛рддреАрдп рд╡рд┐рдзрд┐ рд╢реБрд░реВ рдХрд░реЗрдВ: рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ 1 рд▓рдЧрднрдЧ \(3.140579\) рджреЗрддреА рд╣реИ (3 рд╕рд╣реА рдЕрдВрдХ), рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ 2 рджреЗрддреА рд╣реИ \(3.14159264\) (8 рдЕрдВрдХ), рдФрд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ 3 рджреЗрддреА рд╣реИ \(3.141592653589793\) тАФ рдпрд╛рдиреА IEEE рдбрдмрд▓ рдЕрдВрдХрдЧрдгрд┐рдд рдореЗрдВ рдЙрдкрд▓рдмреНрдз рдкреВрд░реА рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ред рдЪреМрдереЗ рдЪрд░рдг рдореЗрдВ рдХреЛрдИ рдмрджрд▓рд╛рд╡ рдирд╣реАрдВ рдЖрддрд╛, рдЗрд╕рд▓рд┐рдП рд▓реВрдк 3 рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпреЛрдВ рдХреЗ рдмрд╛рдж рд░реБрдХ рдЬрд╛рддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдорд╛рди рд▓рдЧрднрдЧ 15 рдЕрдВрдХреЛрдВ рдкрд░ рд╣реА рд╕реАрдорд┐рдд рдХреНрдпреЛрдВ рд╣реИ? рдпрд╣ рд╕рдВрд╕реНрдХрд░рдг IEEE рдбрдмрд▓-рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рдлрд╝реНрд▓реЛрдЯрд┐рдВрдЧ рдкреЙрдЗрдВрдЯ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рд▓рдЧрднрдЧ 15-16 рд╕рд╛рд░реНрдердХ рдЕрдВрдХ рд╣реА рд░рдЦ рдкрд╛рддрд╛ рд╣реИред рдбреНрд░реЙрдкрдбрд╛рдЙрди рдореЗрдВ рджрд┐рдП рдЧрдП рдЬрд╝реНрдпрд╛рджрд╛ рдЕрдВрдХ рдпрд╣ рджрд░реНрд╢рд╛рддреЗ рд╣реИрдВ рдХрд┐ рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд AGM рд╡рд┐рдзрд┐ рдордирдорд╛рдиреА-рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ (arbitrary-precision) рдЕрдВрдХрдЧрдгрд┐рдд рдХреЗ рд╕рд╛рде рдХрд┐рддрдиреА рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рддрдХ рдкрд╣реБрдБрдЪрдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рд╣реИред
рдХреНрдпрд╛ рддреАрдиреЛрдВ рд╡рд┐рдзрд┐рдпрд╛рдБ рдЕрд▓рдЧ-рдЕрд▓рдЧ рдЙрддреНрддрд░ рджреЗрддреА рд╣реИрдВ? рдирд╣реАрдВ тАФ рдпреЗ рд╕рднреА рдкрд╛рдИ рдХреЗ рдПрдХ рд╣реА рдорд╛рди рдкрд░ рдЕрднрд┐рд╕рд░рд┐рдд рд╣реЛрддреА рд╣реИрдВред рдлрд╝рд░реНрдХ рд╕рд┐рд░реНрдлрд╝ рдЗрддрдирд╛ рд╣реИ рдХрд┐ рд╡реЗ рдХрд┐рддрдиреА рддреЗрдЬрд╝реА рд╕реЗ рд╡рд╣рд╛рдБ рдкрд╣реБрдБрдЪрддреА рд╣реИрдВ (рдХрд┐рддрдиреА рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐рдпрд╛рдБ рд▓рдЧрддреА рд╣реИрдВ)ред
"рдЕрдВрддрд┐рдо рдЪрд░рдг рдХрд╛ рдмрджрд▓рд╛рд╡" рдХреНрдпрд╛ рд╣реИ? рдпрд╣ рдЖрдЦрд╝рд┐рд░реА рджреЛ рдЕрдиреБрдорд╛рдиреЛрдВ рдХреЗ рдмреАрдЪ рдХреЗ рдЕрдВрддрд░ рдХрд╛ рдкрд░рд┐рдорд╛рдг рд╣реИ тАФ рдпрд╣ рдЬрд▓реНрджреА рд╕реЗ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХрд┐рддрдиреА рдордЬрд╝рдмреВрддреА рд╕реЗ рдЕрднрд┐рд╕рд░рд┐рдд рд╣реЛ рдЪреБрдХреА рд╣реИред