Math 2.0

statement proposition

exp(2 pi i/n) is a primitive root of unity

Statement

Let nn be a positive integer. Then e2πi/ne^{2 \pi i / n} is a primitive root of unity.

Remarks

Proof: for 1≤k<n1 \le k < n, the number ζk=e2πik/n\zeta^k = e^{2 \pi i k / n} has argument 2πk/n2 \pi k / n, which is strictly between 00 and 2π2\pi. Thus ζk≠1\zeta^k \neq 1. For n=4n = 4 this number is ii, and for n=2n = 2 it is −1-1.

Explanations

L1 human

The first root of unity after 11, going counterclockwise around the circle, is a primitive one. Its powers walk around the circle step by step and visit every nnth root of unity before they return to 11.

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 19 nodes in this order. The foundations come first, and the list ends with this node.

Complex numbers, object, no evidence levelComplex numbersobjectReal numbers, object, no evidence levelReal numbersobjectSet bounded above, definition, no evidence levelSet bounded abovedefinitionEuler's formula, statement, no evidence levelEuler's formulastatementProduct of exponentials, statement, no evidence levelProduct of exponentia…statementReal and imaginary parts, definition, no evidence levelReal and imaginary pa…definitionRoot of unity, definition, no evidence levelRoot of unitydefinitionSupremum, definition, no evidence levelSupremumdefinitionde Moivre's formula, statement, no evidence levelde Moivre's formulastatementCompleteness axiom, statement, no evidence levelCompleteness axiomstatementPrimitive root of unity, definition, no evidence levelPrimitive root of uni…definitionExistence of square roots of nonnegative reals, statement, no evidence levelExistence of square r…statementSquare root, definition, no evidence levelSquare rootdefinitionModulus of a complex number, definition, no evidence levelModulus of a complex …definitionArgument of a complex number, definition, no evidence levelArgument of a complex…definitionPrincipal value of the argument, statement, no evidence levelPrincipal value of th…statementPolar form, statement, no evidence levelPolar formstatementThe nth roots of unity, statement, no evidence levelThe nth roots of unitystatementexp(2 pi i/n) is a primitive root of unity, statement, no evidence levelexp(2 pi i/n) is a pr…statement
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. Primitive root of unity definition
  12. Existence of square roots of nonnegative reals statement
  13. Square root definition
  14. Modulus of a complex number definition
  15. Argument of a complex number definition
  16. Principal value of the argument statement
  17. Polar form statement
  18. The nth roots of unity statement
  19. exp(2 pi i/n) is a primitive root of unity statement

Sources

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