如何推到三角函数的同名函数的和化乘积