三角函数中的和差化积公式是怎样推导出来的?