sin2x-cos2x-1=√2 sin(2x-π/4) 这又是怎么化的?