cosx/(1+sinx)=0 的解集