# Questions tagged [roots-of-unity]

numbers $z$ such that $z^n=1$ for some natural number $n$; here usually $z$ is in $\mathbb C$ or some other field

640 questions
3answers
15k views

### Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$

Using $\text{n}^{\text{th}}$ root of unity $$\large\left(e^{\frac{2ki\pi}{n}}\right)^{n} = 1$$ Prove that $$\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$$
1answer
427 views

### A spiralling sequence based on integer divisors. Has anyone noticed this before?

Firstly, please excuse the informal style of my explanation, as I am not a mathematician, although I am aware that this can be explained in more formal terms. I have mapped integers to points on a ...
7answers
14k views

3answers
4k views

5answers
2k views

### Product of one minus the tenth roots of unity [closed]

If $1$, $\alpha_1$, $\alpha_2$, $\alpha_3$, $\ldots \alpha_9$ are the $10$th roots of unity, then what is the value of $$(1 - \alpha_1)(1 - \alpha_2)(1 - \alpha_3) \cdots (1 - \alpha_9)?$$ I am ...
1answer
499 views

### A little more on $\sqrt[3]{\cos\bigl(\tfrac{2\pi}7\bigr)}+\sqrt[3]{\cos\bigl(\tfrac{4\pi}7\bigr)}+\sqrt[3]{\cos\bigl(\tfrac{8\pi}7\bigr)}$

Using a special case of an identity by Ramanujan, we find that given the roots $x_i$ of $$x^3 + x^2 - (3 n^2 + n)x + n^3=0\tag1$$ which, since its discriminant is negative, always has three real ...
4answers
3k views

### Prove that $\cot^2{(\pi/7)} + \cot^2{(2\pi/7)} + \cot^2{(3\pi/7)} = 5$

Prove that $\cot^2{(\pi/7)} + \cot^2{(2\pi/7)} + \cot^2{(3\pi/7)} = 5$ . I am sure this is derived from using roots of unity and Euler's complex number function, but I am very uncomfortable in these ...
1answer
379 views

2answers
667 views

### $\bigcup_{n=1}^{\infty}\{z\in\Bbb C:z^n=1\}=\{z\in\Bbb C:|z|=1\}$?

Is $$\bigcup_{n=1}^{\infty}\{z\in\Bbb C:z^n=1\}=\{z\in\Bbb C:|z|=1\}$$my argument is that the argument of the elements of the first set are rational multiples of $\pi$ whereas the second set also ...
4answers
720 views

### Moving from $x^2+x+1=0$ to $x+1+\frac1x=0$ seems to introduce a solution, how is this possible?

I recently saw this: ($x\in\mathbb{C}$) $$x^2+x+1=0,x\neq0,\pm1$$ $$x+1+\frac{1}{x}=0$$ Plugging (2) into (1) we get $x^2-\frac{1}{x}=0$ so $x=1$ Why does this happen? I know that eq. (1)...
1answer
127 views

### How to exactly determine whether a sum of n-th roots of unity is zero

Define the set $R = \{e^{2\pi i k/n} | k=0,1,\ldots,n-1\}$ of $n$-th roots of unity. Let $S \subseteq R$ be a subset. How can I (algorithmically?) determine whether $\sum_{s\in S} s = 0$? I'm ...
4answers
151 views

### Algebraic values of sine at sevenths of the circle

At the end of a calculation it turned out that I wanted to know the value of $$\sin(2\pi/7) + \sin(4\pi/7) - \sin(6\pi/7).$$ Since I knew the answer I was supposed to get, I was able to work out that ...
2answers
947 views

### Radical extension

Let $K=\mathbb{Q}(\sqrt[n]a)$ where $a\in\mathbb{Q}$, $a>0$ and suppose $[K:\mathbb{Q}]=n$. Let $E$ be any subfield of $K$ and let $[E:\mathbb{Q}]=d.$ Prove that $E=\mathbb{Q}(\sqrt[d]a)$. It's ...
1answer
76 views

### “Converse” to the theorem “sum of roots of unity equal 0”

It is well known that sum of roots of unity equal 0. However, if $\sum_j \exp(i \phi_j)=0$, can we say something about the relation between the $\exp(i \phi_j)$'s? For example, we can rotate one of ...
1answer
461 views

### Relation that holds for the Legendre symbol of an integer but not for the Jacobi symbol?

Let $p$ be a prime number and $\big(\frac{a}{p} \big)$ the Legendre symbol. Then we have the equality $$\sum_{a=1}^{p-1} \big(\frac{a}{p} \big) \zeta^a =\sum_{t=0}^{p-1} \zeta^{t^2},$$ where $\zeta$ ...
0answers
86 views

### Rational Trig Solutions for $n\ge 3$

Are there solutions to $$\sin(x+y)\sin(x-y)=n\ \sin(x)\sin(y)$$ for $n\ge 3$ where $x$ and $y$ are rational multiples of $\pi$? (excluding the trivial solutions when both sides are $0$). Known ...
0answers
148 views

### Proving unit of quartic number field is fundamental

Let $K = \mathbb Q(\alpha)$, for $\alpha$ a root of $a^4 + 4 \alpha^2 + 2 = 0$. I want to prove the group of units $\mathcal O_K^*$ equals $\langle -1, \alpha^2 + 1\rangle$. I've found the ring of ...
3answers
521 views

### Question on primitive roots of unity

Let $p$ be an odd prime and $\omega$ be a primitive $p$th root of unity. The question is to prove that: $$(1-\omega)(1-\omega^2) \cdots (1-\omega^{p-1})=p$$ What I have done so far is: I can see ...
3answers
278 views

### Concurrent lines proof for a regular 18-gon

Let $X_1 X_2 \dotsb X_{18}$ be a regular 18-gon. Show that $X_1 X_{10}$, $X_2 X_{13}$, and $X_3 X_{15}$ are concurrent. What would be the best way to prove this? I am actually struggling ...
1answer
6k views

### Determine splitting field $K$ over $\mathbb{Q}$ of the polynomial $x^3 - 2$

Determine the splitting field $K$ over $\mathbb{Q}$ of the polynomial $x^3 - 2$ Also determine the basis over $\mathbb{Q}$ and its degree. Can I do this using only first principles?
3answers
1k views

### Way to show $x^n + y^n = z^n$ factorises as $(x + y)(x + \zeta y) \cdots (x + \zeta^{n-1}y) = z^n$

For odd $n$ the Fermat equation $x^n + y^n = z^n$ factorises as $$(x + y)(x + \zeta y) \cdots (x + \zeta^{n-1}y) = z^n,$$ where $\zeta = e^{2 \pi i/n}$. I tried seeing this was true by multiplying ...
4answers
204 views

### Minimum polynomial of a root involving the 7th root of unity

Let ω be a primitive 7th root of unity in $\Bbb C$ and set $α := ω + ω ^6$ . Determine, with justification, the minimum polynomial of α over Q. Would one use logs in such a question , or how should ...
3answers
3k views

### Why is the reciprocal of an $n$-th root of unity its complex conjugate?

As stated in the Wikipedia article on roots of unity, the reciprocal of an $n$-th root of unity is its complex conjugate. They provide the following proof of this statement: Let $z\in\mathbb{C}$ be a ...
3answers
378 views