There is an identity that I have seen pop up in a few questions on this stackexchange, and I was wondering what proof there is for it. It goes something like this: $$-\ln\left(2\sin\left(\frac x2\right)\right)=\sum_{k=1}^\infty \frac {\cos(kx)}{k}$$

Again, my question is:

How do you prove this identity?

  • 2
    $\begingroup$ Equivalent to $$\sin(\frac{x}{2}) = \prod^{\infty}_{k=1} e^{\frac{1}{k}\cos(kx)}$$ $\endgroup$ – wythagoras May 31 '15 at 5:51
  • $\begingroup$ how about expanding both sides? $\endgroup$ – Shreya May 31 '15 at 6:02

$-\dfrac{\cos(kx)}k=$ real of $-\dfrac{e^{ikx}}k$

As $\ln(1-h)=-\sum_{r=1}^\infty\dfrac{h^r}r,$



$=ix/2+\ln(i\cdot2\sin x/2)$

$=ix/2+\ln i+\ln(2\sin x/2)$


  • 1
    $\begingroup$ Where does the second line come from? $\endgroup$ – user7530 May 31 '15 at 6:07
  • $\begingroup$ @user7530,Please find the edited version $\endgroup$ – lab bhattacharjee May 31 '15 at 6:09
  • $\begingroup$ So the identity only holds true for real $x$? $\endgroup$ – nbubis May 31 '15 at 6:47
  • $\begingroup$ @nbubis, What if $-\pi<\dfrac x 2<0\implies\sin \dfrac x2<0$ $\endgroup$ – lab bhattacharjee May 31 '15 at 7:16

Whenever I see a $\cos(kx)$ or $\sin(kx)$ I automatically think of the real or imaginary part of $e^{-kx}$.

So, let $f(x) =\sum_{k=1}^{\infty} \frac{e^{ikx}}{k} $. $f'(x) =\sum_{k=1}^{\infty} ie^{ikx} =\frac{ie^{ix}}{1-e^{ix}} $.

At this stage, I try to integrate $\frac{e^{ax}}{1-e^{ax}}$, so that I can later set $a = i$.

Being lazy, I throw it at Wolfram's integrator and get $\frac{-\ln(e^{ax}-1)}{a} $. I check that yes, this is correct.

Putting $a=i$, I get $\int \frac{ie^{ix}dx}{1-e^{ix}} =\frac{-i\ln(e^{-ix}-1)}{i} =-\ln(e^{-ix}-1) $.

Looking at that result, I get annoyed at myself for not immediately using $-\ln(1-x) =\sum_{k=1}^{\infty} \frac{x^k}{k} $.

At this point, I stop and give this to you to finish, leaving you the task of getting the $\ln$ of that complex expression and separating the real and imaginary parts.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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