# Unit roots/Properties of unit roots

In this chapter, we will look at the basic properties of the root of unity.

## An example

Example 1 It is given $a^{2}+a+1=0$, prove that
    $a^{2012}+({\frac {1}{a}})^{2012}=a^{1987}+({\frac {1}{a}})^{1987}$.
Prove From the given equation, we can show that $a^{3}=1$:
    $a^{3}=a^{3}-1+1=(a-1)(a^{2}+a+1)+1=1$.
Therefore,
    $a^{2012}=a^{670\times 3+2}=(a^{3})^{670}+a^{2}=a^{2}$
    $({\frac {1}{a}})^{2012}=a^{-671\times 3+1}=(a^{3})^{-671}+a=a$
    $a^{1987}=a^{662\times 3+1}=(a^{3})^{662}+a=a$
    $({\frac {1}{a}})^{1987}=a^{-663\times 3+2}=(a^{3})^{-663}+a^{2}=a^{2}$
So, both sides of the equation equal $a^{2}+a$. QED
Moreover, we can calculate the value of each side: $a^{2}+a=a^{2}+a+1-1=-1$.
In fact, we can obtain a more general result:
Example 2 Given $a^{2}+a+1=0$, and $n$ is a natural number. Evaluate $a^{n}+({\frac {1}{a}})^{n}$.
Solution
    $a^{n}+({\frac {1}{a}})^{n}={\begin{cases}-1&{\text{if }}n{\text{ is not a multiple of 3}}\\2&{\text{if }}n{\text{ is a multiple of 3}}\end{cases}}$

## The roots of unity

We have make use of an important observation, namely $a^{3}=1$, in the examples above. Numbers that satisfy the equation:
    $a^{n}=1,\quad n{\text{ is a natural number}}$
are called the nth roots of unity or the unit roots. From the knowledge of algebra, the following formula:
    $\epsilon _{k}=\cos {\frac {2k\pi }{n}}+i\sin {\frac {2k\pi }{n}},\quad k{\text{ is a natural number}}$
always gives a root of unity. When $k=0,1,\ldots ,n-1$, $\epsilon _{k}$ takes distinct values, and when $k$ takes other values, $\epsilon _{k}$ equals one of the values $\epsilon _{0},\epsilon _{1},\ldots ,\epsilon _{n-1}$. Moreover, as a polynomial equation of degree $n$, the equation has exactly $n$ roots. Therefore, ALL roots of unity are:
    $\epsilon _{0},\epsilon _{1},\ldots ,\epsilon _{n-1}$.
Note that $\epsilon _{0}=1$.
On the other hand, the roots of unity are the solution of the equation:
    $x^{n}-1=0$.
Moreover:
    $x^{n}-1=(x-1)(x^{n-1}+x^{n-2}+\cdots +x+1)$.
Therefore, $\epsilon _{1},\epsilon _{2},\ldots ,\epsilon _{n-1}$ are all roots of the equation:
    $x^{n-1}+x^{n-2}+\cdots +x+1=0$.

## The cube roots of unity

The cube roots of unity is a good starting point in our study of the properties of unit roots.
Example 3 The cube roots of unity are:
    $\epsilon _{0}=1$,
    $\epsilon _{1}=\cos {\frac {2\pi }{3}}+i\sin {\frac {2\pi }{3}}=-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i$,
    $\epsilon _{2}=\cos {\frac {4\pi }{3}}+i\sin {\frac {4\pi }{3}}=-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i$.
We usually write $\omega =\epsilon _{1}$. Then:
    $\omega ^{2}=(-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i)^{2}={\frac {1}{4}}-{\frac {\sqrt {3}}{2}}i-{\frac {3}{4}}=-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i=\epsilon _{2}$.
Therefore, the cube roots of unity can also be written as $1,\omega ,\omega ^{2}$. The cube root of unity has the following properties:
* They have a unit modulus: $|1|=|\omega |=|\omega ^{2}|=1$.
* $1,\omega ,\omega ^{2}$ are the roots of the equation $x^{3}-1=0$.
* $\omega ,\omega ^{2}$ are the roots of the equation $x^{2}+x+1=0$.
* $\epsilon _{2}^{2}=(-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i)^{2}={\frac {1}{4}}+{\frac {\sqrt {3}}{2}}i-{\frac {3}{4}}=-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i=\epsilon _{1}$. So, the cube roots of unity still have the form of $1,\omega ,\omega ^{2}$ if we let $\omega =\epsilon _{2}$.
* On the complex plane, the roots of unity are at the vertices of the regular triangle inscribed in the unit circle, with one vertex at 1.
* ${\overline {\omega }}=\omega ^{2}$, ${\overline {\omega ^{2}}}=\omega$.
* $1^{n}+\omega ^{n}+(\omega ^{2})^{n}={\begin{cases}0&{\text{if }}n{\text{ is not a multiple of 3}}\\3&{\text{if }}n{\text{ is a multiple of 3}}\end{cases}}$

## General properties of roots of unity

After looking at the properties of the cube roots of unity, we are ready to study the general properties of the nth roots of unity.
Property 1 The nth roots of unity have a unit modulus, that is:
    $|\epsilon _{k}|=1\quad k{\text{ is an integer}}$.
Proof It follows from the polar form of the unit roots.
Property 2 The product of two unit roots is also a unit root. Specifically, if $j$ and $k$ are integers, then:
    $\epsilon _{j}\cdot \epsilon _{k}=\epsilon _{j+k}$.
Proof From the multiplication rule of complex number:
    $\epsilon _{j}\cdot \epsilon _{k}=(\cos {\frac {2j\pi }{n}}+i\sin {\frac {2j\pi }{n}})\cdot (\cos {\frac {2k\pi }{n}}+i\sin {\frac {2k\pi }{n}})=(\cos {\frac {2(j+k)\pi }{n}}+i\sin {\frac {2(j+k)\pi }{n}})=\epsilon _{j+k}$.
This is a very important property of the roots of unity, from which a series of corollary can be derived:
Corollary 1 $(\epsilon _{j})^{-1}=\epsilon _{-j}$. Proof $\epsilon _{j}\cdot \epsilon _{-j}=\epsilon _{j+(-j)}=\epsilon _{0}=1$. Now, since $\epsilon _{j}\neq 0$, multiplying its inverse on both sides yields $(\epsilon _{j})^{-1}=\epsilon _{-j}$.
Corollary 2 For any integer $m$:
    $(\epsilon _{k})^{m}=\epsilon _{mk}$.
Proof When $m$ is positive, $(\epsilon _{k})^{m}=\underbrace {\epsilon _{k}\cdot \epsilon _{k}\cdot \cdots \cdot \epsilon _{k}} _{m{\text{ times}}}=\epsilon _{\underbrace {_{k+k+\cdots +k}} _{m{\text{ times}}}}=\epsilon _{mk}$. When $m=0$, non-zero complex number raised to the power of 0 is 1, so $(\epsilon _{k})^{0}=1=\epsilon _{0}$. When $m$ is negative, $-m$ is positive, so $(\epsilon _{j})^{m}=((\epsilon _{j})^{-m})^{-1}=(\epsilon _{-mj})^{-1}=\epsilon _{mj}$.
Corollary 3 If $r$ is the remainder when $k$ is divided by $n$, then $\epsilon _{k}=\epsilon _{r}$. Proof Let $k=nq+r$ where $q$ is an integer and $0\leq r<n$, then:
    $\epsilon _{k}=\epsilon _{nq+r}=(\epsilon _{n})^{q}\cdot \epsilon _{r}=1^{n}\epsilon _{r}=\epsilon _{r}$.
Corollary 4 $\epsilon _{k}=(\epsilon _{1})^{k}$. Any root of unity can be expressed as a power of $\epsilon _{1}$.
We may ask the following question: is there any other root of unity $\epsilon _{\ell }$ such that any root of unity can be expressed as a power of $\epsilon _{\ell }$?
In fact we have seen such an example when we studied the cube root of unity. A unit root with such property is called a primitive root.
Corollary 5 The conjugate of a unit root is also a unit root. Proof From the property of complex numbers $z\cdot {\overline {z}}=|z|^{2}$ and $|\epsilon _{k}|=1$, ${\overline {\epsilon _{k}}}={\frac {|\epsilon _{k}|^{2}}{\epsilon _{k}}}={\frac {1}{\epsilon _{k}}}=\epsilon _{-k}=\epsilon _{n-k}$
Corollary 6 $(\epsilon _{k})^{j}=(\epsilon _{j})^{k}$. Proof $(\epsilon _{k})^{j}=\epsilon _{jk}=(\epsilon _{j})^{k}$.
Property 3 Let $m$ be an integer, then:
    $1+\epsilon _{1}^{m}+\epsilon _{2}^{m}+\cdots +\epsilon _{n-1}^{m}={\begin{cases}0&{\text{if }}m{\text{ is not a multiple of }}n\\n&{\text{if }}m{\text{ is a multiple of }}n\end{cases}}$
Proof When $m$ is a multiple of $n$, $(\epsilon _{k})^{m}=1$ for any integer $k$, so:
    $1+\epsilon _{1}^{m}+\epsilon _{2}^{m}+\cdots +\epsilon _{n-1}^{m}=\overbrace {1+1+\cdots +1} ^{n{\text{ times}}}=n$
When $m$ is not a multiple of $n$, $(\epsilon _{1})^{m}\neq 1$. Then:
    $1+\epsilon _{1}^{m}+\epsilon _{2}^{m}+\cdots +\epsilon _{n-1}^{m}=1+\epsilon _{m}+(\epsilon _{m})^{2}+\cdots +(\epsilon _{m})^{n-1}={\frac {1-(\epsilon _{m})^{n}}{1-\epsilon _{m}}}={\frac {1-(\epsilon _{n})^{m}}{1-\epsilon _{m}}}={\frac {1-1}{1-\epsilon _{m}}}=0$.
Corollary 7 If $n>1$, the sum of all unit roots is zero: $1+\epsilon _{1}+\epsilon _{2}+\cdots +\epsilon _{n-1}=0$. Proof Take $m=1$. Alternatively, the sum of roots of the equation $x^{n}-1=0$ is zero.
Corollary 8 If $n>1$ and $\epsilon _{k}\neq 1$, then $1+\epsilon _{k}+(\epsilon _{k})^{2}+\cdot +(\epsilon _{k})^{n-1}=0$. Proof Since $\epsilon _{k}\neq 1=\epsilon _{0}$, $k$ is not a multiple of $n$. Then:
    $1+\epsilon _{k}+(\epsilon _{k})^{2}+\cdots +(\epsilon _{k})^{n-1}=1+(\epsilon _{1})^{k}+(\epsilon _{2})^{k}+\cdots +(\epsilon _{n-1})^{k}=0$.
Therefore, if we exclude $\epsilon _{0}=1$, the nth roots of unity $\epsilon _{1},\epsilon _{2},\ldots ,\epsilon _{n-1}$ are the roots of the equation:
    $1+x+x^{2}+\cdots +x^{n-1}=0$.

## Examples

Example 4 Find the fifth roots of unity. Solution It can be proved that:
    $\cos {\frac {2\pi }{5}}={\frac {{\sqrt {5}}-1}{4}}$,
    $\sin {\frac {2\pi }{5}}={\frac {\sqrt {10+2{\sqrt {5}}}}{4}}$.
Therefore,
    $\epsilon _{0}=1$,
    $\epsilon _{1}={\frac {{\sqrt {5}}-1}{4}}+{\frac {\sqrt {10+2{\sqrt {5}}}}{4}}i$,
by corollary 4 of property 2,
    $\epsilon _{2}=({\frac {{\sqrt {5}}-1}{4}}+{\frac {\sqrt {10+2{\sqrt {5}}}}{4}}i)^{2}=-{\frac {{\sqrt {5}}+1}{4}}+{\frac {\sqrt {10-2{\sqrt {5}}}}{4}}i$,
by corollary 5 of property 2,
    $\epsilon _{3}={\overline {\epsilon _{2}}}=-{\frac {{\sqrt {5}}+1}{4}}-{\frac {\sqrt {10-2{\sqrt {5}}}}{4}}i$,
    $\epsilon _{4}={\overline {\epsilon _{1}}}={\frac {{\sqrt {5}}-1}{4}}-{\frac {\sqrt {10+2{\sqrt {5}}}}{4}}i$.
Example 5 Find the sixth roots of unity in terms of $\omega$. Solution
    $\epsilon _{0}=1$,
    $\epsilon _{1}=\cos {\frac {2\pi }{6}}+i\sin {\frac {2\pi }{6}}={\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i=1+\omega$,
    $\epsilon _{2}=\cos {\frac {4\pi }{6}}+i\sin {\frac {4\pi }{6}}=-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i=\omega$,
    $\epsilon _{3}=\cos {\frac {6\pi }{6}}+i\sin {\frac {6\pi }{6}}=-1$,
    $\epsilon _{4}=\cos {\frac {8\pi }{6}}+i\sin {\frac {8\pi }{6}}=-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i=\omega ^{2}$,
    $\epsilon _{5}=\cos {\frac {10\pi }{6}}+i\sin {\frac {10\pi }{6}}={\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i=1+\omega ^{2}$.
Example 6 Evaluate:
    ${\tbinom {0}{n}}+{\tbinom {3}{n}}+{\tbinom {6}{n}}+{\tbinom {9}{n}}+\cdots +{\tbinom {3\ell -3}{n}}+{\tbinom {3\ell }{n}}$,
where $3\ell$ is the greatest multiple of 3 not exceeding $n$. Analysis The expression is the sum of every first of three consecutive binomial coefficients:
    ${\tbinom {0}{n}},{\tbinom {1}{n}},{\tbinom {2}{n}},{\tbinom {3}{n}},\ldots ,{\tbinom {n-1}{n}},{\tbinom {n}{n}}$.
A similar but more familiar sum is:
    ${\tbinom {0}{n}}+{\tbinom {2}{n}}+{\tbinom {4}{n}}+\cdots$,
which can be computed by summing the binomial expansions:
    $(1+x)^{n}={\tbinom {0}{n}}+{\tbinom {1}{n}}x+{\tbinom {2}{n}}x^{2}+\cdots +{\tbinom {n}{n}}x^{n}$
for $x=+1,-1$ (note that these are the square root of unity). The sum is
    $(1+1)^{n}+(1-1)^{n}=2{\tbinom {0}{n}}+(1+(-1)){\tbinom {1}{n}}+(1^{2}+(-1)^{2})){\tbinom {2}{n}}+\cdots +(1^{n}+(-1)^{n}){\tbinom {n}{n}}$.
The value $1^{k}+(-1)^{k}$(the coefficient of ${\tbinom {k}{n}}$) equals zero when $k$ is odd, but equals two when $k$ is even. (Note also that this follows from Property 3 for the square roots of unity.) Therefore,
    $2{\tbinom {0}{n}}+2{\tbinom {2}{n}}+2{\tbinom {4}{n}}+\cdots =2^{n}$
    ${\tbinom {0}{n}}+{\tbinom {2}{n}}+{\tbinom {4}{n}}+\cdots =2^{n-1}$
For the sum in this example, property 3 for the cube roots of unity may be useful. Solution Summing the binomial expansions:
    $(1+x)^{n}={\tbinom {0}{n}}+{\tbinom {1}{n}}x+{\tbinom {2}{n}}x^{2}+\cdots +{\tbinom {n}{n}}x^{n}$
for $x=1,\omega ,\omega ^{2}$ yields
    $(1+1)^{n}+(1+\omega )^{n}+(1+\omega ^{2})^{n}=3{\tbinom {0}{n}}+(1+\omega +\omega ^{2}){\tbinom {1}{n}}+(1^{2}+\omega ^{2}+(\omega ^{2})^{2}){\tbinom {2}{n}}+\cdots +(1^{n}+\omega ^{n}+(\omega ^{2})^{n}){\tbinom {n}{n}}$.
By property 3, the coefficient of every first of three terms equals 3 and all other terms vanish. Therefore,
    $3{\tbinom {0}{n}}+3{\tbinom {3}{n}}+3{\tbinom {6}{n}}+\cdots =2^{n}+(-\omega ^{2})^{n}+(-\omega )^{n}$
    $=2^{n}+(\cos {\frac {\pi }{3}}+i\sin {\frac {\pi }{3}})^{n}+(\cos {\frac {-\pi }{3}}+i\sin {\frac {-\pi }{3}})^{n}$
    $=2^{n}+2\cos {\frac {n\pi }{3}}$
    ${\tbinom {0}{n}}+{\tbinom {3}{n}}+{\tbinom {6}{n}}+{\tbinom {9}{n}}+\cdots +{\tbinom {3\ell -3}{n}}+{\tbinom {3\ell }{n}}={\frac {1}{3}}(2^{n}+2\cos {\frac {n\pi }{3}})$.