关于三角函数的变型1+1/2(cos2y-cos2x)=1-sin(x+y)sin(y-x)