Demuestra que $\frac{1}{2}+ \sum_{k=1}^n \cos (k\theta) = \sin((n+ \frac{1}{2})\theta)/2\sin\frac{\theta}{2}$

Question

Suponga que $\sin \frac{\theta}{2} \neq 0$. Demuestra que

$$\frac{1}{2}+ \sum_{k=1}^n \cos (k\theta) = \frac{\sin[(n+ \frac{1}{2})\theta]}{2\sin\frac{\theta}{2}}$$

La pregunta también da la pista, $$z=\cos\theta + i\sin\theta = e^{i\theta}$$ $$\sum_{k=1}^n z^k = z + z^2 + \cdots + z^n = \frac{z(z^n-1)}{z-1}$$

Lo que hice fue cambiar z a forma polar y aplicar la fórmula del ángulo doble para eliminar $\cos\theta$, pero no tengo idea de qué hacer después y todavía es $\sum_{k=1}^n z^k = \sum_{k=1}^n \cos(k\theta)+i\sin(k\theta)$, no exactamente $\sum_{k=1}^n \cos(k\theta)$ que se supone que debo demostrar

Answer 1

\begin{equation} \cos k \theta = \frac{e^{jk\theta} + e^{-jk\theta}}{2} \end{equation} Utilicemos $\sum\limits_{k=0}^{N-1 }r^k= \frac{1-r^N}{1-r} $ \begin{equation} \sum \cos k \theta = \frac{1}{2} \sum\limits_{k=1}^{N} e^{jk\theta} + \frac{1}{2} \sum\limits_{k=1}^{N} e^{-jk\theta} = \frac{1}{2} \big( \frac{1 - e^{-j (N+1) \theta}}{1 - e^{j \theta}}-1 + \frac{1 - e^{j (N+1) \theta}}{1 - e^{-j \theta}}-1 \big) \end{equation} Entonces \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( -1+ \frac{1 - e^{j (N+1) \theta}}{1 - e^{j \theta}} + \frac{1 - e^{-j (N+1) \theta}}{1 - e^{-j \theta}} \big) \end{equation} Entonces \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( \frac{-(1-e^{j \theta})(1-e^{-j \theta}) + (1 - e^{j (N+1) \theta})(1-e^{-j \theta}) + (1 - e^{-j (N+1) \theta})(1-e^{j \theta}) } {(1-e^{j \theta})(1-e^{-j \theta})} \big) \end{equation} es decir \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( \frac{ -2 + e^{j \theta} + e^{- j\theta} + 1 - e^{-j \theta} - e^{j (N+1) \theta} + e^{j N \theta} + 1 - e^{j \theta} - e^{- j (N+1) \theta }+ e^{-jN \theta} } {(1-e^{j \theta})(1-e^{-j \theta})} \big) \end{equation} es decir \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( \frac{ - (e^{j (N+1) \theta} +e^{- j (N+1) \theta })+ (e^{j N \theta} + e^{-jN \theta}) } {(1-e^{j \theta})(1-e^{-j \theta})} \big) \end{equation} es decir \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( \frac{ - 2 \cos (N+1) \theta+ 2 \cos N \theta } {4 \sin^2 \frac{\theta}{2}} \big) \end{equation} Usando $\cos a - \cos b = 2 \sin \frac{1}{2}(a+b) \sin \frac{1}{2} (b-a)$, obtenemos \begin{equation} \frac{1}{2} + \sum \cos k \theta = \frac{1}{2} \big( \frac{ 4 \sin \frac{ \theta}{2} \sin \frac{ \theta}{2} (2N + 1) } {4 \sin^2 \frac{\theta}{2}} \big) = \frac{1}{2} \frac{\sin \frac{ \theta}{2} (2N + 1) }{\sin \frac{ \theta}{2}} \end{equation}