展开 判断线性方程组是否有零解