为什么2sin^2x=1-cos2x