根据已知可以的大cos＞0 sin＜0 所以可以得到∂属于（-π/2+2kπ，2kπ）
所以∂/2属于（-π/4+kπ，kπ） 所以可以得到sin∂/2属于（-√2/2,0)U（√2/2,0）
cos∂/2属于（-1，-√2/2）U（√2/2，1）
然后根号下面就肯定是正的了，不用讨论