Fractional powers of complex numbers (DSPrelated computation)

I am puzzled by this computation: https://www.dsprelated.com/showarticle/754.php (c.f. quote)

Raising $ i $ to integer powers results in traversing the unitcircle in the same number of quarter turns. The next question that arises naturally is if the pattern also applies to fractional values as well. Consider $ \sqrt{i} $. Suppose it is $ a + b \cdot i $. $$ ( a + b \cdot i )^{2} = i \\ a^{2} + 2ab \cdot i + b^{2} \cdot i^{2} = i $$ $$ ( a^{2} - b^{2} ) + ( 2ab ) \cdot i = 0 + 1 \cdot i $$ In order for two complex numbers to be equal, both the real parts and the imaginary parts must be equal. $$ a^{2} - b^{2} = 0 \text{ and } 2ab = 1 $$ $$ a = ± b \text{ and } a = { 1 \over {2b} } $$ Solving for a,b being real yields two solutions: $$ (a,b) = \left( { \sqrt{2} \over 2 }, { \sqrt{2} \over 2 } \right) \text{ or } \left( - { \sqrt{2} \over 2 }, - { \sqrt{2} \over 2 } \right) $$

For me, it does not make sense to say that $a=\pm b$ AND $2ab=1$, this is just a contradiction... either $a=\pm b$ OR $2ab=1$ therefore I would say that $(a+bi)^2 \neq i$ .... How can they say that it is? What is the logic behind that...?

Answer

That's my article, I'm glad you are reading it.

A fundamental rule for two complex numbers (corresponding to a point on a plane) is that they are only equal if both the real and imaginary parts (corresponding to x,y coordinates) are equal. Therefore the complex equation

$$ (a^2 - b^2) + 2abi = i = 0 + i $$

is equivalent to saying the point $(a^2 - b^2,2ab)$ is the same point as $(0, 1)$

The real parts must be equal AND the imaginary parts must be equal.

Graphically, you have the intersection of a hyperbola intersecting crossed lines going through the origin. Substitute $x$ and $y$ for $a$ and $b$ if that helps you see it.

The important concept is that an intersection point is halfway along the unit circle, and the other one is directly opposite (the negative of it.) This is true for taking the square root of any number on the unit circle. One square root will be halfway and the other the negative of it.

And that is part of the exponential nature of the unit circle. Radians is just one possible scale. Quarter turns is another, whole turns another.

Expanding on this, the solutions to $1^{1/N}$ are $N$ evenly spaced points around the circle. They are called the Roots of Unity. You may know the first root better as $e^{i2\pi/N}$ which is right there in the DFT definition:

$$ X[k] = \sum_{n=0}^{N-1} x[n] \left(e^{i2\pi/N}\right)^{-nk} $$

---

$$ a^2 - b^2 = 0 $$

$$ a^2 = b^2 $$

$$ a = \pm b $$

And

$$ 2ab = 1 $$

For $a=b$

$$ 2a^2 = 1 $$

$$ a = \pm \frac{\sqrt{2}}{2} = b $$

For $a=-b$

$$ -2a^2 = 1 $$

No real solutions.