如何化简矩阵?怎么来的?