Imaginary and complex numbers

By Martin McBride, 2024-01-05

Categories: complex numbers imaginary numbers


In this article, we will look at imaginary numbers and complex numbers. It serves as an overview, there are links to more in-depth topics.

An imaginary number is a number that, when squared, gives a negative result, for example:

Imaginary number

There is no real number that gives this result, since:

Imaginary number

This leads to the idea of a special type of number that, when multiplied by itself, gives a negative result. These are called imaginary numbers, and a combination of a real and imaginary number is called a complex number. Initially, they were regarded as a fairly pointless mathematical oddity. These days, of course, imaginary and complex numbers are important in many branches of maths and science.

Imaginary numbers

An imaginary number is a number that gives a negative result when it is squared. We can define the unit imaginary number as being the number that, when squared, gives -1. In the early days on imaginary numbers, the unit imaginary number was simply written as:

Imaginary number

However, this notation leads to an inconsistency. If we take the view that the square of the square root of x is simply x, we get the expected result:

Imaginary number

But here is another formula for multiplying square roots:

Imaginary number

If we apply this second formula to the case when a and b are both equal to -1, we get a different result:

Imaginary number

Euler solved this by defining the unit imaginary number i. Squaring i does indeed give -1, but i is not a square root in the normal sense, so it cannot be manipulated as a square root. The second case above doesn't apply so there is no inconsistency.

Any negative square root can be expressed in terms of i, so for example:

Imaginary number

Imaginary numbers exist on a number line, much like the real numbers - but it is a different number line of imaginary values:

Imaginary number

Operations on imaginary numbers

We can add two imaginary numbers, like this:

Imaginary operations

We can also multiply an imaginary number by a real number, like this:

Imaginary operations

If we multiply an imaginary number by another imaginary number, we must remember that i times i is -1. So we get a real number as a result:

Imaginary operations

Complex numbers

Real numbers and imaginary numbers are different things, like apples and oranges. If we add 3 apples to 2 oranges, we just have 3 apples and 2 oranges, there is no simpler way to precisely describe it. So if we add a real value 3 to an imaginary value 2i the result is:

Complex operations

We can't simplify that any further, we have to leave it as the sum of a real number plus an imaginary number. We call this pair a complex number.

If we add 2 complex numbers, we can simplify the result by adding the 2 real parts together and adding the 2 imaginary parts together. But we can't simplify the number any further than that:

Complex operations

We can also multiply two complex numbers together. We do this by expanding the brackets:

Complex operations

Combining the terms, remembering that i squared is -1, gives:

Complex operations

It is also possible to divide complex numbers, see the main article on complex arithmetic.

Argand diagram

We can think of the 2 parts of a complex number, real and imaginary, as 2 separate number lines, or perhaps 2 axes in a 2-dimensional plane. We call this representation an Argand diagram. The x-axis represents the real part and the y-axis represents the imaginary part. Here is the number 3 + 4i represented as the point (3, 4) on an Argand diagram:

Complex operations

Polar representation

A complex number on an Argand diagram can also be represented in polar coordinates (r, θ). For complex numbers, the radius is normally called the modulus, and the angle is called the argument, so the polar form is called the modulus-argument form of the complex number.

Polar representation

We can write a complex number z in terms of r and θ like this:

Polar representation

Euler's formula allows us to write the modulus-argument form of a complex number in terms of a complex exponential function:

Euler's formula

We won't go into detail in this overview, but the complex exponential function operates in a similar way to the real exponential. This means that if we multiply two complex numbers, it adds the arguments (ie the angles) of the two numbers. So complex multiplication has the effect of rotating a number about the origin. Several applications of complex numbers make use of this fact.

Complex functions

We can create complex functions of complex variables. For example, here is a complex polynomial:

Complex function

For every complex value z, this function will create a complex value w. This is, effectively, a 4-dimensional curve (2 input dimensions and 2 output dimensions) which makes it difficult to visualise. One way to do this is to create 2 graphs, one showing the real value of w and one showing the imaginary value. Each is shown on the plane of an Argand diagram, using colour to indicate the value at any point. Here is the result for the complex function above:

Complex function

As we saw above, we can define a complex version of the exponential function (Euclid's formula). It is also possible to define complex number versions of sine, cosine, other trig functions, logarithms, hyperbolic functions, and any combination of these.

Applications of complex numbers

Complex numbers now have many practical applications. Here are a few examples.

Complex numbers are often used in the analysis of electric circuits when the voltage varies over time, for example in alternating current circuits, and in analogue electronics. The presence of inductance or capacitance in a time-varying circuit means that it is no longer modelled by Ohm's law alone, it obeys a differential equation. Laplace transforms are often used as a practical way of solving differential equations in that situation.

In signal processing, the Fourier transform is often used to analyse or modify the frequency spectrum of a signal.

In physics, the equations of quantum mechanics are based on complex numbers.

Complex numbers can be used in computer graphics to apply transformations to 2D images. Quaternions, a generalisation of complex numbers, are often used in 3D graphics.

Complex numbers are also used in fractals. For example, the Mandelbrot set and the Newton fractal are based on complex numbers.

See also



Join the GraphicMaths Newletter

Sign up using this form to receive an email when new content is added:

Popular tags

adder adjacency matrix alu and gate angle area argand diagram binary maths cartesian equation chain rule chord circle cofactor combinations complex modulus complex polygon complex power complex root cosh cosine cosine rule cpu cube decagon demorgans law derivative determinant diagonal directrix dodecagon eigenvalue eigenvector ellipse equilateral triangle euler eulers formula exponent exponential exterior angle first principles flip-flop focus gabriels horn gradient graph hendecagon heptagon hexagon horizontal hyperbola hyperbolic function hyperbolic functions infinity integration by parts integration by substitution interior angle inverse hyperbolic function inverse matrix irrational irregular polygon isosceles trapezium isosceles triangle kite koch curve l system line integral locus maclaurin series major axis matrix matrix algebra mean minor axis nand gate newton raphson method nonagon nor gate normal normal distribution not gate octagon or gate parabola parallelogram parametric equation pentagon perimeter permutations polar coordinates polynomial power probability probability distribution product rule proof pythagoras proof quadrilateral radians radius rectangle regular polygon rhombus root sech set set-reset flip-flop sine sine rule sinh sloping lines solving equations solving triangles square standard curves standard deviation star polygon statistics straight line graphs surface of revolution symmetry tangent tanh transformation transformations trapezium triangle turtle graphics variance vertical volume of revolution xnor gate xor gate