👁 Preview — Study, Practice and Revise are open; mock tests and the rest of the syllabus unlock on subscription. Unlock all · ₹4,999
← Back to Algebra
Study mode

Cube Roots of Unity

Learning objective
Identify cube roots of unity and their properties and applications.

Cube Roots of Unity

The cube roots of unity are the complex numbers that satisfy the equation

\[x^3 = 1\]

This equation has exactly three roots in the complex plane. One of these roots is the real number 1, and the other two are complex numbers often denoted by \(\omega\) and \(\omega^2\).

1. Definition and Basic Properties

The cube roots of unity satisfy:

\[x^3 - 1 = 0\]

Factoring, we get:

\[(x - 1)(x^2 + x + 1) = 0\]

So the roots are:

  • \(x = 1\)
  • Roots of \(x^2 + x + 1 = 0\), which are complex conjugates:
\[\omega = \frac{-1 + \sqrt{-3}}{2} = -\frac{1}{2} + i \frac{\sqrt{3}}{2}\]\[\omega^2 = \frac{-1 - \sqrt{-3}}{2} = -\frac{1}{2} - i \frac{\sqrt{3}}{2}\]

These satisfy the fundamental relation:

\[\omega^3 = 1, \quad (\omega^2)^3 = 1\]

and also:

\[1 + \omega + \omega^2 = 0\]

2. Algebraic Properties

The cube roots of unity have several important algebraic properties:

  • Order: \(\omega^3 = 1\), but \(\omega \neq 1\).
  • Sum: \(1 + \omega + \omega^2 = 0\).
  • Product: \(\omega \cdot \omega^2 = 1\).
  • Conjugate: \(\overline{\omega} = \omega^2\).

From these, we can derive useful identities such as:

\[\omega^2 = -1 - \omega\]

and

\[\omega^3 - 1 = ( \omega - 1)(\omega^2 + \omega + 1) = 0\]

3. Geometric Interpretation

On the complex plane, the cube roots of unity are represented as points on the unit circle at angles of \(0^\circ\), \(120^\circ\), and \(240^\circ\):

  • \(1 = \cos 0^\circ + i \sin 0^\circ\)
  • \(\omega = \cos 120^\circ + i \sin 120^\circ\)
  • \(\omega^2 = \cos 240^\circ + i \sin 240^\circ\)

This forms an equilateral triangle inscribed in the unit circle.

1 \(\omega\) \(\omega^2\)
Figure: Cube roots of unity on the complex plane

4. Applications

The cube roots of unity are widely used in algebra, especially in simplifying expressions involving powers and roots, and in solving cubic equations.

  • Solving Cubic Equations: Using the roots of unity to express roots of cubic polynomials.
  • Factorization: Expressions like \(a^3 + b^3\) can be factorized using cube roots of unity:
\[a^3 + b^3 = (a + b)(a + b\omega)(a + b\omega^2)\]

This factorization is crucial in many algebra problems.

  • Simplifying Sums: Using the identity \(1 + \omega + \omega^2 = 0\) to simplify cyclic sums.
  • Symmetric Polynomials: Expressing symmetric functions in terms of roots of unity.

5. Exam Tips and Common Mistakes

  • Always remember the key identity: \(1 + \omega + \omega^2 = 0\).
  • Do not confuse \(\omega^2\) with \(\omega\); they are distinct complex conjugates.
  • Use the fact that \(\omega^3 = 1\) to reduce higher powers of \(\omega\).
  • When factorizing expressions like \(a^3 + b^3\), use the cube roots of unity factorization.
  • Remember the geometric interpretation to visualize the roots and their properties.

Worked Examples

Example 1: Find all cube roots of unity.

Difficulty: Easy

Solution:

We solve \(x^3 = 1\). Rewrite as:

\[x^3 - 1 = 0\]

Factor:

\[(x - 1)(x^2 + x + 1) = 0\]

So roots are:

\[x = 1\]

and roots of quadratic:

\[x^2 + x + 1 = 0\]

Using quadratic formula:

\[x = \frac{-1 \pm \sqrt{1 - 4}}{2} = \frac{-1 \pm \sqrt{-3}}{2} = -\frac{1}{2} \pm i \frac{\sqrt{3}}{2}\]

Thus, cube roots of unity are:

\[1, \quad \omega = -\frac{1}{2} + i \frac{\sqrt{3}}{2}, \quad \omega^2 = -\frac{1}{2} - i \frac{\sqrt{3}}{2}\]---

Example 2: Verify that \(1 + \omega + \omega^2 = 0\).

Difficulty: Easy

Solution:

Substitute \(\omega = -\frac{1}{2} + i \frac{\sqrt{3}}{2}\) and \(\omega^2 = -\frac{1}{2} - i \frac{\sqrt{3}}{2}\):

\[1 + \left(-\frac{1}{2} + i \frac{\sqrt{3}}{2}\right) + \left(-\frac{1}{2} - i \frac{\sqrt{3}}{2}\right) = 1 - \frac{1}{2} - \frac{1}{2} + i \frac{\sqrt{3}}{2} - i \frac{\sqrt{3}}{2}\]

Simplify real parts:

\[1 - \frac{1}{2} - \frac{1}{2} = 0\]

Simplify imaginary parts:

\[i \frac{\sqrt{3}}{2} - i \frac{\sqrt{3}}{2} = 0\]

Sum is zero, so:

\[1 + \omega + \omega^2 = 0\]---

Example 3: Simplify \(1 + \omega^5 + \omega^8\).

Difficulty: Medium

Solution:

Use \(\omega^3 = 1\) to reduce powers modulo 3:

\[\omega^5 = \omega^{3 \cdot 1 + 2} = \omega^2\]\[\omega^8 = \omega^{3 \cdot 2 + 2} = \omega^2\]

So expression becomes:

\[1 + \omega^2 + \omega^2 = 1 + 2\omega^2\]

Recall from identity: \(\omega^2 = -1 - \omega\), so:

\[1 + 2(-1 - \omega) = 1 - 2 - 2\omega = -1 - 2\omega\]

This is the simplified form.

---

Example 4: Factorize \(a^3 + b^3\) using cube roots of unity.

Difficulty: Medium

Solution:

Recall the factorization:

\[a^3 + b^3 = (a + b)(a + b\omega)(a + b\omega^2)\]

This factorization uses the cube roots of unity \(\omega\) and \(\omega^2\).

For example, if \(a = 2\) and \(b = 3\), then:

\[2^3 + 3^3 = (2 + 3)(2 + 3\omega)(2 + 3\omega^2)\]---

Example 5: Find the value of \(\omega^{10} + \omega^{15} + \omega^{20}\).

Difficulty: Hard

Solution:

Reduce powers modulo 3:

\[10 \equiv 1 \pmod{3}, \quad 15 \equiv 0 \pmod{3}, \quad 20 \equiv 2 \pmod{3}\]

So:

\[\omega^{10} = \omega^1 = \omega\]\[\omega^{15} = \omega^0 = 1\]\[\omega^{20} = \omega^2\]

Sum is:

\[\omega + 1 + \omega^2 = 0\]

Therefore, the value is 0.

---

Example 6: Prove that \(\omega - \omega^2 = i \sqrt{3}\).

Difficulty: Hard

Solution:

Recall:

\[\omega = -\frac{1}{2} + i \frac{\sqrt{3}}{2}, \quad \omega^2 = -\frac{1}{2} - i \frac{\sqrt{3}}{2}\]

Calculate \(\omega - \omega^2\):

\[\left(-\frac{1}{2} + i \frac{\sqrt{3}}{2}\right) - \left(-\frac{1}{2} - i \frac{\sqrt{3}}{2}\right) = 0 + i \frac{\sqrt{3}}{2} + i \frac{\sqrt{3}}{2} = i \sqrt{3}\]---

Formula Bank

  • Cube roots of unity satisfy: \(\omega^3 = 1\), \(\omega \neq 1\)
  • Sum of roots: \(1 + \omega + \omega^2 = 0\)
  • Product of roots: \(\omega \cdot \omega^2 = 1\)
  • Quadratic equation for non-real roots: \(x^2 + x + 1 = 0\)
  • Factorization: \(a^3 + b^3 = (a + b)(a + b\omega)(a + b\omega^2)\)
  • Power reduction: \(\omega^{3k + r} = \omega^r\), where \(k \in \mathbb{Z}\)
  • Identity: \(\omega^2 = -1 - \omega\)
Curated videos per subtopic
Top YouTube explainers, AI-ranked for your exam and language. Unlocks with subscription.
Unlock

Try Practice next.

Progress tracking is paywalled — subscribe to mark subtopics as understood and save your streak.

Go to practice →
Ask a doubt
Cube Roots of Unity · 10 free messages
Ask me anything about this subtopic. You have 10 free messages this session — chat history isn't saved in preview.