展开 方程组解存在的条件