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.

e^z e^w = 1

+ z + w

\displaystyle + \frac{z^2}{2} + wz + \frac{w^2}{2}

\displaystyle + \frac{z^3}{6} + \frac{wz^2}{2} + \frac{w^2 z}{2} + \frac{w^3}{6}

\displaystyle + \frac{z^4}{24} + \frac{w z^3}{6} + \frac{w^2 z^2}{4} + \frac{w^3 z}{6} + \frac{w^4}{24} + \dots

For each line, we obtain a common denominator:

e^z e^w = 1

+ z + w

\displaystyle + \frac{z^2 + 2 z w + w^2}{2}

\displaystyle + \frac{z^3 + 3 z^2 w + 3 z w^2 + w^3}{6}

\displaystyle + \frac{z^4+ 4 z^3 w + 6 z^2 w^2 + 4 z w^3 + w^4}{24} + \dots

We recognize the familiar entries of Pascal’s triangle in the coefficients of the numerators, and so it appears that

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

If the pattern on the right-hand side holds up for exponents greater than 4, this proves that e^z e^w = e^{z+w}.

So that’s the idea of the proof. The formal proof will be presented in the next post.

green line

For completeness, here’s the movie that I use to engage my students when I begin this sequence of lectures.

 

 

Leave a comment

2 Comments

  1. Inverse Functions: Rational Exponents (Part 8) | Mean Green Math
  2. Calculators and Complex Numbers: Index | Mean Green Math

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: