cosx-sinx=根号2*cos(x+4/π)吗