为什么1-cos(2x)=2sin^2(x)啊?是怎么推出来的啊?