Concept stop · What is it?

Roots of Unity and Their Uses

In the Chinese book: 单位根及其应用

Roots of unity form a regular n-gon and sum to 0, which filters coefficients.

📖 Chapter 7 of 《复数与向量》M9 Looking at the Whole lineM15 Assigning Values line

Before this stop, visit:Complex Numbers and Equations (Concept)Vectors in Space (Concept)

Hands first, words secondFirst drag and see when the chain on the right fails to close. Then tick “multiply everything by ”: does the set of points on the left change?

Loading figure…

Try this

  1. : the six roots of unity, head to tail, form a regular hexagon and return to the start.
  2. Set to and then : some points on the left are hit twice or three times. Does the chain still close?
  3. Set to or : what happens?
  4. Tick “multiply everything by ”: every number turns by , yet the set of points on the left does not change at all.

The roots of the equation are the th roots of unity:

They are the vertices of a regular -gon inscribed in the unit circle, and

  • , , (indices taken mod );
  • ;
  • power sums:

For we write ; then , and .

Predict first

are the fifth roots of unity. What is ?

Choose an answer first; then you can see the result.

Why

Why the power sum is 0 when n does not divide m

Step 1 / 5
Loading figure…
  1. Name the sum

    Let . In the figure its chain closes, but we want a reason that works for every .

Application: filtering coefficients

The coefficients of are binomial coefficients. To find the sum of the binomial coefficients whose index is a multiple of , substitute in turn and add: is when and otherwise. The power-sum formula “filters out” the terms we do not want.

Find C(6,0) + C(6,3) + C(6,6)

Step 1 / 4
Loading figure…
  1. Which ones to add

    The coefficients of are . The indices that are multiples of are those of ; adding directly gives . Let us compute it another way.

Remove one condition

Break it

Counterexample lab: remove one condition

Conclusion:

. For any from to the chain closes; for some points are hit more than once, but they are still spread symmetrically around the circle.

Loading figure…

Practice

Exercise 1Basic

. Find .

Exercise 2Basic

. Find .

Exercise 3Advanced

Find .

Exercise 4Challenge

. Find .

Mistake Museum · Exhibits from this stop

Before you leave, look at the traps other people fell into here.See every exhibit in the museum →

Exhibit

Do all roots of x³ = 1 satisfy x² + x + 1 = 0?

The wrong step: , so , and therefore .
What went wrong? Think first, then open

Diagnosis A product of two factors being only tells you that one of them is . is also a root of , and .

The right step: Only when (that is, or ) do we get . Before using , make sure is one of the non-real cube roots.

“Before dividing by x − 1, make sure x ≠ 1”

Exhibit

One term too many

The wrong step: is a th root of unity (), so .
What went wrong? Think first, then open

Diagnosis What adds up to is exactly one full turn, terms: . The extra term makes the sum .

The right step: .

“Count the terms first, then cross out the full turns”