Olympiad problems

1975 IMO Shortlist, 12

Consider on the first quadrant of the trigonometric circle the arcs $AM_1 = x_1,AM_2 = x_2,AM_3 = x_3, \ldots , AM_v = x_v$ , such that $x_1 < x_2 < x_3 < \cdots < x_v$. Prove that \[\sum_{i=0}^{v-1} \sin 2x_i - \sum_{i=0}^{v-1} \sin (x_i- x_{i+1}) < \frac{\pi}{2} + \sum_{i=0}^{v-1} \sin (x_i + x_{i+1})\]

1966 IMO Shortlist, 25

Tags: trigonometry , algebra , trigonometric identities , equation

Prove that \[\tan 7 30^{\prime }=\sqrt{6}+\sqrt{2}-\sqrt{3}-2.\]

1979 IMO Longlists, 33

Tags: trigonometry , inequality , geometric inequality , trigonometric identities , inequalities

Show that $\frac{20}{60} <\sin 20^{\circ} < \frac{21}{60}.$

1969 IMO Longlists, 38

Tags: algebra , series summation , trigonometry , trigonometric identities

$(HUN 5)$ Let $r$ and $m (r \le m)$ be natural numbers and $Ak =\frac{2k-1}{2m}\pi$. Evaluate $\frac{1}{m^2}\displaystyle\sum_{k=1}^{m}\displaystyle\sum_{l=1}^{m}\sin(rA_k)\sin(rA_l)\cos(rA_k-rA_l)$

1966 IMO Longlists, 61

Tags: trigonometry , induction , algebra , trigonometric identities

Prove that for every natural number $n$, and for every real number $x \neq \frac{k\pi}{2^t}$ ($t=0,1, \dots, n$; $k$ any integer) \[ \frac{1}{\sin{2x}}+\frac{1}{\sin{4x}}+\dots+\frac{1}{\sin{2^nx}}=\cot{x}-\cot{2^nx} \]