二次型求正交矩阵为什么有时候需要用施密特正交化再单位化 有时候只需要将基础解系单位化