Chapter Summary

Complex numbers are an extension of the ordinary "real" numbers. The extended numbers allow us to solve all polynomial equations. These solutions are useful in calculus where complex exponentials give all solutions to linear differential equations.

Complex numbers first arise in solving polynomial equations.
For example, the quadratic equation

has real solutions

provided

When

makes no sense

Complex numbers begin by defining a new number
with the property that

This gives the two solutions to

The quadratic roots above in the case where *b ^{2}-4ac<0* can be written

with and . Notice that the previous computation uses ordinary rules of algebra such as with .

These computations lead us to the basic question, "What are the properties of the complex numbers?" This question is just another way to ask, "How do we compute with complex numbers?"

**29.1 Algebra of Complex Numbers**

Section Summary

We define complex numbers and show that they have the "algebraic" properties of ordinary numbers. (They do not have the "order properties.")

We begin with a useful formal definition of the "expression" .

Definition:Complex numbers are ordered pairs of real numbersComplex Numbers(a,b)for any pair of real numbersaandb. The first componentais called the "real part" of(a,b)and the second componentbis called the "imaginary part" of(a,b). Addition is defined componentwise,

and complex multiplication is defined by

**Example CD-29.1**
* Specific Addition and Multiplication*

We usually will not use ordered pair notation when computing with complex numbers because the expression is more useful once we understand its computational properties. The ordered pair definition is very clear and specific. It allows us to prove Theroem CD-29.2 and justify the procedure we first illustrate with some examples as follows.

**Example CD-29.2**
* Complex Numbers as "Expressions in the Imaginary Unit"*

It is helpful in doing algebra to use the "imaginary" symbol
as the second place holder, so we also write complex numbers *(a,b)* as expressions of the form
. Consider the previous examples as formal high school algebra computations just treating
as a variable in an algebraic expression.

The formal sum computation first uses the associative law that says we can group addition parentheses any way we wish. Next, the commutative law that says we can interchange the order of summation. Then the distributive law .

Formal multiplication begins with the distributive law for
,

Next, the computation uses comutativity and associativity of multiplication, , etc. The evaluation is an easy substitute for the ordered pair definition of complex multiplication above. In general a complex product is computed with high school algebra as follows.

We equate the expressions
associated with the pair *(0,b)* and write
simply
. If
and
, then *z _{1}=z_{2}* if and only if

**Example CD-29.3**
* Real Numbers as Complex Numbers with Zero Imaginary Part*

Real numbers with their usual operations are included in the complex numbers as the ordered pairs
. In other words, the complex operations give the same results,

As a result of this extension, we write a complex number of the form simply as

A complex number is zero only when both of its parts are zero, if
, then *z=0* if and only if *both* *x=0* *and* *y=0*.

The properties that extend from real to complex algebra that we used in the formal computations with above are as follows.

Theorem CD-29.1Algebraic Properties of Complex Numbers Complex numbers , and satisfy: The commutative laws of addition and multiplication,

The associative laws of addition and multiplication,

The distributive law of multiplication over addition,

A formal proof of this theorem amounts to writing out both sides of the identities above as ordered pairs and using properties of the real components to show they agree. The importance of the result is that the procedure of computing with expressions treating like an algebraic variable and simplifying with makes the computations correct.

Theorem CD-29.2Inverses The complex numbers form a "field:" Each complex number has an additive inverse,

-z, withz+(-z)=0.Each nonzero complex number has a multiplicative inverse, , with .

Complex division has the properties that if and , then

PROOF:

For an additive inverse let then .

For a multiplicative inverse, multiply the numerator and denominator by the algebraic conjugate,
,

Exercise CD-29.1.2 asks you to compute the product

proving that this is the reciprocal.

Exercise CD-29.1.5 asks you to show the properties above for the complex reciprocal.

**Example CD-29.4**
* A Specific Reciprocal*

We use the complex conjugate to make division real.
For example,

*Verify the following by computation:*- 1.
- 2.
- 3.
- 4.
- 5. (HINT: See the next part of the exercise.)
- 6.
- 7.
- 8.
- 9.
*10. Check your work with the program***CmplxNrs**.*Compute the product , showing that is the reciprocal of . Where do you require that ?**Show that and both satisfy**z*and^{2}+z+1=0*z*.^{3}=1*For any complex number , show that*

*Show that complex division has the properties that if and , then*

**29.2 Geometry of Complex Numbers**

Section Summary

The order properties of real numbers mean they represent points on an idealized line. Complex numbers do not have the "order" properties of real numbers, but rather are two-dimensional vectors with a special "vector multiplication." This section extends the vector geometry of Chapter 15 to complex multiplication.

The real case of complex multiplication extends the scalar multiplication of Chapter 15 since

or

This means that complex numbers are two-dimensional position vectors that have the additional structure of complex multiplication.

The vector norm or complex absolute value of
is given by

This gives the length of the vector or, in other words, the distance from the origin

**Example CD-29.5**
* A Specific Length*

Compute .

Solution:

**Example CD-29.6**
* Distance Between Vectors*

Find the distance between the tip of the vector and .

Solution:

The displacement vector from *z _{2}* to

**Example CD-29.7**
* Another Length*

Compute .

Solution:

Notice that this shows algebraically that the complex number lies on the unit circle centered at the origin.

Theorem CD-29.3The Triangle Inequalities

PROOF:

Draw a triangle with one side along the position vector *z _{1}* and the other side along the displacement arrow

Draw a triangle with sides on the position vectors *z _{1}* and

Theorem CD-29.4The Length of the Product is the Product of the Lengths

PROOF:

Let
for *k=1,2*. The first two expressions are

Expanding both we have

These agree, so .

Exercise CD-29.2.7 asks you to prove the quotient property.

**Example CD-29.8**
* The Polar Form of Complex Numbers*

The unit length vector *u* in direction
is
. (See Chapters 28 and 16 and the program **CmplxNrs**.) If the vector *(x,y)* points in a direction that is an angle
radians from the positive *x*-axis, then

because the length of

Theorem CD-29.5Multiplication Adds Angles The direction of the product is the sum of the directions of zandw.

PROOF:

Suppose we have two unit length complex numbers,
and
. The angle of the product is the sum of the angles of the numbers because of the following computation using the addition formulas for sine and cosine (see Chapter 28).

In general,

One simple consequence of this Theorem is that we can find *n ^{th}* roots of complex numbers by finding the positive real

**Example CD-29.9**
* Euler's Formula
*

In Chapter 23, we prove Euler's Formula

This can be used with the polar form of a complex number to give the number by the real length times a complex exponential,

The exponential identity

applied to this situation also tells us that when complex numbers are multiplied, lengths multiply and angles add, if and ,

In the following examples we will write the polar forms of complex numbers using both trig functions and complex exponentials. They are equal by Euler's formula, but the use of the exponential identity is sometimes clearer.

**Example CD-29.10**
* Square Roots by Geometry*

Suppose we want to find the square roots of
. These components lie on a triangle with sides *1*, and hypotenuse *2*, a "30-60-90" triangle.
This makes the direction angle from the *x*-axis 60 degrees or
. The length of the vector is *2*.

We seek the square root and its length squared must be *2*, so the length of the square root is
. The angle of the square root is half the angle
of the original number because we multiply the square root times itself, adding its angle to itself, and must arrive at
.

Notice that division of the angle by 2 agrees with the laws of exponents when the polar form is written with Euler's Formula.

There is another square root.
We can find it formally by representing the original number with another angle.

**Example CD-29.11**
* Cube Roots by Geometry*

Suppose we want to find the cube roots of
. In this case the length is
and the angle is 45 degrees, so

but the sine and cosine do not have simple values.

Two more cube roots could be obtained by dividing the angles in the polar representations

and

All the cube roots can also be obtained from one of them and the

**Example CD-29.12**
* Roots of Unity*

Let *n* be a positive integer.
We seek all the solutions to *z ^{n}=1* or
. The real solution

For example, if *n=3*,

the point one third of the way around the unit circle.

The numbers

are equally spaced around the unit circle and satisfy

Finally, if
is one *n ^{th}* root of

Then the numbers

also satisfy

- (Computer Exercise)
*Use the program***CmplxNrs**to draw the following complex numbers as position vectors. Compute their length (or absolute value) and direction angle from the positive*x*-axis.- 1.
- 2.
- 3.
- 4.
*5.**Sketch the vectors and find the distance between:*- 1. and
- 2. and
*3. and*- Complex Multiplication
*1. Plot the unit vectors and .*- (a)
Compute the angle each makes with the horizontal
*x*-axis. - (b) Show that the product . ()
- 2. Show that the product . ()
*3. Plot the unit vectors and .*- (a)
Compute the angle each makes with the horizontal
*x*-axis. - (b) Compute the complex product
*(c) Use your calculator or the computer to plot the unit vector and show that it makes an angle of with the horizontal. ()**Use the polar (either trig or complex exponential) form to show the following:*- 1.
- 2.
*3.**Use Euler's Formula to prove*

- 1.
Show that
*1*, , , ,*-1*, , , and are eight distinct eighth roots of unity. HINT: Draw them on the unit circle and show that they are equally spaced. - 2.
Find 12 distinct 12
roots of unity and sketch them on the unit circle.^{th} - 3. Find 3 distinct cube roots of and sketch them on the unit circle.
- 4.
Find 6 distinct 6
roots of and sketch them on the unit circle.^{th} *5. Find 3 distinct cube roots of and sketch them on the unit circle.**Show that if , then .*

- 1.
Show that

- (a)
Compute the angle each makes with the horizontal

- (a)
Compute the angle each makes with the horizontal