f(x)=2cosxsin(x+π/3)怎么化到f(x)=2cosx(1/2sinx+根号3/2cosx)