In this explainer, we will learn how to identify the cubic roots of unity using de Moivreβs theorem.

A cube (or cubic) root of unity is a complex-valued solution to the equation . If we only consider real-valued solutions to this equation, we can apply the cube root to both sides of the equation to obtain , which means that there is only one real-valued solution. However, there are more solutions to this equation that are not real numbers. To solve this equation algebraically, we first rearrange this equation as . Recalling the difference of cubes formula we can factor to write

The first factor leads to the real root , while the quadratic factor will lead to complex-valued roots when we apply the quadratic roots formula. Applying the quadratic roots formula with , , and , we have

This gives us two other complex-valued solutions to the equation . Hence, we have obtained three cube roots of unity.

### Definition: Cube Roots of Unity in Cartesian Form

The cube roots of unity are the complex-valued solutions of the equation . The three cube roots of unity in Cartesian form are

The real root 1 is called the trivial cubic root of unity, and the nontrivial roots and are called the complex cubic roots of unity.

From the Cartesian form for cubic roots of unity, we can see that the two complex cubic roots of unity are complex conjugates of each other.

While this method can be used to find the cube roots of unity, it cannot be generalized to obtain higher roots of unity, which are the solutions of the equation for . Another method of obtaining the cube roots of unity involves de Moivreβs theorem, and this method can readily be generalized to find higher roots of unity. Let us recall de Moivreβs theorem for cubic roots.

### Theorem: De Moivreβs Theorem for Cubic Roots

For a complex number , the cubic roots of are given by for , and 2.

In the first example, we will apply de Moivreβs theorem for roots to find the polar form of the cube roots of unity.

### Example 1: Cubic Roots of Unity

Find all the values of for which .

### Answer

In this example, we need to find all solutions for the equation . If we only want to compute the real-valued solutions, we can apply the cube root on both sides of the equation to obtain .

To take the cube root to find complex-valued solutions of this equation, we will use the polar form of a complex number. Recall that we can express a complex number with modulus and argument in polar form as

We know that de Moivreβs theorem allows us to take the roots of a complex number in its polar form. In particular, we recall de Moivreβs theorem for cubic roots: given a complex number in polar form , the cubic roots of this complex number are for , and 2.

Hence, to take the cube root of the right-hand side of the equation, which is 1, we can begin by expressing 1 in polar form. We know that the modulus of 1 is equal to 1, and since 1 is on the positive real axis of an Argand diagram, we also know that the argument of 1 is equal to 0 radians. We can write the polar form of 1 by using and :

Applying de Moivreβs theorem to take the cubic roots of 1 in polar form, we obtain for , and 2. Hence, we have

We recall that the argument of a complex number, by convention, should lie in the standard range . The first two cubic roots have arguments 0 and , which are in this range, but the argument of the last root is , which does not lie in this range. Since this argument is over the upper bound , we can obtain an equivalent argument by subtracting the full revolution radians from this value:

We note that this equivalent argument lies in the standard range , so we can use this argument to write the third root of unity

Therefore, the cubic roots of unity are

In the previous example, we found the polar form of the cubic roots of unity by applying de Moivreβs theorem. Recall that the exponential form of a complex number with modulus and argument is , which means the polar and exponential forms of the complex number are related by the identity

Using the polar form of the cubic roots of unity obtained in the previous example, we can also write the exponential form of the roots of unity.

### Definition: Cube Roots of Unity in Polar and Exponential Forms

The three cube roots of unity in polar form are

The three cube roots of unity in exponential form are

In particular, the roots and are called the complex cubic roots of unity.

The expressions for the cube roots of unity above give the moduli and arguments of the complex numbers. We can see that the moduli of all cubic roots of unity are equal to 1, which means that they all lie on the unit circle in an Argand diagram. The first root, 1, lies on the positive real line, and the other two roots are symmetric about the real axis, as we can tell by the fact that their arguments have the opposite signs. Let us draw the cubic roots of unity on an Argand diagram.

From the Argand diagram above, we note that the angle between the two lines from the origin to the two complex cubic roots of unity is

In other words, the three cubic roots can be obtained by beginning at the point in an Argand diagram and rotating radians counterclockwise or clockwise along the unit circle. We can associate the geometric rotation in an Argand diagram with the power of complex numbers using de Moivreβs theorem.

### Theorem: De Moivreβs Theorem for Integer Powers

Let be a nonzero complex number in exponential form. Then, for any integer ,

In particular, this theorem tells us that if we square a complex number with modulus 1, we double the argument of the complex number. Regarding the Argand diagram above, we can see that squaring a complex cube root of unity will lead to the other complex root of unity.

In the next example, we will demonstrate this fact via explicit computations.

### Example 2: Products of the Cubic Roots of Unity

Let and be the complex cubic roots of unity.

- Evaluate . How does this compare with ?
- Evaluate . How does this compare with ?

### Answer

In this example, we need to take the powers of complex numbers in exponential form. Let us begin by recalling de Moivreβs theorem for integer powers:

We will apply this theorem to take the squares of and in each of the following parts. In particular, this theorem tells us that if we square a complex number with modulus 1, we double the argument of the complex number.

**Part 1**

Applying de Moivreβs theorem for integer powers, we can write

We recall that the argument of a complex number, by convention, should lie in the standard range , while the argument of above is . Since this argument is over the upper bound , we can obtain an equivalent argument by subtracting the full revolution radians from this value:

We note that this equivalent argument lies in the standard range , so we can write the exponential form of , which is the same as .

We can also understand this identity by observing an Argand diagram. Remember that, by de Moivreβs theorem, squaring a complex number with modulus 1 is equivalent to doubling the argument of the complex number on the unit circle. Hence, when we square , we obtain the complex number with modulus 1 and argument

We have already observed that this is equivalent to the argument , , which is the argument for . This leads to the following diagram.

Hence, (i.e., ).

**Part 2**

Similarly, applying de Moivreβs theorem for integer powers, we can write

We can see that the argument of above is , which does not lie in the standard range . Since this argument is below the lower bound , we can obtain an equivalent argument by adding the full revolution radians to this value:

This equivalent argument lies in the standard range ; hence, the exponential form of is written as which is the same as . Similarly to the previous part, we can visualize this relationship using an Argand diagram. If we double the argument of , we obtain which is equivalent to the argument of . This leads to the Argand diagram below.

Hence, (i.e., ).

In the previous example, we obtained that the square of a complex cubic root of unity leads to the other complex root, as we expected based on the Argand diagram. We also know that the two complex roots of unity are complex conjugates of each other. This leads to the following property.

### Property: Square of Complex Cubic Roots of Unity

Let be a complex cubic root of unity. Then,

Let us consider an example where we can apply this property to simplify an expression involving .

### Example 3: Using the Properties of the Cubic Roots of Unity

Evaluate where is a complex cube root of unity.

### Answer

Recall that a complex cube root of unity satisfies

Hence, the expression inside the parentheses can be written as

We also recall that any complex number satisfies

Hence,

The complex cube roots of unity are and , which means

Substituting this value above, we obtain

Hence,

Since we are taking an even power of the number , the sign of this number can be ignored. Distributing the power, we have

By using the rules of exponents, we can write

Hence, if is a complex cube root of unity,

In the previous example, we used the property that if we square a complex cubic root of unity, we obtain the other complex cubic root of unity, which is the conjugate of the original root. We already know by definition that we obtain 1 when we cube a complex cubic root of unity. Hence, we can observe that 3 is the smallest positive integer power of a complex cubic root of unity that leads to the answer 1. On the other hand, the same cannot be said about the cubic root of unity 1, since and also . This leads to an important definition that we now state.

### Definition: Primitive Cubic Roots of Unity

A primitive cubic root of unity is a cubic root of unity for which is the smallest positive integer for which .

As we have observed, both complex cubic roots of unity are also primitive cubic roots of unity, while the real-valued cubic root of unity is not a primitive cubic root of unity. It is not always the case that all complex roots of unity are primitive roots of unity, but this is true for the cubic roots of unity.

Let us consider other powers of a primitive cubic root of unity. For a general integer power , we can write for some integers and . This relationship also implies that . Using the rules of exponents, we can write

This leads to the following property for primitive cubic roots of unity.

### Property: Integer Powers of Primitive Cubic Roots of Unity

Let be a primitive cubic root of unity. For any integer , we have

Let us consider a few examples where we can apply this property to compute different powers of a primitive cubic root of unity.

### Example 4: Evaluating Powers of the Cube Root of Unity

Write in its simplest form, where is a primitive cube root of unity.

### Answer

We recall that for any primitive cubic root of unity , any integer power satisfies the property

In this example, we need to take the 11th power of a primitive cube root of unity; hence, . Since , we have

This tells us . Substituting this value into the property above, we have

We can also apply this property for negative integer powers, as we will see in the next example.

### Example 5: Simplifying Expressions Involving Cube Roots of Unity

Write in its simplest form, where is a primitive cube root of unity.

### Answer

We recall that for any primitive cubic root of unity , any integer power satisfies the property

In this example, we need to take the power of a primitive cube root of unity; hence, . We note which leads to

This tells us . Substituting this value into the property above, we have

In the previous two examples, we computed integer powers of the primitive cubic roots of unity. Let us consider the other property of primitive cubic roots of unity. If is a primitive cubic root of unity, we know that , which means

Using the difference of cubes formula mentioned earlier, we can write this equation as

We know that 1 is not a primitive cubic root of unity; hence, we must have

This leads to a useful property that can be used to simplify a polynomial expression in .

### Property: Primitive Cubic Roots of Unity

A primitive cubic root of unity must satisfy

Let us consider a few examples where we will apply this property to simplify polynomial expressions in .

### Example 6: Evaluating the Negative Powers of an Expression Involving Cube Roots of Unity

Evaluate , where is a primitive cube root of unity.

### Answer

We recall that a primitive cubic root of unity satisfies

The left-hand side of this equation resembles the expression given inside the parentheses. We can rearrange this equation to write

Substituting this expression,

Since is an odd power, we can factor out the negative sign to write

Now, we need to compute the power . We recall that for any primitive cubic root of unity , any integer power satisfies the property

We need to take the power of a primitive cube root of unity; hence, . We note which leads to

This tells us . Substituting this value into the property above, we have

Substituting this expression above, we have

In the previous example, we applied the identity which holds for any primitive (or complex) cubic root of unity. The key to reducing expressions in is to identify parts of the given expression that resemble the left-hand side of this equation. Sometimes, the resemblance is not immediately obvious from the given expression and we need to manipulate the given expression before we can see how to apply this identity.

In the next example, we will manipulate the given expression before applying this identity to reduce a given expression in .

### Example 7: Evaluating Expressions Involving Cubic Roots of Unity

Evaluate where is a complex cube root of unity.

### Answer

We begin by recalling that a complex cubic root of unity satisfies the identity

In this example, we will apply this identity to evaluate the given expression.

First, we notice that in the denominator of the fraction in the first set of parentheses is the term . We can rearrange the identity for complex roots of unity to write

This means that the expression in the first set of parentheses can be written as

Let us now consider the expression in the second set of parentheses. Here, the first two terms are , which can be written as . Using the same identity, we can replace with to write this expression as . Then,

We can add these two numbers by making the common denominator . This gives

Since is a cube root of unity, we know that . This reduces the expression in the second set of parentheses to

Multiplying these expressions, we obtain

Finally, since , the given expression is equal to .

In our final example, we will simplify a polynomial expression in using this identity.

### Example 8: Evaluating Expressions Involving Cubic Roots of Unity

Evaluate , where is a nontrivial cubic root of unity.

### Answer

We recall that there are three cubic roots of unity. Among the three cubic roots of unity, 1 is called the trivial root of unity and the other two roots are called the nontrivial, or complex, roots of unity. For the cubic roots of unity, we also know that a complex root of unity is also a primitive root of unity. We recall the properties of primitive cubic roots of unity, which we will use to simplify the given expression. Any primitive cubic root of unity satisfies

We begin by replacing higher powers of with their equivalent power between 0 and 2 using the first property for integer powers. In the given expression, we have , which means . Since we know , we obtain , leading to . This gives

Then, the given expression can be written as

We can rearrange the terms in the first set of parentheses to write

From the second property of primitive cubic roots of unity, we can rearrange the equation to write . This means

Hence, where we used the identity for the last equality. This simplifies the first term in the given expression.

Let us now consider the second term, which is . Since 6 is a common factor inside the parentheses, we can write this term as

By the property of primitive cubic roots of unity, we know that . This means that

Hence,

Let us finish by recapping a few important concepts from this explainer.

### Key Points

- The cube roots of unity are the complex-valued solutions of the equation . The three cube roots of unity are
- in Cartesian form, ,
- in polar form, ,
- in exponential form, .

- The real root 1 is called the trivial cubic root of unity, and the other roots are called the nontrivial or complex cubic roots of unity.
- A complex cubic root of unity satisfies .
- A primitive cubic root of unity is a cubic root of unity for which is the smallest positive integer for which . In particular, all complex cubic roots of unity are also primitive cubic roots of unity.
- Let be a primitive cubic root of unity. For any integer , we have
- A primitive cubic root of unity must satisfy