三角函数公式推导.请写出推导过程cos(a+b)=cosa*cosb-sina*sinbcos(a-b)=cosa*co