正定矩阵行列式小于等于对角线乘积