§6.3 用非退化线性替换化二次型为平方和