4cosx ( 1/2 cosx - √3/2 sinx ) = 4cosx cos( x + π/3 )是怎么来的