化二次型f=x1^2+3x2^2+5x3^2+2x1x2-4x1x3为标准型,并求所用的变换矩阵