Square Root of Complex Number in Cartesian Form

Theorem
Let $z \in \C$ be a complex number.

Let $z = x + i y$ where $x, y \in \R$ are real numbers.

Let $z$ not be wholly real, that is, such that $y \ne 0$.

Then the square root of $z$ is given by:
 * $z^{1/2} = \pm \left({a + i b}\right)$

where:

Proof
Let $a + i b \in z^{1/2}$.

Then:

Equating imaginary parts in $(1)$:

Equating real parts in $(1)$:

Note that in $(3)$, only the positive square root of the discriminant $x^2 + y^2$ is used.

This is because the negative square root of $x^2 + y^2$ would yield $\dfrac {x - \sqrt{x^2 + y^2} } 2 < 0$.

As $a \in \R$, it is necessary that $\dfrac {x + \sqrt{x^2 + y^2} } 2 > 0$.

Hence $\sqrt{x^2 + y^2} > 0$.

Then: