为什么cos2x=1-2sinx*sinx