1966 IMO Problems/Problem 4
I can't add latex code on this page. Somebody add it for me.
Solution
Assume that is true, then we use
and get \cot x - \cot 2x = \frac {1}{\sin 2x}.
First, we prove
LHS=
Using the above formula, we can rewrite the original series as
Which gives us the desired answer of