Hands first, words secondFirst drag m and see when the chain on the right fails to close. Then tick “multiply everything by ε1”: does the set of points on the left change?
Loading figure…
Try this
m=1: the six roots of unity, head to tail, form a regular hexagon and return to the start.
Set m to 2 and then 3: some points on the left are hit twice or three times. Does the chain still close?
Set m to 6 or 12: what happens?
Tick “multiply everything by ε1”: every number turns by n360∘, yet the set of points on the left does not change at all.
The n roots of the equation xn=1 are the nth roots of unity:
εk=cosn2kπ+isinn2kπ=ε1k,k=0,1,…,n−1.
They are the vertices of a regular n-gon inscribed in the unit circle, and
∣εk∣=1, εk=εk−1=εn−k, εjεk=εj+k (indices taken mod n);
xn−1=(x−ε0)(x−ε1)⋯(x−εn−1);
power sums: k=0∑n−1εkm={n,0,n∣mn∤m
For n=3 we write ω=ε1=2−1+3i; then ω3=1, 1+ω+ω2=0 and ωˉ=ω2.
Predict first
ε0,ε1,…,ε4 are the 5 fifth roots of unity. What is ε010+ε110+⋯+ε410?
Choose an answer first; then you can see the result.
✓You predicted it!✗Not what you expected — which is exactly why it is worth a pause.
εk10=(εk5)2=1: every term is 1, so the sum is 5. This is the case “n∣m”: the chain no longer turns, it just walks 5 steps to the right.
Loading figure…
Why
Why the power sum is 0 when n does not divide m
Step 1 / 5
Loading figure…
Name the sum
Let S=ε0+ε1+⋯+ε5. In the figure its chain closes, but we want a reason that works for every n.
S=k=0∑n−1εk
Turn everything by one step
So S = 0
Now with m-th powers
The exception
Application: filtering coefficients
The coefficients of (1+x)N are binomial coefficients. To find the sum of the binomial coefficients whose index is a multiple of 3, substitute x=1,ω,ω2 in turn and add: 1+ωi+ω2i is 3 when 3∣i and 0 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…
Which ones to add
The coefficients of (1+x)6 are 1,6,15,20,15,6,1. The indices that are multiples of 3 are those of x0,x3,x6; adding directly gives 22. Let us compute it another way.
(06)+(36)+(66)=?
Substitute the three cube roots
Why this filters them out
Divide by 3
Remove one condition
Break it
Counterexample lab: remove one condition
Conclusion: ∑k=0n−1εkm=0← still true?
n=8. For any m from 1 to 7 the chain closes; for m=2,4,6 some points are hit more than once, but they are still spread symmetrically around the circle.
Loading figure…
Allow m to be a multiple of 8:
Loading figure…
All the εk8 pile up at 1, and the sum is 8. The step in the proof “we can cancel only because ε1m=1” no longer works.
Practice
Exercise 1Basic
ω=2−1+3i. Find ω2026+ω2027.
Hint · direction
ω3=1, so exponents can be reduced mod 3.
Hint · method
2026=3×675+1.
Hint · first step
ω2026=ω and ω2027=ω2.
Full solution
ω+ω2=−1 (because 1+ω+ω2=0).
Exercise 2Basic
ε=cos72π+isin72π. Find ε+ε2+⋯+ε6.
Hint · direction
1,ε,…,ε6 are exactly all the 7th roots of unity.
Hint · method
The seven roots of unity add up to 0.
Hint · first step
1+(ε+⋯+ε6)=0.
Full solution
The sum is −1.
Exercise 3Advanced
Find (09)+(39)+(69)+(99).
Hint · direction
All the indices are multiples of 3: filter with the cube roots of unity.
Hint · method
The sum is 31(f(1)+f(ω)+f(ω2)) with f(x)=(1+x)9.
Hint · first step
f(1)=512; 1+ω=−ω2, so f(ω)=−ω18=−1, and likewise f(ω2)=−1.
Full solution
31(512−1−1)=170. Check: 1+84+84+1=170.
Exercise 4Challenge
ε=cos52π+isin52π. Find (1−ε)(1−ε2)(1−ε3)(1−ε4).
Hint · direction
ε,ε2,ε3,ε4 are all the roots of which polynomial?
Hint · method
x5−1=(x−1)(x4+x3+x2+x+1), and the roots of the second factor are exactly these, so x4+x3+x2+x+1=∏k=14(x−εk).
Hint · first step
Put x=1 in this identity.
Full solution
The left side is 1+1+1+1+1=5, and the right side is exactly the product we want, so the answer is 5. (Geometrically: the chords from the vertex 1 to the other four vertices have product 5.)