T15 向量组 矩阵方程同解 充要条件