sin^2x/2为什么等于1/2(1-cosx)