If I'm given a complex number (say $9 + 4i$), how do I calculate its square root?
-
26$\begingroup$ The answers of using de Moivre's formula are correct but it may also be instructive to try and find the square roots directly using $(a+bi)^2 = 9 + 4i$ (say) and solve for $a$ and $b$ or even just use the quadratic formula directly, which will give you an appreciation for why we use de Moivre's formula. $\endgroup$– user2055Jun 9, 2011 at 19:38
12 Answers
This is a three parts post. The first part was written by user Did; it provides a formula and some brief comments on it. The second part was written by user Hans Lundmark; it provides a geometric way to understand the formula. The third part was written by user t.b.; it provides some explanatory pictures and some brief comments on them.
(Did) If one is able to compute the square root of every positive real number and the modulus of every complex number, a nice formula for the principal square root $\sqrt{z}$ of $z$ is $$ \sqrt{z}=\sqrt{r}\frac{z+r}{|z+r|},\quad r=|z|. $$ Try to prove it and you will see, it works...
The principal square root is the one with a positive real part. The only case when the formula fails is when there is no principal square root, that is, when $z$ is a negative real number.
No sine or cosine is involved, one does not even need to solve second degree polynomials, one just uses squares and square roots. For example, for $z=9+4\mathrm{i}$, $$ \sqrt{z}=\frac{9+\sqrt{97}+4\mathrm{i}}{\sqrt{2(9+\sqrt{97})}}. $$
(HL) There's a geometric way of understanding the formula in Did's answer. To find a square root of a given complex number $z$, you first want to find a complex number $w$ which has half the argument of $z$ (since squaring doubles the argument). Compute $r=|z|$ and let $w = z+r$; thus $w$ lies $r$ steps to the right of $z$ in the complex plane. Draw a picture of this, and it should be clear that the points $0$, $z$ and $w$ form an isosceles triangle, from which one sees that the line from $0$ to $w$ bisects the angle between the real axis and the line from $0$ to $z$. In other words, $w$ has half the argument of $z$, as desired. Now it only remains to multiply $w$ by some suitable real constant $c$ so that $|cw|^2 = |z|$; then we will have $(cw)^2=z$ and hence $cw$ is a square root of $z$. Obviously, $c=\pm\sqrt{|z|}/|w|$ will do the trick, so this method only fails when $w$ happens to be zero, i.e., if $z$ is a negative real number.
(t.b.) Following a suggestion of Did, I take the liberty of adding two pictures I originally posted as a separate answer, but it seemed better to have them here:
Here's the picture for $z = 9 + 4i$:
Remark: The construction of the square roots is geometrically exact. That is to say, they were constructed using straightedge and compass only. I decided to hide the construction, as it seems rather obfuscating the intended illustration than adding to it. Nevertheless, I suggest taking a moment and thinking about how you would achieve the geometric construction.
Added (t.b.)
Here's the construction I used: Intersect the circle around $z/2$ through $z$ with the tangent to the unit circle orthogonal to $z$. Then $h^2 = (|z|-1)\cdot 1$ and thus the red circle has radius $\sqrt{|z|}$. It remains to intersect the red circle with the angular bisector of the $x$-axis and $z$ which I constructed using the process Hans described in his part of the post.
The pictures were created using GeoGebra.
-
$\begingroup$ @Hans: Yes. This is a question where a picture would be useful (if only I knew how to draw pictures on MSE (and if I had more time on my hands)). Thanks. $\endgroup$– DidJun 10, 2011 at 6:14
-
2$\begingroup$ Hans: Following a suggestion of @Didier I added two pictures I originally posted as a separate answer. It seemed more reasonable to have them in one answer. I hope you don't mind. $\endgroup$– t.b.Jun 10, 2011 at 11:44
-
$\begingroup$ Since you can't see it on my deleted post, here's @Didier's original comment: "Theo and @Hans: What do you think about the idea of making one single post from our three complementary answers? (Re reputation, if that matters, either one of you may sign the resulting post, I really do not care.)" I refrain from adding Didier's answer in since it seems a bit too aggressive an edit to me, but I'd be strongly in favor of doing it. $\endgroup$– t.b.Jun 10, 2011 at 11:53
-
1$\begingroup$ @Hans: very true. To reduce confusion, I deleted my comment :) $\endgroup$– t.b.Jun 11, 2011 at 14:49
-
2$\begingroup$ @legends2k Right, the formula gets even simpler... Thanks for noticing this. Since you checked the formula, I cancelled the mention "unless I am mistaken". $\endgroup$– DidJan 6, 2014 at 14:53
The square root is not a well defined function on complex numbers. Because of the fundamental theorem of algebra, you will always have two different square roots for a given number. If you want to find out the possible values, the easiest way is probably to go with De Moivre's formula, that is, converting your number into the form $r(\cos(\theta) + i \sin(\theta))$, and then you will get $(r(\cos(\theta)+ i \sin(\theta)))^{1/2} = ±\sqrt{r}(\cos(\theta/2) + i \sin(\theta/2))$.
-
51$\begingroup$ The "two different square roots" issue applies to real numbers as well; it's just that in that case there's a consensus on which one is the "principal" square root. $\endgroup$– DanJun 9, 2011 at 23:49
-
4$\begingroup$ @user1374 There is also a consensus about which square root of a complex number is the principal square root--at least for almost every complex number... See my answer. $\endgroup$– DidJun 10, 2011 at 5:55
-
15$\begingroup$ Oh, and I am afraid I must object to the assertion that going with De Moivre's formula would be the easiest way. $\endgroup$– DidJun 10, 2011 at 6:35
-
1$\begingroup$ @Did What's the rational basis for having positive square roots as the principal square roots instead of negative square roots? $\endgroup$ May 22, 2013 at 13:47
-
2$\begingroup$ The reason for preferring positive square roots of positive real numbers is practical. For instance, the distance formula in any finite number of dimensions is a positive square root - namely, for two points, the distance apart is the square root of the sum of the squares of the respective differences of coordinates. It also ensures that the square-root function is the simple function we all know, and so we may and do speak naturally of THE square root of a number a simpler idea than otherwise... In fact, I can think of no argument for why one would want to do anything different than this. $\endgroup$ Jun 2, 2020 at 23:25
Here is a direct algebraic answer.
Suppose that $z=c+di$, and we want to find $\sqrt{z}=a+bi$ lying in the first two quadrants. So what are $a$ and $b$?
Precisely we have $$a=\sqrt{\frac{c+\sqrt{c^{2}+d^{2}}}{2}}$$ and $$b=\frac{d}{|d|}\sqrt{\frac{-c+\sqrt{c^{2}+d^{2}}}{2}}.$$ (The factor of $\frac{d}{|d|}$ is used so that $b$ has the same sign as $d$) To find this, we can use brute force and the quadratic formula. Squaring, we would need to solve $$a^2-b^2 +2abi=c+di.$$ This gives two equations and two unknowns (separate into real and imaginary parts), which can then be solved by substitutions and the quadratic formula.
I hope that helps!
-
1$\begingroup$ Better add and say that you want d/|d|=1 for d=0, right? $\endgroup$– user4414Mar 28, 2017 at 11:49
-
-
3$\begingroup$ This is actually a very useful formula that people don’t use often enough. Universally, this can be written as √(A+B)=(√(A+√(A²-B²))+sgn(B)√(A-√(A²-B²)))/√(2). This can be used to take complex square roots as well as determine if a number, such as 6+2√(5), has a simple square root. √(6+2√(5)) can now be rewritten as √(5)+1. Some numbers, like 2√(5)+7, don’t have a simple square root and return something lengthy like in this case (√(7+√(29))+√(7-√(29))/√(2). $\endgroup$ Aug 12, 2019 at 22:50
-
$\begingroup$ For fast computation, you can use b=d/(2a), which even works for positive real numbers (but not negative reals). This with the formula for a give the fastest algorithm I've found for computing. $\endgroup$ Mar 18, 2021 at 17:26
-
1$\begingroup$ @MostowskiCollapse what do you mean by that? Isn't it impossible for $d=0$? SO how can $\frac{d}{|d|} =1$? $\endgroup$ Apr 11, 2021 at 13:26
You can also do following (technique often advised at school) :
Let's write $z² = 9 + 4i$ with $z = a + bi$. The goal is to find $z$
Thus we have $(a + bi)² = 9 + 4i$ and if you expend we get $a²+ 2abi - b² = 9 + 4i$
If you identify the real and imaginary parts, you obtain :
$a²-b² = 9$ (1)
and
$2ab= 4$ (2)
Now, as $z² = 9 + 4i$, the modulus of $z²$ and $9 + 4i$ are equal so we can write :
$a²+b² = \sqrt{9²+4²}$
$a²+b² = \sqrt{97}$ (3)
Now find $a$ and $b$ with the the equations (1) , (2) and (3) :
(1) + (3) $\Leftrightarrow 2a² = 9+\sqrt{97} $
so $a = \sqrt{\frac{1}{2}(9+\sqrt{97})} $ or $a = - \sqrt{\frac{1}{2}(9+\sqrt{97})} $
With equation (2) and the previous result you can now find $b$ :
$2ab= 4$
$b= 2/a$
so $b = 2\sqrt{\frac{2}{9+\sqrt{97}}} $ or $b = - 2\sqrt{\frac{2}{9+\sqrt{97}}} $
The answer is : $z = \sqrt{\frac{1}{2}(9+\sqrt{97})} + 2i\sqrt{\frac{2}{9+\sqrt{97}}} $ or $z = - \sqrt{\frac{1}{2}(9+\sqrt{97})} - 2i\sqrt{\frac{2}{9+\sqrt{97}}} $
-
$\begingroup$ Why is the modulus of z = a^2 + b^2 instead of sqr( a^4 + b^4 + 4*a^2*b^2 )? $\endgroup$– MirteFeb 14, 2017 at 13:55
-
1$\begingroup$ Shouldn't you get 4 roots for a=+- and b=+-. How did you eliminate two choices?? $\endgroup$ Aug 12, 2018 at 16:42
-
1$\begingroup$ @HarshitJoshi: As you have $2ab=4>0$, you know $a$ and $b$ have the same sign, whence only two square roots, which arre opposite . $\endgroup$– BernardNov 14, 2020 at 14:11
-
$\begingroup$ @Mirte modulus is square root of $a^2+b^2$, or $\sqrt{a^2+b^2}$. $\endgroup$– jitenFeb 1, 2022 at 2:26
One way is to convert the complex number into polar form. For $z = re^{i\theta}$, $z^2 = r^2 e^{i(2\theta)}$. So to take the square root, you'll find $z^{1/2} = \pm \sqrt{r} e^{i\theta/2}$.
Added: Just as with the nonnegative real numbers, there are two complex numbers whose square will be $z$. So there are two square roots (except when $z = 0$).
Claim 1. Suppose $b\neq 0$. Then the two roots to the equation $x^2 = a +bi$ are: $$\pm\frac{\sqrt{2}}{2}\left(\sqrt{\sqrt{a^{2}+b^{2}}+a}+\mathrm{i}\frac{b}{\left|b\right|}\sqrt{\sqrt{a^{2}+b^{2}}-a}\right).$$
Claim 2. Suppose $b>0$. Then:
(a) The two roots to the equation $x^2 = a +bi$ are $$x = \pm\frac{\sqrt{2}}{2}\left(\sqrt{\sqrt{a^{2}+b^{2}}+a}+\textrm{i}\sqrt{\sqrt{a^{2}+b^{2}}-a}\right). $$
(b) And the two roots to the equation $x^2 = a -bi$ are $$x=\pm\frac{\sqrt{2}}{2}\left(\sqrt{a+\sqrt{a^{2}-b^{2}}}-\textrm{i}\sqrt{a-\sqrt{a^{2}-b^{2}}}\right).$$
Proof of Claim 1. \begin{alignat*}{1} & \left[\pm\frac{\sqrt{2}}{2}\left(\sqrt{\sqrt{a^{2}+b^{2}}+a}+\mathrm{i}\frac{b}{\left|b\right|}\sqrt{\sqrt{a^{2}+b^{2}}-a}\right)\right]^{2}\\ =\ & \frac{1}{2}\left[\sqrt{a^{2}+b^{2}}+a-\left(\sqrt{a^{2}+b^{2}}-a\right)+2\mathrm{i}\frac{b}{\left|b\right|}\sqrt{\left(\sqrt{a^{2}+b^{2}}+a\right)\left(\sqrt{a^{2}+b^{2}}-a\right)}\right]\\ =\ & \frac{1}{2}\left(2a+2\mathrm{i}\frac{b}{\left|b\right|}\sqrt{a^{2}+b^{2}-a^{2}}\right)=a+\mathrm{i}\frac{b}{\left|b\right|}\left|b\right|=a+\mathrm{i}b. \end{alignat*}
Proof of Claim 2. \begin{alignat*}{1} \textbf{(a)} \ & \left[\pm\frac{\sqrt{2}}{2}\left(\sqrt{\sqrt{a^{2}+b^{2}}+a}+\mathrm{i}\sqrt{\sqrt{a^{2}+b^{2}}-a}\right)\right]^{2}\\ = \ & \frac{1}{2}\left[\sqrt{a^{2}+b^{2}}+a-\left(\sqrt{a^{2}+b^{2}}-a\right)+2\mathrm{i}\sqrt{\left(\sqrt{a^{2}+b^{2}}+a\right)\left(\sqrt{a^{2}+b^{2}}-a\right)}\right]\\ = \ & \frac{1}{2}\left(2a+2\mathrm{i}\sqrt{a^{2}+b^{2}-a^{2}}\right)=a+\mathrm{i}\sqrt{b^{2}}=a+\mathrm{i}b. \end{alignat*}
\begin{alignat*}{1} \textbf{(b)} \ & \left[\pm\frac{\sqrt{2}}{2}\left(\sqrt{a+\sqrt{a^{2}-b^{2}}}-\mathrm{i}\sqrt{a-\sqrt{a^{2}-b^{2}}}\right)\right]^{2}\\ = \ & \frac{1}{2}\left[a+\sqrt{a^{2}-b^{2}}+a-\sqrt{a^{2}+b^{2}}-2\mathrm{i}\sqrt{\left(a+\sqrt{a^{2}-b^{2}}\right)\left(a-\sqrt{a^{2}-b^{2}}\right)}\right]\\ = \ & \frac{1}{2}\left[2a-2\mathrm{i}\sqrt{a^{2}-\left(a^{2}-b^{2}\right)}\right]=a-\mathrm{i}\sqrt{b^{2}}=a-\mathrm{i}b. \end{alignat*}
-
1$\begingroup$ Except when b < 0 the last line isn't true because sqrt(b^2) isn't equal to b. For b < 0 replace + i... by -i... Also typo in second to last line: r + a - (r + a) should be r + a - (r - a), where r = sqrt(a^2 + b^2). $\endgroup$– WoutJun 27, 2016 at 15:11
-
$\begingroup$ @Wout: Thanks for spotting that error! I've now corrected, hopefully it's now good. $\endgroup$– user46234Jun 28, 2016 at 8:49
-
$\begingroup$ Better say b>=0, so that we have sqrt(-1)=i as a first solution. $\endgroup$– user4414Mar 28, 2017 at 11:48
Here's a useful picture from Wikipedia (ref). This helps visualise some comments above about having two square roots of most complex numbers.
The horizontal plane is the original complex number $z$.
The vertical axis is the real part of the square root(s) of $z$. (Note how there are two solutions for most numbers, i.e. all except zero.)
The colour is the angle of a square root of $z$, where red is 0° i.e. the real axis, cyan is $\pm$180° and so on.
The principal square root is the top half of the surface.
The see how the imaginary part behaves, rotate the surface 180° about the vertical axis. (Of course, the colours don't rotate, they stay where they are. More precisely, the magenta part will go to the bottom, and the green to the top, while the yellow and blue will stay as they are.)
SQUARE ROOT OF A BINOMIC COMPLEX NUMBER
The number $\sqrt{a+bi}$ is a complex (or complex) $x+yi$ such that: $a+bi=(x+yi)^{2}$
So: $a+bi=(x^{2}-y^{2})+2xyi\rightarrow \left. x^{2}-y^{2}=a \atop 2xy=b \right\}$ Solving this system, and taking into account, to solve the bi-square equation, that $\sqrt{a^{2}+b^{2}}\geq a$: $$\left. y=\dfrac{b}{2x} \atop 4x^{4}-4ax^{2}-b^{2}=0 \right\}\rightarrow \left. x^{2}-y^{2}=a \atop x^{2}=\dfrac{a+\sqrt{a^{2}+b^{2}}}{2} \right\}\rightarrow \left. x^{2}=\dfrac{a+\sqrt{a^{2}+b^{2}}}{2} \atop y^{2}=\dfrac{-a+\sqrt{a^{2}+b^{2}}}{2} \right\}$$ Now, the equation $2xy=b$ tells us that the product $xy$ has the same sign as $b$. Therefore, if $b>0$, $x$ and $y$ have the same signs, and if $b<0$, they have different signs. $$b\geq 0\rightarrow \sqrt{a+bi}=\pm \left( \sqrt{\dfrac{a+\sqrt{a^{2}+b^{2}}}{2}}+i\sqrt{\dfrac{-a+\sqrt{a^{2}+b^{2}}}{2}}\right)$$ $$b<0\rightarrow \sqrt{a+bi}=\pm \left( \sqrt{\dfrac{a+\sqrt{a^{2}+b^{2}}}{2}}-i\sqrt{\dfrac{-a+\sqrt{a^{2}+b^{2}}}{2}}\right)$$ In practice, these formulas are not used, but the process is followed.
Also, it is highly recommended to pass it to polar.
$x^2 - y^2 +2ixy$ = write the complex no.
$x^2 - y^2$ = write the real value---------(1)
$2xy$ = write the imaginary value------(2)
from equation (1) and (2)
$x^2 + y^2 = \sqrt{(x^2 - y^2)^2 + 4x^2y^2}$
you will get $x^2 + y^2 = ?$ -------(3)
from equation (1) and (3)
you will get the value of $x$ and $y$
You can write each complex number $a+bi$ as $re^{i\theta}$ for some $r$ and $\theta$. To take the square root of that would be $$\sqrt{a+bi}=\sqrt{r}e^{\frac{i\theta}{2}}$$ which answers your question.
ok, Would someone please tell me if I'm wrong about this.
We want $\pm\sqrt{a+bi}.$ $($This kind of square root is not well-defined without the $\text{“}{\pm}\text{''}.)$
If $a+bi = r(\cos\theta+i\sin\theta)$ then $\displaystyle\tan\frac\theta2 = \frac{\sin\theta}{1+\cos\theta} = \frac b {\sqrt{a^2+b^2}+a},$ so $$ \sin\frac\theta2 = \frac b{\text{something}} \text{ and } \cos\frac\theta 2 = \frac{\sqrt{b^2+a^2}+a}{\text{something}} $$ where $\text{“something''}$ makes $\sin^2+\cos^2=1,$ so the efficient way to think about this is the tangent half-angle formula. Or is there a more efficient way?
Write $(a+bi)^2 = 9+4i$. Then $a^2-b^2 +2abi = 9+4i$. By comparison of coefficients, $2ab = 4$ and $a^2-b^2 = 9$. Thus $ab=2$ and $a^2 = 9 +b^2$. Setting $a = 2/b$ with $b\ne 0$ gives $4/b^2 = 9 + b^2$ and so $4 = 9b^2 + b^4$, i.e., $b^4 + 9b^2 -4 = 0$. Solve $x^2 + 9x-4=0$, where $x=b^2$. Solutions are $x_{1,2} = \frac{-9\pm\sqrt{9^2-4\cdot 1\cdot (-4)}}{2\cdot 1} = \frac{-9\pm\sqrt{97}}{2}$. Solutions are $b_{1,2,3,4} = \pm\sqrt{\frac{-9\pm\sqrt{97}}{2}}$. This gives the corresponding values $a_{1,2,3,4}$. All solution pairs are real-valued.