展开 齐次线性方程有零解充要条件