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

learn more… | top users | synonyms

20
votes
2answers
3k views

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

Using n_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}}$$
16
votes
3answers
758 views

Is $\sqrt 7$ the sum of roots of unity?

Let $a_n$ and $b_n$ be 2 sequences of $n$ rationals. Is it possible that $\sqrt 7 = \sum_{m=1}^{n} a_m (-1)^{b_m}$ ? Is it possible that $\sqrt{17}$ = $\sum_{m=1}^{n} a_m (-1)^{b_m}$ ? How to ...
7
votes
0answers
86 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 ...
5
votes
4answers
645 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 ...
12
votes
1answer
205 views

Something strange about $\sqrt{ 4+ \sqrt{ 4 + \sqrt{ 4-x}}}=x$ and its friends

We have the nice radical identity involving $d = 163$, $$-\sqrt{ 44- \sqrt{ 44 - \sqrt{ 44-x}}}=x,\quad\quad x = 2-2\sum_{n=1}^{27}\cos\left(\frac{2\pi\, t_1(n)}{163}\right)=-6.15824\dots$$ where ...
1
vote
3answers
212 views

Complex numbers and Roots of unity

I have no clue how to begin these problems. How do I start? I don't think I should pound em out...Thanks. Let P be the set of $42^{\text{nd}}$ roots of unity, and let Q be the set of $70^{\text{th}} ...
7
votes
0answers
85 views

What's so special about primes $x^2+27y^2 = 31,43, 109, 157,\dots$ for cubics?

While trying to find a closed-form solution for particular cubics as sums of cosines (related to this question), I came across this family with all roots real, $$F(x) = x^3+x^2-2mx+N = ...
2
votes
3answers
322 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 ...
5
votes
5answers
320 views

Prove that $(x^2-x^3)(x^4-x) = \sqrt{5}$, where $x= \cos(2\pi/5)+i\sin(2\pi/5)$

Prove $(x^2-x^3)(x^4-x) = \sqrt{5}$ if $x= \cos(2\pi/5)+i\sin(2\pi/5)$. I have tried it by substituting $x = \exp(2i\pi/5)$ but it is getting complicated.
4
votes
2answers
183 views

Discriminant of $x^n-1$

Question is to find discriminant of polynomial $x^n-1$ I consider $f(x)=x^n-1=(x-a_1)(x-a_2)(x-a_3)\cdots(x-a_n)$ Now, ...
1
vote
1answer
94 views

Roots of unity and a system of equations by Ramanujan

Is it immediately apparent that the solution to the system of equations, $$\begin{aligned} x_1^2 &= x_2+2\\ x_2^2 &= x_3+2\\ x_3^2 &= x_4+2\\ &\vdots\\ x_n^2 &= x_1+2\\ ...
1
vote
1answer
95 views

Conjecture about some group semiring representations ( and roots of unity ).

Let $\Bbb R_+=[0,\infty)$ be a semiring. $\Bbb R_+[C_n]$ is the group semiring formed by the semiring $\Bbb R_+$ and the cylic group $C_n$. Let $\Bbb R_+[X_n]$ be the polynomial semiring. ...
4
votes
2answers
86 views

Nth root of Unity

Hi all I am in higher level mathematics and I am taking the IB. We started doing problems associated with nth root of unity. I understand how to find the roots of for example: $$Z^3 - 1 =0$$ and ...
2
votes
4answers
71 views

Proof that $\mathbb G_n \bigcap \mathbb G_m = \mathbb G_{(m:n)}$

Being $\mathbb G_n$ the roots of unity for $n \in \mathbb N$, prove that $\mathbb G_n \bigcap \mathbb G_m = \mathbb G_{(m:n)}.$
2
votes
2answers
42 views

$\sum_{x \in \mathbb Z_9}w^{x^2-cx}=?$,where $c \in \mathbb Z_9$ and $w=e^{2\pi i/9}$

$$\sum_{x \in \mathbb Z_9}w^{x^2-cx}=?$$ where $c \in \mathbb Z_9$, $w=e^{2\pi i/9}$ and $\mathbb Z_9$ is the ring of integers modulo 9.
2
votes
1answer
235 views

A Trigonometric Sum Related to Gauss Sums

This is a problem given to me by fractals on Art of Problem Solving. I couldn't solve it so I'm posting it here for some thoughts on it. Let $$S = \sum_{j = 0}^{\lfloor n/2 \rfloor} ...
2
votes
1answer
140 views

The digit base and the NTT convolution

Suppose I'm using a number theoretic transform (NTT) in an integer field $GF(p)$. I assume that $2n$-th root of unity exists for such a $p$, and I want to compute a convolution of two $n$-length ...
1
vote
0answers
35 views

What is the condition for roots of conjugate reciprocal polynomials to be on the unit circle?

Given an Nth order complex polynomial $P(z) = \sum\limits_{n=0}^N a_nz^n$ such that $a_n = a^*_{N-n}$ i.e. conjugate reciprocal, Lakatos and Losonczi mention that a necessary and sufficient condition ...
1
vote
1answer
78 views

Product of Differences of nth Roots of Unity

I'm trying to show that $$\prod_{j=1}^{n-1}\left(1-e^{2\pi ij/n}\right)=n$$ but am finding it surprisingly difficult. I know by symmetry that $$\prod_{j=1}^{n-1}\left(1-e^{2\pi ...
1
vote
1answer
55 views

How find this value of $\prod_{1\le i<j\le n}(w^i-w^j)^2$

give the positive integer number $n$, and $w=\cos{\dfrac{2\pi}{n}}+i\sin{\dfrac{2\pi}{n}}$ where $i^2=-1$ find the vaule $$\prod_{1\le i<j\le n}(w^i-w^j)^2$$ My try:note $$w^n=1$$ ...
0
votes
1answer
53 views

Adjoining two primitive n-th roots

Let $\omega_n$ denote a primitive $n^{th}$ root of unity. If $m$ and $n$ are positive integers with $lcm(m,n)=k$, show that $\mathbb{Q}(\omega_n,\omega_m)=\mathbb{Q}(\omega_k)$. To start, I am aware ...