MathDB
\prod_{k=1}^{14} cos (k\pi /15)

Source: Spanish Mathematical Olympiad 1986 P6

August 2, 2018
Producttrigonometrygeometry

Problem Statement

Evaluate k=114cos(kπ15)\prod_{k=1}^{14} cos \big(\frac{k\pi}{15}\big)