Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I try to express : $\displaystyle 1+2\sum _{ k=1 }^n \cos(2k\theta ) $

as : $\dfrac { \sin\left( \theta +2\theta n \right) }{ \sin\left( \theta \right) } $

I tried to use the exponential function :

$$I=\sum _{ k=1 }^n \cos(2k\theta ) ;\quad J=\sum _{ k=1 }^n \sin(2k\theta) $$

$I+i\cdot J=\displaystyle\sum _{ k=1 }^n e^{ 2ki\theta }$ and then get only the real part, but without success.

I also tried multiplying by $\dfrac {\sin(p)}{\sin(p)}$ (with $p$ an unknown variable I would determine later), but still, no success.

If someone could help, or identify the problem (I know it's a pretty famous one)

Thank you

share|cite|improve this question
This has to be a duplicate... – David Mitra Jan 6 '13 at 19:01
Writing \sin{(x)} is unnecessarily complicated; just \sin(x) suffices. You had lots of other needless nesting of {} in this posting. Lots of people seem to do that here. – Michael Hardy Jan 6 '13 at 20:58
Where is that integral..? – AD. Jan 7 '13 at 8:22
You should read about the Dirichlet kernel, which has a rich life in the theory of Fourier series. It is given by $$D_n(x)=\sum_{-n}^ne^{ikx}$$ – AD. Jan 7 '13 at 12:59
up vote 8 down vote accepted

There are many equivalent ways to proceed. Below are a couple of equivalent methods.

First method:

Let $$S = \sum_{k=1}^n \cos(2k \theta)$$ We then have $$S \sin(\theta) = \sum_{k=1}^n \sin(\theta) \cos(2k \theta)$$ Now recall that $$\sin(A) \cos(B) = \dfrac{\sin(A+B) - \sin(B-A)}2$$ Hence, we get that $$S \sin(\theta) = \sum_{k=1}^n \dfrac{\left(\sin((2k+1) \theta) - \sin((2k-1) \theta) \right)}2$$ Now you can see a telescopic cancellation \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} Hence, we get that $$2S \sin(\theta) = \sin((2n+1) \theta) - \sin(\theta) = 2 \sin(n \theta) \cos((n+1) \theta)$$ Hence, we get that $$S = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$

Second method:

Another way is to look at the real part of $e^{2i k \theta}$ and sum the geometric progression.

$$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}$$ Hence, $$\text{Re} \left( \sum_{k=1}^n e^{2ik \theta} \right) = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$

Third method:

You can also use induction directly to prove $$\sum_{k=1}^n \cos(2k \theta) = \dfrac{\sin(n \theta) \cos((n+1) \theta)}{\sin(\theta)}$$ For $n=1$, we have $$\cos(2 \theta) = \dfrac{\sin(\theta)\cos(2 \theta)}{\sin(\theta)}$$ Assume it is true for $n=m$ i.e. $$\sum_{k=1}^m \cos(2k \theta) = \dfrac{\sin(m \theta) \cos((m+1) \theta)}{\sin(\theta)}$$ Now at the induction step, we have that \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$$ Hence,$$\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)}$$

share|cite|improve this answer
Thanks a lot ! This was very helpful ! – LaX Jan 7 '13 at 8:10

The formula for the sum of a geometric series says $$ \begin{align} \sum_{k=1}^ne^{i2\theta k} &=e^{i2\theta}\frac{e^{i2\theta n}-1}{e^{i2\theta}-1}\\ &=e^{i(n+1)\theta}\frac{e^{i\theta n}-e^{-i\theta n}}{e^{i\theta}-e^{-i\theta}}\\ &=e^{i(n+1)\theta}\frac{\sin(n\theta)}{\sin(\theta)}\tag{1} \end{align} $$ Taking the real part of $(1)$ yields $$ \begin{align} \sum_{k=1}^n\cos(2\theta k) &=\frac{\cos((n+1)\theta)\sin(n\theta)}{\sin(\theta)}\\ &=\frac{\sin((2n+1)\theta)-\sin(\theta)}{2\sin(\theta)}\tag{2} \end{align} $$ Doubling $(2)$ and adding $1$ gives $$ 1+2\sum_{k=1}^n\cos(2\theta k)=\frac{\sin((2n+1)\theta)}{\sin(\theta)}\tag{3} $$

share|cite|improve this answer

$$\begin{align*}\sum_{k=1}^n\cos(2\theta k)&=\operatorname{Re}\sum_{k=1}^n(e^{2i\theta})^k=\operatorname{Re}\left(\frac{e^{2i\theta(n+1)}-1}{e^{2i\theta}-1}-1\right)=\operatorname{Re}\frac{e^{2i\theta(n+1)}-e^{2i\theta}}{e^{i\theta}(e^{i\theta}-e^{-i\theta})}\\ &=\operatorname{Re}\frac{e^{2in\theta}-e^{i\theta}}{2i\sin\theta}=\operatorname{Re}\frac{\cos2n\theta+i\sin2n\theta-\cos\theta-i\sin\theta}{2i\sin\theta}\\ &=\operatorname{Re}\left(\frac{\sin2n\theta-\sin\theta}{2\sin\theta}+i\frac{\cos\theta-\cos2n\theta}{2\sin\theta}\right)=\frac{\sin2n\theta-\sin\theta}{2\sin\theta} \end{align*}$$ Hence $$1+2\sum _{ k=1 }^{ n }{\cos{(2k\theta )} }=1+2\frac{\sin2n\theta-\sin\theta}{2\sin\theta}=\frac{\sin2n\theta}{\sin\theta}$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.