1/(sinx+cosx)为什么等于√2*sin(PI/4+x)啊.