Given that $$\sum_{k=1}^{n} k =\frac{\frac{n}{2}\cdot\frac{n+1}{2}}{\frac{1}{2}},$$ we have

$$\sum_{k=1}^{n} \sin(k)=\frac{\sin(\frac{n}{2})\cdot\sin(\frac{n+1}{2})}{\sin(\frac{1}{2})}.$$

Proof: take the sine of everything.

I've decided to leave this site because of poor decisions from higher-ups and outrageous and shameful treatment of moderators. I'll miss the brilliant users here. It was fun while it lasted.