MathDB
Trigonometric equality

Source: Baltic Way 2014, Problem 1

November 11, 2014
trigonometrymodular arithmeticalgebra proposedalgebra

Problem Statement

Show that cos(56)cos(256)cos(2256)...cos(22356)=1224.\cos(56^{\circ}) \cdot \cos(2 \cdot 56^{\circ}) \cdot \cos(2^2\cdot 56^{\circ})\cdot . . . \cdot \cos(2^{23}\cdot 56^{\circ}) = \frac{1}{2^{24}} .