二次型x1^2+x2^2+x3^2+2x1x2+2x1x3+2x2x3的标准型