What is the Simplest Way to Find the Square Root of i?

[dfollett76]

Does i, the imaginary number, have a square root? This was bothering me for a while, then I thought I happened upon a simple solution, but have since forgetten.

\sqrt{i}=?

 

[Hurkyl]

It does if you can solve the equation z² = i.

 

[dfollett76]

I'm pretty sure the answer is of the form a+bi where a,b are non-zero.

 

[James R]

The square roots of i are:

z = \frac{1}{\sqrt{2}}(1 + i), -\frac{1}{\sqrt{2}}(1 + i)

You can check by squaring these numbers.

 

[Data]

z= \pm\frac{1}{\sqrt{2}}\left(1+i)

has the property z^2=i. You can find this by solving

(a+bi)^2=i

for a and b real.

 

[dfollett76]

Excellent, I got to finding that (1+i)^2=2i. So that makes sense.

 

[Data]

and by the way, you shouldn't need to ask "does i have a square root." The complex numbers are algebraically closed, ie. every nonzero complex number has exactly n n^\mbox{th} roots.

 

[dfollett76]

Interesting. "Algebraically closed"? Does that just mean the set is closed under the operation of taking roots?

 

[Hurkyl]

Even better -- every nonconstant polynomial has a root!

 

[Orion1]

De Moivre's Theorem...


There are two solutions for the square root of i using De Moivre's Theorem:

w_k = \text{cis} \; \frac{90^{\circ} + 360^{\circ} k}{2}
w_0 = \text{cis} \; 45^{\circ} = (\cos 45^{\circ} + i \sin 45^{\circ})
(\cos 45^{\circ} + i \sin 45^{\circ}) = \left( \frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2} i \right)

w_1 = \text{cis} \; 225^{\circ} = ( \cos 225^{\circ} + i \sin 225^{\circ})
( \cos 225^{\circ} + i \sin 225^{\circ}) = \left( - \frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2} i \right)
\boxed{w_0 = \frac{\sqrt{2}}{2} (1 + i)}
\boxed{w_1 = - \frac{\sqrt{2}}{2} (1 + i)}
\boxed{z = \pm \frac{\sqrt{2}}{2} (1 + i)}

Note that this solution is irrational with a root in the denominator:
z = \pm\frac{1}{\sqrt{2}}\left(1+i)

Any root of i can be solved using De Moivre's Theorem.

[/color]

 

[Data]

And to see why Hurkyl's comment is significant, remember that over the reals, for example, not every polynomial has a root - for example, x^2+1 has no real roots, and it can't be factored over the reals. Over the complex numbers, every polynomial has a root, and this amounts to saying that every monic complex polynomial can be factored to the form

(x - \alpha_1)^{e_1} \ \cdots \ (x - \alpha_n)^{e_n}

for some positive integers e_i and distinct complex numbers \alpha_i, in a unique way (up to ordering of the factors).

The fact that every nonzero complex number has n nth roots is a little easier, though, as long as you know that every nonzero complex number z can be represented in a unique way in the form re^{i\theta} for some \theta \in \left[0, 2\pi), \ \mathbb{R} \ni r > 0, and that e^{i\theta} is 2\pi-periodic. Then you can write

z = re^{i\theta} \Longrightarrow \left(\sqrt[n]{r}e^{i\left(\frac{\theta + 2k\pi}{n}\right)}\right)^n = z, \ \mathbb{Z} \ni k \in \left[0, n-1\right]

ie. z has at least n nth roots. It remains to be proved that there are exactly n of them, but you can work on that on your own~

 

[whozum]

From Orion1:

w_1 = \text{cis} \; 225^{\circ} = ( \cos 225^{\circ} + i \sin 225^{\circ})


Is the cis() function equivalent to cos() + i sin()

?

 

[jcsd]

From Orion1:

w_1 = \text{cis} \; 225^{\circ} = ( \cos 225^{\circ} + i \sin 225^{\circ})


Is the cis() function equivalent to cos() + i sin()

?

Yes it is, but no-one bothers to use it any more as cis x = e^ix which is just as easy to write.

 

[robert Ihnot]

Orion1: Any root of i can be solved using De Moivre's Theorem.

I just want to add that, if its the inverse of a power of 2, it can be solved in terms of repeated square roots.
Looking at the 4th root of i, we have, in degrees, that the

sin(22.5) = \sqrt{\frac{1-cos(45)}{2}}

This allows us to find the sin(22.5) = \sqrt{\frac{2-\sqrt{2}}{4}}

So if we apply DeMovre's theorem, we can find the answer in term of surds.

This method. of course, can be applied to the next level to give

sin(11.25) =(1/2)\sqrt{2-\sqrt{2+\sqrt{2}}}

It can be added that these repeated square root equations are, as Gauss had pointed out, the only constructable ones using a ruler and compass according to the method of the Greeks.

 

[abia ubong]

i don't know if my answer is of any relevance since i am always ignored or insulted.
but i did a work of mine and got +or-[i/rt2] *[1-i].you can tell me if i am wrong

 

[HallsofIvy]

i don't know if my answer is of any relevance since i am always ignored or insulted.
but i did a work of mine and got +or-[i/rt2] *[1-i].you can tell me if i am wrong

I don't know that anyone is insulting you (and I certainly can't tell if anyone is ignoring you but your post on an different "quadratic formula" got a number of responses!) but you are getting quite a bit of criticism about careless expression. Here you say "i did a work of mine and got +or-[i/rt2] *[1-i].you can tell me if i am wrong". No one can possibly say if \pm\frac{i}{\sqrt{2}}*(1-i) is right or wrong because you haven't told us what you were working on or what it is supposed to be the answer to! If you are suggesting it as an answer to "what are the square roots of i?" which was the original question, couldn't you just square it yourself and see?

 

[noslen]

keep it simple-

i^(1/2) = (-1)^(1/4)

 

[cepheid]

keep it simple-

i^(1/2) = (-1)^(1/4)

I don't see how that helps particularly, the RHS is not any easier to do than the LHS. But if you know how to do the former, you also know how to do the latter anyway! Besides, there are four fourth roots of one and only two square roots of i (see post #7). Only the two common to each will satisfy that equation. Just do this, always:

z = re^{i\theta}

z^{\frac{1}{m}} = \sqrt[m]{r} e^{i(\theta + 2k\pi)/m

k = 0, 1, ... , m-1

"r" being a modulus of course, \sqrt[m]{r} refers to the positive, real root.