分块矩阵在矩阵证明题中的应用