带有三角函数级数的证明的小技巧

利用和差化积的公式可以看到sinx/2乘此级数后得到的级数和可以化成一个很简单的形式，进而可以证明出coskx级数是有界的，用迪利克雷判别法，an是单调趋于0，coskx级数有界，原级数收敛