Bをn×n下三角行列とする。
e^Bが、対角成分がe^{対応するBの対角成分}を持つ下三角行列であることを示せ。
また、任意のn×n行列Aについて、det(e^A)=e^(tr(A))が成立することを示せ。

よろしくお願いします。