展开 证明齐次线性方程组一定有解