MathDB
Trig Sum

Source: USAMO 1996

October 22, 2005
trigonometryratiocomplex numbersgeometric seriesalgebra

Problem Statement

Prove that the average of the numbers nsinn  (n=2,4,6,,180)n \sin n^{\circ} \; (n = 2,4,6,\ldots,180) is cot1\cot 1^{\circ}.