已知D是对角矩阵,怎么证明exp(Dt)是对角矩阵?