本記事は以下の過去記事の内容を用います．行列式の対数はその行列の凹関数であることを証明する - エンジニアを目指す浪人のブログレイリー商についての定理を証明する - エンジニアを目指す浪人のブログ逆行列の固有値は元の行列の固有値の逆数であること…