Math 2.0

statement theorem

The nth roots of unity

Statement

Let nn be a positive integer. A complex number zz is an nnth root of unity if and only if z=e2πik/n=cos⁡2πkn+isin⁡2πknz = e^{2 \pi i k / n} = \cos \frac{2 \pi k}{n} + i \sin \frac{2 \pi k}{n} for some integer kk with 0≤k<n0 \le k < n.

Remarks

Proof: by de Moivre's formula, each such zz satisfies zn=e2πik=1z^n = e^{2 \pi i k} = 1. Conversely, zn=1z^n = 1 forces ∣z∣=1|z| = 1 and narg⁡z∈2πZn \arg z \in 2 \pi \mathbb{Z}. For n=3n = 3, the roots are 11 and −12±32i-\frac{1}{2} \pm \frac{\sqrt{3}}{2} i.

Explanations

L1 human

The nnth roots of unity sit on the unit circle at equal angles of 2π/n2\pi/n, starting at 11. For n=6n = 6, they are the six corners of a regular hexagon.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 17 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Euler's formula statement
  5. Product of exponentials statement
  6. Real and imaginary parts definition
  7. Root of unity definition
  8. Supremum definition
  9. de Moivre's formula statement
  10. Completeness axiom statement
  11. Existence of square roots of nonnegative reals statement
  12. Square root definition
  13. Modulus of a complex number definition
  14. Argument of a complex number definition
  15. Principal value of the argument statement
  16. Polar form statement
  17. The nth roots of unity statement

What depends on this

4 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Root_of_unity, Trigonometric expression