三角函数| (cosx)^2-(√3/2)*sin2x是怎样化到 cos(2x+∏/3)+1/2的?