求解一道高等代数关于矩阵的秩的证明题