sinx+cosx=√2sin(x+0.25π)的证明过程