实二次型正定的充要条件：深入解析与证明

实二次型是指系数矩阵$A$是实对称矩阵的二次型，其一般形式为：

$$Q(x_1,x_2,\cdots,x_n)=\sum_{i=1}^n\sum_{j=1}^na_{ij}x_ix_j$$

其中，$a_{ij}$为实数系数，$x_i$为实数变量。

正定是指对于所有非零的实向量$\boldsymbol{x}=(x_1,x_2,\cdots,x_n)$，都有$Q(\boldsymbol{x})>0$。即，二次型的取值始终大于零。

实二次型正定的充要条件为：

所有的特征值都大于零。即，$A$的所有特征值$\lambda_1,\lambda_2,\cdots,\lambda_n$都满足$\lambda_i>0$。
$A$的所有主子式都大于零。即，对于所有的$k=1,2,\cdots,n$，矩阵$A$的$k$阶主子式都是正数。

这两个条件是充分且必要的。下面分别进行证明。

必要性证明：

设实二次型$Q(x)$正定，则对于任意非零向量$\boldsymbol{x}=(x_1,x_2,\cdots,x_n)$，都有$Q(\boldsymbol{x})>0$。即，

$$\sum_{i=1}^n\sum_{j=1}^na_{ij}x_ix_j>0$$

如果取$\boldsymbol{x}$为$A$的一个特征向量，则有$A\boldsymbol{x}=\lambda\boldsymbol{x}$，其中$\lambda$为对应的特征值。则上式可化为：

$$\lambda\boldsymbol{x}\cdot\boldsymbol{x}>0$$

由于$\boldsymbol{x}$非零，因此有$\boldsymbol{x}\cdot\boldsymbol{x}>0$，故$\lambda>0$。

此外，由于$A$是实对称矩阵，则存在一个正交矩阵$P$，使得$A=P\Lambda P^{-1}$，其中$\Lambda$是以$A$的特征值为对角元素的对角矩阵。因此，$A$的所有主子式都可以写成$\det(A_k)=\det(P_k\Lambda_k P_k^{-1})=\det(\Lambda_k)>0$，其中$A_k$是$A$的$k$阶主子矩阵，$\Lambda_k$是以$A_k$的特征值为对角元素的对角矩阵。

充分性证明：

设$A$是实对称矩阵，且其所有特征值$\lambda_1,\lambda_2,\cdots,\lambda_n$都大于零，且所有主子式都大于零。则对于任意非零向量$\boldsymbol{x}=(x_1,x_2,\cdots,x_n)$，都有$A\boldsymbol{x}\cdot\boldsymbol{x}>0$。

由于$A$是实对称矩阵，因此存在一个正交矩阵$P$，使得$A=P\Lambda P^{-1}$，其中$\Lambda$是以$A$的特征值为对角元素的对角矩阵。因此，

$$\boldsymbol{x}^T A\boldsymbol{x}=\boldsymbol{x}^T P\Lambda P^{-1}\boldsymbol{x}=(P^{-1}\boldsymbol{x})^T\Lambda (P^{-1}\boldsymbol{x})=\sum_{i=1}^n\lambda_iy_i^2>0$$

其中，$y_i$是向量$P^{-1}\boldsymbol{x}$的第$i$个分量。

因此，$Q(\boldsymbol{x})=\boldsymbol{x}^T A\boldsymbol{x}=\sum_{i=1}^n\sum_{j=1}^na_{ij}x_ix_j>0$，即实二次型$Q(x)$正定。