olymmath

IMO 1966 Problem 4

  • Day 2

Prove that for every natural number nn , and for every real number x≠kπ2tx \neq \frac{k\pi}{2^t} ( t=0,1,…,nt=0,1, \dots, n ; kk any integer) 1sin⁡2x+1sin⁡4x+⋯+1sin⁡2nx=cot⁡x−cot⁡2nx\frac{1}{\sin{2x}}+\frac{1}{\sin{4x}}+\dots+\frac{1}{\sin{2^nx}}=\cot{x}-\cot{2^nx}

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 1966 official English paper, page 1.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/1966/p4 · Tag 7B853Z68KJ · Edit this page on GitHub · Keys: j next, k previous