解矩阵方程2 5 1 3