描述法 方程X²+1=0的实数解集