рдЪрддреБрд░реНрдШрд╛рдд рд╕рдореАрдХрд░рдг рд╕реЙрд▓реНрд╡рд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ \(ax^{4} + bx^{3} + cx^{2} + dx + e = 0\) рдХреЗ рд░реВрдк рд╡рд╛рд▓реЗ рдЪрддреБрд░реНрдШрд╛рдд (рдЪреМрдереА рдШрд╛рдд рдХреЗ) рдмрд╣реБрдкрдж рд╕рдореАрдХрд░рдг рдХреЗ рдЪрд╛рд░реЛрдВ рдореВрд▓ рдЬреНрдЮрд╛рдд рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдлреЗрд░рд╛рд░реА рд╡рд┐рдзрд┐ (Ferrari's method) рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ, рдЬреЛ рдПрдХ рд╕рдЯреАрдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рддрдХрдиреАрдХ рд╣реИ тАФ рдЗрд╕рд▓рд┐рдП рдпрд╣ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдФрд░ рд╕рдореНрдорд┐рд╢реНрд░ рджреЛрдиреЛрдВ рдкреНрд░рдХрд╛рд░ рдХреЗ рдореВрд▓ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХреЗ рдмрдЬрд╛рдп рдмрд┐рд▓реНрдХреБрд▓ рд╕рдЯреАрдХ рд░реВрдк рд╕реЗ рд▓реМрдЯрд╛рддрд╛ рд╣реИред рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЧреБрдгрд╛рдВрдХреЛрдВ рд╡рд╛рд▓реЗ рд╣рд░ рдЪрддреБрд░реНрдШрд╛рдд рд╕рдореАрдХрд░рдг рдХреЗ рд╕рдореНрдорд┐рд╢реНрд░ рддрд▓ рдореЗрдВ рдареАрдХ рдЪрд╛рд░ рдореВрд▓ рд╣реЛрддреЗ рд╣реИрдВ, рдФрд░ рдХреЛрдИ рднреА рд╕рдореНрдорд┐рд╢реНрд░ рдореВрд▓ рд╣рдореЗрд╢рд╛ рд╕рдВрдпреБрдЧреНрдореА рдЬреЛрдбрд╝реЛрдВ (conjugate pairs) рдореЗрдВ рдЖрддреЗ рд╣реИрдВред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкрд╛рдБрдЪреЛрдВ рдЧреБрдгрд╛рдВрдХ a, b, c, d рдФрд░ e рджрд░реНрдЬ рдХрд░реЗрдВред рдЕрдЧреНрд░рдгреА рдЧреБрдгрд╛рдВрдХ a рд╢реВрдиреНрдп рдирд╣реАрдВ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рд╡рд░рдирд╛ рд╕рдореАрдХрд░рдг рдЪрддреБрд░реНрдШрд╛рдд рдирд╣реАрдВ рд░рд╣реЗрдЧрд╛ред рдпрджрд┐ рдЖрдкрдХреЗ рдмрд╣реБрдкрдж рдореЗрдВ рдХреЛрдИ рдкрдж рдЕрдиреБрдкрд╕реНрдерд┐рдд рд╣реИ, рддреЛ рдЙрди рдЧреБрдгрд╛рдВрдХреЛрдВ рдХреЛ рд╢реВрдиреНрдп рд╣реА рд░рд╣рдиреЗ рджреЗрдВред рдЧрдгрдирд╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдмрдЯрди рджрдмрд╛рдПрдБ рдФрд░ x1 рд╕реЗ x4 рддрдХ рдХреЗ рдореВрд▓ рджреЗрдЦреЗрдВред рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдореВрд▓ рдореЗрдВ рдХреЛрдИ рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ рдирд╣реАрдВ рджрд┐рдЦрддрд╛; рд╕рдореНрдорд┐рд╢реНрд░ рдореВрд▓ \(p + qi\) рдХреЗ рд░реВрдк рдореЗрдВ рджрд┐рдЦрд╛рдП рдЬрд╛рддреЗ рд╣реИрдВред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ рд╕рдореАрдХрд░рдг рдХреЛ a рд╕реЗ рднрд╛рдЧ рджреЗрдХрд░ рдореЛрдирд┐рдХ (monic) рдмрдирд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди \(x = y - b/(4a)\) рд╕реЗ рдПрдХ рдЕрд╡рдирдд рдЪрддреБрд░реНрдШрд╛рдд (depressed quartic) \(y^{4} + p y^{2} + q y + r = 0\) рдкреНрд░рд╛рдкреНрдд рд╣реЛрддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдШрди (cubic) рдкрдж рдирд╣реАрдВ рд╣реЛрддрд╛ред рдЗрд╕рдХреЗ рдмрд╛рдж рдлреЗрд░рд╛рд░реА рд╡рд┐рдзрд┐ рдПрдХ рд░рд┐рдЬрд╝реЙрд▓реНрд╡реЗрдВрдЯ рдШрди рд╕рдореАрдХрд░рдг (resolvent cubic) рдХрд╛ рдПрдХ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдореВрд▓ \(m\) рдЬреНрдЮрд╛рдд рдХрд░рддреА рд╣реИ, рдЬрд┐рд╕рдХреА рдорджрдж рд╕реЗ рдЕрд╡рдирдд рдЪрддреБрд░реНрдШрд╛рдд рдХреЛ рджреЛ рджреНрд╡рд┐рдШрд╛рдд рдЧреБрдгрдирдЦрдВрдбреЛрдВ рдХреЗ рдЧреБрдгрдирдлрд▓ рдХреЗ рд░реВрдк рдореЗрдВ рд▓рд┐рдЦрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рджреНрд╡рд┐рдШрд╛рдд рдХреЛ рд╕рдореНрдорд┐рд╢реНрд░ рджреНрд╡рд┐рдШрд╛рдд рд╕реВрддреНрд░ рд╕реЗ рд╣рд▓ рдХрд░рдиреЗ рдкрд░ рдЪрд╛рд░ y-рдорд╛рди рдорд┐рд▓рддреЗ рд╣реИрдВ; рдлрд┐рд░ \(x = y - b/(4a)\) рд╕реЗ рд╡рд╛рдкрд╕ рдмрджрд▓рдиреЗ рдкрд░ рдЕрд╕рд▓реА рдореВрд▓ рдкреНрд░рд╛рдкреНрдд рд╣реЛрддреЗ рд╣реИрдВред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
$$x^{4} - 7x^{3} + 5x^{2} + 31x - 30 = 0$$ (\(a=1, b=-7, c=5, d=31, e=-30\)) рдХреЗ рд▓рд┐рдП рдмрд╣реБрдкрдж рдХрд╛ рдЧреБрдгрдирдЦрдВрдбрди \((x-1)(x+2)(x-3)(x-5)\) рд╣реЛрддрд╛ рд╣реИред рд╕реЙрд▓реНрд╡рд░ рд▓реМрдЯрд╛рддрд╛ рд╣реИ \(x_1 = -2\), \(x_2 = 1\), \(x_3 = 3\), \(x_4 = 5\) тАФ рд╕рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рдпрд╣ рд╕рдореНрдорд┐рд╢реНрд░ рдореВрд▓ рднреА рд╕рдВрднрд╛рд▓ рд╕рдХрддрд╛ рд╣реИ? рд╣рд╛рдБред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(x^{4} + 1 = 0\) рдХреЗ рд▓рд┐рдП рдпрд╣ \(-1\) рдХреЗ рдЪрд╛рд░ рд╕рдореНрдорд┐рд╢реНрд░ рдЪреМрдереЗ рдореВрд▓ рд▓реМрдЯрд╛рддрд╛ рд╣реИ, рд▓рдЧрднрдЧ \(\pm 0.7071 \pm 0.7071i\)ред
рдЕрдЧрд░ a рд╢реВрдиреНрдп рд╣реЛ рддреЛ? рддрдм рд╕рдореАрдХрд░рдг рдЪрддреБрд░реНрдШрд╛рдд рдирд╣реАрдВ рд░рд╣рддрд╛ рдФрд░ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рддреНрд░реБрдЯрд┐ рджрд┐рдЦрд╛рддрд╛ рд╣реИ; рдРрд╕реА рд╕реНрдерд┐рддрд┐ рдореЗрдВ рдШрди (cubic) рдпрд╛ рджреНрд╡рд┐рдШрд╛рдд (quadratic) рд╕реЙрд▓реНрд╡рд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВред
рдХреНрдпрд╛ рдпрд╣ рджреЛрд╣рд░реЗ (repeated) рдореВрд▓ рд╕рдВрднрд╛рд▓рддрд╛ рд╣реИ? рд╣рд╛рдБред \((x-2)^{4} = 0\) рдЬреИрд╕реЗ рд╕рдореАрдХрд░рдг рдХреЗ рд▓рд┐рдП рдпрд╣ \(x = 2\) рдХреЛ рдЪрд╛рд░ рдмрд╛рд░ рд▓реМрдЯрд╛рддрд╛ рд╣реИред