线性代数 二次型 规范形解法二 是配方法 解法二 同行 的第一个式子是从哪里来的