Re: HSC 2017 4U Marathon
$\noindent Let $n = 2m$ be a positive even integer and let $x_{r} = \sin \left(\frac{\pi r^{2}}{2n}\right)$ for $r = 0,1,\ldots, n-1$. For integers $j\in \left\{0,1,\ldots, n-1\right\}$, define $\xi_{j} = \sum_{r = 0}^{n-1}x_{r} \mathrm{cis}\left(-\frac{2\pi j...