定理 1.6 (惯性定理)

任意一个实数域上的二次型 $f\left(x_1,x_2,\cdots ,x_n\right)=$ ${\mathbf{X}}^{\mathrm{T}}\mathbf{AX}$ 经过一适当非退化的线性替换可以变成规范形,且规范形唯一确定.