一道关于线性代数中矩阵分块的问题,答案有点疑问