# Difference between revisions of "Roots of unity"

m |
Mysmartmouth (talk | contribs) |
||

Line 5: | Line 5: | ||

First, we note that since we have an '''n'''th degree polynomial, there will be '''n''' complex roots. | First, we note that since we have an '''n'''th degree polynomial, there will be '''n''' complex roots. | ||

− | Now, we can convert everything to [[polar]] by letting <math> x = re^{i\theta} </math>, and noting that <math> 1 = e^{2\pi ik}</math> for <math> k\in \mathbb{Z}</math>, to get <math>r^ne^{ni\theta} = e^{2\pi ik}</math>. The magnitude of the RHS is 1, making <math>r^n=1\Rightarrow r=1</math> (magnitude is always expressed as a positive real number). This leaves us with <math> e^{ni\theta} = e^{2\pi ik}</math>. | + | Now, we can convert everything to [[polar]] by letting <math> \displaystyle x = re^{i\theta} </math>, and noting that <math> \displaystyle 1 = e^{2\pi ik}</math> for <math> k\in \mathbb{Z}</math>, to get <math> \displaystyle r^ne^{ni\theta} = e^{2\pi ik}</math>. The magnitude of the RHS is 1, making <math>r^n=1\Rightarrow r=1</math> (magnitude is always expressed as a positive real number). This leaves us with <math>\displaystyle e^{ni\theta} = e^{2\pi ik}</math>. |

Taking the [[natural logarithm]] of both sides gives us <math> ni\theta = 2\pi ik</math>. Solving this gives <math> \theta=\frac{2\pi k}n </math>. Additionally, we note that for each of <math> k=0,1,2,\ldots,n-1 </math> we get a distinct value for <math> \theta </math>, but once we get to <math> k > n-1 </math>, we start getting [[coterminal]] angles. | Taking the [[natural logarithm]] of both sides gives us <math> ni\theta = 2\pi ik</math>. Solving this gives <math> \theta=\frac{2\pi k}n </math>. Additionally, we note that for each of <math> k=0,1,2,\ldots,n-1 </math> we get a distinct value for <math> \theta </math>, but once we get to <math> k > n-1 </math>, we start getting [[coterminal]] angles. | ||

− | Thus, the solutions to <math> x^n=1 </math> are given by <math> x = e^{2\pi k i/n} </math> for <math> k=0,1,2,\ldots,n-1</math>. We could also express this in trig form as <math>\displaystyle x=\cos\left(\frac{2\pi k}n\right) + i\sin\left(\frac{2\pi k}n\right) = \mathrm{cis }\left(\frac{2\pi k}n\right). </math> | + | Thus, the solutions to <math> \displaystyle x^n=1 </math> are given by <math> \displaystyle x = e^{2\pi k i/n} </math> for <math> k=0,1,2,\ldots,n-1</math>. We could also express this in trig form as <math>\displaystyle x=\cos\left(\frac{2\pi k}n\right) + i\sin\left(\frac{2\pi k}n\right) = \mathrm{cis }\left(\frac{2\pi k}n\right). </math> |

== Geometry of the roots of unity == | == Geometry of the roots of unity == |

## Revision as of 22:27, 9 September 2006

The **Roots of unity** are a topic closely related to trigonometry. Roots of unity come up when we examine the complex roots of the polynomial .

## Contents

## Solving the equation

First, we note that since we have an **n**th degree polynomial, there will be **n** complex roots.

Now, we can convert everything to polar by letting , and noting that for , to get . The magnitude of the RHS is 1, making (magnitude is always expressed as a positive real number). This leaves us with .

Taking the natural logarithm of both sides gives us . Solving this gives . Additionally, we note that for each of we get a distinct value for , but once we get to , we start getting coterminal angles.

Thus, the solutions to are given by for . We could also express this in trig form as

## Geometry of the roots of unity

All of the roots of unity lie on the unit circle in the complex plane. This can be seen by considering the magnitudes of both sides of the equation . If we let , we see that , since the magnitude of the RHS of is 1, and for two complex numbers to be equal, both their magnitudes and arguments must be equivalent.

Additionally, we can see that when the **n**th roots of unity are connected in order (more technically, we would call this their convex hull), they form a regular **n**-sided polygon. This becomes even more evident when we look at the arguments of the roots of unity.

## Properties of roots of unity

Listed below is a quick summary of important properties of roots of unity.

- They occupy the vertices of a regular
*n*-gon. - For , the sum of the
*n*th roots of unity is 0. More generally, if is a primitive*n*th root of unity (i.e. for ), then- This is an immediate result of Vieta's formulas on the polynomial and Newton sums.

- If is one of the roots of unity (but not 1), then the roots of unity can be expressed as .
- Also, don't overlook the most obvious property of all! For each th root of unity, , we have that

## Uses of roots of unity

Roots of unity show up in many suprising places. Here, we list a few: