рд╕рдореНрдорд┐рд╢реНрд░ рд╕рдВрдЦреНрдпрд╛ рд╡рд░реНрдЧрдореВрд▓ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдЯреВрд▓ a + bi рдХреЗ рд░реВрдк рдореЗрдВ рд▓рд┐рдЦреА рдХрд┐рд╕реА рднреА рд╕рдореНрдорд┐рд╢реНрд░ рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рд╡рд░реНрдЧрдореВрд▓ рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ a рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ рдФрд░ b рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ рд╣реИред рд╣рд░ рдЕрд╢реВрдиреНрдп рд╕рдореНрдорд┐рд╢реНрд░ рд╕рдВрдЦреНрдпрд╛ рдХреЗ рдареАрдХ рджреЛ рд╡рд░реНрдЧрдореВрд▓ рд╣реЛрддреЗ рд╣реИрдВ, рдЬреЛ рдПрдХ-рджреВрд╕рд░реЗ рдХреЗ рдЛрдгрд╛рддреНрдордХ рд╣реЛрддреЗ рд╣реИрдВред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдореБрдЦреНрдп рдореВрд▓ (principal root) рджреЗрддрд╛ рд╣реИ рдФрд░ рдмрддрд╛рддрд╛ рд╣реИ рдХрд┐ рджреВрд╕рд░рд╛ рдореВрд▓ рдмрд╕ рдЗрд╕реА рдХрд╛ рдЛрдгрд╛рддреНрдордХ рд░реВрдк рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЕрдкрдиреА рд╕рдореНрдорд┐рд╢реНрд░ рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ (a) рдФрд░ рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ (b) рдбрд╛рд▓реЗрдВ, рдФрд░ рдкрд░рд┐рдгрд╛рдо рддреБрд░рдВрдд рджреЗрдЦреЗрдВред рдпрджрд┐ рд╕рдВрдЦреНрдпрд╛ рдХреЗрд╡рд▓ рдПрдХ рдЛрдгрд╛рддреНрдордХ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рд╣реИ, рдЬреИрд╕реЗ -4, рддреЛ рдмрд╕ a = -4 рдФрд░ b = 0 рд░рдЦреЗрдВред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЗрдирдкреБрдЯ рдХрд╛ рдорд╛рдкрд╛рдВрдХ рддрдерд╛ рдкрд░рд┐рдгрд╛рдореА рдореВрд▓ рдХрд╛ рдорд╛рдкрд╛рдВрдХ рднреА рджрд┐рдЦрд╛рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдпрджрд┐ \(z = a + bi\) рд╣реЛ рдФрд░ рдЗрд╕рдХрд╛ рдорд╛рдкрд╛рдВрдХ \(|z| = \sqrt{a^2 + b^2}\) рд╣реЛ, рддреЛ рдореБрдЦреНрдп рд╡рд░реНрдЧрдореВрд▓ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ:
$$\sqrt{z} = \sqrt{\frac{|z| + a}{2}} + i\cdot\operatorname{sgn}(b)\cdot\sqrt{\frac{|z| - a}{2}}$$
b рдХрд╛ рдЪрд┐рд╣реНрди рд╣реА рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ рдХрд╛ рдЪрд┐рд╣реНрди рддрдп рдХрд░рддрд╛ рд╣реИред рдЬрдм b = 0 рдФрд░ a тЙе 0 рд╣реЛ, рддреЛ рдореВрд▓ рдкреВрд░реНрдгрддрдГ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╣реЛрддрд╛ рд╣реИ; рдФрд░ рдЬрдм b = 0 рддрдерд╛ a < 0 рд╣реЛ, рддреЛ рдореВрд▓ рдкреВрд░реНрдгрддрдГ рдХрд╛рд▓реНрдкрдирд┐рдХ рд╣реЛрддрд╛ рд╣реИред рдореВрд▓ рдХрд╛ рдорд╛рдкрд╛рдВрдХ \(\sqrt{|z|}\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
рдорд╛рди рд▓реАрдЬрд┐рдП \(z = 3 + 4i\)ред рддрдм \(|z| = \sqrt{9 + 16} = 5\)ред рдореВрд▓ рдХрд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ \(= \sqrt{\frac{5 + 3}{2}} = \sqrt{4} = 2\)ред рдЪреВрдБрдХрд┐ b > 0 рд╣реИ, рдЗрд╕рд▓рд┐рдП рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ \(= +\sqrt{\frac{5 - 3}{2}} = \sqrt{1} = 1\)ред рдЕрддрдГ $$\sqrt{3 + 4i} = 2 + i$$ (рдФрд░ рджреВрд╕рд░рд╛ рдореВрд▓ \(-2 - i\) рд╣реИ)ред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рджреЛ рд╡рд░реНрдЧрдореВрд▓ рдХреНрдпреЛрдВ рд╣реЛрддреЗ рд╣реИрдВ? рд╡рд░реНрдЧ рдХрд░рдиреЗ рдкрд░ рдЪрд┐рд╣реНрди рдХрд╛ рдЕрд╕рд░ рдЦрддреНрдо рд╣реЛ рдЬрд╛рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдпрджрд┐ \(w^2 = z\) рд╣реИ рддреЛ \((-w)^2 = z\) рднреА рд╣реЛрдЧрд╛ред рджреЛрдиреЛрдВ рдореВрд▓ рд╣рдореЗрд╢рд╛ рд╕рд┐рд░реНрдлрд╝ рдЪрд┐рд╣реНрди рдореЗрдВ рдЕрд▓рдЧ рд╣реЛрддреЗ рд╣реИрдВред
рдореБрдЦреНрдп рдореВрд▓ (principal root) рдХреНрдпрд╛ рд╣реИ? рдкрд░рдВрдкрд░рд╛ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдпрд╣ рд╡рд╣ рдореВрд▓ рд╣реИ рдЬрд┐рд╕рдХрд╛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ рдЛрдгреЗрддрд░ (non-negative) рд╣реЛ тАФ рдФрд░ рдЬрдм рд╡рд╛рд╕реНрддрд╡рд┐рдХ рднрд╛рдЧ рд╢реВрдиреНрдп рд╣реЛ, рддреЛ рдЬрд┐рд╕рдХрд╛ рдХрд╛рд▓реНрдкрдирд┐рдХ рднрд╛рдЧ рдЛрдгреЗрддрд░ рд╣реЛред
рдХреНрдпрд╛ рдореИрдВ рдЛрдгрд╛рддреНрдордХ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рдХрд╛ рдореВрд▓ рдирд┐рдХрд╛рд▓ рд╕рдХрддрд╛ рд╣реВрдБ? рд╣рд╛рдБред b = 0 рдФрд░ a рдХреЛ рдЛрдгрд╛рддреНрдордХ рд░рдЦреЗрдВ; рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(\sqrt{-4} = 2i\)ред