正定値行列の行列式は正
定理
正定値行列の行列式は正
証明
行列式は固有値の積であり、正定値行列の固有値は正なので