7.2.2 二次型的规范形与惯性定理