I was reading an example, where it is calculating the square roots of $\sqrt 3 +3i$.
$w=\sqrt 3 +3i=2\sqrt 3\left(\frac{1}{2}+\frac{1}{2}\sqrt3i\right)\\=2\sqrt 3(\cos\frac{\pi}{3}+i\sin\frac{\pi}{3})$
Let $z^2=w \Rightarrow r^2(\cos(2\theta)+i\sin(2\theta))=2\sqrt 3(\cos\frac{\pi}{3}+i\sin\frac{\pi}{3})$.
But how did they get from $\sqrt 3 +3i=2\sqrt 3\left(\frac{1}{2}+\frac{1}{2}\sqrt3i\right)=2\sqrt 3(\cos\frac{\pi}{3}+i\sin\frac{\pi}{3})$?
And can one just 'let $z^2=w$' as above?
Edit: $w=2\sqrt 3(\cos\frac{\pi}{3}+i\sin\frac{\pi}{3})=z^2\\ \Rightarrow z=\sqrt{2\sqrt 3}(\cos\frac{\pi}{6}+i\sin\frac{\pi}{6})\\ \Rightarrow \sqrt{2\sqrt 3}\frac{\sqrt 3}{2} +i \sqrt{2\sqrt 3} \frac{1}{2}$
$\endgroup$ 34 Answers
$\begingroup$Denesting the radical $\:\sqrt{(1+\sqrt{-3})/2}\:$ can be tackled by employing an easy radical denesting formula that I discovered as a teenager.
Simple Denesting Rule $\rm\ \ \ \color{blue}{subtract\ out}\ \sqrt{norm}\:,\ \ then\ \ \color{brown}{divide\ out}\ \sqrt{trace} $
Recall $\rm\: w = a + b\sqrt{n}\: $ has norm $\rm =\: w\:\cdot\: w' = (a + b\sqrt{n})\ \cdot\: (a - b\sqrt{n})\ =\: a^2 - n\: b^2 $
and, furthermore, $\rm\:w\:$ has trace $\rm\: =\: w+w' = (a + b\sqrt{n}) + (a - b\sqrt{n})\: =\: 2\:a$
Here $\ (1+\sqrt{-3})/2\:$ has norm $= 1.\:$ $\rm\ \ \color{blue}{subtracting\ out}\ \sqrt{norm}\ = 1\ $ yields $\ \ (-1+\sqrt{-3})/2\:$
and this has $\rm\:\sqrt{trace}\: =\: \sqrt{-1},\ \ thus\ \ \color{brown}{dividing\ it\ out}\ $ of this gives the sqrt: $\:(\sqrt{3}+\sqrt{-1})/2$
Checking we have $$\smash[t]{\displaystyle \left(\frac{\sqrt{3}+\sqrt{-1}}{2}\right)^2 =\ \frac{3-1 + 2\sqrt{-3}}{4}\ =\ \frac{1+\sqrt{-3}}2}$$
Therefore $\rm\ \sqrt{\sqrt{3}+3{\it i}}\ =\ \sqrt{2\sqrt 3\left(\dfrac{1+\sqrt{-3}}{2}\right)}\ =\ \sqrt{2}\ 3^{1/4}\:\!\dfrac{(\sqrt{3}+\sqrt{-1})}{2}$
See this answer for general radical denesting algorithms.
$\endgroup$ 3 $\begingroup$I hope these will answer your direct questions:
The first step is to find the modulus-argument form: the modulus of the complex number comes from $\sqrt{x^2 + y^2}$.
They have taken this as a factor, leaving an 'obvious' way to find the argument by knowing the trigonometric exact values. It's perhaps easier to find the argument using arctan with reference to a picture of the Argand diagram.
Let $z^2 = w$ is from the definition of the square root. Really, they are saying: we want to find a $z$ so that $z^2 = w$.
$\endgroup$ 1 $\begingroup$Wikipedia page on polar form of complex numbers is quite good.
Given a complex number $z = a + i b$, its absolute value $|z| = \sqrt{a^2+b^2}$, naturally the quotient $\frac{z}{|z|}$ has unit absolutely value, hence $\frac{z}{|z|} = \mathrm{e}^{i \theta} = \cos(\theta) + i \sin(\theta)$ for some angle $\theta$.
In the case at $a=\sqrt{3}$ and $b=3$, thus $\sqrt{a^2+b^2} = \sqrt{3+3^2} = 2 \sqrt{3}$. Therefore $\frac{z}{|z|} = \frac{\sqrt{3}}{2 \sqrt{3}} + i \frac{3}{2 \sqrt{3}} = \frac{1}{2} + i \frac{\sqrt{3}}{2}$. Solving for $\cos(\theta) = \frac{1}{2}$ and $\sin(\theta) = \frac{\sqrt{3}}{2}$ for $0 \leqslant \theta < 2\pi$ gives $\theta = \frac{\pi}{3}$.
Finding the square root proceeds as follows. Let $w = |w| \mathrm{e}^{i \phi}$, then $$ |w|^2 \mathrm{e}^{2 i \phi} = 2 \sqrt{3} \mathrm{e}^{i \pi/3} $$ Taking the absolute value we must have $|w|^2 = 2 \sqrt{3}$, hence $|w| = \sqrt{2} 3^{1/4}$. When solving for the angle $\phi$, remember that there are two roots for $0 \leqslant \phi <2 \pi$.
$\endgroup$ 8 $\begingroup$The general procedure (for square roots) goes as follows.
We want the square roots of $a+ib$ (where at least one of $a$ or $b$ is non-zero). Note that $$a+ib=\sqrt{a^2+b^2}\left(\frac{a}{\sqrt{a^2+b^2}}+i\frac{b}{\sqrt{a^2+b^2}}i\right).\tag{$1$}$$
For brevity, write $x=\frac{a}{\sqrt{a^2+b^2}}$ and $y=\frac{b}{\sqrt{a^2+b^2}}$. Since $x^2+y^2=1$, there is a unique $\theta$ in the interval $[0,2\pi)$ such that $x=\cos\theta$ and $y=\sin\theta$.
In your example, $x=\frac{1}{2}$ and $y=\frac{\sqrt{3}}{2}$, so, from "special angles" we recognize that $\theta=\pi/3$.
Now the square roots of $\cos\theta+i\sin\theta $ are $\pm(\cos\frac{\theta}{2}+i\sin\frac{\theta}{2})$, and from this we find that the square roots of $a+bi$ are $$\pm\sqrt[4]{a^2+b^2}\left(\cos\tfrac{\theta}{2}+i\sin\tfrac{\theta}{2}\right).$$
Added: In language close to the language used in the post, let $w=a+bi$. We want to solve the equation $z^2=w$. Let $z=r(\cos\phi+i\sin\phi)$, where $r$ is positive. Then $z^2=r^2(\cos 2\phi+i\sin 2\phi)$. Comparing with the expression $(1)$, we find that $r^2=\sqrt{a^2+b^2}$ and therefore $r=\sqrt[4]{a^2+b^2}$.
Also, we want $\cos2\phi +i\sin 2\phi=\cos\theta+i\sin\theta$. Obviously $\phi=\frac{\theta}{2}$ works. But also, more subtly, so does $\phi=\frac{\theta}{2}+\pi$, which gives you the negative of the square root picked out by $\phi=\frac{\theta}{2}$.
$\endgroup$ 8
