cos(pi/7)*cos*2pi/7*cos(4pi/7)=-1/8
предположим что равенство верно, тогда умножим обе части равенства на 8*sin(pi/7)
8*sin(pi/7)*cos(pi/7)*cos(2pi/7)*cos(4pi/7)=-sin(pi/7)
4sin(2pi/7)*cos(2pi/7)*cos(4pi/7)=-sin(pi/7)
2sin(4pi/7) )*cos(4pi/7)=-sin(pi/7)
sin(8pi/7)=-sin(pi/7)
sin(pi+pi/7)=-sin(pi/7)
так как
sin(a+pi)=-sin(a),
то имеем,
что -sin(pi/7)=-sin(pi/7),
что следовало и доказать