特征值乘积等于行列式