不等式根号下(1-x^2)