Bewijs dat het gemiddelde van de getallen $n\sin n^\circ$ ($n=2,4,6,\ldots,180$) gelijk is aan $\cot1^\circ$.