1-cosx=2sin2x/2 怎么得出来的