# Chapter 8. Complex number techniques

- Page ID
- 148376

# Chapter 8. Complex number techniques

## 8.1 Review of complex numbers

For a more detailed treatment of complex numbers, see ch. 3 of
James Nearing's free book at

http://www.physics.miami.edu/
nearing/mathmethods/.

We assume there is a number, *i*, such that *i*^{2}=-1.
The square roots of -1 are then *i* and -*i*. (In electrical engineering work,
where *i* stands for current, *j* is sometimes used instead.) This gives rise
to a number system, called the complex numbers, containing the real numbers as a subset.
Any complex number *z* can be written in the form *z*=*a*+*bi*, where *a* and *b* are
real, and *a* and *b* are then referred to as the real and imaginary parts of *z*.
A number with a zero real part is called an imaginary number.
The complex numbers can be visualized as a plane, figure a, with the real number line placed
horizontally like the *x* axis of the familiar *x*-*y* plane, and the imaginary numbers running
along the *y* axis. The complex numbers are complete in a way that the real numbers
aren't: every nonzero complex number has two square roots. For example, 1 is
a real number, so it is also a member of the complex numbers, and its square roots
are -1 and 1. Likewise, -1 has square roots *i* and -*i*, and the number *i*
has square roots 1/√2+i/√2 and -1/√2-i/√2.

Complex numbers can be added and subtracted by adding or subtracting their real and imaginary parts, figure b. Geometrically, this is the same as vector addition.

The complex numbers *a*+*bi* and *a*-*bi*, lying at equal distances above and below the
real axis, are called complex conjugates.
The results of the quadratic formula
are either both real, or complex conjugates of each other.
The complex conjugate of a number *z* is notated as z^{-} or
z^*.

The complex numbers obey all the same rules of arithmetic as the reals, except that
they can't be ordered along a single line. That is, it's not possible to say whether
one complex number is greater than another. We can compare them in terms of their
magnitudes
(their distances from the origin), but two distinct complex numbers may
have the same magnitude, so, for example, we can't say whether 1 is greater than
*i* or *i* is greater than 1.

##### Example 1

◊ Prove that 1/√2+i/√2 is a square root of*i*.

◊ Our proof can use any ordinary rules of arithmetic, except for ordering.

Example 88 showed one method of multiplying complex numbers. However, there is another nice interpretation of complex multiplication. We define the argument of a complex number, figure d, as its angle in the complex plane, measured counterclockwise from the positive real axis. Multiplying two complex numbers then corresponds to multiplying their magnitudes, and adding their arguments, figure e.

*self-check:*

Using this interpretation of multiplication, how could you find the square roots of a complex number?

(answer in the back of the PDF version of the book)##### Example 2

The magnitude |*z*| of a complex number *z* obeys
the identity |z|^{2}=zz^{-}. To prove this, we first note that z^{-}
has the same magnitude as *z*, since flipping it to the other side of the
real axis doesn't change its distance from the origin. Multiplying *z* by
z^{-} gives a result whose magnitude is found by multiplying their
magnitudes, so the magnitude of
zz^{-} must therefore equal |*z*|^{2}. Now we just have to prove that
zz^{-} is a positive real number. But if, for example, *z* lies counterclockwise
from the real axis, then z^{-} lies clockwise from it. If *z* has a positive
argument, then z^{-} has a negative one, or vice-versa. The sum of their arguments is therefore
zero, so the result has an argument of zero, and is on the positive real axis.
^{1}

This whole system was built up in order to make every number have square roots.
What about cube roots, fourth roots, and so on? Does it get even more weird when
you want to do those as well? No. The complex number system we've already discussed
is sufficient to handle all of them. The nicest way of thinking about it is in terms
of roots of polynomials. In the real number system, the polynomial *x*^{2}-1 has
two roots, i.e., two values of *x* (plus and minus one) that we can plug in to the
polynomial and get zero. Because it has these two real roots, we can rewrite the
polynomial as (*x*-1)(*x*+1). However, the polynomial *x*^{2}+1 has no real roots. It's
ugly that in the real number system, some second-order polynomials have two
roots, and can be factored, while others can't. In the complex number system,
they all can. For instance, *x*^{2}+1 has roots *i* and -*i*, and can be factored
as (*x*-*i*)(*x*+*i*). In general, the fundamental theorem of algebra
states that in the complex number system,
any nth-order polynomial can be factored completely
into *n* linear factors, and we can also say that it has *n* complex roots,
with the understanding that some of the roots may be the same. For instance,
the fourth-order polynomial *x*^{4}+*x*^{2} can be factored as (*x*-*i*)(*x*+*i*)(*x*-0)(*x*-0),
and we say that it has four roots, *i*, -*i*, 0, and 0, two of which happen to be
the same. This is a sensible way to think about it, because in real life, numbers are
always approximations anyway, and if we make tiny, random changes
to the coefficients of this polynomial,
it will have four distinct roots, of which two just happen to be very close
to zero. I've given a proof of the fundamental theorem of algebra on
page 162.