线性代数｜证明：二次型正定的充要条件是特征值全为正

前置定理 1　任给二次型 $f={\sum }_{i,j=1}^n{a}_{ij}{x}_i{x}_j(a_{ij}=a_{ji})$，总有正交变换 $\mathbf{x}=\mathbf{P}\mathbf{y}$，使 $f$ 化为标准形
$$f={\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+\cdots {\lambda }_n{y}_n^2$$
其中 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$ 是 $f$ 的矩阵 $\mathbf{A}=(a_{ij})$ 的特征值。

证明见 “二次型及其标准形”。

---

定理 1　$n$ 元二次型 $f={\mathbf{x}}^T\mathbf{A}\mathbf{x}$ 为正定的充分必要条件是：它的标准形的 $n$ 个系数全为正，即它的规范形的 $n$ 个系数全为 $1$，亦即它的正惯性指数等于 $n$。

证明　设可逆矩阵 $\mathbf{x}=\mathbf{C}\mathbf{y}$ 使
$$f(\mathbf{x})=f(\mathbf{C}\mathbf{y})=\sum _{i=1}^n{k}_i{y}_i^2$$
先证充分性。设 $k_i>0(i=1,\cdots ,n)$。任给 $\mathbf{x}\ne 0$，则 $\mathbf{y}={\mathbf{C}}^{-1}\mathbf{x}\ne 0$，故
$$f(\mathbf{x})=\sum _{i=1}^n{k}_i{y}_i^2>0$$
再证必要性。用反证法。假设有 $k_s\le 0$，则当 $\mathbf{y}={\mathbf{e}}_s$（单位坐标向量）时，$f(\mathbf{C}{\mathbf{e}}_s)=k_s\le 0$。显然 $\mathbf{C}{\mathbf{e}}_s\ne 0$，这与 $f$ 为正定相矛盾。这就证明了 $k_i>0(i=1,\cdots ,n)$。

推论　对称矩阵 $\mathbf{A}$ 为正定的充分必要条件是：$\mathbf{A}$ 的特征值全为正。

证明　根据定理 1 和前置定理 1，显然推论成立。