sin2x-cos2x=根号2·sin(2x-π/4)?怎么变的