Question

二次型如何化为标准型

Answer 1

二次型化为标准型的方法如下：

一、配方法

如果二次型中含变量xi的平方项，则先将含xi的项集中，按xi配成完全平方，直至都配成平方项；如果二次型不含平方项，但某混合项系数aij不为0，可先通过xi=yi+yj，xj=yi-yj，xk=yk（k不是i或j）这一可逆变换使二次型中出现平方项后，按前一方法配方。

二、初等变换法

将二次型的矩阵A与同阶单位阵I合并成n_2n的矩阵（A|I），在这个矩阵中作初等行变换并对子块A再作同样的初等列变换，当将A化为对角阵时，子块I将会变为C’。

三、正交变换法

先写出二次型f的tdbl，它是实对称矩阵，求出全部特征值λi（i=1，2，……，n）；再对每一特征值写出它所对应的单位特征向量（特征值相同的不同特征向量注意正交化）。

把上述单位正交特征向量作为矩阵的列构造正交矩阵T，那么正交变换X=TY将会把二次型X'AX化为标准形f=λ1*y1^2+λ2*y2^2+……+λn*yn^2。

历史：

二次型的系统研究是从18世纪开始的，它起源于对二次曲线和二次曲面的分类问题的讨论，将二次曲线和二次曲面的方程变形，选有主轴方向的轴作为坐标轴以简化方程的形状，这个问题是在18世纪引进的。

柯西在其著作中给出结论：当方程是标准型时，二次曲面用二次型的符号来进行分类。然而，那时并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项。西尔维斯特回答了这个问题，他给出了n个变数的二次型的惯性定律，但没有证明。

这个定律后被雅克比重新发现和证明。1801年，高斯在《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语。