cos((2pi)/7)*cos((3pi)/7)*cos((6pi)/7)cos(2π7)⋅cos(3π7)⋅cos(6π7)
=1/(8sin((2pi)/7))*4*2sin((2pi)/7)cos((2pi)/7)*cos((3pi)/7)*cos((6pi)/7)=18sin(2π7)⋅4⋅2sin(2π7)cos(2π7)⋅cos(3π7)⋅cos(6π7)
=1/(8sin((2pi)/7))*2*2sin((4pi)/7)*cos((3pi)/7)*cos((6pi)/7)=18sin(2π7)⋅2⋅2sin(4π7)⋅cos(3π7)⋅cos(6π7)
=1/(8sin((2pi)/7))*2*2sin(pi-(3pi)/7)*cos((3pi)/7)*cos((6pi)/7)=18sin(2π7)⋅2⋅2sin(π−3π7)⋅cos(3π7)⋅cos(6π7)
=1/(8sin((2pi)/7))*2*2sin((3pi)/7)*cos((3pi)/7)*cos((6pi)/7)=18sin(2π7)⋅2⋅2sin(3π7)⋅cos(3π7)⋅cos(6π7)
=1/(8sin((2pi)/7))*2sin((6pi)/7)*cos((6pi)/7)=18sin(2π7)⋅2sin(6π7)⋅cos(6π7)
=1/(8sin((2pi)/7))sin((12pi)/7)=18sin(2π7)sin(12π7)
=1/(8sin((2pi)/7))sin(2pi-(2pi)/7)=18sin(2π7)sin(2π−2π7)
=1/(8sin((2pi)/7))(-sin((2pi)/7))=18sin(2π7)(−sin(2π7))
=-1/8=−18