Para que la secuencia de $x_0$, $x_1$, $\ldots$,$x_{N-1}$, deje $\omega=e^{2\pi i/N}$ y definir la transformada de Fourier discreta como
$$X_k = \frac{1}{\sqrt{N}}\sum_{n=0}^{N-1}x_n\omega^{nk}\,.$$
Estoy interesado en la transformación de $x_n=\omega^{n(n-1)/2}$. Al $N$ es impar, he encontrado por jugar con Mathematica que
$$X_n = \omega^{-n(n-1)/2}\omega^{(N-1)/8}\,.$$
Alguna idea de cómo demostrar esta identidad?