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