行列式不等式 向量空间 不定方程 亚正定矩阵 行线 开始阶段 定理 充分必要条件