关于正、余弦函数的一组恒等式

• On a group of identity of sine and cosine function