Mathematics

Problem

Prove that for any positive integer

K

\frac{\sin 2Kx}{\sin x} = 2[\cos x + \cos 3x + \dots + \cos(2K-1)x]

Hence, prove that

\int_0^{\pi/2} \sin 2Kx \cdot \cot x dx = \frac{\pi}{2}