二次型到标准形

配方法

基本步骤

即将二次型多项式转化为全是平方项,即二次型矩阵为对角矩阵 Λ,所以转化为标准形的过程本质上等于将 A 矩阵进行相似对角化。构造可逆矩阵求对角矩阵

没有平方项

如果碰到了没有平方项的二次型,我们可以先利用平方差公式,凑出平方项:
例如,对于 f(x1,x2,x3)=2x1x2+4x2x3,我们先做如下变换:

{x1=y1+y2x2=y1y2x3=y3

就可以凑出平方项了。

利用正交变换

基本步骤

  1. 写出二次型矩阵 A;
  2. 求出 A(设为 3 阶)的特征值 λ1,λ2,λ3
  3. 求出相应的特征向量 α1,α2,α3
  4. 改造特征向量为 r1,r2,r3
    1. 如果特征值不同只需要单位化;
    2. 如果特征值有重根,要先判断特征向量是否已正交,如果没有正交,需要使用 schmidt 正交化;
  5. 构造正交矩阵 Q=(r1,r2,r3), 则经 x=QyxTAx=yTAy=λ1y12+λ2y22+λ3y32

其实可以发现,这个步骤和求对角矩阵完全一样。

典型例题

“例3” (pdf)