cos(pi/17)*cos(2pi/17)*cos(4pi/17)*cos(8pi/17)

а можно поподробней

Умножь и раздели, как там сказано. В числителе будет выражение 16sin(pi/17)cos(pi/17)=8sin(2pi/17). Причем умноженное на cos(2pi/17) Опять сворачиваем как синус двойного угла 8sin(2pi/17)cos(2pi/17)=4sin(4pi/17). И опять домножаем на cos(4pi/17) и сворачиваем. И последний раз делаем то же самое для cos(8pi/17).

Умножим и разделим все выражение на 16sin(pi/17), после чего 4 раза применем формулу синуса двойного угла которая сворачивает все выражение. Получим:sin(16pi/17)/(16sin(pi/17))=sin(pi/17)/(16sin(pi/17))=1/16.