关于矩阵的证明