statement proposition
exp(2 pi i/n) is a primitive root of unity
Statement
Let be a positive integer. Then is a primitive root of unity.
Remarks
Proof: for , the number has argument , which is strictly between and . Thus . For this number is , and for it is .
Explanations
L1 human
The first root of unity after , going counterclockwise around the circle, is a primitive one. Its powers walk around the circle step by step and visit every th root of unity before they return to .
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.
- no evidence level
- Complex numbers object
- Real numbers object
- Set bounded above definition
- Euler's formula statement
- Product of exponentials statement
- Real and imaginary parts definition
- Root of unity definition
- Supremum definition
- de Moivre's formula statement
- Completeness axiom statement
- Primitive root of unity definition
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Argument of a complex number definition
- Principal value of the argument statement
- Polar form statement
- The nth roots of unity statement
- exp(2 pi i/n) is a primitive root of unity statement
Sources
- Web https://en.wikipedia.org/wiki/Root_of_unity, Trigonometric expression
What links here
No node links to this node yet.