Calculators and complex numbers (Part 14)

In this series of posts, I explore properties of complex numbers that explain some surprising answers to exponential and logarithmic problems using a calculator (see video at the bottom of this post). These posts form the basis for a sequence of lectures given to my future secondary teachers.

Definition. If $z$ is a complex number, then we define

$e^z = \displaystyle \sum_{n=0}^{\infty} \frac{z^n}{n!}$

Even though this isn’t the usual way of defining the exponential function for real numbers, the good news is that one Law of Exponents remains true. (At we saw in an earlier post in this series, we can’t always assume that the usual Laws of Exponents will remain true when we permit the use of complex numbers.)

Theorem. If $z$ and $w$ are complex numbers, then $e^z e^w = e^{z+w}$ .

I will formally prove this in the next post. Today, I want to talk about the idea behind the proof. Notice that

$e^z e^w = \displaystyle \left( 1 + z + \frac{z^2}{2!} +\frac{z^3}{3!} + \frac{z^4}{4!} + \dots \right) \left( 1 + w + \frac{w^2}{2!} + \frac{w^3}{3!} + \frac{w^4}{4!} + \dots \right)$

Let’s multiply this out (ugh!), but we’ll only worry about terms where the sum of the exponents of $z$ and $w$ is 4 or less. Here we go…

$e^z e^w = \displaystyle 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \frac{z^4}{4!} + \dots$

$+ \displaystyle w + wz + \frac{wz^2}{2!} + \frac{wz^3}{3!} + \dots$

$+ \displaystyle \frac{w^2}{2!} + \frac{w^2 z}{2!} + \frac{w^2 z^2}{2! \times 2!} + \dots$

$+ \displaystyle \frac{w^3}{3!} + \frac{w^3 z}{3!} + \dots$

$+ \displaystyle \frac{w^4}{4!} + \dots$

Next, we rearrange the terms according to the sum of the exponents. For example, the terms with $z^3$ , $w z^2$ , $w^2 z$ , and $w^3$ are placed together because the sum of the exponents for each of these terms is 3.