0

I need help Proving this: "For Every $n\in \mathbb{N-{0}}$ Prove the following:

$$\sin(1)+\sin(2)+...+\sin(n)=\frac{\sin(\frac{n+1}{2})\sin(\frac{n}{2})}{\sin(\frac{1}{2})}"$$

I assume we have to use Induction On this but I failed to do so

If anyone can provide a simple and clear proof I would be grateful!

ssuag
  • 83
  • 7

1 Answers1

2

Hint:

You don't need induction. Simply use that

$$\sin(1)+\sin(2)+\dots+\sin(n)=\operatorname{Im}\bigl(\mathrm e^{i}+\mathrm e^{2i}+\dots+\mathrm e^{ni}\bigr),$$ which is the sum of a geometric series with common ratio $\mathrm e^{i}$.

Bernard
  • 175,478