Да решим
$~~~~~~~~\cos \frac{9\pi}{17}\cos \frac{13\pi}{17}\cos \frac{15\pi}{17}\cos \frac{16\pi}{17}=\frac 1{16}$
Започваме с това, че:
$~~~~~~~~\cos \frac{9\pi}{17}=-\cos \left(\pi-\frac{9\pi}{17}\right)=-\cos \frac{8\pi}{17}~~~~~~~~~~~~(1)$
$~~~~~~~~\cos \frac{13\pi}{17}=-\cos \left(\pi-\frac{13\pi}{17}\right)=-\cos \frac{4\pi}{17}~~~~~~~~(2)$
$~~~~~~~~\cos \frac{15\pi}{17}=-\cos \left(\pi-\frac{15\pi}{17}\right)=-\cos \frac{2\pi}{17}~~~~~~~~(3)$
$~~~~~~~~\cos \frac{16\pi}{17}=-\cos \left(\pi-\frac{16\pi}{17}\right)=-\cos \frac{\pi}{17}~~~~~~~~~(4)$
Умножаваме равенства $(1)$, $(2)$, $(3)$ и $(4)$ и получаваме:
$~~~~~~~~\cos \frac{9\pi}{17}\cos \frac{13\pi}{17}\cos \frac{15\pi}{17}\cos \frac{16\pi}{17}=\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cos \frac{2\pi}{17}\cos \frac{\pi}{17}$
Дясната страна на последното равенство умножаваме по $~~\frac{2\sin \frac{\pi}{17}}{2\sin \frac{\pi}{17}}$ и получаваме:
$~~~~~~~~\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cos \frac{2\pi}{17}\cos \frac{\pi}{17}.\frac{\sin \frac{\pi}{17}}{\sin \frac{\pi}{17}}=\frac{\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cos \frac{2\pi}{17}\cdot \underbrace{2\cos \frac{\pi}{17}\sin \frac{\pi}{17}}_{=\sin \frac{2\pi}{17}}}{2\sin \frac{\pi}{17}}=\frac{\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cos \frac{2\pi}{17}\sin \frac{2\pi}{17}}{2\sin \frac{\pi}{17}}$
Умножаваме числителя и знаменателя на последния израз с $2$
$~~~~~~~~\frac{\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cdot 2\cos \frac{2\pi}{17}\sin \frac{2\pi}{17}}{2\cdot 2\sin \frac{\pi}{17}}=\frac{\cos \frac{8\pi}{17}\cos \frac{4\pi}{17}\cdot \underbrace{2\cos \frac{2\pi}{17}\sin \frac{2\pi}{17}}_{\sin \frac{4\pi}{17}}}{4\sin \frac{\pi}{17}}$
След подобни преобразования се стига до:
$~~~~~~~~\frac{\sin \frac{16\pi}{17}}{16\sin \frac{\pi}{17}}=\frac{\sin \left(\pi- \frac{16\pi}{17}\right)}{16\sin \frac{\pi}{17}}=\frac {\cancel{\sin \frac{\pi}{17}}}{16\cdot\cancel{\sin \frac{\pi}{17}}}=\frac 1{16}$