二次型化为标准型所用正交变换是唯一的吗?为什么?