证明实对称矩阵行列式的值等于其特征根的乘积?