MathLabs

Problem 4

Prove the following equality for any natural number nn and any real number xx for which no denominator vanishes (that is, x≠kπ2tx\ne \frac{k\pi}{2^t} for t=0,1,…,nt=0,1,\dots,n and integer kk): 1sin⁡2x+1sin⁡4x+1sin⁡8x+⋯+1sin⁡2nx=cot⁡x−cot⁡2nx.\frac{1}{\sin 2x}+\frac{1}{\sin 4x}+\frac{1}{\sin 8x}+\cdots+\frac{1}{\sin 2^nx} = \cot x - \cot 2^nx.
Step 3 of 5: Telescope the sum
In plain words

This is the standard telescoping pattern: a sum of consecutive differences collapses to (first value) minus (last value).

∑k=1n1sin⁡2kx=∑k=1n[cot⁡(2k−1x)−cot⁡(2kx)]=cot⁡x−cot⁡(2nx)\sum_{k=1}^{n}\frac{1}{\sin 2^kx} = \sum_{k=1}^{n}\left[\cot(2^{k-1}x)-\cot(2^kx)\right] = \cot x - \cot(2^nx)
Detailed analysis

Adding the nn rewritten terms from step 2, every intermediate value cot⁡(2kx)\cot(2^{k}x) for 1≤k≤n−11\le k\le n-1 appears once with a ++ sign and once with a −- sign and cancels, leaving only the first term cot⁡x\cot x and the last term −cot⁡(2nx)-\cot(2^nx).