21
$\begingroup$

One of my classmates challenged me to solve $\displaystyle\sum\limits_{n=1}^{\infty}\frac{\sin n}n=\;?$

With a simple c program I found that $\displaystyle\sum\limits_{n=1}^{1048576}\frac{\sin n}n\approx1.070796$. Later I found $\displaystyle1.070796\approx\frac{\pi-1}{2}$. My classmate told me I guessed right, but he ask me to prove it, and he gave me a hint that $\displaystyle e^{i\theta} = \cos\theta + i \sin\theta$, though I can't see the relationship between the question and the hint.

So how to prove $\displaystyle\sum\limits_{n=1}^{\infty}\frac{\sin n}n=\frac{\pi-1}{2}$?

$\endgroup$
  • 3
  • 2
    $\begingroup$ @Norbert While the accepted answer to that question answers this one, aren't they different questions? This one asks what the series converges to. All that that one asks is for a proof of convergnece. $\endgroup$ – alex.jordan May 26 '13 at 6:36
  • 2
    $\begingroup$ @Norbert The answer in your link confuses me. And what about my friend's hint that $\displaystyle e^{i\theta} = \cos\theta + i \sin\theta$? $\endgroup$ – johnchen902 May 26 '13 at 6:44
  • 3
    $\begingroup$ I wish my friends challenged me like that :( $\endgroup$ – Prism May 26 '13 at 6:58
  • $\begingroup$ @johnchen902, if "your friend" really hinted you that $\,e^{i\theta}=\cos\theta+i\sin\theta\;$ and you did not know that before hand, it may be this exercise is not suited to your mathematics level. $\endgroup$ – DonAntonio May 26 '13 at 8:42
29
$\begingroup$

Make use of the following fact: For $\vert z \vert \leq 1$ and $z \neq 1$, we have $$\log(1-z) = - \sum_{k=1}^{\infty} \dfrac{z^k}k$$ Take $z=e^i$ and look at the imaginary part.

We hence have $$\log(1-e^i) = - \sum_{k=1}^{\infty} \dfrac{e^{ik}}k \implies \text{Imag}(\log(1-e^i)) = \text{Imag}\left(- \sum_{k=1}^{\infty} \dfrac{e^{ik}}k \right)$$ which gives us $$\sum_{k=1}^{\infty} \dfrac{\sin(k)}k = - \text{Imag}(\log(1-e^i))$$ $$\log(1-e^i) = \log \left(2\sin^2(1/2) - 2i \sin(1/2) \cos(1/2)\right) = \log(2\sin(1/2)e^{-i \pi/2}e^{i/2})$$ Hence, $$\text{Imag}(\log(1-e^i)) = \dfrac{1-\pi}2$$ which gives us $$\sum_{k=1}^{\infty} \dfrac{\sin(k)}k = \dfrac{\pi-1}2$$

$\endgroup$
  • 9
    $\begingroup$ That, my friend, is an epic observation. :-) $\endgroup$ – Parth Kohli May 26 '13 at 6:18
  • 2
    $\begingroup$ But my question is how we get that. Working it out is no simple task. (I mean the logarithm and all that, as it doesn't simplify nicely) $\endgroup$ – Simply Beautiful Art Nov 26 '16 at 14:40
  • $\begingroup$ What is $\text{Imag}$? My first thought, it stood for imagine? $\endgroup$ – Mr Pie Jan 29 '18 at 7:27
  • $\begingroup$ @user477343 I think it stands for "imaginary part." $\endgroup$ – Y. Forman Mar 27 '18 at 16:29
  • $\begingroup$ @Y.Forman thanks for telling me :) $\endgroup$ – Mr Pie Mar 27 '18 at 21:01

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.