用正交变换,将二次型f=x1^2+x2^2+x^3+4x1x2+4x1x3+4x2x3化为标准型