证明特征值之积等于行列式的值