Complex Roots

Figure 2.1: An example parabola defined by $p(x) = x^2 + 4$.

As a simple example, let $a=1$, $b=0$, and $c=4$, i.e.,

$$p(x) = x^2 + 4.$$

As shown in Fig.2.1, this is a parabola centered at $x=0$ (where $p(0)=4$) and reaching upward to positive infinity, never going below $4$. It has no real zeros. On the other hand, the quadratic formula says that the ``roots'' are given formally by $x=\pm\sqrt{-4} = \pm 2 \sqrt{-1}$. The square root of any negative number $c<0$ can be expressed as $\sqrt{\left\vert c\right\vert}\sqrt{-1}$, so the only new algebraic object is $\sqrt{-1}$. Let's give it a name:

$$\zbox {j \isdef \sqrt{-1}}$$

Then, formally, the roots of $x^2 + 4$ are $\pm 2j$, and we can formally express the polynomial in terms of its roots as

$$p(x) = (x+2j)(x-2j).$$

We can think of these as ``imaginary roots'' in the sense that square roots of negative numbers don't really exist, or we can extend the concept of ``roots'' to allow for complex numbers, that is, numbers of the form

$$z = x + j y$$

where $x$ and $y$ are real numbers, and $j^2\isdef -1$.

It can be checked that all algebraic operations for real numbers^2.2 apply equally well to complex numbers. Both real numbers and complex numbers are examples of a mathematical field.^2.3 Fields are closed with respect to multiplication and addition, and all the rules of algebra we use in manipulating polynomials with real coefficients (and roots) carry over unchanged to polynomials with complex coefficients and roots. In fact, the rules of algebra become simpler for complex numbers because, as discussed in the next section, we can always factor polynomials completely over the field of complex numbers while we cannot do this over the reals (as we saw in the example $p(x) = x^2 + 4$).