方程x的平方等于负2解集的集合