利用正交变换将二次函数f=2x1x2 2x1x3 2x2x3化为标准型