1996 USAMO Problems/Problem 1

First, as $180\sin{180^\circ}=0,$ we omit that term. Now, we multiply by $\sin 1^\circ$ to get, after using product to sum, $(\cos 1^\circ-\cos 3^\circ+2(\cos 3^\circ-\cos5)+\cdots +89(\cos 177^\circ-\cos 179^\circ)$ . This simplifies to $90\cos 1^\circ+\cos 3^\circ +\cos 5^\circ+\cos 7^\circ+...+\cos 177^\circ$ . Since $\cos x=-\cos(180-x),$ this simplifies to $90\cos 1^\circ$ . We multiplied by $\sin 1^\circ$ in the beginning, so we must divide by it now, and thus the sum is just $90\cot 1^\circ$ , so the average is $\cot 1^\circ$ , as desired.

$\Box$

Page

Toolbox

Search

1996 USAMO Problems/Problem 1