cos(pi/7)cos((4pi)/7) cos((5pi)/7)
=4/(8sin(pi/7))xx(2sin(pi/7)cos(pi/7))cos((4pi)/7)cos(pi-(2pi)/7)
=-2/(8sin(pi/7))xx(2sin((2pi)/7)cos((2pi)/7))cos((4pi)/7)
=-1/(8sin(pi/7))xx(2sin((4pi)/7)cos((4pi)/7))
=-1/(8sin(pi/7))sin((8pi)/7)
=-1/(8sin(pi/7))sin(pi+pi/7)
=-1/(8sin(pi/7))(-sin(pi/7))
=1/8