Math 2.0

statement theorem

Number of nth roots of unity

Statement

Let nn be a positive integer. Then there are exactly nn complex nnth roots of unity.

Remarks

The list of the nth roots of unity has nn numbers e2πik/ne^{2 \pi i k / n} with 0≤k<n0 \le k < n. They are pairwise different, because their arguments are different numbers in [0,2π)[0, 2\pi). A polynomial of degree nn has at most nn roots in a field, so Xn−1X^n - 1 has no other roots. In other fields there can be fewer: in R\mathbb{R}, the only 44th roots of unity are 11 and −1-1.

Explanations

L1 human

The equation zn=1z^n = 1 has exactly nn complex solutions. Over the real numbers, it has only one or two solutions, so most of the solutions are not real.

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 18 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
  18. Number of nth roots of unity statement

What depends on this

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

Sources

  1. Web https://en.wikipedia.org/wiki/Root_of_unity, Elementary properties