Modulus-argument form of complex numbers
Categories: complex numbers imaginary numbers
A complex number consists of two parts, a real part and an imaginary part. We often represent it as an (x, y) point on an Argand diagram.
We can also represent a complex number using polar coordinates, and it turns out this is extremely useful when we look at multiplication and powers of complex numbers.
Argand diagram
We will start by looking at the complex number z given by:
Here it is represented on an Argand diagram:
In fact, this is the number 3 + 4i, and it is represented by the point (3, 4).
Polar representation
We can also represent the same number in polar form, also known as the modulus-argument form. This graph shows a complex number in polar form, with the previous (x, y) representation shown alongside it:
The real part of this number is given by:
The imaginary part is:
So the complex number z can be written in two equivalent ways
The length r is the distance of the point z from the origin. In polar coordinates, this is called the radius of the point, but when talking about complex numbers we usually call it the modulus, denoted |z|.
For complex numbers, the angle Θ is usually called the argument of the number.
We can calculate r from x and y, using Pythagoras' theorem:
We can calculate the angle Θ using the inverse tan function:
Euler's formula
Euler's formula gives us a way of representing the modulus-argument form of a complex number:
Notice that this is e raised to the power of an imaginary number, iΘ. It might not be obvious what e raised to an imaginary power is, or what that even means, but Euler's formula answers that question. We won't prove it here, that needs an article of its own. For now, we will assume it is true.
If we multiply both sides by some real number r we get this:
Since we already know that the right-hand side of the formula above represents a general complex number z we can therefore write:
Multiplication of complex numbers using Euler's formula
If we have two complex numbers z1 and z2:
The product of these two numbers is:
We won't prove it here, but it can be shown that imaginary powers of e behave in the same way as real powers. So this simplifies to:
So when we multiply two complex numbers, expressed in modulus-argument form, we multiply the moduli (r1 and r2) and add the angles (Θ1 and Θ2). This is indeed what happens, as described in Why does complex number multiplication cause rotation?
Here, the diagram on the left shows z1 and z2 with their angles Θ1 and Θ2. The diagram on the left shows the product of z1 and z2 with the angle Θ1 + Θ2:
The cyclic nature of the modulus-argument form
In the diagram below, we will multiply two complex numbers as before:
In this case, however, the sum of the two angles is greater than 2π. This means that the product z1.z2 wraps all the way around back into the first quadrant. So the final angle Θ1 + Θ2 can alternatively be expressed as Θ1 + Θ2 - 2π. These two angles are equivalent. This is because the modulus-argument form is cyclic.
Why is this? Well, we know that the trig functions sin and cos are cyclic, so we can add or subtract any multiple of 2π from Θ without changing the value of the sin function:
The same is true of cos of course. And since Euler's formula is based on sin and cos it follows that:
We normally express complex numbers using a value of Θ such that π ≤ Θ < π. This value is called the principal argument. Using this rule, our previous multiplication example would look like this:
Now z2 has a negative angle, so when we add Θ1 and Θ2 we get a small positive result. There is no need to subtract 2π to obtain the correct result. However, when we calculate powers it is sometimes still necessary to adjust the result to find the principal argument, as we will see later.
Complex conjugate and modulus using Euler's formula
For a complex number z, the complex conjugate z* is formed by negating the imaginary part of z. This is shown here:
The conjugate is rotated by the same angle as z, but in the opposite direction. So the angle of the conjugate is -Θ:
This gives us an easy way to express the conjugate in modulus-argument form, we just negate the angle.
If we multiply z and its conjugate, we add the angles, which cancel out to zero:
Since e to the power 0 is 1 we get a real value, r squared:
And since r is equal to |z| we can find the modulus like this:
Division of complex numbers using Euler's formula
Taking the same complex numbers z1 and z2 from the multiplication example, here is what complex division looks like:
We can simplify this by using this rule relating to reciprocals of powers:
Applying this to the exponential term on the bottom gives the following:
So when we divide one exponential by another, expressed in modulus-argument form, we divide the moduli and subtract the angles. Intuitively, this makes sense because division is the opposite of multiplication.
Powers of complex numbers
We can use the modulus-argument form to calculate a complex number raised to a real power, like this:
We can simplify this using the rule for a power raised to a power:
This gives us the following formula:
So to raise z to the power n we raise the modulus r to the power n and multiply the angle by n. Here is an illustration of cubing the number z:
The solid line is the value z, with an argument Θ.
The first dotted line represents z squared. The angle is twice the angle of z (an additional angle Θ is added to the angle of z). Its modulus is r squared, where r is the modulus of z.
The second dotted line represents z cubed. It is rotated again by Θ compared to z squared, making its total angle 3Θ. Its modulus is r cubed.
This works for all real values of n, not just integer values. This means it also works for roots, using the rule that:
This allows us to find the nth of a complex number like this:
In other words, to find the nth root of a complex number expressed in modulus-argument form, we take the nth root of the modulus and divide the angle by n.
Multiple roots
For real numbers, we know that the square root of a positive number has two values, one positive and one negative. So the square root of 4 can take the value 2 or -2. We also know, of course, that a negative number has no real square root, otherwise we wouldn't be discussing complex numbers in the first place.
The cube root of a real number always has exactly one real value. For example, the cube root of 8 is 2, and the cube root of -8 is -2.
When we consider complex numbers, for positive integer n, the nth root of a number always has exactly n roots (except for the case of z equals zero). For example, the cube root of -8 has 3 values, but 2 of them are complex numbers, so we don't see them when only considering real numbers. The extra roots come from the fact that adding an integer multiple of 2π to the argument of a complex number does not affect its value.
So let's find the cube root of -8. We will express -8 in modulus-argument form:
This tells us that -8 has a modulus of 8 and an angle of π radians (in other words, -8 it is half a turn counterclockwise from +8). We find the cube root by finding the positive real cube root of 8 (which is 2) and diving the angle by 3, which gives π/3 (a sixth of turn, or 60 degrees, counterclockwise from +2). Here is the equation:
But remember that we can add 2π to the argument in the modulus-argument form of -8, which gives an alternative way to express -8 in this form:
This gives an alternative value for the cube root of -8:
This has the same modulus as previously, but an angle of π radians, which means that this root is -2, the only real value root of -8.
We can add another 2π to give yet another definition of -8:
This gives yet another value for the cube root of -8:
The angle here is 5π/3 radians. Since this value is greater than π, we need to normalise it to find the principal argument. Subtracting 2π from the value gives an angle of -π/3.
If we tried this again, adding another 2π to the definition of -8, we would end up with an argument of 7π/3 in the cube root. This normalises to π/3, so it is a duplicate of the first root we found. There are only 3 unique roots.
Here are the 3 cube roots of -8 on an Argand diagram:
The roots all have the same modulus, 2, and they are all separated by the same angle 2π/3. In general, the nth root of a complex number (where n is a positive integer) will have n values that are separated by an angle of 2π/n.
See also
- Imaginary and complex numbers
- Complex number arithmetic
- Argand diagrams
- Why does complex number multiplication cause rotation?
- De Moivre's theorem
- i to the power i
- Euler's formula - proof
- Complex powers and roots of complex numbers
- Semiprocal numbers - z to the power i
- Complex polynomials
- Complex number trigonometry functions
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