这个等式是怎么证的啊: ∑i=06cos(1+2i)π7=0\sum_{i=0}^{6}\cos\dfrac{(1+2i)\pi}{7}=0∑i=06cos7(1+2i)π=0 (ps. 题目里给的是展开的形式,我懒得写这么长了直接写和式了)