In this question, the argument of a complex number is defined as being in the range \([0, 2\pi)\).
You are given that \(\omega_k\), where \(k = 0, 1, 2, ..., n-1\), are the \(n\) \(n\)th roots of unity for some integer \(n\), \(n \geqslant 3\), and that these are given in order of increasing argument (so that \(\omega_0 = 1\)).
- With the help of a diagram explain why \(\omega_k = (\omega_1)^k\) for \(k = 2, ..., n-1\). [3]
- Using the identity given in part (a), show that \(\sum_{k=0}^{n-1}\omega_k = 0\). [2]
- Show that if \(z\) is a complex number then \(z + z^* = 2\text{Re}(z)\). [1]
- Using the results from parts (b) and (c) show that \(\sum_{k=0}^{n-1}\text{Re}(\omega_k) = 0\). [1]
- With the help of a diagram explain why \(\text{Re}(\omega_k) = \text{Re}(\omega_{n-k})\) for \(k = 1, 2, ..., n-1\). [1]
You should now consider the case when \(n = 5\).
- Use parts (d) and (e) to deduce that \(\cos\frac{4\pi}{5} = a + b\cos\frac{2\pi}{5}\), for some rational constants \(a\) and \(b\). [2]
- Hence determine the exact value of \(\cos\frac{2\pi}{5}\). [2]