Complex numbers

\(\)Instead of projecting the future merits of complex numbers, we will introduce them in an intuitive way. We draw a parallel to negative numbers that have been universally accepted around the same time.

We start this writing with a review of concepts that should be evident. Nevertheless, I encourage you to read through them, as we build on these concepts while introducing complex numbers.

Review

Arithmetic gives us tools to manipulate numbers. It allows us to transform one number into another using transformations such as negation, addition, subtraction, multiplication and division.

Positive numbers

In first grade, we learned the concept of the number line and how numbers can be represented by vectors starting at \(0\). We visualized addition by putting these vectors head to tail, where the net length and direction is the answer.

Number line animation for \(5+3=8\)

Soon thereafter, we learned how to subtract numbers by rotating the subtrahend (the value that you subtract) vector and then putting the head to tail.

Number line animation for \(5-3=2\)

We will expand on this as we discuss negative numbers and imaginary numbers. Before we introduce such numbers, let’s also refresh on the concept of equations with squares and square roots.

Square and square root

When we solve the equation \(2x^2=8\), we look for a transformation (\(\times x\)) that, when applied twice, turns the number \(2\) into \(8\).

$$ 2 \times x \times x = 8 $$

As shown in the animation below, the two solutions \(x=2\) and \(x=-2\), both satisfy the equation \(2x^2=8\).

Number line animation for \(2 \times 2 \times 2=8\)

Negative numbers

Negative numbers have lingered around since 200 BC, but with mathematics based on geometrical ideas such as length and count, there was little place for negative numbers. After all, how can a pillar be less than nothing in height? How could you own something less than nothing?

Even a hundred years after the invention of algebra in 1637, the answer to \(4=4x+20\) would be thought of as absurd as illustrated by the quotes:

Negative numbers darken the very whole doctrines of the equations and make dark of the things which are in their nature excessively obvious and simple. Francis Maseres, British mathematician (1757)
To really obtain an isolated negative quantity, it would be necessary to cut off an effective quantity from zero, to remove something of nothing: impossible operation. Lazare Carnot, French mathematician (1803)

Acceptance

Some mathematicians in the 17th century discovered that negative numbers did have their use in solving cubic and quadratic equations, provided they didn’t worry about the meaning of these negative numbers. While the intermediate steps of their calculations may involve negative numbers, the solutions were typically real positive numbers.

Only in the 19th century were negative numbers truly accepted when mathematicians started to approach mathematics in terms of logical definitions.

Physical meaning has given way to algebraic use.

The English mathematician, John Wallis (1616 – 1703) is credited with giving meaning to negative numbers by inventing the number line. Even today, the number line helps students as they actively construct mathematical meaning, number sense and an understanding of number relationships. We learned to use negative numbers without a thinking about the thousands of years it took to develop the principle.

You were probably introduced to the concepts of absolute value and direction through the geometric representation on this number line. With negative numbers so embedded in our mathematics, we accept the solution to \(3-5\) without a second thought.

Number line animation for \(3-5=-2\)

In general, we learned that the negative symbol represents the “opposite” of a number. To change the sign of a number, we rotate its vector 180 degrees (\(\pi\)) around the point \(0\). We will extend on this important concept as we introduce imaginary numbers.

Imaginary numbers

First off, imaginary numbers are called such because for a long time they were poorly understood and regarded by some as fictitious. Even Euler, who used them extensively, once wrote:

Because all conceivable numbers are either greater than zero or less than 0 or equal to 0, then it is clear that the square roots of negative numbers cannot be included among the possible numbers [real numbers]. Consequently we must say that these are impossible numbers. And this circumstance leads us to the concept of such number, which by their nature are impossible, and ordinarily are called imaginary or fancied numbers, because they exist only in imagination. Leonhard Euler, Swiss mathematician and physicist, Introduction to Algebra pg.594

History

Around the same time that mathematicians were struggling with the concept of negative numbers, they also came across square roots of negative numbers.

Girolamo Cardano, an Italian mathematician who published the solution to cubic and quartic equations, studied a problem that in modern algebra would be expressed as \(x^2-10x+40=0\,\land\,y=10-x\)

Find two numbers whose sum is equal to 10 and whose product is equal to 40. Translation of Ars Magna chapter 37, pg 219 (1545) by Girolamo Cardano

Cardano states that it is impossible to find the two numbers. Nonetheless, he says, we will proceed. He goes on to provide two objects that satisfy the given condition. Cardano found a sensible answer by working through his algorithm, but he called these numbers “ficticious” because not only did they disappear during the calculation, but they did not seem to have any real meaning.

This subtlety results from arithmetic of which this final point is as I have said as subtle as it is useless. Translation of Ars Magna chapter 37, pg 219 (1545) by Girolamo Cardano

Acceptance

In 1849, Carl Friedrich Gauß, produced a rigorous proof for complex numbers what gave a big boost to the acceptance of these numbers in the mathematical community.

With this historic perspective, let’s see how these imaginary numbers fit into what we know about number theory.

We learned that the negative symbol represents the “opposite” of a number. On the number line we can represent this by rotating the vector that represents the number 180° (\(\pi\)) around the origin \(0\).

Let’s dive straight in and consider the equation

$$ \begin{align} x^2&=-1\\ \Rightarrow\quad 1\times x\times x&=-1\label{eq:1tomin1} \end{align} $$

What multiplication with \(x\), when applied twice, turn \(1\) into \(-1\)? Multiplying twice by a positive number gives a positive result. Same for a negative number.

Time to take a step back: we said that a negation represents a rotation of \(\pi\) around the origin. What if we rotate the vector \(1\) by \(\frac{\pi}{2}\) twice, and worry about its meaning later.

Number line animation multiplying \(1\) twice so that we get \(-1\)

Indeed, twice rotating the vector \(1\) around the origin by \(\frac{\pi}{2}\) gives us \(-1\). All that we have left to do, is to find a name for the vector where \(1\) is rotated by \(\frac{\pi}{2}\). To credit Euler’s “imaginary or fancied numbers”, we call it \(i\). The first multiplication turns \(1\) into \(i\), and the second multiplication turns \(i\) into \(-1\).

More over, rotating in the opposite direction works as well. The first multiplication turns \(1\) into \(-i\), and the second multiplication turns \(-i\) into \(-1\). So there are two square roots of \(-1\): \(i\) and \(-i\). We have two solutions to \(x^2=-1\)!

Alternate number line animation multiplying \(1\) twice so that we get \(-1\)

Interpretation of “\(i\)”

What is the meaning of this mysterious value \(i\)? The first rotation turned \(1\) into \(i\), so the rotation is a visualization of multiplying with \(i\). Rotating \(i\) once more turns \(i\) into \(-1\).

Number line animation for \(1 \times i \times i=-1\)

Substituting \(x=i\) in \(\eqref{eq:1tomin1}\) implies that \(i\times i=-1\) or written as

$$ \shaded{ i^2=-1 } $$

By introducing an axis perpendicular to the number line, we have extended or number space to a two dimensional plane called \(\mathbb{C}\). This \(\mathbb{C}\)-plane includes the real numbers from the real number line, along with imaginary numbers on the \(i\)-axis and every combination thereof. We call this new number set “Complex Numbers“.

Notation

By introducing \(i\), we have added a dimension to the number line. With that come three new notation forms that each have their own use case. We will express the complex number \(z\) as shown below in these forms.

Point in complex plane as cartesian, polar and exponential form
Relation between cartesian, polar and exponential forms

Cartesian form

Each complex number has a real part \(x\) and an imaginary part \(y\), where \(x\) and \(y\) are real numbers. Using \(i\) as the imaginary unit, we can denote a complex number \(z\) as

$$ \shaded{z=x+iy} $$

The point \(z\) can be specified by its rectangular coordinates \((x,y)\), where \(x\) and \(y\) are the signed distances to the imaginary \(y\) and real \(x\)-axis. This \(xy\)-plane is commonly called the complex plane \(\mathbb{C}\).

This cartesian form is a logical extension of the number line and will prove useful when adding or subtracting complex numbers.

Polar form

The same point \(z\) can be specified by its polar coordinates \((r,\varphi)\), where \(r\) is the distance to the origin and \(\varphi\) is the angle of the vector, in radians, with the positive \(x\)-axis. With \(r\in\mathbb{R}^+\) and \(\varphi\in\mathbb{R}\), we can describe point \(z\) as

$$ \require{enclose} \shaded{ r\enclose{phasorangle}{\small\varphi}=r\,(\cos\varphi+i\sin\varphi) } $$

here \(r\) corresponds to modulus \(|z|\), and \(\varphi\) is called the argument. The value \(z=0\) was excluded because the angle \(\varphi\) is not defined that that point.

The polar form simplifies the arithmetic when used in multiplication or powers of complex numbers.

From the illustration, it is clear how to convert from cartesian to polar form

$$ \shaded{ \begin{align} x&=r\cos\varphi\nonumber\\ y&=r\sin\varphi\nonumber \end{align}} $$ and back $$ \shaded{\begin{align} r&=\sqrt{x^2+y^2}\nonumber\\[6mu] \varphi&=\mathrm{atan2}(y,x)\nonumber\\[10mu] \end{align} } $$

Here \(\mathrm{atan2(y,x)}\) prevents negative signs in \(\arctan\frac{y}{x}\) from canceling each other out. Otherwise, we would not be able to distinguish \(\varphi\) in the 1st from that in the 3rd quadrant, or \(\varphi\) in the 2nd from that in the 4th.

$$ \begin{align} \mathrm{atan2}(y,x) &= \begin{cases} \arctan\left(\frac{y}{x}\right) & x\gt0\nonumber\\ \arctan\left(\frac{y}{x}\right)+\pi & x\lt0 \land y\geq0\nonumber\\ \arctan\left(\frac{y}{x}\right)-\pi & x\lt0 \land y\lt0\nonumber\\ \frac{\pi}{2} & x= 0 \land y\gt0\nonumber\\ -\frac{\pi}{2} & x= 0 \land y\lt0\nonumber\\ \text{undefined} & x= 0 \land y = 0\nonumber \end{cases} \end{align} $$

Consider complex number \(z\) with angle \(\varphi_0\). If you make any integer number of rotation rotate around the origin, you will be back the your initial starting point. Since a full rotation corresponds to an angle of \(2\pi\), the same point \(z\) can be described as

$$ \require{enclose} r\enclose{phasorangle}{\small\varphi+2k\pi}=r\,(\cos(\varphi+2k\pi)+i\sin(\varphi+2k\pi)),\quad k\in\mathbb{Z} $$

We will the effects of this further when discussing multi-valued functions such as square root.

Exponential form

Euler’s formula was introduced in a separate write-up as

$$ \mathrm{e}^{i\varphi} = \cos\varphi+j\sin\varphi \nonumber $$

Using Euler’s formula we can rewrite the polar form of a complex number into its exponential form

$$ \shaded{ z=r\,\mathrm{e}^{i\varphi} } $$

Similar to the polar form, the angle can be expressed in infinite different ways

$$ \begin{align} z &= r\,\mathrm{e}^{i(\varphi+2k\pi)}, & k\in\mathbb{Z} \end{align} $$

This exponential form is often preferred over the polar form, because it reduces the need for trigonometry.

What next?

My follow-up article Complex Functions introduces functions that operate on complex numbers. Such functions include addition, subtraction, multiplication to the most obscure trigonometry functions.

We will use the \(\mathbb{C}\)-plane extensively as we explore electronics and domain transforms. From here on

we will refer to the imaginary unit as “\(j\)”, to avoid confusion with electronics where the variable \(i\) is already used for electrical current.

The same Leonard Euler that once said these numbers “only exist in our imagination” also used imaginary numbers to unite trigonometry and analysis in his most beautiful formula.