二次型正定：行列式大于零的必要条件 - 详细证明

二次型定义为$Q(\mathbf{x})=\mathbf{x}^TA\mathbf{x}$，其中$x$为$n$维向量，$A$为$n\times n$矩阵。\n\n如果$Q(\mathbf{x})$对于所有非零向量$x$都大于零，则称二次型$Q(\mathbf{x})$为正定的。\n\n要证明二次型正定的必要条件是二次型矩阵$A$的行列式大于0，可以使用特征值的性质。\n\n首先，假设$Q(\mathbf{x})$是正定的，即$Q(\mathbf{x})>0$对于所有非零向量$x$成立。\n\n考虑特征值分解$A=P\Lambda P^{-1}$，其中$P$是$n$阶可逆矩阵，$Lambda$是对角矩阵，其对角线上的元素为特征值。\n\n将特征值分解代入二次型$Q(\mathbf{x})$中，得到$Q(\mathbf{x})=\mathbf{x}^TP\Lambda P^{-1}\mathbf{x}$。\n\n令$y=P^{-1}x$，则有$x=Py$，代入上式得到$Q(\mathbf{x})=\mathbf{y}^T\Lambda\mathbf{y}$。\n\n由于二次型正定，所以$Q(\mathbf{x})>0$，即$y^T\Lambda y>0$对于所有非零向量$y$成立。\n\n由于$Lambda$是对角矩阵，所以$y^T\Lambda y=\sum_{i=1}^n\lambda_iy_i^2$，其中$lambda_i$为特征值，$y_i$为$y$的第$i$个分量。\n\n由于对于所有非零向量$y$，$y^T\Lambda y>0$成立，所以$lambda_i>0$对于所有特征值$lambda_i$成立。\n\n另外，由于特征值的性质，$det(A)=det(P\Lambda P^{-1})=det(P)det(\Lambda)det(P^{-1})=det(\Lambda)=\lambda_1\lambda_2\cdots\lambda_n$。\n\n因为所有的特征值$lambda_i$都大于0，所以$det(A)=\lambda_1\lambda_2\cdots\lambda_n>0$。\n\n综上所述，二次型正定的必要条件是二次型矩阵$A$的行列式大于0。