Q12
Complex numbers 2
Roots of Unity and Cyclotomic Properties
View
Let $n$ be a non-zero natural number. Let $f$ be in $\mathcal{S}_n$, where $\mathcal{S}_n$ is the $\mathbb{C}$-vector space of functions $f : \mathbb{R} \rightarrow \mathbb{C}$ satisfying $$\exists (a_0, \ldots, a_n) \in \mathbb{C}^{n+1}, \quad \exists (b_1, \ldots, b_n) \in \mathbb{C}^n, \quad \forall t \in \mathbb{R}, \quad f(t) = a_0 + \sum_{k=1}^{n}\left(a_k \cos(kt) + b_k \sin(kt)\right)$$
Show that there exists $U \in \mathbb{C}_{2n}[X]$ such that, for all $\theta \in \mathbb{R}$, $f(\theta) = \mathrm{e}^{-\mathrm{i}n\theta} U(\mathrm{e}^{\mathrm{i}\theta})$.