用描述法表示集合:不等式x的平方+1小于等于0的解集