存在可逆阵P 使得 A=P^(-1)TP T是
上三角矩阵 且对角元为A的n个
特征值λ1,λ2,..λn
由定义e^(A)=I+A/1!+A^2/2!+... 注意到A^k=(P^(-1)TP )^k=P^(-1)T^kP T^k还是上三角矩阵 且对角元(λ1)^k,(λ2)^k,..(λn)^k . 所以e^(A)是上三角阵，且对角元为e^(λ1),e^(λ2),...e^(λn)
所以det(e^(A))=e^(λ1)*e^(λ2)*...*e^(λn)=e^(λ1+λ2+..+λn) =e^(tr(A))
