为什么cos2x=cosx*cosx-sinx*sinx