将一个正交变换化二次型f=2x1^2为标准型