三元二次型f=x1²+2x2²+ax3²+2x1x3经正交变换为标准型f=2y1²