Hay muchas formas equivalentes de proceder. A continuación se presentan un par de métodos equivalentes.
Primer método:
Dejemos que $$S = \sum_{k=1}^n \cos(2k \theta)$$ Entonces tenemos $$S \sin(\theta) = \sum_{k=1}^n \sin(\theta) \cos(2k \theta)$$ Recordemos que $$\sin(A) \cos(B) = \dfrac{\sin(A+B) - \sin(B-A)}2$$ Por lo tanto, obtenemos que $$S \sin(\theta) = \sum_{k=1}^n \dfrac{\left(\sin((2k+1) \theta) - \sin((2k-1) \theta) \right)}2$$ Ahora puedes ver una cancelación telescópica \begin{align} 2S \sin(\theta) & = \sin((2n+1) \theta) - \sin((2n-1) \theta)\\ & {}+ \sin((2n-1) \theta) - \sin((2n-3) \theta)\\ & {}+ \sin((2n-3) \theta) - \sin((2n-5) \theta) + \cdots\\ & {}+ \sin(3 \theta) - \sin(\theta) \end{align} Por lo tanto, obtenemos que $$2S \sin(\theta) = \sin((2n+1) \theta) - \sin(\theta) = 2 \sin(n \theta) \cos((n+1) \theta)$$ Por lo tanto, obtenemos que $$S = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$
Segundo método:
Otra forma es mirar la parte real de $e^{2i k \theta}$ y sumar la progresión geométrica.
$$S = \text{Re} \left( \sum_{k=1}^n e^{2ik \theta} \right)$$ $$\sum_{k=1}^n e^{2ik \theta} = e^{2i \theta} \left(\dfrac{e^{2in \theta} - 1}{e^{2i \theta} - 1}\right) = e^{2i \theta} \left(\dfrac{1-e^{2in \theta}}{1-e^{2i \theta}}\right)$$ $$1-e^{2i \theta} = 1 - \cos(2 \theta) - i \sin(2 \theta) = 2\sin^2(\theta) - 2i \sin(\theta) \cos(\theta) = -2i \sin(\theta) e^{i \theta}$$ $$1-e^{2i n\theta} = -2i \sin(n\theta) e^{i n\theta}$$ $$\sum_{k=1}^n e^{2ik \theta} = e^{2i \theta} \times \dfrac{-2i \sin(n\theta) e^{i n\theta}}{-2i \sin(\theta) e^{i \theta}} = \dfrac{\sin(n \theta)}{\sin(\theta)} e^{i(n+1) \theta}$$ Por lo tanto, $$\text{Re} \left( \sum_{k=1}^n e^{2ik \theta} \right) = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$
Tercer método:
También se puede utilizar la inducción directamente para demostrar $$\sum_{k=1}^n \cos(2k \theta) = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$ Para $n=1$ tenemos $$\cos(2 \theta) = \dfrac{\sin(\theta)\cos(2 \theta)}{\sin(\theta)}$$ Supongamos que es cierto para $n=m$ es decir $$\sum_{k=1}^m \cos(2k \theta) = \dfrac{\sin(m \theta) \cos((m+1) \theta)}{\sin(\theta)}$$ Ahora, en el paso de inducción, tenemos que \begin{align} \sum_{k=1}^{m+1} \cos(2k \theta) & = \sum_{k=1}^{m} \cos(2k \theta) + \cos(2(m+1) \theta)\\ & = \underbrace{\dfrac{\sin(m \theta) \cos((m+1) \theta)}{\sin(\theta)}}_{\text{From induction hypothesis}} + \cos(2(m+1) \theta)\\ & = \dfrac{\sin(m \theta) \cos((m+1) \theta) + \cos(2(m+1) \theta) \sin(\theta)}{\sin(\theta)} \end{align} $$\sin(\theta) \cos(2(m+1) \theta) = \dfrac{\sin((2m+3)\theta) - \sin((2m+1)\theta)}2$$ $$\sin(m \theta) \cos((m+1) \theta) = \dfrac{\sin((2m+1)\theta) - \sin(\theta)}2$$ Por lo tanto, $$\sin(\theta) \cos(2(m+1) \theta) + \sin(m\theta) \cos((m+1) \theta) = \dfrac{\sin((2m+3)\theta) - \sin(\theta)}2 = \sin((m+1)\theta) \cos((m+2) \theta)$$ $$\sum_{k=1}^{m+1} \cos(2k \theta) = \dfrac{\sin((m+1)\theta) \cos((m+2) \theta)}{\sin(\theta)}$$