展开 齐次线性方程一定存在零解