MathLabs

第5题

证明 cos⁡π7−cos⁡2π7+cos⁡3π7=12\cos\frac{\pi}{7}-\cos\frac{2\pi}{7}+\cos\frac{3\pi}{7}=\frac12。
第 4/5 步：得到三个余弦恒等式
上一步下一步
2(cos⁡2π7+cos⁡4π7+cos⁡6π7)=−1⟹cos⁡2π7+cos⁡4π7+cos⁡6π7=−122\left(\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}\right)=-1\Longrightarrow\cos\frac{2\pi}{7}+\cos\frac{4\pi}{7}+\cos\frac{6\pi}{7}=-\frac12
详细分析

因为 cos⁡(2π−x)=cos⁡x\cos(2\pi-x)=\cos x，配对项给出 2(cos⁡(2π/7)+cos⁡(4π/7)+cos⁡(6π/7))=−12(\cos(2\pi/7)+\cos(4\pi/7)+\cos(6\pi/7))=-1。除以 22 得到上述三个余弦之和。