# Algebra/Complex Numbers

**Complex numbers** are the extension of the real numbers, i.e., the number line, into a number plane. They allow us to turn the rules of plane geometry into arithmetic. Complex numbers have fundamental importance in describing the laws of the universe at the subatomic level, including the propagation of light and quantum mechanics. They also have practical uses in many fields, including signal processing and electrical engineering.

## Introduction[edit | edit source]

Currently, we are able to solve many different kinds of equations for , such as , or , or . In each of these cases the solution for is a real number: respectively 5, 4/3, and -10.

However, there is no real number *x* that satisfies the equation , since the square of any real number is nonnegative.

Conceptually it would be nice to have some kind of number to be the solution of . This "number" would not be a real number, however, and we refer to such a number as an *imaginary* number.

Now, is this really the reason?

Well - Definitely not!

This mistake occurs in many teaching books from the attempts to "solve problems by force", as we could explain psychologically. This has nothing to do with reality, and gives the false feeling that mathematicians are "Cranks" full of to much spare time on their hands with nothing to do.

The reason, be surprised, has to do with a problem called **Cubic functions**.

We then extend the real number system to accommodate this special number. It turns out that there will be two imaginary solutions of the equation . One of them will be called and, following the normal rules for arithmetic, the other solution is . We may be inclined to say that . That would, however, be incorrect solely because in words this says that "**the** square root of -1 is " , but there is no basis for preferring over (or vice versa) as the square root of -1. Rather, the two square roots have equal standing.

We say that all numbers of the form a +b , where and are any real numbers, is the set of *complex* numbers, and we denote this set .
The real numbers may be considered to be the subset of complex numbers for which b = 0. Complex numbers can be added, subtracted, multiplied, and divided (except by 0). We will explore some of the properties of these numbers later.

There are in fact two commonly used definitions of complex numbers, but they are immediately seen to be logically equivalent.

For a negative root like , we split the number into two parts such that one part is like which leads to

## Definition 1[edit | edit source]

A **complex number** is an expression of the form *x + yi*, in which *x* and *y* are real numbers and *i* is a new number, called the **imaginary unit**, for which expressions the normal rules of calculation apply together with the extra rule: *i ^{2}=-1*.

## Definition 2[edit | edit source]

A **complex number** is a pair of real numbers *(x,y)*, satisfying the properties:

In both cases a complex number consists of two real numbers *x* and *y*. The real number *x* is called the **real part** and the real number *y* the **imaginary part** of the complex number.

From the properties we deduce that complex numbers of the form (x,0) behave just like the real numbers, so we identify (1,0) with 1 and hence (x,0) with x. Furthermore we see that:

- .

It is common use to write *i* instead of (0,1), so:

- and .

Any complex number *(x,y)* may now be written as *x + yi*.

### Some examples[edit | edit source]

A *complex number* is a number that is in the form , where *a* and *b* are real numbers. We say that *a* is the *real* part of z and write , and that *b* is the *imaginary* part of z, and write

A number of the form *b*i is sometimes called a *pure imaginary* number, as it has no real part. The pure imaginary numbers are also complex numbers, because *b*i = 0 + *b*i. In the same way, all real numbers are also complex numbers, because *a* = *a* + 0i. So the set of complex numbers includes real numbers, pure imaginary numbers, and the sums of reals and pure imaginaries.

Here are some examples

- 1 + 4i: a complex number, real part 1, imaginary part 4
- 2 - 2i: a complex number, real part 2, imaginary part -2.
- -4i: a complex number, real part 0, imaginary part -4
- 2: a complex number (also a real number), real part 2, imaginary part 0.

Notice that the number 2 is a complex number **and** a real number. This fact is clearer if we write 2 = 2 + 0i.

Any complex number may be written in three main forms, which we will explore later. The form *x* + *y*i is known as the *Cartesian* form.

### Complex numbers and matrices[edit | edit source]

Complex numbers can be identified with a certain set of *matrices*. If we think of the 2×2 identity matrix as the number 1, and we think of which we introduced above as the matrix

- ,

then the complex number then has the form

- .

## Properties[edit | edit source]

Complex numbers obey most of the properties of real numbers. Take two complex numbers, and .

### Addition[edit | edit source]

How can we add these two complex numbers?

We don't even have to think about as being "special" in any way, just treat it as any other symbol and proceed by the standard rules of algebra, grouping along the way.

We obtain:

If one uses the matrix analogy above, regular matrix addition works to add complex numbers in the same way. Verify for yourself that this is true.

### Subtraction[edit | edit source]

Subtraction proceeds just as before.

### Multiplication[edit | edit source]

By the normal rules, taking into account that , we find:

If one uses the matrix analogy above, regular matrix multiplication works to multiply complex numbers in the same way. Verify for yourself that this is true.

### Conjugates[edit | edit source]

The *conjugate* of a complex number , written , is the same number with the sign of the imaginary part changed: the conjugate of *a* + *b*i = *a* - *b*i (and vice versa).

Let us examine what happens when we have a complex number *z* = *a* + *b*i, what is the product of *z* and its conjugate?

- (
*a*+*b*i)(*a*-*b*i) =*a*^{2}+*ab*i -*ab*i -*b*^{2}i^{2}=*a*^{2}**+***b*^{2}

Notice the imaginary parts cancel out, so the product is a *real number*. This will aid us greatly in the division of a complex number, as we will see.

Notice also that this is the *sum* of two squares, analogous to the difference of two squares.

Matrix transposition behaves as conjugation if one uses the matrix analogy.

### Division[edit | edit source]

How do we compute the quotient

of two complex numbers? It is not difficult. Let the quotient be:

- ,

then cross multiplication gives:

- ,

hence

- ,

and

- .

So we have to solve two linear equations. Solution:

- ,

and

- .

Note that this is complete nonsense unless . In fact, it is easy to see that the pair of linear equations have a solution exactly when this is true, i.e., when c and d are not both zero. Or in other words, when as a complex number. Thus we can divide by a complex number *only* when it is non-zero.

Luckily there is a little trick to speed up this computation. We multiply the denominator with a well chosen number as to make it real. We *realize the denominator* by multiplying with the conjugate of the denominator; a complex number times its conjugate is a real number:

- .

hence:

- .

Note that in the multiplication and division of complex numbers, we usually work out the whole problem instead of just memorizing the equation of the answer. The reader will note that we use here the familiar trick from algebra of multiplying by the number 1 in a particularly convenient form: . (We leave it to the reader to verify that any non-zero complex number divided by itself is in fact equal to 1.)

### Problem set[edit | edit source]

Given the above rules, answer the following questions.

Note: Use sqrt(x) for

## The Argand Plane[edit | edit source]

We can represent complex numbers *geometrically* as well.
Every complex number can be represented in the form z=x+iy (so x=Re(z) and y=Im(z)).
Then we can represent z in the xy-plane by the point (x,y).
Notice that this is a one-to-one relationship: for each complex number, we have one corresponding point in
the plane, and for each point in the plane there corresponds one complex number.
When we use the xy-plane in this way to represent complex numbers, we call the plane
the "Argand plane".
We will refer to the "y" axis as the imaginary axis, and the "x" axis as the real axis.

Notice that a purely imaginary number is represented in the Argand plane by a point on the imaginary axis. A purely real number is represented by a point on the real axis.

Here is an example of the Argand plane.

There are two complex numbers drawn in the plane; viz., 1 + i, -2 - i. Their sum is plotted on the graph, -1. The red and blue lines demonstrate how geometrically, a parallelogram can be constructed, and their apex forms their sum.

### Modulus and argument[edit | edit source]

On this diagram we can see the number 3 + 4i. The red line is the distance away from the origin (the number 0 + 0i). The gray line represents the distances away from the respective axes. We can see that the red line makes an angle θ from the real axis.

It is clear that almost all complex numbers have this distance away from the origin and that almost all complex numbers make an angle away from the real axis. We give these two qualities special names; the distance away from the origin is known as the *modulus* of the complex number, and the angle θ is known as the *argument* of the complex number.

We write the modulus of a complex number z by |z|, and the argument of the complex number as arg z.

We can calculate the modulus and argument by basic trigonometry.

#### Calculating the modulus[edit | edit source]

In the above example, we have the number 3 + 4i. We can form a triangle in the Argand plane with base 3 and height 4. By Pythagoras we can find the length of the hypotenuse by .

And thus, the length of the hypotenuse is thus the modulus of the complex number, and it is 5 for 3+4i.

##### Generalization[edit | edit source]

If *z* = *x* + *y*i, |*z*| is clearly .

Equivalently, .

#### Calculating the argument[edit | edit source]

We have the same triangle as we had in calculating the modulus. Remember from trigonometry that tan θ is the ratio of the height over the base. So, for 3 + 4i, we have tan θ = 4/3, and thus θ = arctan 4/3 = 0.9...

With complex numbers, we always take two things:

- the argument must be in radians
- the argument lies in the interval [-π,π], and we always adjust the angle so it does.

Note that arg 0 is undefined.

#### Generalization[edit | edit source]

If *z* = *x* + *y*i, arg *z* is clearly arctan (y/x), or, equivalently, arg *z* = arctan (Im(*z*)/Re(*z*)).

### The polar form[edit | edit source]

We are now able to calculate the modulus and argument of a complex number, where these two numbers are able to uniquely describe every number in the Argand plane.

Using these two characteristics of complex numbers, we are now able to formulate a new way of writing these numbers.

Note that in the above diagram, we obtain a triangle that describes the complex number 3 + 4i. Clearly, we can do this for all complex numbers in the Argand plane (except for 0).

To simplify our work, let us look at numbers in the circle of unit length equidistant from 0. From trigonometry, we can parameterize all the points on a circle in the Cartesian plane by (cos θ, sin θ). In complex number notation we can say that all numbers on this unit circle are in the form cos θ+i sin θ.

This works well on the unit circle, but how does this generalize to describing *all* numbers on the plane? We simply make the circle larger or smaller to encompass the number; this is done by multiplying by the modulus.

So then, we obtain the polar form *r*(cos θ + i sin θ) = *z*, where *r* is the modulus.

## Euler's formula[edit | edit source]

A very significant result in the area of complex numbers is Euler's formula. It basically asserts that

*r*e^{iθ}= r (cos θ + i sin θ)

This statement can be verified through a rearrangement of the Taylor Series of the cosine and sine functions.

Note that conjugate complex numbers have an opposing argument. 2e^{2i} and 2e^{-2i} are conjugate pairs.

### Proofs[edit | edit source]

#### Using Taylor series[edit | edit source]

Here is a proof of Euler's formula using Taylor Series expansions
as well as basic facts about the powers of *i*:

The functions *e*^{x}, cos(*x*) and sin(*x*) (assuming *x* is real) can be written as:

and for complex *z* we *define* each of these function by the above series, replacing *x* with *iz*. This is possible because the radius of convergence of each series is infinite. We then find that

The rearrangement of terms is justified because each series is absolutely convergent. Taking *z* = *x* to be a real number, gives the original identity as Euler discovered it.

#### Using calculus[edit | edit source]

Define the complex number *z* such that

Differentiating *z* with respect to *x*:

Using the fact that *i*^{2} = -1:

Separating variables and integrating both sides:

where C is the constant of integration. To finish the proof we have to argue that it is zero. This is easily done by substituting x = 0.

But z is just equal to:

thus

So now we just exponentiate

### Corollaries[edit | edit source]

A number of significant results follow as corollaries to Euler's result.

### de Moivre's theorem[edit | edit source]

De Moivre's theorem is useful in calculating powers of complex numbers. It states that

- (
*r*(cos θ + i sin θ))^{n}=*r*^{n}( cos*n*θ + i sin*n*θ)

This follows clearly (from the laws of exponents) if we rewrite the theorem in the form

- (
*r*e^{iθ})^{n}=*r*^{n}e^{inθ}

### Equivalent trigonometric forms[edit | edit source]

From the cosine/sine form of the complex number, we can rewrite the cosine and sine function in terms of exponentials.

- cos θ = 1/2 (e
^{iθ}+ e^{-iθ}) - sin θ = 1/(2i) (e
^{iθ}- e^{-iθ})

### Relation of e, , i, 1, and 0[edit | edit source]

By substituting π into the formula, we obtain the following result:

The actual mathematical relevance of this equation is actually very little. It is known more for its relation of the many branches of mathematics: e comes from calculus, π from geometry, i comes from algebra, 1 is the multiplicative identity, and 0 is the additive identity. It is also known for its simple mathematical aesthetic.

## Forming trigonometric identities[edit | edit source]

The aforementioned equivalent trigonometric forms, combined with the Binomial theorem, allow us to create some trigonometric identities that would be difficult to form in any other way. These identities can be used to simplify integral problems.

### Cosine/sine powers[edit | edit source]

How can we simplify, say, (cos *x*)^{5}?

Let us look at a simple example for motivation. First, rewrite as

- (cos
*x*)^{5}= (1/2 (e^{ix}+e^{-ix}))^{5}=

1/2^{5} (e^{ix}+e^{-ix})^{5}

By the Binomial theorem,

- (
*a*+*b*)^{5}=*a*^{5}+ 5*a*^{4}*b*+ 10*a*^{3}*b*^{2}+ 10*a*^{2}*b*^{3}+ 5*ab*^{4}+*b*^{5}.

Replacing a with e^{ix}/2 and b with e^{-ix}/2, we obtain

- 10e
^{-ix}/32+10e^{ix}/32+5e^{3ix}/32+5e^{-3ix}/32+e^{5ix}/32+e^{-5ix}/32= - (5/16)(e
^{-ix}+e^{ix})+(5/32)(e^{3ix}+e^{-3ix})+(1/32)(e^{5ix}+e^{-5ix})= - (5/16)(2 cos
*x*)+(5/32)(2 cos 3*x*)+(1/32)(2 cos 5*x*)= **(5/8) cos***x*+(5/16) cos 3*x*+(1/16) cos 5*x*=(cos*x*)^{5}

#### Procedure[edit | edit source]

We can summarize from the above example the general procedure: To simplify an expression in the form:

- cos(
*x*)^{k} - sin(
*x*)^{k}

the procedure is:

- write cos(
*x*) or sin(*x*) in the exponential form, all to the power of*k* - expand using the Binomial theorem
- collect conjugate pairs
- write back from the exponential form into the trigonometric form

### Cosine/sine multiples[edit | edit source]

We can also form identities in the form:

- cos(
*kx*) - sin(
*kx*).

Let's look at another example to see how it's done.

#### Example[edit | edit source]

Let's expand sin(3*x*).

Recall de Moivre's theorem stating

- (cos(
*x*)+i sin(*x*))^{3}= cos(3*x*)+i sin (3*x*)

We will use this fact to expand out the left side. For ease of manipulation, it may be easier to let *c* = cos(*x*), and *s*=sin(*x*). Then use the Binomial theorem again to expand out:

- (
*c*+i*s*)^{3}=*c*^{3}+ 3i*c*^{2}*s*- 3*cs*^{2}- i*s*^{3}

Collect real and imaginary parts

- (
*c*+i*s*)^{3}=*c*^{3}- 3*cs*^{2}+ i(3*c*^{2}*s*-*s*^{3})

Now, this is of course equal to cos(3*x*)+i sin (3*x*). So, substituting back cos(*x*) for *c* and similarly for sin(*x*), we can equate real and imaginary parts, and we get

- sin(3
*x*)=3 cos(*x*)^{2}sin(*x*) - sin(*x*)^{3}

and we get

- cos(3
*x*)=cos(*x*)^{3}- 3 cos(*x*)sin(*x*)^{2}

for free.

NB: In the cosine expansion, one could write sin(*x*)^{2} as 1-cos(*x*)^{2} to obtain a formula consisting completely of cosines. (analogously one could write the sine expansion using only sines)

## External links[edit | edit source]

- Online interactive exercises on complex numbers.

**This is incomplete and a draft, additional information is to be added.**