Math Problem Statement

Let Un = {e2πi k

n | k = 1, . . . , n}, which as described on the sheet is the set of all

‘nth roots of unity’.

Exercise 4. Let n ≥ 2 and let s be the sum of all z ∈ Un. Show that s = 0.

Hint: there are multiple ways to do this. Set c = e2πi/n. One method is to note that

multiplying by c just rearranges the elements of Un. Another method is to observe

that you’re trying to sum 1 + c + c2 + · · · + cn−1. It’s a good idea here to multiply that

whole expression by 1 − c. You probably did something like this in Calculus II

Solution

The problem is to prove that the sum of all nn-th roots of unity is zero, s=zUnz=0s = \sum_{z \in U_n} z = 0, where Un={e2πik/nk=0,1,,n1}U_n = \{ e^{2\pi i k / n} \mid k = 0, 1, \dots, n-1 \}. Let’s use the hint and tackle this step-by-step.


Solution:

Step 1: Represent the nn-th roots of unity

Let c=e2πi/nc = e^{2\pi i / n}, which is a primitive nn-th root of unity. Then the nn-th roots of unity are: Un={1,c,c2,,cn1}.U_n = \{ 1, c, c^2, \dots, c^{n-1} \}. We need to compute the sum: s=1+c+c2++cn1.s = 1 + c + c^2 + \dots + c^{n-1}.


Step 2: Observe the geometric series

The sum ss can be expressed as a geometric series: s=1+c+c2++cn1.s = 1 + c + c^2 + \dots + c^{n-1}. The sum of a geometric series with ratio c1c \neq 1 is given by: s=1cn1c.s = \frac{1 - c^n}{1 - c}.


Step 3: Simplify using the property of cnc^n

Since c=e2πi/nc = e^{2\pi i / n}, it satisfies cn=e2πi=1c^n = e^{2\pi i} = 1. Substituting cn=1c^n = 1 into the formula: s=111c=01c=0.s = \frac{1 - 1}{1 - c} = \frac{0}{1 - c} = 0.

Thus, the sum of all nn-th roots of unity is s=0s = 0.


Step 4: Alternative explanation using symmetry

Another way to see this is that the nn-th roots of unity are symmetrically distributed around the origin in the complex plane. The sum of vectors symmetrically distributed around the origin is always zero, as the contributions in all directions cancel out.


Conclusion

The sum of all nn-th roots of unity is: s=zUnz=0.s = \sum_{z \in U_n} z = 0.


Would you like me to elaborate on any part of the derivation or discuss more about the geometric properties of roots of unity?


Related Questions:

  1. Why does cn=1c^n = 1 for any primitive nn-th root of unity?
  2. How do the nn-th roots of unity distribute on the unit circle?
  3. Can this sum be generalized for a subset of nn-th roots of unity?
  4. What is the significance of the symmetry of roots of unity in other areas of mathematics?
  5. How does the formula for the geometric series apply to complex numbers?

Tip:

When working with roots of unity, remember their fundamental property: ckcm=ck+mmodnc^k \cdot c^m = c^{k+m} \mod n, and that they always lie on the unit circle in the complex plane!

Ask a new question for Free

By Image

Drop file here or Click Here to upload

Math Problem Analysis

Mathematical Concepts

Complex Numbers
Roots of Unity
Geometric Series
Symmetry in Complex Plane

Formulas

Sum of a geometric series: s = (1 - r^n) / (1 - r) for r ≠ 1
Properties of nth roots of unity: e^(2πi/n)^n = 1

Theorems

Geometric Series Sum Formula
Symmetry of nth Roots of Unity

Suitable Grade Level

Undergraduate (First-Year Math or Advanced High School)