1-cosx=2sin^2 x/2是怎么得出来的?