证明如下的恒等式对一切正整数 $n$ 都成立：$$\dfrac{1}{2}+\cos{x}+\cos2x+\cdots+\cos{nx}=\dfrac{\sin\left(n+\dfrac{1}{2}\right)x}{2\sin\dfrac{1}{2}x}.$$
【难度】
【出处】
无
【标注】
【答案】
略
【解析】
略
答案
解析
备注
