展开 增广矩阵线性无关的充要条件