矩阵指数函数的性质