展开 配方法化二次型一定是可逆变换吗