For a complex number z=a+biz equals a plus b i π§=π+ππ , the square root formula is:a+bi=Β±(a2+b2+a2+iβ sgn(b)a2+b2βa2)the square root of a plus b i end-root equals plus or minus open paren the square root of the fraction with numerator the square root of a squared plus b squared end-root plus a and denominator 2 end-fraction end-root plus i center dot sgn open paren b close paren the square root of the fraction with numerator the square root of a squared plus b squared end-root minus a and denominator 2 end-fraction end-root close paren
π+ππβ=Β±ββββπ2+π2β+π2+πβ sgn(π)π2+π2ββπ2β βββ
.
This formula provides two square roots, which are negations of each other. The sgn(b)sgn open paren b close paren
sgn(π)
term is the sign function, which ensures the correct sign for the imaginary part of the root:
-
If b>0b is greater than 0
π>0
, then sgn(b)=1sgn open paren b close paren equals 1
sgn(π)=1
, and the real and imaginary parts of the root have the same sign.
-
If b<0b is less than 0
π<0
, then sgn(b)=-1sgn open paren b close paren equals negative 1
sgn(π)=β1
, and the real and imaginary parts have opposite signs.
Derivation of the formula
To understand where this formula comes from, we derive it using basic algebraic principles. Let's assume the square root of a+bia plus b i
π+ππ
is another complex number x+yix plus y i
π₯+π¦π
.a+bi=x+yithe square root of a plus b i end-root equals x plus y i
π+ππβ=π₯+π¦π
-
**Square both sides:**a+bi=(x+yi)2a plus b i equals open paren x plus y i close paren squared
π+ππ=(π₯+π¦π)2
a+bi=(x2βy2)+2xyia plus b i equals open paren x squared minus y squared close paren plus 2 x y i
π+ππ=(π₯2βπ¦2)+2π₯π¦π
-
**Equate the real and imaginary parts:**By comparing the real and imaginary parts of the equation, we get a system of two equations with two variables, xx
π₯
and yy
π¦
:
-
a=x2βy2a equals x squared minus y squared
π=π₯2βπ¦2
(Equation 1)
-
b=2xyb equals 2 x y
π=2π₯π¦
(Equation 2)
-
-
**Use the modulus to find another relationship:**We can also find the modulus (magnitude) of the square root. The modulus of z=a+biz equals a plus b i
π§=π+ππ
is |z|=a2+b2the absolute value of z end-absolute-value equals the square root of a squared plus b squared end-root
|π§|=π2+π2β
. The modulus of the square root is |z|the square root of the absolute value of z end-absolute-value end-root
|π§|β
.|x+yi|2=|a+bi|the absolute value of x plus y i end-absolute-value squared equals the absolute value of a plus b i end-absolute-value
|π₯+π¦π|2=|π+ππ|
x2+y2=a2+b2x squared plus y squared equals the square root of a squared plus b squared end-root
π₯2+π¦2=π2+π2β
(Equation 3)
-
Solve the system of equations:
-
Add Equation 1 and Equation 3:(x2βy2)+(x2+y2)=a+a2+b2open paren x squared minus y squared close paren plus open paren x squared plus y squared close paren equals a plus the square root of a squared plus b squared end-root
(π₯2βπ¦2)+(π₯2+π¦2)=π+π2+π2β
2x2=a+a2+b22 x squared equals a plus the square root of a squared plus b squared end-root
2π₯2=π+π2+π2β
x2=a2+b2+a2x squared equals the fraction with numerator the square root of a squared plus b squared end-root plus a and denominator 2 end-fraction
π₯2=π2+π2β+π2
x=Β±a2+b2+a2x equals plus or minus the square root of the fraction with numerator the square root of a squared plus b squared end-root plus a and denominator 2 end-fraction end-root
π₯=Β±π2+π2β+π2
-
Subtract Equation 1 from Equation 3:(x2+y2)β(x2βy2)=a2+b2βaopen paren x squared plus y squared close paren minus open paren x squared minus y squared close paren equals the square root of a squared plus b squared end-root minus a
(π₯2+π¦2)β(π₯2βπ¦2)=π2+π2ββπ
2y2=a2+b2βa2 y squared equals the square root of a squared plus b squared end-root minus a
2π¦2=π2+π2ββπ
y2=a2+b2βa2y squared equals the fraction with numerator the square root of a squared plus b squared end-root minus a and denominator 2 end-fraction
π¦2=π2+π2ββπ2
y=Β±a2+b2βa2y equals plus or minus the square root of the fraction with numerator the square root of a squared plus b squared end-root minus a and denominator 2 end-fraction end-root
π¦=Β±π2+π2ββπ2
-
-
**Determine the signs of xx
π₯
and yy
π¦
:**The original equation b=2xyb equals 2 x y
π=2π₯π¦
dictates the signs of xx
π₯
and yy
π¦
.
-
If bb
π
is positive, xx
π₯
and yy
π¦
must have the same sign (both positive or both negative).
-
If bb
π
is negative, xx
π₯
and yy
π¦
must have opposite signs.The sgn(b)sgn open paren b close paren
sgn(π)
term handles this automatically by being positive when b>0b is greater than 0
π>0
and negative when b<0b is less than 0
π<0
.
-
-
**Combine the results:**Combining the expressions for xx
π₯
and yy
π¦
along with the sign rule gives the final formula for the two square roots:a+bi=Β±(a2+b2+a2+iβ sgn(b)a2+b2βa2)the square root of a plus b i end-root equals plus or minus open paren the square root of the fraction with numerator the square root of a squared plus b squared end-root plus a and denominator 2 end-fraction end-root plus i center dot sgn open paren b close paren the square root of the fraction with numerator the square root of a squared plus b squared end-root minus a and denominator 2 end-fraction end-root close paren
π+ππβ=Β±ββββπ2+π2β+π2+πβ sgn(π)π2+π2ββπ2β βββ
An alternative method: The polar form
Finding the square root of a complex number can be much simpler using the polar form, which represents a complex number by its modulus (distance from origin) and argument (angle).
-
**Convert to polar form:**A complex number z=a+biz equals a plus b i
π§=π+ππ
can be written as z=r(cosΞΈ+isinΞΈ)z equals r open paren cosine theta plus i sine theta close paren
π§=π(cosπ+πsinπ)
, where:
-
r=a2+b2r equals the square root of a squared plus b squared end-root
π=π2+π2β
is the modulus.
-
ΞΈ=arctan(b/a)theta equals arc tangent open paren b / a close paren
π=arctan(π/π)
is the argument (adjusted for the correct quadrant).
-
-
**Apply De Moivre's Theorem for roots:**For a complex number z=r(cosΞΈ+isinΞΈ)z equals r open paren cosine theta plus i sine theta close paren
π§=π(cosπ+πsinπ)
, its square roots are given by:z=z1/2=r1/2(cos(ΞΈ+2kΟ2)+isin(ΞΈ+2kΟ2))the square root of z end-root equals z raised to the 1 / 2 power equals r raised to the 1 / 2 power open paren cosine open paren the fraction with numerator theta plus 2 k pi and denominator 2 end-fraction close paren plus i sine open paren the fraction with numerator theta plus 2 k pi and denominator 2 end-fraction close paren close paren
π§β=π§1/2=π1/2cosπ+2ππ2+πsinπ+2ππ2
for k=0,1k equals 0 comma 1
π=0,1
.
-
Find the two roots:
-
For k=0k equals 0
π=0
, the first root is z1=r(cos(ΞΈ2)+isin(ΞΈ2))z sub 1 equals the square root of r end-root open paren cosine open paren the fraction with numerator theta and denominator 2 end-fraction close paren plus i sine open paren the fraction with numerator theta and denominator 2 end-fraction close paren close paren
π§1=πβcosπ2+πsinπ2
.
-
For k=1k equals 1
π=1
, the second root is z2=r(cos(ΞΈ+2Ο2)+isin(ΞΈ+2Ο2))=r(cos(ΞΈ2+Ο)+isin(ΞΈ2+Ο))z sub 2 equals the square root of r end-root open paren cosine open paren the fraction with numerator theta plus 2 pi and denominator 2 end-fraction close paren plus i sine open paren the fraction with numerator theta plus 2 pi and denominator 2 end-fraction close paren close paren equals the square root of r end-root open paren cosine open paren the fraction with numerator theta and denominator 2 end-fraction plus pi close paren plus i sine open paren the fraction with numerator theta and denominator 2 end-fraction plus pi close paren close paren
π§2=πβcosπ+2π2+πsinπ+2π2=πβcosπ2+π+πsinπ2+π
.
Since cos(Ο+Ο)=βcos(Ο)cosine open paren phi plus pi close paren equals negative cosine open paren phi close paren
cos(π+π)=βcos(π)
and sin(Ο+Ο)=βsin(Ο)sine open paren phi plus pi close paren equals negative sine open paren phi close paren
sin(π+π)=βsin(π)
, the second root is simply the negative of the first root: z2=βz1z sub 2 equals negative z sub 1
π§2=βπ§1
.
-
Example: Find the square root of 3+4i3 plus 4 i
3+4π
We can solve this using both methods.
Method 1: Using the Cartesian formula
-
Given a=3a equals 3
π=3
and b=4b equals 4
π=4
.
-
Calculate the modulus: a2+b2=32+42=9+16=25=5the square root of a squared plus b squared end-root equals the square root of 3 squared plus 4 squared end-root equals the square root of 9 plus 16 end-root equals the square root of 25 end-root equals 5
π2+π2β=32+42β=9+16β=25β=5
.
-
Since b>0b is greater than 0
π>0
, we use the positive sign for both the real and imaginary parts of the formula.
-
**Real part:**a2+b2+a2=5+32=82=4=2the square root of the fraction with numerator the square root of a squared plus b squared end-root plus a and denominator 2 end-fraction end-root equals the square root of the fraction with numerator 5 plus 3 and denominator 2 end-fraction end-root equals the square root of eight-halves end-root equals the square root of 4 end-root equals 2
π2+π2β+π2=5+32=82=4β=2
.
-
**Imaginary part:**a2+b2βa2=5β32=22=1=1the square root of the fraction with numerator the square root of a squared plus b squared end-root minus a and denominator 2 end-fraction end-root equals the square root of the fraction with numerator 5 minus 3 and denominator 2 end-fraction end-root equals the square root of two-halves end-root equals the square root of 1 end-root equals 1
π2+π2ββπ2=5β32=22=1β=1
.
-
The two square roots are Β±(2+i)plus or minus open paren 2 plus i close paren
Β±(2+π)
.
Method 2: Using the Polar form
-
**Step 1: Convert to polar form.**r=32+42=5r equals the square root of 3 squared plus 4 squared end-root equals 5
π=32+42β=5
.ΞΈ=arctan(4/3)β53.13βtheta equals arc tangent open paren 4 / 3 close paren is approximately equal to 53.13 raised to the composed with power
π=arctan(4/3)β53.13β
.So 3+4i=5(cos(53.13β)+isin(53.13β))3 plus 4 i equals 5 open paren cosine open paren 53.13 raised to the composed with power close paren plus i sine open paren 53.13 raised to the composed with power close paren close paren
3+4π=5(cos(53.13β)+πsin(53.13β))
.
-
**Step 2: Apply De Moivre's Theorem.**3+4i=5(cos(53.13β+360βk2)+isin(53.13β+360βk2))the square root of 3 plus 4 i end-root equals the square root of 5 end-root open paren cosine open paren the fraction with numerator 53.13 raised to the composed with power plus 360 raised to the composed with power k and denominator 2 end-fraction close paren plus i sine open paren the fraction with numerator 53.13 raised to the composed with power plus 360 raised to the composed with power k and denominator 2 end-fraction close paren close paren
3+4πβ=5βcos53.13β+360βπ2+πsin53.13β+360βπ2
.
-
Step 3: Find the roots for k=0 and k=1.
-
For k=0k equals 0
π=0
: 5(cos(26.565β)+isin(26.565β))β5(0.894+0.447i)β2(0.894)+2(0.447)iβ1.788+0.894ithe square root of 5 end-root open paren cosine open paren 26.565 raised to the composed with power close paren plus i sine open paren 26.565 raised to the composed with power close paren close paren is approximately equal to the square root of 5 end-root open paren 0.894 plus 0.447 i close paren is approximately equal to 2 open paren 0.894 close paren plus 2 open paren 0.447 close paren i is approximately equal to 1.788 plus 0.894 i
5β(cos(26.565β)+πsin(26.565β))β5β(0.894+0.447π)β2(0.894)+2(0.447)πβ1.788+0.894π
.
-
This seems different, but that's because 2+i2 plus i
2+π
is the simplified form.
-
Check: (2+i)2=4+4i+i2=4+4iβ1=3+4iopen paren 2 plus i close paren squared equals 4 plus 4 i plus i squared equals 4 plus 4 i minus 1 equals 3 plus 4 i
(2+π)2=4+4π+π2=4+4πβ1=3+4π
. Our answer is correct.
The small discrepancy comes from rounding the angle. The Cartesian formula is often more precise for direct calculation.
-