Let’s continue our exploration of roots of unity. Recall that for any positive integer , there are complex numbers, evenly spaced around the unit circle, whose th power is equal to . These are called the th roots of unity.
Today let’s answer a simple question: what happens if you add all the th roots of unity?
For example, the third roots of unity are and . If we sum them, we get
Notice how the two terms cancel, and then we are left with .
What about the fourth roots of unity? That’s easy:
Hmm, zero again. Will we always get zero?
In fact, we will, because of symmetry. Here’s one way to think about it. Adding complex numbers is like adding vectors: we can think of a complex number as trying to “pull” the origin toward itself. Adding complex numbers means they “pull” the origin in multiple directions at the same time. Since the th roots of unity are evenly spaced around the unit circle, all their “pulls” exactly cancel out. It’s like having a bunch of people evenly spaced around the edge of a circular parachute, all pulling at the same time; the parachute doesn’t go anywhere since it is being pulled equally in all directions. (Of course the parachute could rip, but metaphors can only take you so far…)
We can see this a bit more formally as follows. Consider the sum
If we multiply both sides by , we can distribute over the sum on the right side, and we get
But , so the right-hand side is really the same as . That is, . If we subtract from both sides and factor out , we get . The only way for this to be true is if either or . is what we were trying to show, but what’s this possibility? Well, only happens when . When , we have only a single dot:
In this case, the sum is actually , not zero. So when , the sum of all th roots is , and for any larger the sum is :
So what did this proof have to do with symmetry? Well, remember that complex multiplication corresponds to rotation. In particular, multiplying by is the same as rotating by of a full circle. The equation then follows from the fact that the roots of unity have rotational symmetry: if we rotate all of them by of a turn, we end up with exactly the same set of points, so their sum must still be the same. And the only number that doesn’t change when you rotate it is—you guessed it—zero. Unless you rotate by a complete turn, that is, which is what happens when .
Next time, we’ll try adding up all the primitive th roots of unity—something much more interesting happens!
Pingback: Sums of primitive roots | The Math Less Traveled
Pingback: Computing sums of primitive roots | The Math Less Traveled