使用 cos(π−x)=−cosx\cos(\pi-x)=-\cos xcos(π−x)=−cosx:cos(4π/7)=−cos(3π/7)\cos(4\pi/7)=-\cos(3\pi/7)cos(4π/7)=−cos(3π/7) 且 cos(6π/7)=−cos(π/7)\cos(6\pi/7)=-\cos(\pi/7)cos(6π/7)=−cos(π/7)。代入三个余弦恒等式并将两边乘以 −1-1−1,得到所需结论。