f(x)=4cosxsin(x+∏/6)-1 =4cosx(√3/2sinx+1/2cosx)-1 怎么得来的啊,