展开 配方法化二次型唯一吗