求解一道线性代数 关于矩阵的证明题