X的平方+2=0实数解集