正定矩阵和顺序主子式的问题 线性代数