>>974
積和の公式より、
2*cos(π/7)sin(π/7) = sin(2π/7)-sin(0)
-2*cos(2π/7)sin(π/7) = -sin(3π/7)+sin(π/7)
2*cos(3π/7)sin(π/7) = sin(4π/7)-sin(2π/7)
3式を加えて、2*sin(π/7)*{cos(π/7)-cos(2π/7)+cos(3π/7)}=sin(π/7)
⇔ cos(π/7)-cos(2π/7)+cos(3π/7)=1/2 ⇔ -cos(π/7)+cos(2π/7)-cos(3π/7)=-1/2
⇔ cos(6π/7)+cos(2π/7)+cos(4π/7)=-1/2