问题实质其实a合同单位阵这个充要条件的实质，还是正惯性指数p=n在惯性定理上的体现。 证明 已知将任何二次型均可通过配方法（可逆线性变换）化成标准型及规范型。