矩阵例题证明