正交变换化二次型为标准型